Уравнение плоскости, проходящей через три заданные точки

Одной из фундаментальных аксиом стереометрии Евклида является утверждение о том, что через любые три точки пространства, не лежащие на одной прямой, можно провести плоскость, и притом только одну. Аналитическая геометрия переводит эту наглядную геометрическую истину на язык строгих алгебраических формул. Поиск уравнения плоскости по трем заданным координатам представляет собой классическую задачу, лежащую в основе всей современной компьютерной 3D-графики, где поверхности сложных объектов моделируются в виде полигональных сеток, состоящих из миллионов крошечных треугольников. Способность мгновенно вычислять уравнения этих треугольных граней позволяет видеокартам корректно рассчитывать векторы нормалей для реалистичного отражения света.

Векторный подход и компланарность

Пусть в трехмерном декартовом пространстве заданы три точки: M1(x1; y1; z1), M2(x2; y2; z2) и M3(x3; y3; z3). Чтобы найти уравнение плоскости, проходящей через них, выберем на этой же, пока неизвестной, плоскости абсолютно произвольную текущую точку M(x; y; z). Сформируем три вектора, исходящих из первой точки M1: вектор a = M1M, вектор b = M1M2 и вектор c = M1M3. Поскольку все четыре точки (M1, M2, M3 и M) по условию лежат в одной геометрической плоскости, построенные на них три вектора a, b и c обязаны быть компланарными. Из векторной алгебры мы знаем жесткий критерий компланарности: смешанное произведение трех векторов должно строго равняться нулю.

Определитель третьего порядка

Смешанное произведение векторов алгебраически записывается как определитель матрицы третьего порядка, строками (или столбцами) которой являются координаты этих векторов. Приравнивая этот определитель к нулю, мы получаем искомое уравнение плоскости: в первой строке стоят разности (x - x1), (y - y1), (z - z1); во второй строке — (x2 - x1), (y2 - y1), (z2 - z1); в третьей — (x3 - x1), (y3 - y1), (z3 - z1). Раскрытие этого определителя по элементам первой строки (с помощью алгебраических дополнений) автоматически сгруппирует переменные x, y и z, мгновенно приведя уравнение к классическому общему виду Ax + By + Cz + D = 0. При этом найденные алгебраические дополнения в точности дадут координаты вектора нормали к этой плоскости.

Анализ вырожденных случаев

Математический аппарат аналитической геометрии обладает встроенным механизмом защиты от логических ошибок. Что произойдет, если мы случайно попытаемся построить плоскость через три точки, которые лежат на одной прямой линии? В этом случае векторы M1M2 и M1M3 окажутся коллинеарными (параллельными), то есть вторая и третья строки нашего определителя станут пропорциональными. По свойствам матричной алгебры, определитель с пропорциональными строками тождественно равен нулю при любых значениях переменных x, y и z. Уравнение обратится в тривиальное тождество 0 = 0. Это математически доказывает, что через три коллинеарные точки проходит бесконечное множество плоскостей (пучок плоскостей), и выделить из них одну уникальную алгебраически невозможно.

Применение в полигональном моделировании

В системах автоматизированного проектирования (CAD) и движках рендеринга уравнение плоскости через три точки используется на каждом такте вычислений. Когда видеокарта отрисовывает треугольный полигон, ей необходимо знать, куда смотрит лицевая сторона этого полигона (чтобы не тратить ресурсы на отрисовку невидимой задней стороны). Направление лицевой стороны определяется вектором нормали, который извлекается прямо из коэффициентов A, B и C вычисленного уравнения плоскости. Строгий обход трех вершин треугольника против часовой стрелки (правило правой руки) при вычислении определителя гарантирует, что полученный вектор нормали будет указывать строго наружу от объема 3D-модели, обеспечивая правильный расчет теней и бликов.

Оценить