16.2.2. ПЕРЕСЕЧЕНИЕ ТРЕУГОЛЬНИКОВ
Введем следующее обозначение определителя:
Утверждение 16.2. Рассмотрим два треугольника, каждый из которых задается тремя точками: первый треугольник — точками
- второй — точками
Пусть
и — однородные координаты точки
В таком случае два треугольника пересекаются, если не все значения определителей
имеют один и тот же знак и не все значения определителей
имеют один и тот же знак.
Доказательство. Это утверждение является непосредственным следствием утверждения 16.1.
Данный результат представляет собой обобщение анализа, проведенного в подразд. 14.4.2 для двухмерного случая, на трехмерный случай.