在⊿AOB和⊿AOC中,
∵OA=OA(公***邊)
OB=OC(同為圓O半徑)
AB=AC
∴⊿AOB≌⊿AOC
∴∠OAB=∠OAC
即AO是∠BAC的平分線
∴AO⊥BC(等腰三角形三線合壹)
證畢。