Xét (O) có
MA,MB là các tiếp tuyến
Do đó: MA=MB
=>M nằm trên đường trung trực của BA(1)
ta có: OA=OB
=>O nằm trên đường trung trực của AB(2)
Từ (1) và (2) suy ra MO là đường trung trực của AB
=>MO\(\perp\)AB(3)
Xét (O) có
ΔBAF nội tiếp
BF là đường kính
Do đó: ΔBAF vuông tại A
=>BA\(\perp\)AF(4)
Từ (3) và (4) suy ra MO//AF