a: Xét (O) có
ΔACB nội tiếp
AB là đường kính
Do đo ΔABC vuông tại C
b: Xét (O) có
MB,MC là các 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 BC
c: Xét ΔAIC và ΔBID có
góc AIC=góc BID
góc IAC=góc IBD
Do đo: ΔAIC đồng dạng với ΔBID
=>IA/IB=IC/ID
=>IA*ID=IB*IC
IO*IM=BI^2=AI*ID
=>AI*ID=IB*IC=IO*IM