Рассмотрим треугольники \( \triangle OAB \) и \( \triangle OAC \).
По гипотенузе и катету (\( OA = OA \), \( OB = OC \)), \( \triangle OAB = \triangle OAC \).
Из равенства треугольников следует, что \( \angle BOA = \angle COA \).
Таким образом, \( OA \) является биссектрисой \( \angle BOC \).
Что и требовалось доказать.