Барицентрические координаты: аналитическая геометрия симплексов

Определение и алгебраическая формулировка

Рассмотрим на плоскости опорный треугольник с вершинами A, B и C. Для любой произвольной точки P мы можем задать тройку действительных чисел (лямбда_1, лямбда_2, лямбда_3), называемых барицентрическими координатами. Радиус-вектор точки P алгебраически выражается как линейная комбинация радиус-векторов вершин: r_P = лямбда_1*r_A + лямбда_2*r_B + лямбда_3*r_C. Главным, фундаментальным ограничением барицентрической системы является то, что сумма этих трех весовых коэффициентов всегда должна строго равняться единице: лямбда_1 + лямбда_2 + лямбда_3 = 1. Это ограничение нормализации (условие аффинной оболочки) гарантирует, что полученные координаты не зависят от выбора начала отсчета глобальной декартовой системы, делая их внутренним свойством самого треугольника.

Связь с площадями и метод определителей

Абсолютные значения барицентрических координат обладают потрясающим геометрическим смыслом: они в точности пропорциональны площадям соответствующих подтреугольников. Соединим точку P с вершинами A, B и C, разбив исходный треугольник ABC на три малых треугольника: BCP, CAP и ABP. Координата лямбда_1 (соответствующая вершине A) равна отношению площади треугольника BCP к площади всего базового треугольника ABC. Аналитически эти площади вычисляются мгновенно через определители (смешанные или векторные произведения) декартовых координат вершин. Использование правила Крамера при решении линейной системы уравнений дает точные формулы перехода между декартовой и барицентрической системами без геометрических построений.

Внутренние и внешние точки полигона

В компьютерной графике при растеризации (отрисовке 3D-моделей на экране) алгоритму необходимо ежесекундно решать миллионы задач: попадает ли конкретный пиксель внутрь спроецированного на экран треугольника? Барицентрические координаты дают на этот вопрос самый изящный алгебраический ответ. Если все три вычисленные барицентрические координаты точки P (лямбда_1, лямбда_2, лямбда_3) строго положительны (больше нуля), это означает, что точка P гарантированно находится внутри треугольника. Если хотя бы одна координата равна нулю, точка лежит на ребре треугольника. Если хотя бы одна координата становится отрицательной, точка находится снаружи (ее виртуальная «масса» отрицательна, чтобы вытянуть центр тяжести за пределы фигуры).

Интерполяция цветов и алгоритм затенения Гуро

Настоящая магия барицентрических координат раскрывается в задачах интерполяции. Представьте, что в компьютерной игре трем вершинам полигона заданы разные цвета (например, A — красный, B — зеленый, C — синий) или разные значения освещенности. Как плавно и градиентно раскрасить пространство внутри треугольника? Решение элементарно: чтобы найти цвет любого пикселя P внутри фигуры, мы просто умножаем цвета вершин на вычисленные барицентрические координаты пикселя P и складываем результат: Цвет_P = лямбда_1*Цвет_A + лямбда_2*Цвет_B + лямбда_3*Цвет_C. Точно так же этот подход работает с нормалями к поверхности для сглаживания освещения (модель затенения Гуро или Фонга) и наложения 2D-текстур на сложные изогнутые 3D-объекты.