1: Xét tứ giác BFEC có
\(\widehat{BFC}=\widehat{BEC}=90^0\)
Do đó: BFEC là tứ giác nội tiếp
Xét tứ giác AEDB có
\(\widehat{AEB}=\widehat{ADB}=90^0\)
Do đó: AEDB là tứ giác nội tiếp
2: Xét ΔAEB vuông tại E và ΔAFC vuông tại F có
\(\widehat{EAB}\) chung
Do đó: ΔAEB\(\sim\)ΔAFC
Suy ra: AE/AF=AB/AC
hay \(AE\cdot AC=AB\cdot AF\)