1, Xét \(\bigtriangleup\) \(ABD\) và \(\bigtriangleup{EBD}\) , có :
\(\widehat{DAB}=\widehat{DEB}=90^0\)
\(\widehat{EBD}=\widehat{ABD} \) (BD là tia phân giác )
\(BD\) : chung
\(\bigtriangleup{ABD}=\bigtriangleup{EBD}\) (cạnh huyền -góc nhọn )
2, Xét \(\bigtriangleup{ADF}\) và \(\bigtriangleup{ECD}\) , có :
\(\widehat{CED}=\widehat{FAD}=90^0\)
\(DE=DA\) (cmt)
\(\widehat{CDE}=\widehat{FDA}\) (đối đỉnh )
\(\bigtriangleup{ADF}=\bigtriangleup{ECD}\) (g.c.g)
\(=> DF=DC \) (đpcm)
3, Xét \(\)tam giác vuông ADF có :
FD : cạnh huyền
FD=CD (cmt)
=> \(AD < DC \)