Доказательство:
Рассмотрим треугольники \( △ OAC \) и \( △ OBC \).
- OA = OB — по условию.
- OC = OC — общая сторона.
- ∠AOC = ∠BOC — так как OC является биссектрисой угла O (по условию).
- Следовательно, по первому признаку равенства треугольников (по двум сторонам и углу между ними), \( △ OAC = △ OBC \).
Что и требовалось доказать.