1. Рассмотрим треугольники \( \triangle ABO \) и \( \triangle ACO \).
2. У нас есть:
3. По катету и гипотенузе, \( \triangle ABO = \triangle ACO \).
4. Из равенства треугольников следует, что \( \angle BAO = \angle CAO \).
5. Если \( \angle BAO = \angle CAO \), то \( AO \) является биссектрисой \( \angle BAC \).
Доказано.