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