+) Ta có:
(tổng ba góc trong 1 tam giác)
Lại có: tam giác ABC là tam giác cân tại A nên:
+)Xét tam giác ABD có BA= BD (giả thiết) nên tam giác ABD cân tại B.
Lại có; ( tổng ba góc trong 1 tam giác)
+) Tương tự, ta có tam giác AEC cân tại C ( vì CA =CE)
+) Xét tam giác ADE có:
( tổng ba góc trong tam giác)
Suy ra: