У нас есть угол между двумя перпендикулярными прямыми и биссектриса в таком угле перпендикулярна основанию треугольника, который он разделяет.
Таким образом, поскольку прямые OA и OB перпендикулярны, и OC – перпендикуляр к ОA и ОB,то OC – есть биссектриса в угле АОВ.
У нас есть угол между двумя перпендикулярными прямыми и биссектриса в таком угле перпендикулярна основанию треугольника, который он разделяет.
Таким образом, поскольку прямые OA и OB перпендикулярны, и OC – перпендикуляр к ОA и ОB,то OC – есть биссектриса в угле АОВ.