№1268. Постройте прямую , которая получается из прямой поворотом вокруг точки на угол по часовой стрелке, если прямая : а) не проходит через точку ; б) проходит через точку .
Дано:
прямая и точка
Построить:
прямую — образ при повороте вокруг на по часовой стрелке
а) Прямая не проходит через .
Построение:
1) Опустим из перпендикуляр на прямую и проведём окружность с центром радиуса . Прямая перпендикулярна радиусу в его конце, поэтому касается в точке .
2) Построим : по часовой стрелке, (точка лежит на ).
3) Проведём через прямую , перпендикулярную . Это искомая прямая.
Доказательство:
Поворот вокруг отображает окружность на себя (расстояние до сохраняется), а прямую — на некоторую прямую (п. 124). У и ровно одна общая точка . Поворот взаимно однозначен и переводит общие точки в общие точки, поэтому у и ровно одна общая точка — образ точки . Значит, — касательная к в точке , то есть . Через проходит единственная прямая, перпендикулярная , поэтому .
б) Прямая проходит через .
Построение:
1) Отметим на точку , отличную от .
2) Построим : по часовой стрелке, .
3) Проведём прямую . Это искомая прямая .
Доказательство:
Точка при повороте остаётся на месте, а точка переходит в . Поворот отображает прямую на прямую (п. 124), значит, образ прямой — прямая . Прямые и пересекаются в точке под углом .
Ответ: прямая построена: в случае а) — касательная к окружности с центром , касавшейся , в точке ; в случае б) — прямая .