Инверсия относительно окружности: аналитическая геометрия отражений

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

Алгебраическое определение инверсии

Инверсия плоскости задается полюсом (центром инверсии) O и радиусом инверсии R (задающим базовую окружность). Геометрическое определение гласит: образом точки A (отличной от O) является такая точка A', которая лежит на луче OA, причем произведение расстояний от центра до этих точек строго равно квадрату радиуса базовой окружности: |OA| * |OA'| = R^2. С точки зрения аналитической геометрии в декартовых координатах (с началом в полюсе O) формулы перехода выглядят следующим образом: новые координаты x' и y' точки A' выражаются через старые как x' = x * R^2 / (x^2 + y^2) и y' = y * R^2 / (x^2 + y^2). Эти формулы нелинейны (знаменатель содержит сумму квадратов), что объясняет радикальные искажения форм объектов после преобразования.

Преобразование прямых и окружностей

Магия инверсии заключается в ее воздействии на прямые линии и окружности, которые в аналитической геометрии объединяются в класс обобщенных окружностей. Топологический анализ уравнений доказывает четыре фундаментальных правила. Во-первых, любая прямая линия, проходящая через центр инверсии, переходит сама в себя. Во-вторых, прямая линия, не проходящая через центр, «сгибается» и превращается в окружность, обязательно проходящую через центр инверсии. В-третьих, окружность, проходящая через центр инверсии, разворачивается в бесконечную прямую линию. В-четвертых, окружность, не проходящая через центр инверсии, остается окружностью (хотя ее радиус и положение центра радикально меняются). Этот аппарат позволяет математикам превращать сложнейшие сети пересекающихся окружностей (например, сетки Аполлония) в тривиальную шахматную сетку прямых линий.

Конформность и сохранение углов

Несмотря на колоссальные метрические искажения (близкие точки разбрасываются в бесконечность, а далекие собираются в микроскопической области), инверсия обладает одним уникальным физическим свойством: она является конформным отображением. Конформность означает, что инверсия абсолютно строго сохраняет углы между пересекающимися кривыми (с точностью до направления обхода). Если две окружности пересекались под углом 90 градусов (ортогонально), то после инверсии их образы (новые окружности или прямые) тоже гарантированно будут пересекаться строго под прямым углом. Это свойство делает инверсию и конформные отображения главным математическим инструментом в аэродинамике (преобразования Жуковского для профиля крыла самолета) и электростатике для анализа эквипотенциальных полей.

Комплексная плоскость и сфера Римана

Самое глубокое аналитическое обоснование инверсия находит в теории функций комплексного переменного. Если мы заменим двумерные координаты точки на одно комплексное число z = x + i*y, то инверсия относительно единичной окружности (с последующим зеркальным отражением) запишется простейшим алгебраическим выражением: w = 1 / z. Сингулярность этого уравнения заключается в нуле (1/0), что заставляет математиков ввести в комплексную плоскость «бесконечно удаленную точку», замыкая плоскость в идеальную трехмерную сферу — Сферу Римана. На Сфере Римана инверсия плоскости геометрически превращается в элементарный зеркальный переворот сферы (отражение относительно экваториальной плоскости), доказывая, что прямые и окружности — это в точности один и тот же геометрический объект, просто рассмотренный с разных точек зрения.

Оценить