Полярное преобразование¶

Полярное преобразование — это метод преобразования плоскости, при котором каждой точке ставится в соответствие прямая, а каждой прямой — точка, причём это соответствие сохраняет инцидентность и часто основано на фиксированной конике (окружности, эллипсе, параболе или гиперболе). В более узком смысле под полярным преобразованием понимают взаимно однозначное отображение точек и прямых проективной плоскости, задаваемое полярностью относительно невырожденной коники. Полярное преобразование является фундаментальным инструментом проективной геометрии и находит применение в алгебраической геометрии, теории кривых, компьютерной графике и оптике.

¶История

Идеи, лежащие в основе полярного преобразования, восходят к работам древнегреческих геометров, изучавших свойства конических сечений. В явном виде понятие поляры точки относительно коники было введено в XVII веке французским математиком Жераром Дезаргом в контексте проективной геометрии. Дезарг показал, что для любой точки, лежащей вне коники, можно построить прямую (поляру), соединяющую точки касания двух касательных, проведённых из этой точки к конике. Для точки, лежащей на конике, полярой является касательная в этой точке.

В XVIII—XIX веках полярное преобразование систематически изучалось в работах Жана-Виктора Понселе, Юлиуса Плюккера и Карла Георга Кристиана фон Штаудта. Понселе ввёл понятие полярного соответствия как взаимно однозначного отображения между точками и прямыми проективной плоскости. Плюккер развил теорию полярных кривых и применил полярное преобразование для изучения алгебраических кривых, в частности для доказательства теоремы Плюккера. В XX веке полярное преобразование стало важным инструментом в алгебраической геометрии, в частности в теории двойственности и изучении особенностей кривых.

¶Определение и основные понятия

¶Полярность относительно коники

Пусть на проективной плоскости задана невырожденная коника \( C \) (в аффинной плоскости — окружность, эллипс, парабола или гипербола). Для каждой точки \( P \) плоскости можно определить её поляру \( p \) относительно \( C \) следующим образом:

• Если \( P \) лежит вне \( C \), то из \( P \) можно провести две касательные к \( C \). Поляра \( p \) — это прямая, проходящая через точки касания этих касательных.
• Если \( P \) лежит на \( C \), то поляра \( p \) — это касательная к \( C \) в точке \( P \).
• Если \( P \) лежит внутри \( C \), то поляра \( p \) строится с помощью вспомогательных построений: через \( P \) проводятся две произвольные прямые, пересекающие \( C \) в двух точках каждая; затем через точки пересечения этих прямых с \( C \) строятся касательные; поляра \( p \) — это прямая, соединяющая точки пересечения этих касательных.

Обратно, для каждой прямой \( l \) можно определить её полюс \( L \) — точку, полярой которой является \( l \). Это соответствие является взаимно однозначным: если точка \( P \) имеет поляру \( p \), то точка \( P \) является полюсом прямой \( p \).

¶Аналитическое выражение

В аналитической геометрии полярное преобразование задаётся с помощью матрицы, ассоциированной с коникой. Пусть коника \( C \) задана уравнением в однородных координатах \((x_1 : x_2 : x_3)\):

\[ \sum_{i,j=1}^{3} a_{ij} x_i x_j = 0, \]

где \( a_{ij} = a_{ji} \) и матрица \( A = (a_{ij}) \) невырождена. Тогда поляра точки \( P = (p_1 : p_2 : p_3) \) задаётся уравнением:

\[ \sum_{i,j=1}^{3} a_{ij} p_i x_j = 0. \]

Вектор коэффициентов этой прямой равен \( A \cdot P \). Таким образом, полярное преобразование является линейным отображением между точками и прямыми, задаваемым матрицей \( A \).

¶Полярное преобразование в проективной плоскости

В проективной геометрии полярное преобразование рассматривается как частный случай корреляции — взаимно однозначного отображения, переводящего точки в прямые, а прямые в точки, сохраняющего инцидентность. Полярное преобразование, задаваемое невырожденной коникой, является симметричной корреляцией: если точка \( P \) лежит на прямой \( q \), то точка \( Q \) (полюс прямой \( q \)) лежит на прямой \( p \) (поляре точки \( P \)).

¶Свойства

¶Основные свойства

1. Взаимность: Если точка \( P \) лежит на поляре точки \( Q \), то точка \( Q \) лежит на поляре точки \( P \). Это свойство является следствием симметричности матрицы \( A \).
2. Сохранение инцидентности: Если точка \( P \) лежит на прямой \( l \), то полюс прямой \( l \) лежит на поляре точки \( P \).
3. Инволютивность: Двукратное применение полярного преобразования возвращает исходную точку или прямую (с точностью до проективного преобразования).
4. Перевод касательных: Касательная к конике в точке \( P \) является полярой точки \( P \). Соответственно, полюс касательной — это точка касания.

¶Полярное преобразование и двойственность

Полярное преобразование устанавливает двойственность между точками и прямыми на проективной плоскости. Это означает, что любая теорема, сформулированная в терминах точек и прямых, имеет двойственную теорему, в которой точки заменяются прямыми, а прямые — точками, причём полярное преобразование переводит одну теорему в другую. Например, теорема Паскаля о шестиугольнике, вписанном в конику, двойственна теореме Брианшона о шестиугольнике, описанном вокруг коники.

¶Виды полярных преобразований

¶Полярное преобразование относительно окружности

Наиболее распространённый частный случай — полярное преобразование относительно окружности. В аффинной плоскости с центром окружности в начале координат и радиусом \( R \) поляра точки \( P = (x_0, y_0) \) задаётся уравнением:

\[ x_0 x + y_0 y = R^2. \]

Если точка \( P \) лежит на окружности, то её поляра — касательная. Если точка \( P \) лежит внутри окружности, то её поляра — прямая, не пересекающая окружность.

¶Полярное преобразование относительно эллипса, параболы и гиперболы

Для эллипса, параболы и гиперболы полярное преобразование определяется аналогично, с использованием соответствующего уравнения коники. Например, для эллипса \( \frac{x^2}{a^2} + \frac{y^2}{b^2} = 1 \) поляра точки \( (x_0, y_0) \) имеет вид:

\[ \frac{x_0 x}{a^2} + \frac{y_0 y}{b^2} = 1. \]

¶Полярное преобразование в пространстве

Полярное преобразование может быть обобщено на трёхмерное пространство, где точкам ставятся в соответствие плоскости, а плоскостям — точки, относительно заданной квадрики (поверхности второго порядка). В этом случае говорят о полярном соответствии относительно квадрики.

¶Применение

¶Алгебраическая геометрия

Полярное преобразование широко используется в алгебраической геометрии для изучения двойственных кривых. Для данной алгебраической кривой \( C \) её двойственная кривая \( C^* \) состоит из полюсов всех касательных к \( C \). Полярное преобразование позволяет переводить свойства кривой (например, порядок, класс, число особых точек) в свойства двойственной кривой, что формализовано в формулах Плюккера.

¶Компьютерная графика и геометрическое моделирование

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

¶Оптика

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

¶Кристаллография

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

¶Примеры

¶Пример 1: Поляра точки относительно окружности

Рассмотрим окружность \( x^2 + y^2 = 1 \) и точку \( P = (2, 0) \). Поляра точки \( P \) задаётся уравнением \( 2x = 1 \), то есть \( x = 0.5 \). Это прямая, параллельная оси \( y \), проходящая через точку \( (0.5, 0) \). Точка \( P \) лежит вне окружности, и поляра не пересекает окружность.

¶Пример 2: Двойственная кривая параболы

Парабола \( y = x^2 \) имеет двойственную кривую, которая также является параболой. Полярное преобразование относительно окружности \( x^2 + y^2 = 1 \) переводит параболу в кривую, называемую циссоидой.

¶Критика и ограничения

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

¶Источники

• Кокстер, Г. С. М. Введение в геометрию. — М.: Наука, 1966.
• Прасолов, В. В. Геометрия: задачи и решения. — М.: МЦНМО, 2003.
• Хартсхорн, Р. Основы проективной геометрии. — М.: Мир, 1970.
• Плюккер, Ю. Система аналитической геометрии. — Лейпциг, 1835.