Для доказательства того, что луч OC является биссектрисой угла O, рассмотрим треугольники OAC и OBC.
Дано:
Доказательство:
Рассмотрим прямоугольные треугольники OAC и OBC:
Поскольку гипотенуза и катет одного прямоугольного треугольника равны гипотенузе и катету другого прямоугольного треугольника, то эти треугольники равны (по гипотенузе и катету). Следовательно, ∆OAC = ∆OBC.
Из равенства треугольников следует равенство соответствующих углов, то есть угол AOC = углу BOC.
Таким образом, луч OC делит угол O на два равных угла, а значит, является биссектрисой угла O.
Ответ: Луч ОС – биссектриса угла О.