Vì DE//AB => BADˆ = ADEˆ(so le trong ) (1)

Vì AD là tia phân giác BACˆ

=> BADˆ = DACˆ = 1/2 BAC^ (2)

Từ(1) và (2) => ADEˆ = DACˆhay ADEˆ= DAEˆ

Trong ΔAED có ADEˆ = DAEˆnên ΔAED là tam giác cân tại E

Vì DE//AB => BADˆ = ADEˆ(so le trong ) (1)

Vì AD là tia phân giác góc BAC

=> góc BAD = góc DAC = 1/2 góc BAC (2)

Từ(1) và (2) => góc ADE = góc DAC hay góc ADE = góc DAE

=> ΔAED cân tại E