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^
ADC^= 900- ADC^( vì ΔADC vuông ở A)
Suy ra ACD^ =BDE^
Mặt khác :
BD=AB-AD
CF=AC-AF
AC=AC,AD=AF
Nên BD=CF
Xét tam giác BDE và tam giác FDC:
BD=CF
BDF^=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.
nếu sai mong bạn bỏ qua.