Xét tam giác ADE và ADF :
Ta có: AD chung
BAD = DAC
=> tam giác ADE = ADF ( Cạnh huyền góc nhọn )
=> DE = DF
=> tam giác DEF cân tại D
Xét \(\Delta EBD;\Delta FDC\) có :
\(\widehat{BED}=\widehat{CED}\left(=90^o-gt\right)\)
\(BD=DC\left(gt\right)\)
\(\widehat{EBD}=\widehat{FCD}\) (do \(\Delta ABC\) cân tại A - gt)
=> \(\Delta EBD=\Delta FDC\) (cạnh huyền - góc nhọn)
=> \(DE=DF\) (2 cạnh tương ứng)
Xét \(\Delta DEF\) có :
\(DE=DF\) (cmt)
=> \(\Delta DEF\) cân tại D (đpcm)