a: Xét ΔAEB vuông tại E và ΔAFC vuông tại F có
\(\widehat{EAB}\) chung
Do đó: ΔAEB~ΔAFC
=>\(\dfrac{AE}{AF}=\dfrac{AB}{AC}\)
=>\(\dfrac{AE}{AB}=\dfrac{AF}{AC}\)
=>\(AE\cdot AC=AB\cdot AF\)
b: Xét ΔAEF và ΔABC có
\(\dfrac{AE}{AB}=\dfrac{AF}{AC}\)
\(\widehat{EAF}\) chung
Do đó: ΔAEF~ΔABC
=>\(\widehat{AFE}=\widehat{ACB}\)