№457. Даны окружность, прямая , а также точка на прямой . Постройте окружность, касающуюся прямой в точке и данной окружности.
Дано:
окружность с центром и радиусом
прямая ,
данная окружность лежит по одну сторону от и не касается её
Построить:
окружность, касающаяся в точке и данной окружности
Анализ:
Пусть искомая окружность с центром построена. Радиус перпендикулярен , поэтому лежит на перпендикуляре к в точке . Окружность не может лежать по другую сторону от , чем данная: тогда у них не было бы общих точек (данная окружность целиком по одну сторону от и не касается ). Значит, лежит по ту же сторону, что и . Окружность не может лежать внутри данной (точка лежит вне данной окружности), поэтому касание либо внешнее, либо данная окружность лежит внутри искомой.
Внешнее касание: . Отложим на отрезок по другую от сторону от . Тогда : окружность с центром радиуса проходит через и касается прямой , проведённой через параллельно , в точке — такую окружность строить умеем (задача 456).
Построение (внешнее касание):
1) Через проведём прямую , перпендикулярную .
2) На по ту сторону от , где нет данной окружности, отложим и проведём через прямую .
3) Построим серединный перпендикуляр к . Он пересекает в точке .
4) Окружность с центром радиуса — искомая.
Доказательство:
Радиус лежит на , поэтому : окружность касается в точке . Точка лежит между и , и . Расстояние между центрами равно сумме радиусов — окружности касаются внешним образом.
Построение и доказательство (данная окружность внутри искомой):
Так же, но отрезок откладывается на по ту же сторону от , где лежит данная окружность, проходит через , — точка пересечения с серединным перпендикуляром к , окружность с центром радиуса .
Здесь лежит между и (, иначе данная окружность не вместилась бы внутрь), и . Расстояние между центрами равно разности радиусов — окружности касаются, данная окружность лежит внутри искомой.
Исследование:
Серединный перпендикуляр к (или ) пересекает , если он не параллелен , то есть если не параллелен , а значит, не лежит на (). Точка не лежит на : по другую сторону от , чем данная окружность. Не лежит и на : центр удалён от больше чем на (окружность не касается ). Поэтому оба построения выполнимы, и других решений нет (доказано в анализе): задача имеет два решения.
Ответ: искомая окружность проходит через , её центр — пересечение перпендикуляра к в точке с серединным перпендикуляром к (внешнее касание) или к (данная окружность внутри искомой), где . Задача имеет два решения.