a: Xét (O) có
MB,MC là tiếp tuyến
nên MB=MC
mà OB=OC
nên OM là trung trực của BC
=>OM vuông góc với BC
b: Xét (O) có
ΔACB nội tiếp
AB là đường kính
Do đó: ΔACB vuông tại C
=>AN//OM
Xét ΔBAN có
O là trung điểm của AB
OM//AN
Do đo: M là trung điểm của BN