Решение:
Чтобы доказать, что АО является биссектрисой угла BAC, нам нужно доказать, что \( \angle BAO = \angle CAO \).
- Рассмотрим \( \triangle ABO \) и \( \triangle ACO \).
- \( AB = AC \) (по свойству касательных, проведенных из одной точки).
- \( OB = OC \) (радиусы, проведенные в точки касания).
- \( AO \) — общая сторона.
- Следовательно, \( \triangle ABO = \triangle ACO \) (по трем сторонам).
- Из равенства треугольников следует, что \( \angle BAO = \angle CAO \).
- Таким образом, АО является биссектрисой \( \angle BAC \).
Доказано.