Ta có: ΔΔ ACE = ΔΔ DBA (c/m b)

=> AE = AD (2 cạnh tương ứng) (4)

=> góc EAC = ADB (2 góc tương ứng) (5)

+) Xét ΔΔ AED có: AE = AD (c/m 4)

=> ΔΔ AED cân tại A (*)

+) Xét góc ABM là góc ngoài của ΔΔ ABC tại đỉnh B

=> góc DAB + ADB = ABM (6)

Từ (5) và (6) => góc DAB + EAC = BAM 

Mà: góc BAC + ABM = 900 (c/m 1)

=> góc BAC + DAB + EAC = 900

Hay góc DAE = 900 (**)

Từ (*) và (**) => ΔΔ AED vuông cân

Vậy ΔΔ AED vuông cân (đpcm)