В геометрии множество точек в пространстве копланарно , если существует геометрическая плоскость , которая содержит их все. Например, три точки всегда копланарны, а если точки различны и неколлинеарны , то плоскость, которую они определяют, уникальна. Однако множество из четырех или более различных точек, как правило, не будет лежать в одной плоскости.
Две прямые в трехмерном пространстве являются компланарными, если существует плоскость, включающая их обе. Это происходит, если прямые параллельны или пересекаются . Две прямые, которые не являются компланарными, называются скрещивающимися прямыми .
Дистанционная геометрия предлагает метод решения задачи определения того, является ли набор точек копланарным, зная только расстояния между ними.
В трехмерном пространстве два линейно независимых вектора с одной и той же начальной точкой определяют плоскость, проходящую через эту точку. Их векторное произведение является нормальным вектором к этой плоскости, и любой вектор, ортогональный этому векторному произведению через начальную точку, будет лежать в этой плоскости. [1] Это приводит к следующему тесту на копланарность с использованием скалярного тройного произведения :
Четыре различные точки x 1 , x 2 , x 3 , x 4 лежат в одной плоскости тогда и только тогда, когда
что также эквивалентно
Если три вектора a , b , c лежат в одной плоскости, то если a ⋅ b = 0 (т.е. a и b ортогональны), то
где обозначает единичный вектор в направлении a . То есть векторные проекции c на a и c на b складываются, давая исходный c .
Поскольку три или менее точек всегда копланарны, проблема определения того, когда набор точек копланарен, обычно представляет интерес только тогда, когда задействовано по крайней мере четыре точки. В случае, когда точек ровно четыре, можно использовать несколько специальных методов, но общий метод, который работает для любого количества точек, использует векторные методы и свойство, что плоскость определяется двумя линейно независимыми векторами .
В n -мерном пространстве, где n ≥ 3 , набор из k точек является копланарным тогда и только тогда, когда матрица их относительных разностей, то есть матрица, столбцы (или строки) которой являются векторами, имеет ранг 2 или меньше.
Например, если даны четыре точки
если матрица
имеет ранг 2 или меньше, то четыре точки лежат в одной плоскости.
В частном случае плоскости, содержащей начало координат, свойство можно упростить следующим образом: набор из k точек и начало координат являются копланарными тогда и только тогда, когда матрица координат k точек имеет ранг 2 или меньше.
Косой многоугольник — это многоугольник , вершины которого не лежат в одной плоскости. Такой многоугольник должен иметь не менее четырех вершин; косых треугольников нет.
Многогранник с положительным объемом имеет вершины, которые не все лежат в одной плоскости .