Xét ΔOAH và ΔOIA có
góc OHA=góc OAI
góc AOH chung
Do đo: ΔOAH đồng dạng với ΔOIA
=>OA/OI=OH/OA
hay \(OA^2=OI\cdot OH\left(1\right)\)
Xét (O) có
MA,MB là các tiếp tuyến
nên MA=MB
mà OA=OB
nên OM là đường trung trực của AB
=>OM vuông góc với AB tại K
=>OK*OM=OA^2=R^2=OI*OH