+)AB=AC(t/c 2 tiếp tuyến cắt nhau)
⇒A∈trung trực của BC(1)
+)OB=OC=R(o)
⇒O∈trung trực của BC(2)
+)Từ (1) và (2)⇒OA∈trung trực của BC
+)Mà OA∩BC tại H(gt)
⇒OA⊥BC tại H
Xét Δ cân ABC có AH⊥BC(H∈OA)
⇒BH=HC=1/2BC
Xét Δ vuông ABO có BH⊥OA(H∈BC)
⇒BH²=HA.HO
⇒2BH²=2HA.HO
Hay 2.(1/4BC²)=2HA.HO
⇒1/2BC²=2HA.HO
⇔BC²/4=HA.HO(đpcm)