Xét (O) có
AM là tiếp tuyến có M là tiếp điểm
AN là tiếp tuyến có N là tiếp điểm
Do đó: AM=AN
Ta có: AM=AN
nên A nằm trên đường trung trực của MN(1)
ta có: OM=ON
nên O nằm trên đường trung trực của MN(2)
từ (1) và (2) suy ra AO là đường trung trực của MN
hay AO\(\perp\)MN(3)
Xét (O) có
ΔMNB nội tiếp
MB là đường kính
Do đó: ΔMNB vuông tại N
hay MN\(\perp\)NB(2)
Từ (1) và (2) suy ra OA//BN