Xét \(\Delta DEA\) và \(\Delta AFB\) có:
\(\widehat{ADE}=\widehat{FAB}\left(=90^0\right)\)
\(DE=AF\)
\(AD=AB\)
nên \(\Delta DEA=\Delta AFB\) (c.g.c)
\(\Rightarrow\widehat{DAE}=\widehat{ABF}\)
Gọi \(H=AE\cap BF\)
Có \(\widehat{HBA}+\widehat{HAB}=\widehat{DAE}+\widehat{HAB}=\widehat{DAB}=90^0\)
\(\Rightarrow\Delta AHB\) vuông tại H => AE vuông góc với BF