a: XétΔAEB vuông tại E và ΔAFC vuông tại F có
\(\widehat{BAE}\) chung
Do đó:ΔAEB\(\sim\)ΔAFC
Suy ra: AE/AF=AB/AC
hay \(AE\cdot AC=AB\cdot AF\)
b: Xét ΔAEF và ΔABC có
AE/AB=AF/AC
\(\widehat{EAF}\) chung
Do đó:ΔAEF\(\sim\)ΔABC
Suy ra: \(\widehat{AEF}=\widehat{ABC}\)


