2. Свойства инверсии.

Самое важное свойство инверсии заключается в том, что она преобразует прямые линии и окружности в прямые линии и окружности. Точнее, мы сейчас обнаружим, что в результате инверсии:

a) прямая, проходящая через О, становится прямой, проходящей через О,

b) прямая, не проходящая через О, становится окружностью, проходящей через О,

c) окружность, проходящая через О, становится прямой, не проходящей через О,

d) окружность, не проходящая через О, становится окружностью, не проходящей через О.

Утверждение а) не требует доказательства, так как из самого определения инверсии ясно, что каждая точка на рассматриваемой прямой

Рис. 39. Инверсия прямой относительно окружности

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

Докажем утверждение Из О опустим перпендикуляр на данную прямую (рис. 39). Пусть А — основание этого перпендикуляра, — точка, обратная точке А. Возьмем произвольную точку Р на и обозначим через Р точку, ей обратную.

Так как то отсюда следует, что

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

Рис. 40. Инверсия окружности

геометрическому свойству окружности Если разделим первые равенства на второе, то получим

где зависит только от и, значит, не зависит от положения точек Теперь проведем через А прямую, параллельную пусть есть точка ее пересечения с Положим Тогда

или

Это означает, что при всевозможных положениях точка на прямой всегда будет одна и та же и что расстояние также не будет меняться. Точно так же так как Итак, образами точек на К будут точки, расстояния которых от равны постоянной величине т. е. образ К есть окружность. Утверждение d) доказано.

Рис. 41. Инверсия точки, внешней относительно окружности