Даны две пересекающиеся окружности с центрами O1 и O2; найдите и опишите геометрическое место центров всех окружностей, которые проходят через оба их пересечения
Обозначим точки пересечения окружностей через AAA и BBB. Тогда геометрическое место центров всех окружностей, проходящих через AAA и BBB, — это перпендикулярный биссектор отрезка ABABAB. Короткое доказательство: - Центр любой окружности, проходящей через AAA и BBB, равновелик до этих точек, т.е. если OOO — центр, то ∣OA∣=∣OB∣|OA|=|OB|∣OA∣=∣OB∣. Значит OOO лежит на перпендикулярном биссекторе ABABAB. - Обратно: любая точка на перпендикулярном биссекторе ABABAB равноудалена от AAA и BBB и поэтому является центром окружности, проходящей через AAA и BBB. Дополнительно: линия ABABAB — радикальная ось данных окружностей и перпендикулярна O1O2O_1O_2O1O2, следовательно искомый биссектор перпендикуляра к ABABAB параллелен O1O2O_1O_2O1O2 и проходит через середину MMM отрезка ABABAB. Если задать координаты A(x1,y1)A(x_1,y_1)A(x1,y1), B(x2,y2)B(x_2,y_2)B(x2,y2), уравнение биссектора: (x−x1+x22)(x2−x1)+(y−y1+y22)(y2−y1)=0.
\biggl(x-\frac{x_1+x_2}{2}\biggr)(x_2-x_1)+\biggl(y-\frac{y_1+y_2}{2}\biggr)(y_2-y_1)=0. (x−2x1+x2)(x2−x1)+(y−2y1+y2)(y2−y1)=0. (Предельный случай — прямая ABABAB как «окружность с бесконечным радиусом», центр в бесконечности вдоль указанного биссектора.)
Короткое доказательство:
- Центр любой окружности, проходящей через AAA и BBB, равновелик до этих точек, т.е. если OOO — центр, то ∣OA∣=∣OB∣|OA|=|OB|∣OA∣=∣OB∣. Значит OOO лежит на перпендикулярном биссекторе ABABAB.
- Обратно: любая точка на перпендикулярном биссекторе ABABAB равноудалена от AAA и BBB и поэтому является центром окружности, проходящей через AAA и BBB.
Дополнительно: линия ABABAB — радикальная ось данных окружностей и перпендикулярна O1O2O_1O_2O1 O2 , следовательно искомый биссектор перпендикуляра к ABABAB параллелен O1O2O_1O_2O1 O2 и проходит через середину MMM отрезка ABABAB.
Если задать координаты A(x1,y1)A(x_1,y_1)A(x1 ,y1 ), B(x2,y2)B(x_2,y_2)B(x2 ,y2 ), уравнение биссектора:
(x−x1+x22)(x2−x1)+(y−y1+y22)(y2−y1)=0. \biggl(x-\frac{x_1+x_2}{2}\biggr)(x_2-x_1)+\biggl(y-\frac{y_1+y_2}{2}\biggr)(y_2-y_1)=0.
(x−2x1 +x2 )(x2 −x1 )+(y−2y1 +y2 )(y2 −y1 )=0.
(Предельный случай — прямая ABABAB как «окружность с бесконечным радиусом», центр в бесконечности вдоль указанного биссектора.)