Kẻ AM là tiếp tuyến tại A của (O)
Xét ΔAEB vuông tại Evà ΔAFC vuông tại F có
góc EAB chung
Do đó: ΔAEB đồng dạng với ΔAFC
Suy ra: AE/AF=AB/AC
hay AE/AB=AF/AC
Xét ΔAEF và ΔABC có
AE/AB=AF/AC
góc FAE chung
Do đo: ΔAEF đồng dạng với ΔABC
=>góc AEF=góc ABC
=>góc AEF=góc EAM
=>AM//EF
=>OA\(\perp\)FE