Однородные координаты и проективная геометрия плоскости

Классическая аналитическая геометрия Декарта обладает одним существенным философским недостатком: в ней параллельные прямые никогда не пересекаются, что нарушает общую симметрию пересечения линий. Чтобы устранить эту аномалию и математически описать перспективу (например, рельсы, сходящиеся на горизонте), математики разработали проективную геометрию и систему однородных координат. Этот алгебраический аппарат добавляет к координатам точки еще одно, фиктивное измерение, позволяя строго аналитически описывать бесконечно удаленные точки и линии. Однородные координаты стали Святым Граалем компьютерной 3D-графики, позволив объединить вращение и параллельный перенос объектов в единую операцию умножения матриц.

Переход к однородным координатам

В декартовой системе на плоскости точка задается парой чисел (x; y). В однородной системе координат эта же точка описывается тройкой чисел (x1; x2; x3), которые связаны с декартовыми координатами простым отношением: x = x1/x3 и y = x2/x3 (при условии, что x3 не равно нулю). Главное свойство однородных координат заключается в их масштабной инвариантности: тройки (1; 2; 1) и (2; 4; 2) задают абсолютно одну и ту же физическую точку на декартовой плоскости. Геометрически это означает, что мы рассматриваем нашу двумерную плоскость как сечение трехмерного пространства, отодвинутое на расстояние z=1 от начала координат. Каждая точка плоскости теперь отождествляется с целым лучом, проходящим через начало трехмерных координат.

Бесконечно удаленные точки (Идеалы)

Настоящая магия проективной геометрии начинается, когда координата x3 становится равной нулю. В декартовой системе деление на ноль невозможно, но в однородных координатах тройка (x1; x2; 0) является абсолютно законным математическим объектом. Такие координаты описывают так называемые бесконечно удаленные точки (или идеальные точки). Каждая такая точка задает не конкретное местоположение, а направление в пространстве. В проективной геометрии утверждается, что любые две параллельные прямые обязательно пересекаются, и их точка пересечения — это именно бесконечно удаленная точка, соответствующая их общему направляющему вектору. Множество всех бесконечно удаленных точек образует бесконечно удаленную прямую, замыкая плоскость.

Унификация уравнений кривых

Использование однородных координат радикально преображает алгебру кривых второго порядка. Классическое громоздкое уравнение (с квадратами, перекрестными и линейными членами) в однородных координатах превращается в идеальную однородную квадратичную форму: a11*x1^2 + 2*a12*x1*x2 + a22*x2^2 + 2*a13*x1*x3 + 2*a23*x2*x3 + a33*x3^2 = 0. Сумма степеней переменных в каждом слагаемом строго равна двум. В проективном пространстве исчезает разница между эллипсом, параболой и гиперболой. Все они становятся проективно эквивалентными! Различие между ними возникает лишь тогда, когда мы выбираем, как именно эта идеальная проективная кривая пересекается с нашей бесконечно удаленной прямой (эллипс не пересекает, парабола касается, гипербола пересекает в двух точках).

Аффинные преобразования в виде матриц 3x3

В традиционной декартовой геометрии параллельный перенос (сдвиг) является нелинейной операцией (сложением векторов), в то время как вращение и масштабирование — линейными (умножением на матрицу). Это делает расчет сложных траекторий крайне неудобным. В однородных координатах параллельный перенос плоскости на вектор (dx; dy) изящно упаковывается в квадратную матрицу размера 3x3, в третьем столбце которой стоят значения сдвига. Теперь абсолютно любое аффинное или проективное преобразование (включая искажение перспективы) выполняется одной единственной операцией — умножением вектора (x; y; 1) на матрицу 3x3. Этот математический трюк аппаратно реализован во всех современных видеокартах, обеспечивая мгновенный рендеринг графики.

Оценить