Прямые и плоскости

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

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

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

Пусть известны координаты точки $M_0(x_0,y_0)$, лежащей на прямой, и направляющий вектор $𝐚$. Тогда для любой точки $M(x,y)$ этой прямой векторы $\overrightarrow{M_{0}M}$ и $𝐚$ коллинеарны. Значит существует такое число $t$, что

С другой стороны, всякая точка $M$, для которой выполнено условие (1), лежит на рассматриваемой прямой. Таким образом, этому условию удовлетворяют все точки прямой и только они. Обозначим через ${𝐫}_0$ и $𝐫$ радиусы-векторы точек $M_0$ и $M$ соответственно. Тогда $\overrightarrow{M_{0}M}=𝐫-{𝐫}_0$ и уравнение принимает вид

или

Уравнение (2) называют векторным уравнением прямой.

Если направляющий вектор имеет координаты $𝐚=\{a_1,a_2\}$, то вместо равенства векторов можно записать равенство их координат:

Это параметрическое уравнение прямой, проходящей через точку $(x_0,y_0)$ с направляющим вектором $\{a_1,a_2\}$.

Исключая из параметрического уравнения параметр $t$, получаем каноническое уравнение прямой:

Если, например, $a_1=0$, то данное уравнение переписывают в виде $x-x_0=0$.

Придем уравнение (4) к общему знаменателю:

Обозначим $A=a_2,B=-a_1,C=a_1{y}_0-a_2{x}_0$, запишем в виде

Это общее уравнение прямой на плоскости.

Поскольку вектор $𝐚=\{a_1,a_2\}$ — ненулевой, то хотя бы один из коэффициентов $a_1,a_2$ отличен от нуля. Значит левая часть уравнения (5) — многочлен первой степени от неизвестных $x$ и $y$.

Теорема. На плоскости прямые и только прямые описываются уравнениями первой степени.

Доказательство. Прямая — уравнение первой степени. Возьмем частное решение $(x_0,y_0)$ уравнения (5) и рассмотрим прямую $l$, проходящую через точку $M_0(x_0,y_0)$, с направляющим вектором $𝐚=\{-B,A\}$. Возьмем теперь произвольную точку $M(x,y)$ на прямой $l$ и покажем, что ее координаты удовлетворяют уравнению (5). Рассмотрим равенство Шаблон:Формула Согласно (1) существует такое число $t$, что Шаблон:Формула Отсюда Шаблон:Формула или Шаблон:Формула Поскольку $(x_0{,}_0)$ — решение уравнения (5), то $C=-A{x}_0-B{y}_0$. Значит, равенство (∗) совпадает с равенством (5), то есть координаты всякой точки $M$, принадлежащей $l$, удовлетворяют уравнению (5).

Уравнение первой степени — прямая. Пусть точка $M(x,y)$ удовлетворяет уравнению (5). Тогда из того, что точка $M_0(x_0,y_0)$ также удовлетворяет этому условию, следует Шаблон:Формула или Шаблон:Формула Значит, векторы $\overrightarrow{M_{0}M}=\{x-x_0,y-y_0\}$ и $𝐚=\{-B,A\}$ пропорциональны. Следовательно, согласно (1) точка $M$ лежит на прямой. $◻$

Из доказательства следует, что направляющий вектор прямой, задаваемой уравнением (5), — $\{-B,A\}$.

Если $B\ne 0$, то уравнение (5) можно переписать в виде Шаблон:Формула или Шаблон:Формула Стоит отметить, что в произвольной системе координат угловой коэффициент $k$ не является тангенсом угла наклона прямой к оси абсцисс, как в прямоугольной системе координат.

Если на прямой заданы две точки $M_0(x_0,y_0)$ и $M_1(x_1,y_1)$, то в качестве направляющего вектора можно взять вектор $\{x_1-x_0,y_1-y_0\}$. Тогда каноническое уравнение приобретает вид Шаблон:Формула

Взаимное расположение двух прямых на плоскости

Две прямые на плоскости могут

• совпадать;
• быть параллельными;
• пересекаться.

Пусть даны две прямые $l_1$ и $l_2$, задаваемые уравнениями $A_{1}x+B_{1}y+C_1=0$ и $A_{2}x+B_{2}y+C_2=0$ соответственно. Определим условия, необходимые и достаточные для определения взаимного расположения данных прямых.

Теорема. Для того чтобы прямые $l_1$ и $l_2$ совпадали необходимо и достаточно, чтобы Шаблон:Формула

Доказательство. Необходимость. Векторы $\{-B_1,A_1\}$ и $\{-B_2,A_2\}$ являются направляющими для прямых $l_1$ и $l_2$, значит, они коллинеарны. Существует такое число $\lambda$, что Шаблон:Формула Умножим уравнение второй прямой на $\lambda$ и вычтем его из уравнения первой прямой. Шаблон:Формула Это равносильно условию (7). Достаточность. Из условия (7) следует, что Шаблон:Формула для некоторого $\lambda$, то есть уравнения, задающие прямые $l_1$ и $l_2$, эквивалентны. $◻$

Теорема. Прямые $l_1$ и $l_2$ параллельны и не совпадают тогда и только тогда, когда Шаблон:Формула

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

Достаточность. Первая часть условия (8) дает параллельность направляющих векторов, вторая — несовпадение прямых. $◻$

Теорема. Прямые $l_1$ и $l_2$ пересекаются в одной точке тогда и только тогда, когда Шаблон:Формула

Доказательство. Данное утверждение следует из предыдущих двух теорем. $◻$

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

Пусть даны плоскость и лежащая на ней прямая. Две точки $M$ и $N$ лежат по одну сторону от прямой, если отрезок $MN$ не пересекается с данной прямой. Полуплоскостью называют множество всех точек, которые лежат по одну сторону от прямой.

Теорема. Если прямая $l$ на плоскости задана уравнением (5), то множества $F^{+}$ и $F^{-}$ всех точек $M(x,y)$, для которых $Ax+By+C>0$ и $Ax+By+C<0$, являются полуплоскостями, ограниченными прямой $l$.

Доказательство. Пусть точки $M_0(x_0,y_0)$ и $M_1(x_1,y_1)$ лежат в множестве $F^{-}$. Рассмотрим произвольную внутреннюю точку $M(x,y)$ отрезка $M_0{M}_1$. Поскольку эта точка делит отрезок в некотором соотношении $\frac{1}{\lambda }$, ее координаты Шаблон:Формула Учитывая очевидное тождество $C=\frac{1}{1+\lambda }C+\frac{\lambda }{1+\lambda }C$, получаем Шаблон:Формула так как обе точки $M_0$ и $M_1$ принадлежат $F^{-}$. По определению полуплоскости $F^{-}$ лежит в одной из полуплоскостей, ограниченных прямой $l$. Аналогичные рассуждения верны и для $F^{+}$. Поскольку плоскость исчерпывается множествами $F^{-}$, $l$ и $F^{+}$, то множества $F^{-}$ и $F^{+}$ лежат в разных полуплоскостях и исчерпывают их. $◻$

Множество $F^{-}$ называют отрицательной полуплоскостью по отношению к уравнению (5) прямой $l$, а $F^{+}$ — положительной полуплоскостью.

Если ту же прямую задать другим уравнением Шаблон:Формула то существует такое $\lambda$, что $\frac{A^{\prime }}{A}=\frac{B^{\prime }}{B}=\frac{C^{\prime }}{C}=\lambda$. Очевидно, что при $\lambda >0$ положительная и отрицательная полуплоскости для уравнения (5') совпадают с такими же для уравнения (5), а при $\lambda <0$ полуплоскости меняются местами.

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

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

Уравнения плоскости

Пусть известны координаты точки $M_0$ и два неколлинеарных вектора $𝐚$ и $𝐛$, лежащих в плоскости. Рассмотрим произвольную точку $M(x,y,z)$, принадлежащую плоскости. Вектор $\overrightarrow{M_{0}M}$, очевидно, лежит в плоскости, что по определению означает, что векторы $𝐚,𝐛,\overrightarrow{M_{0}M}$ компланарны. В силу линейной независимости векторов $𝐚$ и $𝐛$, это значит, что вектор $\overrightarrow{M_{0}M}$ можно линейно выразить через $𝐚$ и $𝐛$:

Обозначим через ${𝐫}_0$ и $𝐫$ радиусы-векторы точек $M_0$ и $M$ соответственно. Тогда $\overrightarrow{M_{0}M}=𝐫-{𝐫}_0$ и уравнение принимает вид

или

Уравнение (11) называют векторным уравнением плоскости'.

Возьмем некоторую аффинную систему координат в пространстве. Пусть точки и векторы имеют координаты

$M_0(x_0,y_0,z_0),M(x,y,z),𝐚=\{a_1,a_2,a_3\},𝐛=\{b_1,b_2,b_3\}$

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

Это параметрические уравнения плоскости. Эквивалентная система уравнений Шаблон:Формула выражает линейную зависимость столбцов матрицы Шаблон:Формула что эквивалентно равенству Шаблон:Формула или (после раскрытия определителя по первой строке) уравнению Шаблон:Формула Обозначив $D=-A{x}_0-B{y}_0-C{z}_0$, получим общее уравнение плоскости Шаблон:Формула

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

Если плоскость задана тремя точками с координатами $M_i(x_i,y_i,z_i)i=0,1,2$, не лежащими на одной прямой, то принимают $𝐚=\overrightarrow{M_0{M}_1},𝐛=\overrightarrow{M_0{M}_2}$. Тогда уравнение (13) принимает вид Шаблон:Формула

Взаимное расположение плоскостей

Аналогично случаю прямых на плоскости, можно доказать, что две плоскости, заданные своими общими уравнениями $A_{1}x+B_{1}y+C_{1}z+D_1=0$ и $A_{2}x+B_{2}y+C_{2}z+D_2=0$

• совпадают при $\frac{A_1}{A_2}=\frac{B_1}{B_2}=\frac{C_1}{C_2}=\frac{D_1}{D_2}$
• параллельны при $\frac{A_1}{A_2}=\frac{B_1}{B_2}=\frac{C_1}{C_2}$
• пересекаются в остальных случаях.

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

Пусть дана плоскость в пространстве. Две точки $M$ и $N$ лежат по одну сторону от плоскости, если отрезок $MN$ не пересекается с данной плоскостью. Полупространством называют множество всех точек, которые лежат по одну сторону от плоскости.

Аналогично случаю прямой на плоскости множества $F^{+}$ и $F^{-}$ всех точек $M(x,y,z)$, для которых $Ax+By+Cz+D>0$ и $Ax+By+Cz+D<0$, являются полупространсвами, ограниченными плоскостью.

Множество $F^{-}$ называют отрицательным полупространством по отношению к уравнению (14) плоскости, а $F^{+}$ — положительным полупространством.