Прямая

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Изображение прямых в прямоугольной системе координат.

Пряма́я — одно из фундаментальных понятий геометрии.

При систематическом изложении геометрии прямая линия обычно принимается за одно из исходных понятий, которое лишь косвенным образом определяется аксиомами геометрии. Согласно примеру Д. Гильберта («точкой можно назвать хоть стул»), может обозначать достаточно произвольные объекты, даже изображение которых будет зависеть от выбранной аксиоматики и/или модели геометрии. Например, в модели Пуанкаре геометрии Лобачевского прямыми являются полуокружности.

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

Аналитически прямая задаётся уравнением (в трёхмерном пространстве — системой уравнений) первой степени.

Свойства прямой в евклидовой геометрии[править | править исходный текст]

Уравнения прямой на плоскости[править | править исходный текст]

Способы задания прямой:
\scriptstyle{y=kx+b,\;\frac{x}{a}+\frac{y}{b}=1} или \scriptstyle{x\cos\theta+y\sin\theta-p=0}.

Общее уравнение прямой[править | править исходный текст]

Общее уравнение прямой линии на плоскости в декартовых координатах:

Ax+By+C=0,\,

где A, B и C — произвольные постоянные, причем постоянные A и B не равны нулю одновременно.

При A = 0 прямая параллельна оси Ox, при B = 0 — параллельна оси Oy.

Вектор с координатами (A, B) называется нормальным вектором, он перпендикулярен прямой.

При C=0 прямая проходит через начало координат.

Также уравнение можно переписать в виде

 A(x-x_0)+B(y-y_0)=0.

Уравнение прямой с угловым коэффициентом[править | править исходный текст]

Уравнение прямой линии, пересекающей ось Oy в точке (0,\;b) и образующей угол \varphi с положительным направлением оси Ox:

y=kx+b,\quad k=\mathrm{tg}\,\varphi.

Коэффициент k называется угловым коэффициентом прямой.

В этом виде невозможно представить прямую, параллельную оси Oy. (Иногда в этом случае формально говорят, что угловой коэффициент «обращается в бесконечность».)

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

Уравнение прямой в отрезках[править | править исходный текст]

Уравнение прямой линии, пересекающей ось Ox в точке (a,\;0) и ось Oy в точке (0,\;b):

\frac{x}{a}+\frac{y}{b}=1\quad(a\ne 0,\;b\ne 0).

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

Нормальное уравнение прямой[править | править исходный текст]

x\cos\theta+y\sin\theta-p=0,\,

где p — длина перпендикуляра, опущенного на прямую из начала координат, а \theta — угол (измеренный в положительном направлении) между положительным направлением оси Ox и направлением этого перпендикуляра. Если p=0, то прямая проходит через начало координат, а угол \theta=\varphi+\frac{\pi}{2} задаёт угол наклона прямой.

Если прямая задана общим уравнением Ax+By+C=0, то отрезки a и b, отсекаемые ею на осях, угловой коэффициент k, расстояние прямой от начала координат p, \cos\theta и \sin\theta выражаются через коэффициенты A, B и C следующим образом:

a=-\frac{C}{A},\quad b=-\frac{C}{B},\quad k=\mathrm{tg}\,\varphi=-\frac{A}{B},\quad\varphi=\theta-\frac{\pi}{2},
p=\frac{C}{\pm\sqrt{A^2+B^2}},\quad\cos\theta=\frac{A}{\pm\sqrt{A^2+B^2}},\quad\sin\theta=\frac{B}{\pm\sqrt{A^2+B^2}}.

Во избежание неопределённости знак перед радикалом выбирается так, чтобы соблюдалось условие p>0. В этом случае \cos\theta и \sin\theta являются направляющими косинусами положительной нормали прямой — перпендикуляра, опущенного из начала координат на прямую. Если C=0, то прямая проходит через начало координат и выбор положительного направления произволен.

Уравнение прямой, проходящей через две заданные несовпадающие точки[править | править исходный текст]

Если заданы две несовпадающие точки с координатами (x_1,\;y_1) и (x_2,\;y_2), то прямая, проходящая через них, задаётся уравнением

\begin{vmatrix} x & y & 1 \\ x_1 & y_1 & 1 \\ x_2 & y_2 & 1 \end{vmatrix} = 0

или

\frac{y-y_1}{y_2-y_1}=\frac{x-x_1}{x_2-x_1}

или в общем виде

\left(y_1-y_2\right)x+\left(x_2-x_1\right)y+\left(x_1y_2-x_2y_1\right)=0.
Получение векторного параметрического уравнения прямой

Векторное параметрическое уравнение прямой[править | править исходный текст]

Векторное параметрическое уравнение прямой задается вектором \vec{r}_0, конец которого лежит на прямой, и направляющим вектором прямой \vec{u}. Параметр t пробегает все действительные значения.

\vec{r}=\vec{r_0}+t\vec{u}.

Параметрические уравнения прямой[править | править исходный текст]

Параметрические уравнения прямой могут быть записаны в виде:

\begin{cases} x=x_0+a_xt, \\
 y=y_0+a_yt,
\end{cases}

где t — производный параметр, a_x,\; a_y — координаты x и y направляющего вектора прямой. При этом

k=\frac{a_y}{a_x},\quad a=\frac{a_yx_0-a_xy_0}{a_y},\quad b=\frac{a_xy_0-a_yx_0}{a_x},
p=\frac{a_xy_0-a_yx_0}{\pm\sqrt{a_x^2+a_y^2}},\quad\cos\theta=\frac{a_x}{\pm\sqrt{a_x^2+a_y^2}},\quad\sin\theta=\frac{a_y}{\pm\sqrt{a_x^2+a_y^2}}.

Смысл параметра t аналогичен параметру в векторно-параметрическом уравнении.

Каноническое уравнение прямой[править | править исходный текст]

Каноническое уравнение получается из параметрическиx уравнений делением одного уравнения на другое:

 \frac{x-x_0}{y-y_0}=\frac{a_x}{a_y}  \Longleftrightarrow  \frac{x-x_0}{a_x}=\frac{y-y_0}{a_y}

где ~a_x, a_y — координаты ~x и ~y направляющего вектора прямой, ~ x_0 и ~ y_0 координаты точки, принадлежащей прямой.

Уравнение прямой в полярных координатах[править | править исходный текст]

Уравнение прямой в полярных координатах \rho и \varphi:

\rho(A\cos\varphi+B\sin\varphi)+C=0

или

\rho\cos(\varphi-\theta)=p.\,

Тангенциальное уравнение прямой[править | править исходный текст]

Тангенциальное уравнение прямой на плоскости:

\xi x+\eta y=1.

Числа \xi и \eta называются её тангенциальными, линейными или плюккеровыми координатами.

Уравнения прямой в пространстве[править | править исходный текст]

Векторное параметрическое уравнение прямой в пространстве:

\vec r=\vec{r}_0+t\vec a,\quad t\in(-\infty,\;+\infty),

где \vec{r}_0 — радиус-вектор некоторой фиксированной точки M_0, лежащей на прямой, \vec a — ненулевой вектор, коллинеарный этой прямой (называемый её направляющим вектором), \vec r — радиус-вектор произвольной точки прямой.

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

x=x_0+t\alpha,\;y=y_0+t\beta,\;z=z_0+t\gamma,\quad t\in(-\infty,\;+\infty),

где (x_0,\;y_0,\;z_0) — координаты некоторой фиксированной точки M_0, лежащей на прямой; (\alpha,\;\beta,\;\gamma) — координаты вектора, коллинеарного этой прямой.

Каноническое уравнение прямой в пространстве:

\frac{x-x_0}{\alpha}=\frac{y-y_0}{\beta}=\frac{z-z_0}{\gamma},

где (x_0,\;y_0,\;z_0) — координаты некоторой фиксированной точки M_0, лежащей на прямой; (\alpha,\;\beta,\;\gamma) — координаты вектора, коллинеарного этой прямой.

Общее векторное уравнение прямой[уточнить] в пространстве:

Поскольку прямая является пересечением двух различных плоскостей, заданных соответственно общими уравнениями:
(\vec r,\;\vec N_1)+D_1=0 и (\vec r,\;\vec N_2)+D_2=0,

то уравнение прямой можно задать системой этих уравнений:

\begin{cases}(\vec r,\;\vec N_1)+D_1=0,\\
(\vec r,\;\vec N_2)+D_2=0.\end{cases}

Векторное уравнение прямой в пространстве[1]:196-199:

Уравнение прямой в пространстве можно записать в виде векторного произведения радиуса-вектора произвольной точки этой прямой \vec r на фиксированный направляющий вектор прямой \vec a:
[\vec r, \vec a]=\vec M,

где фиксированный вектор \vec M, ортогональный вектору \vec a, можно найти, подставляя в это уравнение радиус-вектор какой-нибудь одной известной точки прямой.

Взаимное расположение точек и прямых на плоскости[править | править исходный текст]

Три точки (x_1,\;y_1), (x_2,\;y_2) и (x_3,\;y_3) лежат на одной прямой тогда и только тогда, когда выполняется условие

\begin{vmatrix} x_1 & y_1 & 1 \\ x_2 & y_2 & 1 \\ x_3 & y_3 & 1 \end{vmatrix}=0.

Отклонение точки (x_1,\;y_1) от прямой Ax+By+C=0 может быть найдено по формуле

\delta=\frac{Ax_1+By_1+C}{\pm\sqrt{A^2+B^2}},

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

В пространстве расстояние от точки (x_1,\;y_1,\;z_1) до прямой, заданной параметрическим уравнением

\begin{cases}x=x_0+t\alpha,\\
y=y_0+t\beta,\quad t\in\R\\
z=z_0+t\gamma,\end{cases}

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

t_\min=\frac{\alpha(x_1-x_0)+\beta(y_1-y_0)+\gamma(z_1-z_0)}{\alpha^2+\beta^2+\gamma^2}.

Взаимное расположение нескольких прямых на плоскости[править | править исходный текст]

Две прямые, заданные уравнениями

A_1x+B_1y+C_1=0,\quad A_2x+B_2y+C_2=0

или

y=k_1x+b_1,\quad y=k_2x+b_2

пересекаются в точке

x=\frac{B_1C_2-B_2C_1}{A_1B_2-A_2B_1}=\frac{b_1-b_2}{k_2-k_1},\quad y=\frac{C_1A_2-C_2A_1}{A_1B_2-A_2B_1}=\frac{k_2b_1-k_1b_2}{k_2-k_1}.

Угол \gamma_{12} между пересекающимися прямыми определяется формулой

\mathrm{tg}\,\gamma_{12}=\frac{A_1B_2-A_2B_1}{A_1A_2+B_1B_2}=\frac{k_2-k_1}{1+k_1k_2}.

При этом под \gamma_{12} понимается угол, на который надо повернуть первую прямую (заданную параметрами A_1, B_1, C_1, k_1 и b_1) вокруг точки пересечения против часовой стрелки до первого совмещения со второй прямой.

Эти прямые параллельны, если A_1B_2-A_2B_1=0 или k_1=k_2, и перпендикулярны, если A_1A_2+B_1B_2=0 или k_1=-\frac{1}{k_2}.

Любую прямую, параллельную прямой с уравнением A_1x+B_1y+C_1=0, можно выразить уравнением A_1x+B_1y+C=0. При этом расстояние между этими прямыми будет равно

\delta=\frac{C_1-C}{\pm\sqrt{A_1^2+B_1^2}}.

Если знак перед радикалом противоположен C_1, то \delta будет положительным, когда вторая прямая и начало координат лежат по разные стороны от первой прямой.

Для того, чтобы три прямые

A_1x+B_1y+C_1=0,\quad A_2x+B_2y+C_2=0,\quad A_3x+B_3y+C_3=0

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

\begin{vmatrix}A_1 & B_1 & C_1 \\ A_2 & B_2 & C_2 \\ A_3 & B_3 & C_3 \end{vmatrix}=0.

Если ~A_2=-B_1 и ~B_2=A_1, то прямые ~ A_1x+B_1y+C_1=0 и ~ A_2x+B_2y+C_2=0 перпендикулярны.

См. также[править | править исходный текст]

Примечания[править | править исходный текст]

  1. Гусятников П.Б., Резниченко С.В. Векторная алгебра в примерах и задачах. — М.: Высшая школа, 1985. — 232 с.

Ссылки[править | править исходный текст]