Инверсия

1. ОПРЕДЕЛЕНИЕ. Инверсией I = I Ok с полюсом (или центром) O и коэффициентом k≠0

называется преобразование плоскости, переводящее точку X≠O в точку Y, задаваемую
k
векторным равенством OY = OX , т.е. OY ⋅ OX = k ; при этом к плоскости
OX 2
присоединяют одну «бесконечно-удаленную» точку ∞ и считают, что I(O) = ∞ и I(∞) = O.
2. СИММЕТРИЯ ОТНОСИТЕЛЬНО ОКРУЖНОСТИ. Если k > 0, т.е. k = R2, то все точки окружности
Ω с центром O и радиусом R (окружности инверсии) остаются неподвижными. Если точка
X лежит внутри окружности Ω, то ее образ Y – вне и наоборот, причём чем ближе X к
центру O окружности, тем дальше от центра лежит Y. В этом случае говорят об инверсии IΩ
относительно окружности Ω, а также о симметрии относительно Ω. Второе название
связано, в частности с тем, что точки X и Y меняются местами друг с другом; сами эти
точки называют симметричными относительно Ω. Имеется и более глубокая аналогия
между инверсией и осевой симметрией, о которой будет сказано отдельно.
3. ИНВЕРСИЯ И ГОМОТЕТИЯ. Очевидно, что композиция инверсии и гомотетии с общим
центром – инверсия, точнее, H Om I Ok = I Omk , композиция двух инверсий с общим центром –

гомотетия: I Om I Ok = H Om / k .
4. ИНВЕРСИЯ И ПОДОБИЕ. Если точки A и B переходят при инверсии с полюсом O в точки A'
и B' , то треугольники OAB и OA'B' подобны; расстояние между A' и B' можно найти по
формуле A'B' = kAB/(OA⋅OB). Докажите эти утверждения самостоятельно.
5. ТЕОРЕМА ОБ ОБРАЗЕ ОКРУЖНОСТИ ПРИ ИНВЕРСИИ. При инверсии I Ok окружность ω, не
проходящая через центр инверсии, переходит в окружность ω', гомотетичную ей
относительно центра O инверсии с коэффициентом m = k/d, где d – степень точки O
относительно ω. Если O лежит на окружности ω, то образом ω является прямая,
параллельная касательной к ω в точке O.
ДОКАЗАТЕЛЬСТВО. Пусть X – любая точка окружности ω, а X' – образ точки X при инверсии.
Если O не лежит на окружности ω, то обозначим через Y вторую точку пересечения прямой
OX с ω. Известно, что произведение OY ⋅ OX = d не зависит от точки X (d – степень точки O
относительно ω). А поскольку OX ′ ⋅ OX = k и все три вектора OX , OX ′, OY коллинеарны, то
OX ′ = mOX , где m = k/d, т.е. точка X' получается из Y при гомотетии H Om . Когда X
пробегает окружность ω, Y, конечно, пробегает ту же окружность, а значит, X' описывает
окружность ω', гомотетичную ω с коэффициентом m относительно центра O.
Если окружность ω содержит O, то проведём ее диаметр OA; пусть A' – образ при инверсии
точки A. Треугольники OAX и OX'A' подобны, так как они имеют общий угол O и
OA':OX'=(k/OA):(k/OX)=OX:OA. Поэтому угол OA'X' равен углу OXA, т.е. 90° (т.к. OA –
диаметр ω), а значит, X' лежит на прямой l, проходящей через A' и перпендикулярной к OA,
а значит, параллельной к касательной к ω в точке O.
ЗАМЕЧАНИЯ. 1) Очевидно, прямая l, не проходящая через центр O инверсии, переходит в
окружность, проходящую через O.
2) Знак коэффициента m гомотетии из нашей теоремы при данном k зависит от того,
содержит ли окружность ω центр инверсии.
3) Обратите внимание, что, хотя образы окружности ω при инверсии и гомотетии
совпадают, образы каждой её отдельной точки в этих двух случаях различны.
6. КРУГОВОЕ СВОЙСТВО ИНВЕРСИИ. Совокупность окружностей и прямых переходит при
инверсии в себя; при этом окружность, не проходящая через центр инверсии O, переходит в
гомотетичную ей относительно O окружность, образом окружности, проходящей через O,
является прямая, не проходящая через O (и обратно), а любая прямая, проходящая через O,
переходит сама в себя.
7. ИНВАРИАНТНЫЕ ОКРУЖНОСТИ. Если X и X' – две различные соответственные при
инверсии точки, то любая окружность, их содержащая, переходит в себя.
ДОКАЗАТЕЛЬСТВО. В указанном случае k = d и m = k/d = 1, т.е. гомотетия H Om –
тождественное преобразование.
При k > 0 инвариантна и окружность инверсии Ω.
8. СЛЕДСТВИЯ
1°. Инверсия с коэффициентом k > 0 переводит в себя окружность инверсии Ω и все
окружности ей перпендикулярные (см. п. 11); при k < 0 инвариантны все окружности,
пересекающие окружность с центром O и радиусом k в ее диаметрально
противоположных точках.
2°. Точки X и Y (X ≠ Y) симметричны относительно окружности Ω (т.е. Y = IΩ(X)) тогда и
только тогда, когда любая окружность, проходящая через X и Y, перпендикулярна Ω.
9. ИНВЕРСИЯ И СОПРЯЖЕНИЕ. Очевидно, что утверждение 2° останется верным, если
заменить в нем окружность Ω прямой. Это и дает нам основания называть инверсию
симметрией относительно окружности. Заметим также, что из свойства 2° и сохранения
углов (в частности, перпендикулярности) при инверсии следует, что точки, симметричные
относительно окружности или прямой γ, переходят при инверсии I в точки,
симметричные относительно γ' – образа γ. Этот факт можно записать так: Iγ' = I Iγ I;
другими словами при сопряжении с помощью инверсии инверсия переходит в инверсию.
10. НЕКОТОРЫЕ ПРИМЕНЕНИЯ КРУГОВОГО СВОЙСТВА. С помощью этого свойства разные
задачи об окружностях можно свести к более простым задачам о прямых.
Допустим, например, что нам нужно построить окружность, проходящую через
данную точку A и касающуюся двух данных окружностей ω1 и ω2. Пусть ω – искомая
окружность. При инверсии относительно произвольной окружности с центром A данные
окружности превратятся в какие-то другие окружности ω1' и ω2', а ω – в прямую, причём эта
прямая должна касаться ω1' и ω2' (ибо условие касания – наличие единственной общей
точки – сохраняется при инверсии). Таким образом, достаточно построить окружности ω1' и
ω2', их общие касательные, а затем преобразовать эти касательные с помощью той же
инверсии; в результате и получатся искомые окружности. Задача может иметь до четырёх
решений.
Ещё один пример. Пусть каждая из четырёх данных окружностей касается двух
других. Тогда их точки касания A, B, C и D лежат на одной окружности. Чтобы в этом
убедиться, выполним инверсию с центром в одной из этих точек, например, A. Точка A
является единственной общей точкой проходящих через неё окружностей, поэтому эти
окружности перейдут в прямые, не имеющие общих точек, т.е. параллельные. Две другие
данные окружности перейдут в окружности, каждая из которых касается одной из прямых –
соответственно, в точках B' и D' – и второй окружности – в точке C'. Нетрудно проверить,
что точки B', C' и D' лежат на одной прямой. Следовательно, соответствующие им при
инверсии точки B, C, D лежат на окружности, проходящей через A.
11. СОХРАНЕНИЕ УГЛОВ. Углом между двумя линиями γ1 и γ2 в
точке их пересечения P называют угол между касательными l1 и l2
к ним в этой точке (для простоты, «линиями» здесь мы считаем ω1
прямые и окружности). Пусть этот угол равен φ. Рассмотрим
инверсию I с полюсом O ≠ P и докажем, что и угол между ω2
образами I(γ1) и I(γ2) этих линий в точке P' = I(P) равен φ. Для γ1
этого построим окружности ω1 и ω2, каждая из которых проходит
P
через обе точки P и P' и касается γ1 и γ2 соответственно (см. O γ2
P'
рисунок). Из определения угла ясно, что угол между ω1 и ω2 в
точке P тоже равен φ. Из того, что при инверсии сохраняется касание линий (ибо в данном
случае «касаться» значит иметь ровно одну общую точку), следует, что угол φ' между
образами γ1 и γ2 в точке P' равен углу между образами ω1 и ω2 в P'. Но окружности ω1 и ω2
при инверсии переходят сами в себя (см. п. 7), а угол между ними в точке P' равен углу в
точке P, т.к. один угол переходит в другой при симметрии относительно линии центров
окружностей. Следовательно, φ' = φ. Итак,
инверсия сохраняет углы между окружностями и прямыми.
С учетом ориентации, углы между двумя окружностями в двух различных их точках
пересечения равны по модулю и противоположны по знаку. Поэтому более точная
формулировка полученного свойства такова: углы между прямыми и окружностями при
инверсии меняют знак.
На самом деле вместо окружностей и прямых здесь можно брать любые кривые, имеющие
касательные в их общей точке (без чего вообще нельзя говорить об угле между ними).
Доказательство остается прежним, если только доказать, что инверсия и в общем случае
сохраняет касание.
12. ИНВЕРСИЯ В ПРОСТРАНСТВЕ И ЕЕ СВОЙСТВА. Определение инверсии без каких-либо
изменений переносится в пространство. Из кругового свойства инверсии на плоскости
вытекает сферическое свойство инверсии пространства: если сфера не содержит центр O
инверсии, то при инверсии она переходит в сферу, а сфера, проходящая через O, переходит
в плоскость (см. доказательство в п. 0). Отсюда немедленно следует и круговое свойство
пространственной инверсии: любую окружность она переводит в прямую или окружность в
зависимости от того, содержит ли данная окружность центр инверсии. Действительно,
достаточно заметить, что окружность можно представить как пересечение двух сфер или
сферы и плоскости.
Для инверсии пространства имеет место и свойство сохранения углов (п. 11). Его
доказательство тоже остается прежним за исключением того, что вспомогательные
окружности ω1 и ω2 могут лежать в разных плоскостях и, в таком случае, симметричны
относительно плоскости, содержащей их центры и середину общей хорды.
13. ДОКАЗАТЕЛЬСТВО СФЕРИЧЕСКОГО СВОЙСТВА ПРОСТРАНСТВЕННОЙ ИНВЕРСИИ. Рассмотрим
сферу с центром A. Любая плоскость α, проходящая через полюс инверсии O и точку A,
очевидно, переходит в себя – в ней наше преобразование действует как «плоская»
инверсия. Плоскость α пересекает любую сферу s по некоторой окружности ω с центром A,
которая при инверсии переходит в прямую, перпендикулярную к OA или окружность с
центром на OA. Если вращать плоскость α вокруг оси OA, то любая окружность с центром
на оси описывает сферу, а прямая, перпендикулярная к оси – плоскость. Отсюда и следует,
что сфера s переходят в сферу или плоскость.
В случае, когда полюс O инверсии не лежит на сфере s, ее образ есть сфера, гомотетичная s
относительно O с коэффициентом k/d, где k – коэффициент инверсии, а d – степень O
относительно s: I Ok ( s ) = H Ok / d ( s ) (степень точки относительно сферы определяется так же,
как и степень относительно окружности). Доказывается это так же, как в п. 5 для инверсии
плоскости.
14. СТЕРЕОГРАФИЧЕСКАЯ ПРОЕКЦИЯ. Пусть N и S – диаметрально противоположные точки
некоторой сферы (глобуса). Рассмотрим ее центральную проекцию из точки N на плоскость
α, касающуюся ее в точке S. Это отображение называется стереографической проекцией.
Легко понять, что его можно также рассматривать как инверсию глобуса с полюсом N
относительно сферы с центром N, проходящей через S. Из свойств инверсии пространства
следует, что стереографическая проекция переводит окружности на глобусе в окружности
или прямые на плоскости α (прямые – это образы окружностей, проходящих через N) и что
она сохраняет углы между окружностями и прямыми, в частности, ортогональность
окружностей.
15. [этот пункт на будущее!] ФОРМУЛА КРЕЛЛЕ. Имеется красивая формула, связывающая
объём тетраэдра ABCD с радиусом R его описанной сферы:
∆
V = ,
6R
где Δ – площадь треугольника, стороны которого численно равны произведениям
противоположных ребер (AB⋅CD, AC⋅BD, AD⋅BC). Для доказательства используется
инверсия пространства с полюсом D и коэффициентом k=DA·DB·DC.
16. ТЕОРЕМА МОРА-МАСКЕРОНИ. Условимся считать прямую построенной, если построены
две ее точки. Тогда любое построение, выполнимое циркулем и линейкой, можно
выполнить одним циркулем.
ИДЕЯ ДОКАЗАТЕЛЬСТВА. В следующих пунктах мы научимся строить одним циркулем
образы точки, прямой, окружности при инверсии относительно данной окружности с
данным центром. Тогда любое построение, выполненное циркулем и линейкой, можно
будет преобразовать в построение одним циркулем (с учетом нашего соглашения о
проведении прямых) следующим образом. Разобьем это построение на шаги, в результате
каждого из которых появляется новая точка, которая строится как точка пересечения двух
линий («обобщенных окружностей»). Если эти линии – окружности, то оставляем данный
шаг без изменений. Если это две прямые, то чертим произвольную окружность ω, центр
которой не лежит на них, строим (одним циркулем) образы данных прямых при инверсии
относительно ω (это будут окружности!), находим их точку пересечения, отличную от
центра инверсии, и ее образ при той же инверсии; это и будет искомая новая точка.
Аналогично строятся точки пересечения прямой и окружности. В результате мы избавимся
от всех применений линейки.
17. СИММЕТРИИ. Начнем с двух вспомогательных построений, которые предлагается найти
самостоятельно:
(1) Даны точки O и X; построить одним циркулем точку Y, симметричную X
относительно O.
(2) Даны точки A, B и X; построить одним циркулем точку Y, симметричную X
относительно AB.
18. ОБРАЗ ТОЧКИ ПРИ ИНВЕРСИИ. На рисунке показано A
построение образа Y точки X при инверсии I относительно
окружности ω с центром O в случае, когда окружности α(X; O)
и ω пересекаются (в точках A и B). Обосновать это несложно с ω X Y
O
помощью подобия треугольников XAO и AOY (как?); а мы
приведем другое доказательство. α
Поскольку точки X и ∞ симметричны относительно α, при
инверсии I они переходят в точки, симметричные относительно B
I(α). Но I(X) = Y, I(∞) = O, а I(α) – это прямая AB (см. диаграмму).
∞ ←
Iα
→ X
վ Iω վ վ
S AB
O ← → Y
Поэтому точка Y = SAB(O) и построима одним циркулем (см. п. 17, (2)).
Если окружность α не пересекает ω, то с помощью центральной симметрии (п. 17, (1))
будем откладывать на продолжении отрезка OX равный ему отрезки, пока не получим
точку, для которой приведенное выше построение работает, например, точку, лежащую вне
окружности ω (т.е. построим такую точку Xn вне ω, что OXn = nOX, где n целое). Ее образ
при инверсии Yn = I(Xn) мы строить умеем. Тогда OY = nOYn (проверьте!).
19. ПОСТРОЕНИЕ ОБРАЗОВ ПРЯМОЙ И ОКРУЖНОСТИ. Инверсия с центром Z переводит прямую
AB в окружность ZA'B', где A' и B' – образы точек A и B, которые можно построить одним
циркулем. Поэтому для построения образа прямой достаточно уметь строить окружность,
проходящую через три данные точки, т.е. ее центр. Образ произвольной окружности также
можно построить как окружность, проходящую через
образы любых трех ее точек. Таким образом, β
достаточно объяснить, как строить центр O
окружности ω, проходящей через три данные точки A, B
B и C. A
Пусть β – окружность с центром A, проходящая через b
B (см. рисунок). При инверсии относительно β искомая
окружность ω переходит в прямую b = BC', где C' O
C'=Iβ(C), а значит, точки O и ∞, симметричные
относительно ω, перейдут в точки Q = I (O) и A, Q ω
β
симметричные относительно b; см. диаграмму:
∞ ← Iω
→ O
վ Iβ վ վ C
Sb
A ← → Q

Отсюда построение: строим C'=Iβ(C) (п. 18), Q = SBC'(A) (п. 17, (2)) и O = Iβ(Q).
Это завершает доказательство теоремы Мора-Маскерони. ■