Компланарные векторы в геометрии¶

Компланарные векторы — это векторы, которые лежат в одной плоскости или параллельны одной и той же плоскости. Иными словами, существует такая плоскость, которой каждый из данных векторов параллелен (при этом сами векторы могут быть отложены от произвольных точек пространства). Понятие компланарности обобщает идею принадлежности одной прямой: если коллинеарные векторы располагаются на одной или параллельных прямых, то компланарные — в одной или параллельных плоскостях. Компланарность применяется в аналитической геометрии, линейной алгебре, физике и инженерных расчётах, где важно установить, лежат ли несколько направлений в единой плоскости.

¶Определение и базовые свойства

Три вектора называются компланарными, если, будучи отложенными от одной точки, они оказываются лежащими в одной плоскости. Формально векторы \(\vec{a}, \vec{b}, \vec{c}\) компланарны тогда и только тогда, когда существует плоскость, параллельная всем трём. Любые два вектора всегда компланарны: через два неколлинеарных вектора, отложенных от общей точки, можно провести единственную плоскость, а коллинеарные векторы тем более лежат в одной плоскости. Поэтому содержательный интерес представляет компланарность именно трёх и более векторов.

Из определения следуют простые свойства:

• если среди векторов есть нулевой вектор, вся система компланарна;
• если два вектора коллинеарны, то вместе с любым третьим они образуют компланарную систему;
• добавление к компланарной системе нового вектора, лежащего в той же плоскости, сохраняет компланарность;
• любые три вектора на плоскости компланарны, поскольку сама плоскость их содержит.

¶Критерий компланарности

Основной признак компланарности трёх векторов формулируется через их смешанное произведение. Векторы \(\vec{a}, \vec{b}, \vec{c}\) компланарны тогда и только тогда, когда их смешанное произведение равно нулю:

\[ (\vec{a}, \vec{b}, \vec{c}) = \vec{a} \cdot (\vec{b} \times \vec{c}) = 0. \]

Геометрический смысл смешанного произведения — объём параллелепипеда, построенного на векторах. Если объём равен нулю, параллелепипед вырождается в плоскую фигуру, то есть векторы лежат в одной плоскости. В координатной форме для векторов \(\vec{a}(a_x, a_y, a_z)\), \(\vec{b}(b_x, b_y, b_z)\), \(\vec{c}(c_x, c_y, c_z)\) условие компланарности записывается как равенство нулю определителя третьего порядка:

\[ \begin{vmatrix} a_x & a_y & a_z \\ b_x & b_y & b_z \\ c_x & c_y & c_z \end{vmatrix} = 0. \]

Эквивалентный критерий: три вектора компланарны тогда и только тогда, когда они линейно зависимы. Это означает, что один из векторов выражается линейной комбинацией двух других: \(\vec{c} = \alpha \vec{a} + \beta \vec{b}\). Если же векторы линейно независимы, они некомпланарны и образуют базис трёхмерного пространства.

¶Разложение вектора по двум компланарным

Важное следствие: если \(\vec{a}\) и \(\vec{b}\) — неколлинеарные векторы, а \(\vec{c}\) компланарен им, то \(\vec{c}\) единственным образом раскладывается по \(\vec{a}\) и \(\vec{b}\):

\[ \vec{c} = \alpha \vec{a} + \beta \vec{b}. \]

Коэффициенты \(\alpha\) и \(\beta\) находятся единственным образом. Этот факт лежит в основе метода координат на плоскости: любые два неколлинеарных вектора образуют базис плоскости, а компланарный им третий вектор через этот базис выражается. В пространстве аналогичную роль играют три некомпланарных вектора, образующие базис.

¶Компланарность в координатах и на практике

При решении задач компланарность удобно проверять через координаты. Например, векторы \(\vec{a}(1, 2, 3)\), \(\vec{b}(2, 0, 1)\), \(\vec{c}(4, 4, 7)\) компланарны, если определитель из их координат равен нулю. Вычисление определителя — стандартная вычислительная процедура, легко реализуемая как вручную, так и программно.

Типовые задачи, где используется это понятие:

• проверка, лежат ли четыре точки в одной плоскости (через векторы, построенные на трёх рёбрах);
• установление линейной зависимости системы векторов;
• нахождение объёма параллелепипеда и тетраэдра;
• определение базиса и размерности линейной оболочки системы векторов;
• анализ условий равновесия в механике, когда силы действуют в одной плоскости.

¶Связь с линейной алгеброй

В линейной алгебре компланарность — частный случай линейной зависимости. Система векторов линейно зависима, если существует нетривиальная линейная комбинация, равная нулю. Для трёх векторов в трёхмерном пространстве линейная зависимость равносильна компланарности. Ранг системы из трёх компланарных векторов не превышает двух, а размерность их линейной оболочки — не более двух. Это связывает геометрическое понятие с алгебраическими характеристиками матрицы, составленной из координат векторов: её определитель обращается в нуль, а ранг меньше трёх.

В более общем случае для \(n\) векторов в \(n\)-мерном пространстве аналогом служит равенство нулю определителя Грама или линейная зависимость системы. Таким образом, компланарность — наглядная геометрическая иллюстрация общих алгебраических закономерностей.

¶Значение и применение

Понятие компланарности широко применяется в аналитической геометрии при исследовании взаимного расположения прямых и плоскостей, в стереометрии при доказательстве теорем о плоскостях, в физике при сложении сил и скоростей, лежащих в одной плоскости, а также в компьютерной графике и робототехнике при описании плоских механизмов и преобразований. В инженерных расчётах проверка компланарности позволяет упростить трёхмерную задачу до двумерной, что существенно снижает вычислительную сложность.

Отдельно выделяют понятие компланарности прямых и точек: прямые компланарны, если лежат в одной плоскости; точки компланарны, если существует плоскость, их содержащая. Через любые три точки, не лежащие на одной прямой, проходит единственная плоскость, поэтому три точки всегда компланарны, а для четырёх и более точек это уже нетривиальное условие.

Источники: учебники по аналитической геометрии и линейной алгебре, школьные курсы стереометрии, справочные материалы по векторному исчислению.