Tam giác ABC cân tại A (giả thiết)
⇒ AB = AC
⇒ A thuộc đường trung trực của đoạn thẳng BC. (1)
Tam giác DBC cân tại D (giả thiết)
⇒ DB = DC
⇒ D thuộc đường trung trực của đoạn thẳng BC. (2)
Tam giác EBC cân tại E (giả thiết)
⇒ EB = EC
⇒ E thuộc đường trung trực của đoạn thẳng BC. (3)
Từ (1), (2) và (3) ta được: Ba điểm A, D, E thẳng hàng.