Trên AC lấy điểm K sao cho AD=AK
=>t/gADK vuông cân tại A
=>ADK^=AKD^=450
Mà DKA^+DKC^=1800
Hay 450+DKC^=1800
=>DKC^=1350
Ta có:EDC^+ADC^+EDB^=1800
Hay 900+ADC^+EDB^=1800
=>ADC^+EDB^=900(1)
Xét t/g vuông ADC có:ADC^+DCA^=900(phụ nhau)(2)
Từ (1) và (2)=>ADC^+EDB^=ADC^+DCA^(=900)
=>EDB^=DCA^
Vì AD=AK,AB=AC(vì t/g ABC cân tại A)
=>AB-AD=AC-AK
=>BD=KC
Hay EDB^=DCK^
Xét t/g EBD và t/g DKC có:
EDB^=DCK^(cmt)
BD=KC(cmt)
EBD^=DKC^(=1350)
=>t/g EBD=t/g DKC(g.c.g)
=>DE=DC(2 cạnh tương ứng)
Vì t/g DEC vuông tại D(gt) và DE=DC
=>t/g DEC vuông cân tại D(đpcm)