Gọi F,H,G lần lượt là hình chiếu vuông góc của điểm E xuống các đường thẳng AB, AC và BC.
Từ giả thiết suy ra EF = EG và EH = EG.
=> EF = EH nên E thuộc tia phân giác của góc BAC.
Mà AD là tia phân giác của góc BAC.
Vậy ba điểm A, D, E thẳng hàng.