Из точки О построим перпендикуляры ОК, ОН, ОК к прямым АВ, ВС и АС.
Треугольники ОВК и ОВН прямоугольные и равны, так как гипотенуза ОВ у них общая, а угол ОВН = ОВК, так как ВО биссектриса, тогда ОК = ОН.
Аналогично треугольник ОСН = ОСМ, а тогда ОМ = ОН.
Следовательно ОК = ОН = ОК, а значит через точки К, Н, С можно провести окружность с центром в точке О.
Треугольники АКО и АМО прямоугольные, у которых ОК = ОМ как радиусы окружности, АО общая гипотенуза, тогда треугольники равна по катету и гипотенузе. Следовательно, угол КАО = МАО, а АО биссектриса угла ВКМ и ВАС, что и требовалось доказать.
∠1=∠3 по условию, а ∠1 и ∠3 — соответственные углы при прямых m и n и секущей a.
Так как соответственные углы при данных прямых равны, то прямые
m и n параллельны.