В плоскости задана окружность и точка P вне её; исследуйте геометрическое место центров всех прямых, проходящих через P и пересекающих окружность под углом 45°; выразите это множество аналитически и синтетически
Коротко: под «центром прямой» возьмём середину отрезка её пересечения с окружностью (середина хорды). Обозначим центр окружности OOO, радиус RRR, точку вне окружности PPP (∣OP∣>R|OP|>R∣OP∣>R). Пусть прямая через PPP пересекает окружность в A,BA,BA,B, MMM — середина хорды ABABAB. Требуем, чтобы прямая пересекала окружность под углом 45∘45^\circ45∘ (т.е. угол между прямой и касательной в точке пересечения равен 45∘45^\circ45∘). Синтетическое рассуждение (кратко): - В точке AAA касательная перпендикулярна OAOAOA; если прямая делает с касательной угол 45∘45^\circ45∘, то она делает с радиусом OAOAOA угол 45∘45^\circ45∘. Следовательно расстояние от OOO до этой прямой равно OAsin45∘=Rsin45∘=R/2OA\sin45^\circ=R\sin45^\circ=R/\sqrt2OAsin45∘=Rsin45∘=R/2. Но это как раз OMOMOM (перпендикуляр от OOO на хорду проходит через её середину). Значит OM=R2.
OM=\frac{R}{\sqrt2}. OM=2R.
- Треугольник OPMOPMOPM прямоугольный на высоте? Нет, но из теоремы Пифагора для отрезка OMOMOM как проекции имеем PM2=OP2−OM2=OP2−R22,
PM^2=OP^2-OM^2=OP^2-\frac{R^2}{2}, PM2=OP2−OM2=OP2−2R2,
откуда PM=OP2−R22PM=\sqrt{OP^2-\dfrac{R^2}{2}}PM=OP2−2R2 (константа). Вывод (синтетически): искомые середины MMM — точки пересечения двух окружностей: окружности с центром OOO и радиусом R2\dfrac{R}{\sqrt2}2R и окружности с центром PPP и радиусом OP2−R22\sqrt{OP^2-\dfrac{R^2}{2}}OP2−2R2. В общем положении эти окружности пересекаются в двух точках (вырождено — одна точка при касании, нет решений при несовместности радиусов). Аналитически (в координатах): пусть O=(0,0)O=(0,0)O=(0,0), P=(xP,yP)P=(x_P,y_P)P=(xP,yP). Искомое множество задаётся системой x2+y2=R22,(x−xP)2+(y−yP)2=OP2−R22.
x^2+y^2=\frac{R^2}{2},\qquad (x-x_P)^2+(y-y_P)^2=OP^2-\frac{R^2}{2}. x2+y2=2R2,(x−xP)2+(y−yP)2=OP2−2R2.
Это эквидистанты: эквивалентно пересечению двух окружностей, описанных выше. Итог: геометрическое место — пересечение двух окружностей S(O,R2)∩S (P,OP2−R22),
S\bigl(O,\tfrac{R}{\sqrt2}\bigr)\cap S\!\bigl(P,\sqrt{OP^2-\tfrac{R^2}{2}}\bigr), S(O,2R)∩S(P,OP2−2R2),
обычно дающее два центра (один при касании, отсутствует при несовместности).
Синтетическое рассуждение (кратко):
- В точке AAA касательная перпендикулярна OAOAOA; если прямая делает с касательной угол 45∘45^\circ45∘, то она делает с радиусом OAOAOA угол 45∘45^\circ45∘. Следовательно расстояние от OOO до этой прямой равно OAsin45∘=Rsin45∘=R/2OA\sin45^\circ=R\sin45^\circ=R/\sqrt2OAsin45∘=Rsin45∘=R/2 . Но это как раз OMOMOM (перпендикуляр от OOO на хорду проходит через её середину). Значит
OM=R2. OM=\frac{R}{\sqrt2}.
OM=2 R . - Треугольник OPMOPMOPM прямоугольный на высоте? Нет, но из теоремы Пифагора для отрезка OMOMOM как проекции имеем
PM2=OP2−OM2=OP2−R22, PM^2=OP^2-OM^2=OP^2-\frac{R^2}{2},
PM2=OP2−OM2=OP2−2R2 , откуда PM=OP2−R22PM=\sqrt{OP^2-\dfrac{R^2}{2}}PM=OP2−2R2 (константа).
Вывод (синтетически): искомые середины MMM — точки пересечения двух окружностей: окружности с центром OOO и радиусом R2\dfrac{R}{\sqrt2}2 R и окружности с центром PPP и радиусом OP2−R22\sqrt{OP^2-\dfrac{R^2}{2}}OP2−2R2 . В общем положении эти окружности пересекаются в двух точках (вырождено — одна точка при касании, нет решений при несовместности радиусов).
Аналитически (в координатах): пусть O=(0,0)O=(0,0)O=(0,0), P=(xP,yP)P=(x_P,y_P)P=(xP ,yP ). Искомое множество задаётся системой
x2+y2=R22,(x−xP)2+(y−yP)2=OP2−R22. x^2+y^2=\frac{R^2}{2},\qquad (x-x_P)^2+(y-y_P)^2=OP^2-\frac{R^2}{2}.
x2+y2=2R2 ,(x−xP )2+(y−yP )2=OP2−2R2 . Это эквидистанты: эквивалентно пересечению двух окружностей, описанных выше.
Итог: геометрическое место — пересечение двух окружностей
S(O,R2)∩S (P,OP2−R22), S\bigl(O,\tfrac{R}{\sqrt2}\bigr)\cap S\!\bigl(P,\sqrt{OP^2-\tfrac{R^2}{2}}\bigr),
S(O,2 R )∩S(P,OP2−2R2 ), обычно дающее два центра (один при касании, отсутствует при несовместности).