Tự vẽ hình nha bạn; chú thích ở dưới nha bạn
Trên AC lấy điểm K sao cho AD=AK
=>t/gADK vuông cân tại A
=>ADK^=AKD^=45*
Mà DKA^+DKC^=180*
Hay 45*+DKC^=180*
=>DKC^=135*
Ta có:EDC^+ADC^+EDB^=180*
Hay 90*+ADC^+EDB^=180*
=>ADC^+EDB^=90*(1)
Xét t/g vuông ADC có:ADC^+DCA^=90*(phụ nhau)(2)
Từ (1) và (2)=>ADC^+EDB^=ADC^+DCA^(=90*)
=>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^(=135*)
=>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)
ps:t/g là tam giác,* là độ,^ là góc
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.