2. Применение к проблеме Аполлония.
Прекрасной иллюстрацией того, насколько полезна теория инверсии, является следующее простое геометрическое решение проблемы Аполлония. При инверсии относительно какого бы то ни было центра проблема Аполлония для трех данных окружностей трансформируется в соответствующую
Рис. 61. Преобразование двух систем ортогональных окружностей с помощью инверсии
Рис. 62. Преобразование касающихся окружностей в параллельные прямые
Рис. 63. Подготовка построения, решающего проблему Аполлония
проблему для трех других окружностей: пусть читатель внимательно продумает, почему это так.
Отсюда легко понять, что если проблема решена для некоторой тройки окружностей, то тем самым ее можно считать решенной и для всякой тройки окружностей, которая из первой тройки может быть получена путем инверсии. Мы сумеем использовать это обстоятельство,
Рис. 64. Решение проблемы Аполлония
выбирая из всевозможных «эквивалентных» троек такую, для которой проблема решается особенно просто.
Предположим для определенности, что три данных окружности с центрами А, В, С взаимно не пересекаются и лежат каждый вне двух других, и допустим, что речь идет о нахождении окружности с центром О и радиусом касающейся трех данных окружностей внешним образом. Заметим, что если мы увеличим радиус всех трех данных окружностей на одну и ту же величину то окружность с центром О и радиусом очевидно, был бы решением видоизмененной таким образом проблемы. Пользуясь этим обстоятельством, увеличим радиусы данных окружностей на такую величину, чтобы две из трех окружностей оказались взаимно касающимися в некоторой точке, которую обозначим К (рис. 63). Затем произведем инверсию всей фигуры относительно какой-нибудь окружности с центром К. Окружности с центрами станут параллельными прямыми b и c, а третья окружность превратится в некоторую окружность а (рис. 64). Мы уже знаем, что а, b, с, смогут быть построены с помощью циркуля и линейки. Что касается искомой окружности то она преобразуется в окружность и, касающуюся прямых b, с и окружности а. Ее радиус очевидно, должен равняться половине расстояния между прямыми бис; центр же его О должен совпадать с одной из точек пересечения средней линии между с окружностью, концентрической окружности а, но имеющей радиус на больший. Остается применить обратную инверсию к окружности и, и тогда получим искомую аполлониеву окружность
Рис. 65. Повторное отражение относительно прямолинейных стен
Рис. 66. Правильные системы треугольных зеркал