Постройте окружность, касающуюся двух заданных непараллельных прямых и проходящую через заданную точку; объясните геометрические соображения, приводящие к отсутствию, единственности или множественности решений
Алгоритм (компас и линейка) и объяснение. Идея: выполнить инверсию с центром в данной точке PPP. Под инверсией окружность, проходящая через PPP, переводится в прямую; прямые, не проходящие через PPP, — в окружности, проходящие через PPP. Значит задача сводится к построению прямой, касательной к двум окружностям, а затем обратной инверсией вернуть её в искомую окружность. Построение: 1. Выберите удобный радиус инверсии rrr. Для любых точек AAA и её образа A′A'A′ выполняется PA⋅PA′=r2.PA\cdot PA' = r^2.PA⋅PA′=r2.
2. Для каждой из заданных непараллельных прямых l1,l2l_1,l_2l1,l2 постройте её образ при инверсии: возьмите две точки A,BA,BA,B на lil_ili, найдите их образы A′,B′A',B'A′,B′ по правилу PA⋅PA′=r2PA\cdot PA' = r^2PA⋅PA′=r2 и проведите окружность через A′,B′,PA',B',PA′,B′,P. Это будут две окружности c1,c2c_1,c_2c1,c2 (обе проходят через PPP). 3. Постройте все общие касательные прямые к окружностям c1,c2c_1,c_2c1,c2, не проходящие через PPP. Стандартный способ: пусть C1,C2C_1,C_2C1,C2 центры, радиусы R1,R2R_1,R_2R1,R2. Для внешних касательных рассмотрите окружность с центром C1C_1C1 и радиус ∣R1−R2∣|R_1-R_2|∣R1−R2∣; из C2C_2C2 проведите касательные к ней — эти касательные задают направления внешних общих касательных исходных окружностей (аналогично для внутренних касательных). (В результате получается 0, 1 или 2 подходящих прямых.) 4. Для каждой найденной касательной L′L'L′ возьмите две её точки X,YX,YX,Y, найдите образы X′,Y′X',Y'X′,Y′ инверсией (по PX⋅PX′=r2PX\cdot PX' = r^2PX⋅PX′=r2 и т.д.) и постройте окружность через X′,Y′,PX',Y',PX′,Y′,P. Это искомая окружность, касающаяся l1,l2l_1,l_2l1,l2 и проходящая через PPP. Число решений и геометрические соображения: - Количество решений равно числу общих касательных прямых к c1c_1c1 и c2c_2c2, не проходящих через PPP. Поэтому максимум — 2, возможны 2, 1 или 0 решений. - Случай 2: окружности c1,c2c_1,c_2c1,c2 имеют две различных общих касательных (обычно, когда они пересекаются в двух точках или расположены так, что касательные возможны). - Случай 1: касательная одна (касание окружностей друг к другу или касательная вырождается). - Случай 0: никаких общих касательных (например, одна окружность лежит строго внутри другой без касания) — в исходной задаче это означает, что через PPP нельзя провести окружность, одновременно касающуюся обеих данных прямых. - В исходных терминах: центр искомой окружности должен лежать на биссектрисе угла между прямыми (так как расстояния до прямых равны), и дополнительно удовлетворять условию OP=OP=OP= расстоянию от центра до прямой; геометрически это даёт пересечение биссектрисы с параболой (фокус — PPP, директриса — одна из прямых), поэтому пересечений может быть 0,1 или 2. Таким образом конструкция через инверсию даёт эффективный метод и одновременно объясняет случаи отсутствия/единственности/множественности решений.
Идея: выполнить инверсию с центром в данной точке PPP. Под инверсией окружность, проходящая через PPP, переводится в прямую; прямые, не проходящие через PPP, — в окружности, проходящие через PPP. Значит задача сводится к построению прямой, касательной к двум окружностям, а затем обратной инверсией вернуть её в искомую окружность.
Построение:
1. Выберите удобный радиус инверсии rrr. Для любых точек AAA и её образа A′A'A′ выполняется
PA⋅PA′=r2.PA\cdot PA' = r^2.PA⋅PA′=r2. 2. Для каждой из заданных непараллельных прямых l1,l2l_1,l_2l1 ,l2 постройте её образ при инверсии: возьмите две точки A,BA,BA,B на lil_ili , найдите их образы A′,B′A',B'A′,B′ по правилу PA⋅PA′=r2PA\cdot PA' = r^2PA⋅PA′=r2 и проведите окружность через A′,B′,PA',B',PA′,B′,P. Это будут две окружности c1,c2c_1,c_2c1 ,c2 (обе проходят через PPP).
3. Постройте все общие касательные прямые к окружностям c1,c2c_1,c_2c1 ,c2 , не проходящие через PPP. Стандартный способ: пусть C1,C2C_1,C_2C1 ,C2 центры, радиусы R1,R2R_1,R_2R1 ,R2 . Для внешних касательных рассмотрите окружность с центром C1C_1C1 и радиус ∣R1−R2∣|R_1-R_2|∣R1 −R2 ∣; из C2C_2C2 проведите касательные к ней — эти касательные задают направления внешних общих касательных исходных окружностей (аналогично для внутренних касательных). (В результате получается 0, 1 или 2 подходящих прямых.)
4. Для каждой найденной касательной L′L'L′ возьмите две её точки X,YX,YX,Y, найдите образы X′,Y′X',Y'X′,Y′ инверсией (по PX⋅PX′=r2PX\cdot PX' = r^2PX⋅PX′=r2 и т.д.) и постройте окружность через X′,Y′,PX',Y',PX′,Y′,P. Это искомая окружность, касающаяся l1,l2l_1,l_2l1 ,l2 и проходящая через PPP.
Число решений и геометрические соображения:
- Количество решений равно числу общих касательных прямых к c1c_1c1 и c2c_2c2 , не проходящих через PPP. Поэтому максимум — 2, возможны 2, 1 или 0 решений.
- Случай 2: окружности c1,c2c_1,c_2c1 ,c2 имеют две различных общих касательных (обычно, когда они пересекаются в двух точках или расположены так, что касательные возможны).
- Случай 1: касательная одна (касание окружностей друг к другу или касательная вырождается).
- Случай 0: никаких общих касательных (например, одна окружность лежит строго внутри другой без касания) — в исходной задаче это означает, что через PPP нельзя провести окружность, одновременно касающуюся обеих данных прямых.
- В исходных терминах: центр искомой окружности должен лежать на биссектрисе угла между прямыми (так как расстояния до прямых равны), и дополнительно удовлетворять условию OP=OP=OP= расстоянию от центра до прямой; геометрически это даёт пересечение биссектрисы с параболой (фокус — PPP, директриса — одна из прямых), поэтому пересечений может быть 0,1 или 2.
Таким образом конструкция через инверсию даёт эффективный метод и одновременно объясняет случаи отсутствия/единственности/множественности решений.