Дипломная работа: Инверсия и ее применение

Рис. 14

Рис. 15

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

Доказательство. Пусть щ (О, R) базисная окружность, точки Аґ и Вґ (рис. 16) инверсны соответственно точкам А и В. Тогда ОА ОАґ = ОВ ОВґ = R2, так что = . Кроме того, в треугольниках АОВ и ВґОАґ угол О общий. Следовательно, ∆АОВ подобен ∆ ВґОАґ и, значит, ∟ОВА = ∟ОА′В′.

Таким образом, прямые АВ и А′В′ антипараллельны относительно угла АОВ, что и требовалось доказать.

Если (рис. 16) каким-либо образом построены две соответственные в инверсии точки А и А′, то доказанная лемма дает простой прием построения образа произвольной точки В (не лежащей на прямой ОА): соединить В с А и провести прямую А′В′ так, чтобы ∟ОА′В′ = ∟ОВА.

Рис. 16

1.4 Степень точки относительно окружности

Понятие степени точки относительно окружности играет существенную роль и является аналогом понятия расстояния от точки до прямой.

Степенью точки М относительно окружности К называется число

s = d2 – r2 ,

где d – расстояние точки М от центра О окружности К, а r – радиус этой окружности. Если точка М лежит внутри окружности К, то d < r, и потому степень точки М: s = d2 – r2 – отрицательна. Величины r – d и r + d суть отрезки диаметра PQ, на которые его разбивает точка М. Поэтому для любой хорды АМВ круга К (рис. 17) имеем s = - АМ МВ.

Рис. 17

Если точка М лежит на окружности К, то d = r и, следовательно, степень точки М равна нулю. Наконец, если точка М лежит вне окружности К, то d > r и s = d2 – r2 представляет собой квадрат длины касательной к окружности К, проведенной из точки М (рис. 18).

Рис. 18

Пусть теперь даны две окружности К1 и К2. Геометрическое место точек, степени которых относительно окружностей К1 и К2 равны, называют радикальной осью окружностей К1 и К2.

1.5 Инверсия окружностей, проходящих и не проходящих через центр инверсии

Путь некоторая окружность г проходит через центр инверсии – точку О. При инверсии все точки окружности г, за исключением точки О, преобразуются в какие-то другие точки. Какую фигуру образуют эти точки?

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

Доказательство. Пусть щ (О, R) – базисная окружность инверсии, г (О1, R1) – данная окружность, проходящая через О. Проведем прямую О О1. Пусть она пересечет окружность г в точке А (рис. 19).

Рис. 19

Обозначим через Аґ точку, инверсную точке А. Выберем на окружности г произвольную точку Р и построим ей инверсную точку Рґ. соединим Р с А, Рґ с Аґ. В силу леммы об антипараллельных прямых ∟ОАґРґ = ∟ОРА. Но ∟ОРА = 90˚, как опирающийся на диаметр окружности г. Поэтому ∟ОАґРґ тоже равен 90˚, т. е. точка Р′ лежит на прямой, проходящей через точку А′ и перпендикулярной к прямой ОА′. Обозначим прямую Р′А′ через а. Мы показали, что каждая точка окружности г преобразуется в точку прямой а. Не трудно показать, что и обратно: каждая точка прямой а инверсна некоторой точке окружности г. Следовательно, окружность г преобразуется при инверсии в прямую а, что и требовалось доказать.

Из рассмотренной теоремы вытекает способ построения прямой, инверсной данной окружности, если последняя проходит через центр инверсии: 1) строим прямую ОО1, проходящую через центр инверсии и центр данной окружности; 2) отмечаем точку А пересечения этой прямой с данной окружностью (А ≠ О); 3) строим точку А′, инверсную точке А, и 4) через точку А′ проводим прямую а, перпендикулярную прямой ОО1. Полученная прямая а искомая.