Направляющие векторы из общего уравнения плоскости

Уравнения плоскости, компланарной двум неколлинеарным векторам

Напомним, что три или более векторов называются компланарными , если существует плоскость, которой они параллельны. Эту плоскость будем называть компланарной заданным векторам .

Направляющими векторами плоскости называются два неколлинеарных вектора, компланарных этой плоскости, т.е. принадлежащих плоскости или параллельных ей.

Пусть в координатном пространстве заданы:

б) два неколлинеарных вектора (рис.4.15).

Требуется составить уравнение плоскости, компланарной векторам и проходящей через точку

Выберем на плоскости произвольную точку . Обозначим — радиус-векторы точек и (рис.4.16).

Условие компланарности векторов (рис.4.16) можно записать, используя свойства смешанного произведения Применяя формулу (1.17), получаем уравнение плоскости, проходящей через заданную точку и компланарной двум неколлинеарным векторам:

Параметрическое уравнение плоскости

Пусть в координатном пространстве заданы:

б) два неколлинеарных вектора (рис.4.15).

Требуется составить параметрическое уравнение вида (4.10) плоскости, компланарной векторам и проходящей через точку

Выберем на плоскости произвольную точку . Обозначим -радиус-векторы точек и (рис.4.16).

Точка принадлежит заданной плоскости тогда и только тогда, когда векторы и компланарны (см. разд. 1.3.2). Запишем условие компланарности: где — некоторые действительные числа (параметры). Учитывая, что получим векторное параметрическое уравнение плоскости :

где — направляющие векторы плоскости, а — радиус-вектор точки, принадлежащей плоскости.

Координатная форма записи уравнения (4.19) называется параметрическим уравнением плоскости:

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

1. Поскольку направляющие векторы плоскости неколлинеарны, то они ненулевые.

2. Любой вектор , коллинеарный плоскости, ортогонален нормальному вектору для этой плоскости. Поэтому их скалярное произведение равно нулю:

Следовательно, координаты и направляющих векторов и плоскости и ее нормали связаны однородными уравнениями:

3. Направляющие векторы плоскости определяются неоднозначно.

4. Для перехода от общего уравнения плоскости (4.15) к параметрическому (4.20) нужно выполнить следующие действия:

1) найти любое решение уравнения определяя тем самым координаты точки принадлежащей плоскости;

2) найти любые два линейно независимых решения однородного уравнения определяя тем самым координаты решения и направляющих векторов и плоскости;

3) записать параметрическое уравнение (4.20).

5. Чтобы перейти от параметрического уравнения плоскости к общему , достаточно либо записать уравнение (4.18) и раскрыть определитель, либо найти нормаль как результат векторного произведения направляющих векторов:

и записать общее уравнение плоскости в форме (4.14):

6. Векторное параметрическое уравнение плоскости (4.19), полученное в прямоугольной системе координат, имеет тот же вид в любой другой аффинной системе координат. Геометрический смысл коэффициентов в уравнении остается прежним.

Пример 4.8. В координатном пространстве (в прямоугольной системе координат) заданы точки и (см. рис.4.11). Требуется:

а) составить параметрическое уравнение плоскости, перпендикулярной отрезку и проходящей через его середину;

б) составить общее уравнение плоскости, проходящей через середину отрезка и компланарной радиус-векторам и

Решение. а) Общее уравнение искомой плоскости было получено в примере 4.5: Составим параметрическое уравнение:

1) находим любое решение уравнения , например, следовательно, точка принадлежит плоскости;

2) находим два линейно независимых (непропорциональных) решения однородного уравнения например и следовательно, векторы являются направляющими для плоскости;

3) записываем параметрическое уравнение плоскости (4.20):

б) Координаты середины отрезка были найдены в примере 4.5. Нормаль к искомой плоскости получим как векторное произведение ее направляющих векторов и

Составляем уравнение (4.14):

Тот же результат можно получить, записывая уравнение (4.18):

Направляющий вектор прямой, координаты направляющего вектора прямой

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

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

Что такое направляющий вектор прямой

Для того чтобы понять эту тему, нам нужно хорошо представлять, что такое вообще прямая и как она может размещаться в пространстве и на плоскости. Кроме того, важно вспомнить ранее изученное понятие вектора. Об этом мы уже писали в отдельном материале. Если нужно, найдите и перечитайте эти статьи.

Сформулируем, что такое направляющий вектор.

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

Получается, что у каждой прямой есть бесконечное множество направляющих векторов. При этом все они будут являться коллинеарными в силу озвученного определения, ведь они лежат на одной прямой или параллельной ей другой прямой. Выходит, что если a → является направляющий вектором прямой a , то другой направляющий вектор мы можем обозначить как t · a → при любом значении t , соответствующем действительному числу.

Также из определения выше можно сделать вывод, что направляющие векторы двух параллельных прямых будут совпадать: если прямые a и a 1 являются параллельными, то вектор a → будет направляющим и для a , и для a 1 .

Третий вывод, следующий из определения: если у нас есть направляющий вектор прямой a , то он будет перпендикулярным по отношению к любому нормальному вектору той же прямой.

Приведем пример направляющего вектора: в прямоугольной системе координат для осей O x , O y и O z направляющими будут координатные векторы i → , j → и k → .

Как вычислить координаты направляющего вектора по уравнениям прямой

Допустим, что у нас есть некая прямая с направляющими векторами, лежащая в прямоугольной системе координат. Сначала мы разберем случай с плоской декартовой системой O x y , а потом с системой O x y z , расположенной в трехмерном пространстве.

1. Прямую линию в O x y можно описать с помощью уравнения прямой на плоскости. В этом случае координаты направляющих векторов будут соответствовать направляющим векторам исходной прямой. А если нам известно уравнение прямой, как вычислить координаты ее направляющего вектора? Это легко сделать, если мы имеем дело с каноническим или параметрическим уравнением.

Допустим, у нас есть канонический случай уравнения, которое имеет вид x — x 1 a x = y — y 1 a y . С его помощью на плоскости задана прямая с направляющим вектором a → = ( a x , a y ) .

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

Приведем пример задачи.

В прямоугольной системе координат задана прямая, которую можно описать уравнением x — 1 4 = y + 1 2 — 3 . Вычислите координаты одного из направляющих векторов прямой.

Решение

Из уравнения мы можем сразу взять координаты направляющего вектора. Берем числа в знаменателях и записываем: 4 , — 3 . Это и будет нужный нам ответ.

Ответ: 4 , — 3 .

Если же прямая описана уравнением параметрического типа, то нам нужно смотреть на коэффициенты при параметре. Они будут соответствовать координатам нужного нам направляющего вектора.

У нас есть прямая, которую можно описать с помощью системы параметрических уравнений x = — 1 y = 7 — 5 · λ , при этом λ ∈ R . Найдите координаты направляющих векторов.

Решение

Для начала перепишем данные параметрические уравнения в виде x = — 1 + 0 · λ y = 7 — 5 · λ . Посмотрим на коэффициенты. Они сообщат нам нужные координаты направляющего вектора – a → = ( 0 , 5 ) . Учитывая, что все направляющие векторы одной прямой будут коллинеарны, мы можем задать их в виде t · a → или 0 , — 5 · t , где t может быть любым действительным числом. О том, как проводить действия с векторами в координатах, мы писали в отдельной статье.

Ответ: 0 , — 5 · t , t ∈ R , t ≠ 0

Теперь разберем случай, как найти координаты вектора, если прямая задана общим уравнением вида A x + B y + C = 0 . Если A = 0 , то исходное уравнение можно переписать как B y + C = 0 . Оно определяет прямую, которая будет параллельна оси абсцисс. Значит, в качестве ее направляющего вектора мы можем взять координатный вектор i → = 1 , 0 .

А если B = 0 , то уравнение прямой мы можем записать как A x + C = 0 . Описываемая им прямая будет параллельна оси ординат, поэтому ее координатный вектор j → = 0 , 1 также будет направляющим. Рассмотрим конкретную задачу.

У нас есть прямая, заданная при помощи общего уравнения x — 2 = 0 . Найдите координаты любого направляющего вектора.

Решение

В прямоугольной системе координат исходное уравнение будет соответствовать прямой, параллельной оси ординат. Значит, мы можем взять координатный вектор j → = ( 0 , 1 ) . Он будет для нее направляющим.

Ответ: ( 0 , 1 )

А как быть в случае, если ни один коэффициент в A x + B y + C = 0 не будет равен 0? Тогда мы можем использовать несколько разных способов.

1. Мы можем переписать основное уравнение так, чтобы оно превратилось в каноническое. Тогда координаты вектора можно будет взять из его значений.

2. Можно вычислить отдельно начальную и конечную точку направляющего вектора. Для этого надо будет взять координаты двух любых несовпадающих точек исходной прямой.

3. Третий способ заключается в вычислении координат любого вектора, который будет перпендикулярен нормальному вектору этой прямой n → = A , B .

Самым простым является первый подход. Проиллюстрируем его на примере задачи.

Есть прямая на плоскости, заданная уравнением 3 x + 2 y — 10 = 0 . Запишите координаты любого направляющего вектора.

Решение

Перепишем исходное уравнение в каноническом виде. Сначала перенесем все слагаемые из левой части, кроме 3 x, в правую с противоположным знаком. У нас получится:

3 x + 2 y — 10 = 0 ⇔ 3 x = — 2 y + 10

Получившееся равенство преобразовываем и получаем:

3 x = — 2 y + 10 ⇔ 3 x = — 2 ( y — 5 ) ⇔ x — 2 = y — 5 3

Отсюда мы уже можем вывести координаты нужного нам направляющего вектора: -2 , 3

К общему виду легко свести и такие типы уравнений, как уравнение прямой в отрезках x a + y b = 1 и уравнение прямой с угловым коэффициентом y = k · x + b , так что если они встретились вам в задаче на нахождение координат направляющего вектора, то можно также использовать этот подход.

Далее мы разберем, как найти эти координаты, если прямая у нас задана не в плоскости, а в пространстве.

Вектор a → = ( a x , a y , a z ) является направляющим для прямой, выраженной с помощью:

1) канонического уравнения прямой в пространстве x — x 1 a x = y — y 1 a y = z — z 1 a z

2) параметрического уравнения прямой в пространстве x — x 1 a x = y — y 1 a y = z — z 1 a z

Таким образом, для вычисления координат направляющего вектора нужно взять числа из знаменателей или коэффициентов при параметре в соответствующем уравнении.

Рассмотрим конкретную задачу.

Прямая в пространстве задана уравнением вида x — 1 4 = y + 1 2 0 = z — 3 . Укажите, какие координаты будет иметь направляющий вектор данной прямой.

Решение

В каноническом уравнении необходимые числа видны сразу в знаменателях. Получается, что ответом будет вектор с координатами 4 , 0 , — 3 . Координаты всех направляющих векторов данной прямой можно записать в виде 4 · t , 0 , — 3 · t при условии, что t является действительным числом.

Ответ: 4 · t , 0 , — 3 · t , t ∈ R , t ≠ 0

Вычислите координаты любого направляющего вектора для прямой, которая задана в пространстве с помощью параметрического уравнения x = 2 y = 1 + 2 · λ z = — 4 — λ .

Решение

Перепишем данные уравнения в виде x = 2 + 0 · λ y = 1 + 2 · λ z = — 4 — 1 · λ .

Из этой записи можно вычленить координаты нужного нам вектора – ими будут коэффициенты перед параметром.

Разберем еще один случай. Как вычислить нужные координаты, если прямая задана уравнением двух пересекающихся плоскостей вида A 1 x + B 1 y + C 1 z + D 1 = 0 A 2 x + B 2 y + C 2 z + D 2 = 0 ?

Есть два способа. Можно записать это уравнение в параметрическом виде, где будут видны нужные координаты. Но можно использовать и другой способ. Объясним его.

Вспомним, что такой нормальный вектор плоскости. Он по определению будет лежать на прямой, перпендикулярной исходной плоскости. Значит, любой направляющий вектор прямой, которая в ней находится, будет перпендикулярен ее любому нормальному вектору.

Направляющий вектор прямой, образованной пересечением двух плоскостей A 1 x + B 1 y + C 1 z + D 1 = 0 и A 2 x + B 2 y + C 2 z + D 2 = 0 , будет перпендикулярен нормальным векторам n 1 → = ( A 1 , B 1 , C 1 ) и n 2 → = ( A 2 , B 2 , C 2 ) . То есть в качестве направляющего вектора мы может взять произведение векторов n 1 → = ( A 1 , B 1 , C 1 ) и n 2 → = ( A 2 , B 2 , C 2 ) .

n 1 → × n 2 → = i → j → k → A 1 B 1 C 1 A 2 B 2 C 2 — это и есть направляющий вектор прямой, по которой пересекаются исходные плоскости.

Решим задачу, в которой применяется этот подход.

Запишите координаты направляющего вектора прямой, выраженной с помощью уравнения x + 2 y + 3 z — 1 = 0 2 x + 4 y — 4 z + 5 = 0 .

Решение

Возьмем произведение двух нормальных векторов плоскостей x + 2 y + 3 z — 1 = 0 и 2 x + 4 y — 4 z + 5 = 0 . У них следующие координаты: 1 , 2 , 3 и 2 , 4 , — 4 .

У нас получится:

n 1 → × n 2 → = i → j → k → 1 2 3 2 4 — 4 = i → · 2 · ( — 4 ) + j → · 3 · 2 + k → · 1 · 4 — — k → · 2 · 2 — i → · 3 · 4 — j → · 1 · ( — 4 ) = — 20 · i → + 10 · j → + 0 · k →

Выходит, что вектор n 1 → × n 2 → = — 20 · i → + 10 · j → + 0 · k → ⇔ n 1 → × n 2 → = — 20 , 10 , 0 – это и есть нужный нам направляющий вектор прямой.

Ответ: — 20 , 10 , 0

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

Уравнения прямых и плоскостей

Поверхности и линии первого порядка.

Уравнение первой степени, или линейное уравнение, связывающее координаты точки в пространстве, имеет вид
$$
Ax+By+Cz+D = 0,\label
$$
причем предполагается, что коэффициенты при переменных не равны нулю одновременно, то есть \(A^<2>+B^<2>+C^ <2>\neq 0\). Аналогично, линейное уравнение, связывающее координаты точки на плоскости, — это уравнение
$$
Ax+By+C = 0,\label
$$
при условии \(A^<2>+B^ <2>\neq 0\).

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

В общей декартовой системе координат в пространстве каждая плоскость может быть задана линейным уравнением
$$
Ax+By+Cz+D = 0.\nonumber
$$
Обратно, каждое линейное уравнение в общей декартовой системе координат определяет плоскость.

В общей декартовой системе координат на плоскости каждая прямая может быть задана линейным уравнением
$$
Ax+By+C = 0,\nonumber
$$
Обратно, каждое линейное уравнение в общей декартовой системе координат на плоскости определяет прямую.

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

Параметрические уравнения прямой и плоскости.

Мы будем предполагать, что задана декартова система координат в пространстве (или на плоскости, если мы изучаем прямую в планиметрии). Это, в частности, означает, что каждой точке сопоставлен ее радиус-вектор относительно начала координат.

Рис. 6.1

Вектор \(\overrightarrowM> = \boldsymbol-\boldsymbol_<0>\), начало которого лежит на прямой, параллелен прямой тогда и только тогда, когда \(M\) также лежит на прямой. В этом и только этом случае для точки \(M\) найдется такое число \(t\), что
$$
\boldsymbol-\boldsymbol_ <0>= t\boldsymbol.\label
$$

Наоборот, какое бы число мы ни подставили в формулу \eqref в качестве \(t\), вектор \(\boldsymbol\) в этой формуле определит некоторую точку на прямой.

Уравнение \eqref называется векторным параметрическим уравнением прямой, а переменная величина \(t\), принимающая любые вещественные значения, называется параметром.

Векторное параметрическое уравнение выглядит одинаково и в планиметрии, и в стереометрии, но при разложении по базису оно сводится к двум или трем скалярным уравнениям, смотря по тому, сколько векторов составляют базис.

Получим теперь параметрические уравнения плоскости. Обозначим через \(\boldsymbol

\) и \(\boldsymbol\) ее направляющие векторы, а через \(\boldsymbol_<0>\) — радиус-вектор ее начальной точки \(M_<0>\). Пусть точка \(M\) с радиус-вектором \(\boldsymbol\) — произвольная точка пространства (рис. 6.2).

Рис. 6.2

Вектор \(\overrightarrowM> = \boldsymbol-\boldsymbol_<0>\), начало которого лежит на плоскости, параллелен ей тогда и только тогда, когда его конец \(M\) также лежит на плоскости. Так как \(\boldsymbol

\) и \(\boldsymbol\) не коллинеарны, в этом и только этом случае \(\boldsymbol-\boldsymbol_<0>\) может быть по ним разложен. Поэтому, если точка \(M\) лежит в плоскости (и только в этом случае), найдутся такие числа \(t_<1>\) и \(t_<2>\), что
$$
\boldsymbol-\boldsymbol_ <0>= t_<1>\boldsymbol

+t_<2>\boldsymbol.\label
$$

Это уравнение называется параметрическим уравнением плоскости. Каждой точке плоскости оно сопоставляет значения двух параметров \(t_<1>\) и \(t_<2>\). Наоборот, какие бы числа мы ни подставили как значения \(t_<1>\) и \(t_<2>\), уравнение \eqref определит некоторую точку плоскости.

Пусть \((x, y, z)\) и \((x_<0>, y_<0>, z_<0>)\) — координаты точек \(M\) и \(M_<0>\) соответственно, а векторы \(\boldsymbol

\) и \(\boldsymbol\) имеют компоненты \((p_<1>, p_<2>, p_<3>)\) и \((q_<1>, q_<2>, q_<3>)\). Тогда, раскладывая по базису обе части уравнения \eqref, мы получим параметрические уравнения плоскости
$$
x-x_ <0>= t_<1>p_<1>+t_<2>q_<1>,\ y-y_ <0>= t_<1>p_<2>+t_<2>q_<2>,\ z-z_ <0>= t_<1>p_<3>+t_<2>q_<3>.\label
$$

Отметим, что начальная точка и направляющий вектор прямой образуют на ней ее внутреннюю декартову систему координат. Значение параметра \(t\), соответствующее какой-то точке, является координатой этой точки во внутренней системе координат. Точно так же на плоскости начальная точка и направляющие векторы составляют внутреннюю систему координат, а значения параметров, соответствующие точке, — это ее координаты в этой системе.

Прямая линия на плоскости.

Поэтому мы можем сформулировать следующее утверждение.

В любой декартовой системе координат на плоскости уравнение прямой с начальной точкой \(M_<0>(x_<0>, y_<0>)\) и направляющим вектором \(\boldsymbol(a_<1>, a_<2>)\) может быть записано в виде \eqref.

Уравнение \eqref линейное. Действительно, после преобразования оно принимает вид \(a_<2>x-a_<1>y+(a_<1>y_<0>-a_<2>x_<0>) = 0\), то есть \(Ax+By+C = 0\), где \(A = a_<2>\), \(B = -a_<1>\) и \(C = a_<1>y_<0>-a_<2>x_<0>\).

Вектор с координатами \((-B, A)\) можно принять за направляющий вектор прямой с уравнением \eqref в общей декартовой системе координат, а точку \eqref за начальную точку.

Если система координат декартова прямоугольная, то вектор \(\boldsymbol(A, B)\) перпендикулярен прямой с уравнением \eqref.

Действительно, в этом случае \((\boldsymbol, \boldsymbol) = -BA+AB = 0\).

Пусть в уравнении прямой \(Ax+By+C = 0\) коэффициент \(B\) отличен от нуля. Это означает, что отлична от нуля первая компонента направляющего вектора, и прямая не параллельна оси ординат. В этом случае уравнение прямой можно представить в виде
$$
y = kx+b,\label
$$
где \(k = -A/B\), а \(b = -C/B\). Мы видим, что к равно отношению компонент направляющего вектора: \(k = a_<2>/a_<1>\) (рис. 6.3).

Рис. 6.3. k=-1. Прямая y=-x+1/2

Отношение компонент направляющего вектора \(a_<2>/a_<1>\) называется угловым коэффициентом прямой.

Угловой коэффициент прямой в декартовой прямоугольной системе координат равен тангенсу угла, который прямая образует с осью абсцисс. Угол этот отсчитывается от оси абсцисс в направлении кратчайшего поворота от \(\boldsymbol_<1>\) к \(\boldsymbol_<2>\) (рис. 6.4).

Рис. 6.4. \(k=\operatorname\varphi = -1\). Прямая \(y=-x+1/2\)

Положив \(x = 0\) в уравнении \eqref, получаем \(y = b\). Это означает, что свободный член уравнения \(b\) является ординатой точки пересечения прямой с осью ординат.

Если же в уравнении прямой \(B = 0\) и ее уравнение нельзя представить в виде \eqref, то обязательно \(A \neq 0\). В этом случае прямая параллельна оси ординат и ее уравнению можно придать вид \(x = x_<0>\), где \(x_ <0>= -C/A\) — абсцисса точки пересечения прямой с осью абсцисс.

Векторные уравнения плоскости и прямой.

Параметрическое уравнение плоскости утверждает, что точка \(M\) лежит на плоскости тогда и только тогда, когда разность ее радиус-вектора и радиус-вектора начальной точки \(M_<0>\) компланарна направляющим векторам \(\boldsymbol

\) и \(\boldsymbol\). Эту компланарность можно выразить и равенством
$$
(\boldsymbol-\boldsymbol_<0>, \boldsymbol

, \boldsymbol) = 0.\label
$$
Вектор \(\boldsymbol = [\boldsymbol

, \boldsymbol]\) — ненулевой вектор, перпендикулярный плоскости. Используя его, мы можем записать уравнение \eqref в виде
$$
(\boldsymbol-\boldsymbol_<0>, \boldsymbol) = 0.\label
$$

Уравнения \eqref и \eqref называют векторными уравнениями плоскости. Им можно придать форму, в которую не входит радиус-вектор начальной точки. Например, положив в \eqref \(D = -(\boldsymbol_<0>, \boldsymbol)\), получим
$$
(\boldsymbol, \boldsymbol)+D = 0.\label
$$

Для прямой на плоскости можно также написать векторные уравнения, аналогичные \eqref и \eqref,
$$
(\boldsymbol-\boldsymbol_<0>, \boldsymbol) = 0\ \mbox<или>\ (\boldsymbol, \boldsymbol)+C = 0.\nonumber
$$
Первое из них выражает тот факт, что вектор \(\boldsymbol-\boldsymbol_<0>\) перпендикулярен ненулевому вектору \(\boldsymbol\), перпендикулярному направляющему вектору \(\boldsymbol\), и потому коллинеарен \(\boldsymbol\).

Пусть \(x, y, z\) — компоненты вектора \(\boldsymbol\) в общей декартовой системе координат. Тогда скалярное произведение \((\boldsymbol-\boldsymbol_<0>, \boldsymbol)\) при \(\boldsymbol \neq 0\) записывается линейным многочленом \(Ax+By+Cz+D\), где \((A^<2>+B^<2>+C^ <2>\neq 0)\).

Обратно, для любого линейного многочлена найдутся такие векторы \(\boldsymbol_<0>\) и \(\boldsymbol \neq 0\), что в заданной общей декартовой системе координат \(Ax+By+Cz+D = (\boldsymbol-\boldsymbol_<0>, \boldsymbol)\).

Первая часть предложения очевидна: подставим разложение вектора \(\boldsymbol\) по базису в данное скалярное произведение:
$$
(x\boldsymbol_<1>+y\boldsymbol_<2>+z\boldsymbol_<3>-\boldsymbol_<0>, \boldsymbol),\nonumber
$$
раскроем скобки и получим многочлен \(Ax+By+Cz+D\), в котором \(D = -(\boldsymbol_<0>, \boldsymbol)\) и
$$
A = (\boldsymbol_<1>, \boldsymbol),\ B = (\boldsymbol_<2>, \boldsymbol),\ C = (\boldsymbol_<3>, \boldsymbol)\label
$$
\(A\), \(B\) и \(C\) одновременно не равны нулю, так как ненулевой вектор \(\boldsymbol\) не может быть ортогонален всем векторам базиса.

Для доказательства обратного утверждения найдем сначала вектор \(\boldsymbol\) из равенств \eqref, считая \(A\), \(B\) и \(C\) заданными. Из ранее доказанного утверждения 10 следует, что
$$
\boldsymbol = \frac_<2>, \boldsymbol_<3>]><(\boldsymbol_<1>, \boldsymbol_<2>, \boldsymbol_<3>)>+\frac_<3>, \boldsymbol_<1>]><(\boldsymbol_<1>, \boldsymbol_<2>, \boldsymbol_<3>)>+\frac_<1>, \boldsymbol_<2>]><(\boldsymbol_<1>, \boldsymbol_<2>, \boldsymbol_<3>)>.\label
$$

Вектор \(\boldsymbol_<0>\) должен удовлетворять условию \(D = -(\boldsymbol_<0>, \boldsymbol)\). Один из таких векторов можно найти в виде \(\boldsymbol_ <0>= \lambda \boldsymbol\). Подставляя, видим, что \(-\lambda(\boldsymbol, \boldsymbol) = D\), откуда \(\boldsymbol_ <0>= -D\boldsymbol/|\boldsymbol|^<2>\).

Итак, мы нашли векторы \(\boldsymbol\) и \(\boldsymbol_<0>\) такие, что линейный многочлен записывается в виде
$$
x(\boldsymbol_<1>, \boldsymbol)+y(\boldsymbol_<2>, \boldsymbol)+z(\boldsymbol_<3>, \boldsymbol)-(\boldsymbol_<0>, \boldsymbol),\nonumber
$$
который совпадает с требуемым \((\boldsymbol-\boldsymbol_<0>, \boldsymbol)\).

Если система координат декартова прямоугольная, то вектор с компонентами \(A\), \(B\), \(C\) является нормальным вектором для плоскости с уравнением \(Ax+By+Cz+D = 0\).

Это сразу вытекает из формул \eqref и доказанного ранее утверждения о нахождении компонент в ортогональном базисе.

Любые два неколлинеарных вектора, удовлетворяющие уравнению \eqref, можно принять за направляющие векторы плоскости.

Утверждение 5 нетрудно доказать и непосредственно, рассматривая координаты вектора, параллельного плоскости, как разности соответствующих координат двух точек, лежащих в плоскости.

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

Действительно, \(\alpha_<1>, \alpha_<2>\), должны быть пропорциональны компонентам — \(B\), \(A\) направляющего вектора прямой.

Параллельность плоскостей и прямых на плоскости.

Ниже, говоря о параллельных прямых или плоскостях, мы будем считать, что параллельные плоскости (или прямые) не обязательно различны, то есть что плоскость (прямая) параллельна самой себе.

Прямые линии, задаваемые в общей декартовой системе координат уравнениями
$$
Ax+By+C = 0,\ A_<1>x+B_<1>y+C_ <1>= 0,\nonumber
$$
параллельны тогда и только тогда, когда соответствующие коэффициенты в их уравнениях пропорциональны, то есть существует такое число \(\lambda\), что
$$
A_ <1>= \lambda A,\ B_ <1>= \lambda B.\label
$$

Прямые совпадают в том и только том случае, когда их уравнения пропорциональны, то есть помимо уравнения \eqref выполнено (с тем же \(\lambda\)) равенство
$$
C_ <1>= \lambda C.\label
$$

Первая часть предложения прямо следует из того, что векторы с компонентами \((-B, A)\) и \((-B_<1>, A_<1>)\) — направляющие векторы прямых.

Докажем вторую часть. В равенствах \eqref и \eqref \(\lambda \neq 0\), так как коэффициенты в уравнении прямой одновременно нулю не равны. Поэтому, если эти равенства выполнены, уравнения эквивалентны и определяют одну и ту же прямую.

Обратно, пусть прямые параллельны. В силу первой части предложения их уравнения должны иметь вид \(Ax+By+C = 0\) и \(\lambda(Ax+By)+C_ <1>= 0\) при некотором \(\lambda\). Если, кроме того, существует общая точка \(M_<0>(x_<0>, y_<0>)\) обеих прямых, то \(Ax_<0>+By_<0>+C = 0\) и \(\lambda(Ax_<0>+By_<0>)+C_ <1>= 0\). Вычитая одно равенство из другого, получаем \(C_ <1>= \lambda C\), как и требовалось.

Плоскости, задаваемые в общей декартовой системе координат уравнениями
$$
Ax+By+Cz+D = 0,\ A_<1>x+B_<1>y+C_<1>z+D_ <1>= 0\nonumber
$$
параллельны тогда и только тогда, когда соответствующие коэффициенты в их уравнениях пропорциональны, то есть существует такое число \(\lambda\), что
$$
A_ <1>= \lambda A,\ B_ <1>= \lambda B,\ C_ <1>= \lambda C.\label
$$

Плоскости совпадают в том и только том случае, когда их уравнения пропорциональны, то есть помимо уравнений \eqref выполнено (с тем же \(\lambda\)) равенство
$$
D_ <1>= \lambda D.\label
$$

Если плоскости параллельны, то их нормальные векторы \(\boldsymbol\) и \(\boldsymbol_<1>\) коллинеарны, и существует такое число \(\lambda\), что \(\boldsymbol_ <1>= \lambda\boldsymbol\). В силу уравнений \eqref \(A_ <1>= (\boldsymbol_<1>, \boldsymbol_<1>) = \lambda(\boldsymbol_<1>, \boldsymbol) = \lambda A\). Аналогично доказываются и остальные равенства \eqref. Обратно, если равенства \eqref выполнены, то из формулы \eqref следует, что \(\boldsymbol_ <1>= \lambda\boldsymbol\). Это доказывает первую часть предложения. Вторая его часть доказывается так же, как вторая часть предложения 7.

Условия \eqref выражают не что иное, как коллинеарность векторов с компонентами \((A, B)\) и \((A_<1>, B_<1>)\). Точно так же условия \eqref означают коллинеарность векторов с компонентами \((A, B, C)\) и \((A_<1>, B_<1>, C_<1>)\). Поэтому согласно ранее доказанным этому и этому утверждениям условие параллельности прямых на плоскости можно записать в виде
$$
\begin
A& B\\
A_<1>& B_<1>
\end
= 0,\label
$$
а условие параллельности плоскостей — в виде
$$
\begin
B& C\\
B_<1>& C_<1>
\end =
\begin
C& A\\
C_<1>& A_<1>
\end =
\begin
A& B\\
A_<1>& B_<1>
\end
= 0.\label
$$

Утверждению 7 можно придать чисто алгебраическую формулировку, если учесть, что координаты точки пересечения прямых — это решение системы, составленной из их уравнений.

При условии \eqref система линейных уравнений
$$
Ax+By+C = 0,\ A_<1>x+B_<1>y+C_ <1>= 0,\nonumber
$$
не имеет решений или имеет бесконечно много решений (в зависимости от \(C\) и \(C_<1>\). В последнем случае система равносильна одному из составляющих ее уравнений. Если же
$$
\begin
A& B\\
A_<1>& B_<1>
\end
\neq 0.\nonumber
$$
то при любых \(C\) и \(C_<1>\) система имеет единственное решение \((x, y)\).

Уравнения прямой в пространстве.

Прямая линия в пространстве может быть задана как пересечение двух плоскостей и, следовательно, в общей декартовой системе координат определяется системой уравнений вида
$$
\left\<\begin
Ax+By+Cz+D = 0,\\
A_<1>x+B_<1>y+C_<1>z+D_ <1>= 0.
\end\right.\label
$$
Пересечение плоскостей — прямая линия тогда и только тогда, когда они не параллельны, что согласно \eqref означает, что хоть один из детерминантов отличен от нуля:
$$
\begin
B& C\\
B_<1>& C_<1>
\end^ <2>+
\begin
C& A\\
C_<1>& A_<1>
\end^ <2>+
\begin
A& B\\
A_<1>& B_<1>
\end^<2>
\neq 0.\label
$$

Разумеется, систему \eqref можно заменить на любую, ей эквивалентную. При этом прямая будет представлена как пересечение двух других проходящих через нее плоскостей.

Вспомним параметрические уравнения прямой \eqref. Допустим, что в них ни одна из компонент направляющего вектора не равна нулю. Тогда
$$
t = \frac><\alpha_<1>>,\ t = \frac><\alpha_<2>>,\ t = \frac><\alpha_<3>>,\nonumber
$$
и мы получаем два равенства
$$
\frac><\alpha_<2>> = \frac><\alpha_<3>>,\ \frac><\alpha_<1>> = \frac><\alpha_<3>>,\label
$$
или, в более симметричном виде,
$$
\frac><\alpha_<1>> = \frac><\alpha_<2>> = \frac><\alpha_<3>>,\label
$$
Уравнения \eqref представляют прямую как линию пересечения двух плоскостей, первая из которых параллельна оси абсцисс (в ее уравнение не входит переменная \(x\)), а вторая параллельна оси ординат.

Если обращается в нуль одна из компонент направляющего вектора, например, \(\alpha_<1>\), то уравнения прямой принимают вид
$$
x = x_<0>,\ \frac><\alpha_<2>> = \frac><\alpha_<3>>,\label
$$
Эта прямая лежит в плоскости \(x = x_<0>\) и, следовательно, параллельна плоскости \(x = 0\). Аналогично пишутся уравнения прямой, если в нуль обращается не \(\alpha_<1>\), а другая компонента.

Когда равны нулю две компоненты направляющего вектора, например, \(\alpha_<1>\) и \(\alpha_<2>\), то прямая имеет уравнения
$$
x = x_<0>,\ y = y_<0>.\label
$$
Такая прямая параллельна одной из осей координат, в нашем случае — оси аппликат.

Важно уметь находить начальную точку и направляющий вектор прямой, заданной системой линейных уравнений \eqref. По условию \eqref один из детерминантов отличен от нуля. Допустим для определенности, что \(AB_<1>-A_<1>B \neq 0\). В силу утверждения 9 при любом фиксированном \(z\) система уравнений будет иметь единственное решение \((x, y)\), в котором \(x\) и \(y\), разумеется, зависят от \(z\). Они — линейные многочлены от \(z\): \(x = \alpha_<1>z+\beta_<1>\), \(y = \alpha_<2>z+\beta_<2>\).

Не будем доказывать этого, хотя это и не трудно сделать. Для ясности, заменяя \(z\) на \(t\), получаем параметрические уравнения прямой
$$
x = \alpha_<1>t+\beta_<1>,\ y = \alpha_<2>t+\beta_<2>,\ z = t.\nonumber
$$

Первые две координаты начальной точки прямой \(M_<0>(\beta_<1>, \beta_<2>, 0)\) можно получить, решая систему \eqref при значении \(z = 0\).

Из параметрических уравнений видно, что в этом случае направляющий вектор имеет координаты \((\alpha_<1>, \alpha_<2>, 1)\). Найдем его компоненты в общем виде. Если система координат декартова прямоугольная, векторы с компонентами \((A, B, C)\) и \(A_<1>, B_<1>, C_<1>\) перпендикулярны соответствующим плоскостям, а потому их векторное произведение параллельно прямой \eqref, по которой плоскости пересекаются. Вычисляя векторное произведение в ортонормированном базисе, мы получаем компоненты направляющего вектора
$$
\begin
B& C\\
B_<1>& C_<1>
\end,\
\begin
C& A\\
C_<1>& A_<1>
\end,\
\begin
A& B\\
A_<1>& B_<1>
\end.\label
$$

Вектор с компонентами \eqref есть направляющий вектор прямой с уравнениями \eqref, какова бы ни была декартова система координат.

Согласно утверждению 5 каждый ненулевой вектор, компоненты которого \((\alpha_<1>, \alpha_<2>, \alpha_<3>)\) удовлетворяют уравнению \(A\alpha_<1>+B\alpha_<2>+C\alpha_ <3>= 0\), параллелен плоскости с уравнением \(Ax+By+Cz+D = 0\). Если, кроме того, он удовлетворяет уравнению \(A_<1>\alpha_<1>+B_<1>\alpha_<2>+C_<1>\alpha_ <3>= 0\), то он параллелен и второй плоскости, то есть может быть принят за направляющий вектор прямой. Вектор с компонентами \eqref ненулевой в силу неравенства \eqref. Непосредственно легко проверить, что его компоненты удовлетворяют обоим написанным выше условиям. На этом доказательство заканчивается.