Рассмотрим \( \triangle OAC \) и \( \triangle OBC \).
По условию:
По первому признаку равенства треугольников (по двум сторонам и углу между ними), \( \triangle OAC = \triangle OBC \).
Ответ: Доказано.