2. Свойства инверсии.
Самое важное свойство инверсии заключается в том, что она преобразует прямые линии и окружности в прямые линии и окружности. Точнее, мы сейчас обнаружим, что в результате инверсии:
a) прямая, проходящая через О, становится прямой, проходящей через О,
b) прямая, не проходящая через О, становится окружностью, проходящей через О,
c) окружность, проходящая через О, становится прямой, не проходящей через О,
d) окружность, не проходящая через О, становится окружностью, не проходящей через О.
Утверждение а) не требует доказательства, так как из самого определения инверсии ясно, что каждая точка на рассматриваемой прямой
Рис. 39. Инверсия прямой относительно окружности
имеет в качестве образа другую точку на той же прямой, так что хотя отдельные точки на прямой перемещаются, но прямая в целом остается неизменной.
Докажем утверждение
Из О опустим перпендикуляр на данную прямую
(рис. 39). Пусть А — основание этого перпендикуляра,
— точка, обратная точке А. Возьмем произвольную точку Р на
и обозначим через Р точку, ей обратную.
Так как
то отсюда следует, что
Поэтому треугольники
подобны и, значит, угол
прямой. В таком случае из теорем элементарной геометрии вытекает, что Р лежит на окружности К с диаметром
эта окружность и является, следовательно, образом прямой
Итак, утверждение
доказано. Утверждение с) следует из того, что если образ
есть К, то образ К есть
Остается доказать утверждение
Пусть К — окружность, не проходящая через О, с центром М и радиусом к (рис. 40). Чтобы получить его образ, проведем через О прямую, пересекающую К в точках
и затем посмотрим, как изменяются образы
когда направление прямой изменяется и она пересекает К самыми разнообразными способами. Обозначим расстояния
через
и пусть
есть длина касательной к К, проведенной из точки О. По определению инверсии мы имеем
а по элементарно
Рис. 40. Инверсия окружности