135=90 +45
1) провести прямую перпендикулярную прямую к прямой (стандартная задача на построение) (угол между ними 90 градусов)
2) как получить угол в 45 градусов - построить прямоугольный равнобедренный треугольник треугольник
то есть провести перпендикулряные прямые, на сторонах угла от вершины угла отложить равные отрезки, концы отличные от вершины соединить отрезком, острые углы этого образованного треугольника будут 45 градусов
3) отложить угол 90 градусов, от его стороны отложить угол с общей вершиной угол 45 градусов получим угол в 135 градусов (отложить угол равный данному -стандартная задача на построение)
построим прямую OA от точки O до прямой MH так что угол OAM = 90 градусов,
это и есть расстояние от точки O до прямой MН
Треугольники MOA и MOK равны это следует из следующего :
1 в треуг ОАМ угол OAM = 90 гр
в треуг OMK угол OKM = 90 гр
2 угол АMO = углу KMO (биссектриса угла)
3 сторона треугольника MO общая для обоих треугольников
4 также угол MOA и угол MOK в обоих треуг. равны, поскольку
сумма углов в треуг. = 180 гр. ( вычитая 180 - 90 гр - известный угол)
Этих условий достаточно чтобы сделать вывод, что треугольники равны.
Следовательно OK = OA = 9
ответ 9