§ 6. Еще об одной инверсии и ее применениях

1. Инвариантность углов. Семейства окружностей.

Хотя круговая инверсия есть преобразование, довольно резко меняющее внешний вид геометрических фигур, все же весьма замечательным является то обстоятельство, что вновь получаемые фигуры сохраняют некоторые свойства первоначальных фигур. Эти свойства, не теряющиеся при преобразовании, называются «инвариантными». Мы уже знаем, что при инверсии круг или прямая переходят в круг или прямую. Прибавим теперь еще одно важное свойство инверсии: угол между двумя прямыми или кривыми при инверсии не изменяется. Говоря подробнее, это означает, что инверсия преобразовывает две пересекающиеся кривые в две другие кривые, которые пересекаются под тем же углом. Под углом между кривыми подразумевается угол между их касательными.

Доказательство получается при рассмотрении рис. 60, где имеется в виду частный случай пересечения в точке Р произвольной кривой С

Рис. 60. Инвариантность углов при инверсии

с прямолинейным отрезком проведенным из центра инверсии О. Кривая С, обратная кривой С, пересекается с в точке Р, обратной Р, так как Р, так же как и Р, лежит на Покажем, что угол между и касательной к С в точке Р по величине равен углу между и касательной к С в точке Р. Для этого возьмем точку А на кривой С вблизи Р и проведем секущую

Точка, обратная А, есть так как она находится на прямой О А и на кривой то является их точкой пересечения. Проведем также секущую По определению инверсии, , или же

т. е. треугольники и подобны. Значит, угол х равен углу который мы обозначим через у. Последний шаг в нашем Рассуждении заключается в том, чтобы заставить точку А приближаться по кривой С к точке Р. При этом секущая переходит в касательную к кривой С в точке Р, и угол х стремится к . В то же время А будет приближаться прямая перейдет в касательную к кривой С в точке Р, а угол у будет стремиться к Так как при всяком Положении точки А мы имеем равенство то оно сохранится И в пределе

Наше доказательство еще не закончено, так как мы рассмотрели пока только случай пересечения кривой С с прямой, проходящей через центр О. Но рассмотреть общий случай пересечения двух произвольных кривых теперь уже совсем легко. Пусть эти кривые пересекаются в точке Р и образуют между собой угол z. Тогда прямая делит этот угол на два угла, из которых каждый в отдельности не изменяется при инверсии.

Следовало бы оговорить, что, хотя инверсия не изменяет величины угла, однако она изменяет направление его отсчета: если вообразим, что при постоянном увеличении угла одна сторона его неподвижна, а другая вращается против часовой стрелки, то подвижная сторона соответствующего «обратного» угла вращается по часовой стрелке.

Частным следствием инвариантности углов при инверсии является то, что две ортогональные (т. е. пересекающиеся под прямым углом) окружности или прямых после инверсии сохраняют это свойство, и если две окружности взаимно касаются («пересекаются под углом, равным нулю»), то касаются и обратные им окружности.

Рассмотрим семейство окружностей, проходящих через центр инверсии О и еще через одну и ту же неподвижную точку плоскости А. Мы знаем (§ 4, пункт 2), что это семейство преобразуется в семейство прямых, проходящих через точку А, являющуюся образом А. В то же время семейство окружностей, ортогональных первоначальному семейству, превращается в семейство окружностей, ортогональных упомянутому семейству прямых. (На рис. 61 ортогональные семейства изображены пунктиром.) С внешней стороны семейство прямых, проходящих через одну и ту же точку, мало напоминает семейство окружностей, но эти семейства связаны теснейшим образом — с точки зрения теории инверсии они, так сказать, вполне эквивалентны.

Вот другой пример того, к каким результатам приводит инверсия. Пусть дано семейство окружностей, проходящих через центр инверсии и имеющих в этой точке общую касательную. После инверсии получается семейство параллельных прямых. Действительно, так как окружности проходят через О, то они превращаются в прямые, и так как окружности, кроме О не имеют точек пересечения, то получаемые прямые — параллельны.