Проективные квадрики и инволюция сопряженных точек

Однородные квадратичные формы в проективном пространстве

В проективном пространстве $\mathbb{P}^n$ любая квадрика описывается однородным полиномом второй степени, который алгебраически записывается через симметричную матрицу $Q$ размера $(n+1) \times (n+1)$. Уравнение квадрики имеет вид: $X^T Q X = 0$, где $X$ — вектор-столбец однородных координат. Если определитель матрицы $Q$ не равен нулю, квадрика невырождена (является гладкой, не распадается на плоскости или конусы). В таком пространстве нет разницы между сферой и гиперболоидом; проективными преобразованиями матрицу $Q$ всегда можно диагонализовать так, чтобы на диагонали стояли только числа $+1$ и $-1$. Это грандиозное алгебраическое упрощение позволяет обобщить теоремы классической геометрии на пространства сколь угодно больших размерностей.

Полюс и поляра: геометрическое определение

Пусть задана невырожденная квадрика $Q$ и произвольная точка $P$ (полюс). Полярой точки $P$ относительно квадрики $Q$ называется прямая линия (или гиперплоскость), алгебраическое уравнение которой записывается абсолютно симметрично уравнению самой квадрики: $P^T Q X = 0$. Геометрически построение поляры выглядит как магия. Если точка $P$ находится вне квадрики, мы можем провести из нее две касательные к квадрике. Поляра — это в точности прямая линия, соединяющая две точки касания! Если точка $P$ лежит прямо на самой квадрике, поляра сливается с касательной гиперплоскостью в этой точке. Если точка $P$ находится глубоко внутри замкнутой квадрики (касательные провести невозможно), поляра все равно существует математически и располагается снаружи, за пределами фигуры.

Принцип двойственности и инцидентность

Отношение «полюс-поляра» является биективным и инволютивным. Это означает, что если точка $A$ имеет поляру $a$, то полюсом прямой $a$ является именно точка $A$. Более того, поляритет идеально сохраняет свойство инцидентности (принадлежности) с инверсией размерности: если точка $A$ лежит на поляре $b$ (поляре точки $B$), то точка $B$ гарантированно лежит на поляре $a$ (поляре точки $A$). Такие точки $A$ и $B$ называются сопряженными относительно квадрики (алгебраически это означает ортогональность их векторов в метрике $Q$: $A^T Q B = 0$). Эта потрясающая симметрия позволяет мгновенно превращать любую теорему о пересечении точек в двойственную теорему о пересечении прямых, создавая двойственные проективные утверждения (например, теорему Паскаля и теорему Брианшона).

Инволюция сопряженных точек на секущей

Рассмотрим любую произвольную прямую линию $L$, пересекающую квадрику. Если на этой прямой выбрать точку $A$, ее поляра $a$ пересечет прямую $L$ в некоторой точке $A'$. Пара точек $(A, A')$ образует инволюцию (самообратимое проективое преобразование) на прямой $L$. Точки пересечения самой прямой $L$ с квадрикой являются двойными (неподвижными) точками этой инволюции. Двойственное отношение любой пары сопряженных точек $(A, A')$ и двух точек пересечения с квадрикой $(X, Y)$ всегда строго равно минус единице (они образуют гармоническую четверку: $(A A' ; X Y) = -1$). Это алгебро-геометрическое свойство доказывает, что квадрика пронизывает проективное пространство жесткими структурными связями, которые не разрушаются при любых перспективных искажениях, служа фундаментом для калибровочных алгоритмов камер в машинном зрении.