Giải thích các bước giải :
`↓↓↓`
Lấy điểm F trên tia AC sao cho AF = AD
Kẻ đường thẳng nối D với C và Nối D với F
→ ΔADF là tam giác vuông và cân tại A
⇒ `\hat{ADF} = \hat{AFD} = 45^0`
Mà `\hat{AFD} + \hat{DFC} = 45^0 + 135^0 = 180^0` ( cặp góc kề bù )
Ta xét ΔADC vuông tại A, có :
`\hat{ADC} + \hat{ACD} = 90^0` ( do `\hat{ADC} + hat{CDE} + \hat{EDB} = 180^0` )
⇒ `\hat{ADC} + \hat{EDB} = 90^0`
Tóm lại : `\hat{ACD} = \hat{EDB}`
Do ΔABC vuông và cân
⇒ AB = AC
Nhưng AB = AF ( cmt )
⇒ BD = FC
Ta xét ΔBDE và ΔCFO, có :
`\hat{ACD} = \hat{EDB}` ( cmt ) ; BD = FC ; `\hat{DFC} = \hat{DBE}` ( = `135^0` )
⇒ ΔBDE = ΔCFO ( g - c - g )
⇒ DC = DE ( cặp cạnh t/ư )
Nhưng `\hat{CDE} = 90^0`
⇒ ΔDEC vuông cân .