Итак, когда радиусы окружностей не равны, одну в другую можно перевести ровно двумя инверсиями, причем одна из них с положительной степенью, а другая – с отрицательной.
Если же радиусы окружностей равны, то все выкладки будут иметь место, но гораздо упростятся. Для первого случая получим из равенства
Для второго же случая получаем верное равенство
Можно сделать вывод, что если радиусы окружностей равны, то одну в другую можно перевести ровно одной инверсией с положительной степенью. В принципе, этого следовало ожидать: у двух окружностей равного радиуса только один центр гомотетии.
Покажем теперь, что существует инверсия, переводящая прямую l в окружность действительного радиуса, и обратно. Ясно, что эта окружность проходит через центр инверсии, а прямая нет. Мы уже показали, что центр инверсии лежит на прямой m, проходящей через центр нашей окружности перпендикулярно l. Значит, он может быть только в одной из точек пересечения окружности с прямой m.
Введем систему координат так, что начало координат располагается в центре окружности, а прямая mсовпадает с действительной осью.
Вторая инверсия переведет окружность в прямую с уравнением
Могут получиться следующие случаи:
1)
2)
3)
4)
5)
Можно сделать вывод, что если прямая не имеет общих точек с окружностью, то одну в другую можно перевести ровно двумя инверсиями, причем одна из них с положительной степенью, а другая с отрицательной. Если прямая касается окружности, то одну в другую можно перевести только одной инверсией с положительной степенью. Если прямая и окружность пересекаются, то одну в другую можно перевести двумя инверсиями с положительными степенями.
Две же различные прямые никогда не могут быть переведены друг в друга инверсией.
1.6. Свойства обобщенной инверсии.[2]
1º. При обобщенной инверсии с центром О и степенью 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’ – образы этих точек при инверсии