№1269. Если при повороте вокруг точки на некоторый угол прямая переходит в прямую , то угол между прямыми и либо равен углу поворота, либо дополняет его до . Докажите.
Дано:
поворот вокруг на угол (),
Доказать:
угол между прямыми и равен или
Доказательство:
Случай 1: лежит на прямой .
Возьмём на точку , отличную от , и пусть — её образ. Тогда по определению поворота. Точка неподвижна, поэтому образ прямой — прямая . Прямые и пересекаются в точке , и один из образованных ими углов — , а смежный с ним равен .
Случай 2: не лежит на прямой .
1) Проведём ( лежит на ) и пусть — образ точки . Тогда и .
2) Докажем, что . Для любой точки прямой , отличной от , наклонная длиннее перпендикуляра: . Образ лежит на и . Каждая точка прямой — образ какой-то точки прямой , поэтому — ближайшая к точка прямой . Ближайшая точка прямой — основание перпендикуляра, значит, .
3) Так как (угол между ними не равен и ), прямые и , перпендикулярные этим прямым, не параллельны. Пусть они пересекаются в точке .
4) В четырёхугольнике углы при и прямые, угол при равен . Сумма углов четырёхугольника равна , поэтому .
Угол — один из углов между прямыми и , смежный с ним равен . Следовательно, угол между прямыми равен или .
Замечание: при (центральная симметрия) прямая параллельна или совпадает с ней — угла между прямыми нет.
Ответ: что и требовалось доказать.