На плоскости заданы окружности S1 и S2, пересекающиеся в двух точках; опишите геометрическое место центров всех окружностей, касающихся обеих S1 и S2, и приведите доказательство с использованием радикальной оси и инверсии
Пусть S1,S2S_1,S_2S1,S2 пересекаются в точках AAA и BBB; обозначим их центры O1,O2O_1,O_2O1,O2. Утверждение: геометрическое место центров всех окружностей, касающихся обеих S1S_1S1 и S2S_2S2, равно объединению двух окружностей, проходящих через точки AAA и BBB. Доказательство (инверсия + идея радикальной оси). Возьмём инверсию с центром в AAA. Под этой инверсией окружности S1,S2S_1,S_2S1,S2, проходящие через AAA, переходят в две прямые l1,l2l_1,l_2l1,l2 (они пересекаются в образе BBB, обозначим его B′B'B′). Любая окружность SSS, касающаяся обеих S1,S2S_1,S_2S1,S2 и не проходящая через AAA, перейдёт в окружность S′S'S′, касающуюся прямых l1,l2l_1,l_2l1,l2. Центр O′O'O′ окружности S′S'S′ лежит на одной из двух биссектрис угла, образованного прямыми l1,l2l_1,l_2l1,l2, то есть на одной из двух прямых, проходящих через B′B'B′. Обратно, под обратной инверсией эти две биссектрисы (прямые, не проходящие через центр инверсии) переходят в две окружности, каждая из которых проходит через AAA и BBB. Поэтому центры исходных окружностей SSS — образы точек O′O'O′ — лежат на одной из двух указанных окружностей. Частные случаи, когда касающаяся окружность проходит через AAA или BBB, являются предельными и тоже даются точками на тех же окружностях. Классификация по типам касания: одна из получившихся окружностей центра соответствует биссектрисе внутреннего угла (диапазону касаний одного типа: внешне—внешне или внутренне—внутренне), другая — внешней биссектрисе (смешанные типы касания). Замечание о радикальной оси: точки пересечения A,BA,BA,B — это радикальная ось системы S1,S2S_1,S_2S1,S2, поэтому естественно работать с инверсией в одной из этих точек, что и использовано выше. Итого: искомое геометрическое место — две окружности, проходящие через точки пересечения AAA и BBB окружностей S1S_1S1 и S2S_2S2.
Доказательство (инверсия + идея радикальной оси). Возьмём инверсию с центром в AAA. Под этой инверсией окружности S1,S2S_1,S_2S1 ,S2 , проходящие через AAA, переходят в две прямые l1,l2l_1,l_2l1 ,l2 (они пересекаются в образе BBB, обозначим его B′B'B′). Любая окружность SSS, касающаяся обеих S1,S2S_1,S_2S1 ,S2 и не проходящая через AAA, перейдёт в окружность S′S'S′, касающуюся прямых l1,l2l_1,l_2l1 ,l2 . Центр O′O'O′ окружности S′S'S′ лежит на одной из двух биссектрис угла, образованного прямыми l1,l2l_1,l_2l1 ,l2 , то есть на одной из двух прямых, проходящих через B′B'B′.
Обратно, под обратной инверсией эти две биссектрисы (прямые, не проходящие через центр инверсии) переходят в две окружности, каждая из которых проходит через AAA и BBB. Поэтому центры исходных окружностей SSS — образы точек O′O'O′ — лежат на одной из двух указанных окружностей. Частные случаи, когда касающаяся окружность проходит через AAA или BBB, являются предельными и тоже даются точками на тех же окружностях.
Классификация по типам касания: одна из получившихся окружностей центра соответствует биссектрисе внутреннего угла (диапазону касаний одного типа: внешне—внешне или внутренне—внутренне), другая — внешней биссектрисе (смешанные типы касания). Замечание о радикальной оси: точки пересечения A,BA,BA,B — это радикальная ось системы S1,S2S_1,S_2S1 ,S2 , поэтому естественно работать с инверсией в одной из этих точек, что и использовано выше.
Итого: искомое геометрическое место — две окружности, проходящие через точки пересечения AAA и BBB окружностей S1S_1S1 и S2S_2S2 .