Lấy F thuộc AC sao cho AD = AF. Khi đó tam giác ADF vuông cân ở A ==> DFAˆ=450→DFCˆ=1350
Ta có:
BDEˆ=1800−EDCˆ−ADCˆ=1800−900−ADCˆ=900−ADCˆ
ACDˆ=900−ADCˆ (vì tam giác ADC vuông ở A)
Suy ra ACDˆ=BDEˆ
Mặt khác:
BD = AB - AD
CF = AC - AF
AB = AC, AD = AF
Nên BD = CF.
Xét tam giác BDE và tam giác FCD:
BD = FC
BDEˆ=FCDˆ
EBDˆ=DFCˆ(=1350)
Suy ra ΔBDE = ΔFCD (g.c.g) ==> DE = DC
Mà tam giác EDC vuông ở D.
Suy ra tam giác EDC vuông cân ở D.