Для доказательства того, что ОМ=КР, воспользуемся теоремой о равных углах при параллельных прямых. Из условия, что угол ОКР равен углу ОМР, мы знаем, что эти углы равны между собой.
Теперь, учитывая, что отрезки КО и МР перпендикулярны прямой ОР, у нас возникают две пары соответственных углов: ОКР и ОМР, а также КОР и MРО. Следовательно, у нас есть попарно равные углы при пересечении прямой ОР и отрезков КО и МР.
Из этого следует, что треугольники ОКР и ОМР подобны по двум углам и стороне между ними. Таким образом, отношение сторон KM к МР будет равно отношению сторон ОК к OR в соответствующих треугольниках.
Поскольку стороны KM и ОМ (которые являются продолжениями отрезков) лежат по одну сторону от прямой ОР, то отрезок ОМ должен быть равен отрезку КР. Доказательство завершено, и мы установили, что ОМ=КР.
