Итак, когда радиусы окружностей не равны, одну в другую можно перевести ровно двумя инверсиями, причем одна из них с положительной степенью, а другая – с отрицательной.
Если же радиусы окружностей равны, то все выкладки будут иметь место, но гораздо упростятся. Для первого случая получим из равенства
, что , тогда . Причем у нас не может быть случая, когда одна окружность лежит внутри другой, значит, степень положительна.Для второго же случая получаем верное равенство
, но , и получим , то есть окружности концентричны, но в силу равенства радиусов они совпадают. Это невозможно по предположению, значит, такой инверсии не может быть.Можно сделать вывод, что если радиусы окружностей равны, то одну в другую можно перевести ровно одной инверсией с положительной степенью. В принципе, этого следовало ожидать: у двух окружностей равного радиуса только один центр гомотетии.
Покажем теперь, что существует инверсия, переводящая прямую l в окружность действительного радиуса, и обратно. Ясно, что эта окружность проходит через центр инверсии, а прямая нет. Мы уже показали, что центр инверсии лежит на прямой m, проходящей через центр нашей окружности перпендикулярно l. Значит, он может быть только в одной из точек пересечения окружности с прямой m.
Введем систему координат так, что начало координат располагается в центре окружности, а прямая mсовпадает с действительной осью.
Данная прямая lпараллельна мнимой оси, поэтому будет иметь уравнение , . Прямая пересекает действительную ось в точке с координатой . Окружность, если обозначить ее радиус r, будет иметь уравнение . Инверсии, если они есть, будут иметь формулы и , где k1 и k2 нам пока не известны. Первая переведет окружность в прямую с уравнением Û Û . Чтобы это была l, достаточно потребовать , откуда .Вторая инверсия переведет окружность в прямую с уравнением
Û Û . Чтобы это была l, достаточно потребовать , откуда .Могут получиться следующие случаи:
1)
Û , тогда , ;2)
Û , тогда , , то есть второй инверсии не существует – это происходит при касании прямой и окружности в точке с координатой -r;3)
Û , тогда , ;4)
Û , тогда , то есть первой инверсии не существует – это происходит при касании прямой и окружности в точке с координатой r, ;5)
Û , тогда , .Можно сделать вывод, что если прямая не имеет общих точек с окружностью, то одну в другую можно перевести ровно двумя инверсиями, причем одна из них с положительной степенью, а другая с отрицательной. Если прямая касается окружности, то одну в другую можно перевести только одной инверсией с положительной степенью. Если прямая и окружность пересекаются, то одну в другую можно перевести двумя инверсиями с положительными степенями.
Две же различные прямые никогда не могут быть переведены друг в друга инверсией.
1.6. Свойства обобщенной инверсии.[2]
1º. При обобщенной инверсии с центром О и степенью k внутренние точки окружности Σ(О,
) (окружность инверсии, если k положительно) переходят во внешние и наоборот (поэтому говорят также о зеркальном отображении относительно окружности).□ Для центра инверсии и бесконечно удаленной области это очевидно. Для остальных точек при инверсии с положительной степенью это было доказано выше, в теореме 2. А так как инверсию с отрицательной степенью можно представить как коммутативную композицию инверсии с положительной степенью и центральной симметрии с центром в начале инверсии, то и для нее все очевидно. ■
2º. Преобразование плоскости, представляющее собой последовательно выполненную дважды одну и ту же инверсию, есть тождественное преобразование
□ Следует из инволютивности преобразования инверсии. ■
3º. Две фигуры, инверсные третьей фигуре относительно одного и того же центра О, гомотетичны.
□ Действительно, пусть М – точка фигуры F, М1 и М2 – точки, соответствующие ей в двух инверсиях с общим центром О и коэффициентами k1 и k2. Без ограничения общности рассуждений можно рассмотреть инверсию с центром в начале координат. Тогда, если точки М, М1 и М2 будут иметь координаты m, m1 и m2 соответственно, то
, . Замечаем, что вторая точка получена из первой при гомотетии с уравнением . ■Мы видим, что выбор степени инверсии не влияет на форму полученных фигур. Эта форма изменяется только при изменении центра инверсии.
4º. Зависимость расстояния между образами A’ и B’ двух точек А и В от расстояния между этими точками при инверсии с центром S и степенью k выражается в формуле
.□ Инверсия задается формулой
. Тогда . Отсюда = = = . А это и означает . ■5º. Инверсия сохраняет величину угла между окружностями, а также между окружностью и прямой, между двумя прямыми, но изменяет его ориентацию на противоположную.
□ Пусть заданы две окружности (прямая и окружность, две прямые), одна из которых проходит через точки A,B,C, а другая – через точки A,B,D. Берем точки «хорошие», то есть среди них нет бесконечно удаленной и нулевой, так как мы будем брать инверсию с центром в нуле. Если заданы две прямые, считаем А = В. Если A’, B’, C’, D’ – образы этих точек при инверсии
, то их двойное отношение w’ равно числу, комплексно сопряженному двойному отношению w точек A,B,C, D: