Перейти к содержанию

Прямая

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

Пряма́я — одно из фундаментальных понятий евклидовой геометрии. При систематическом изложении геометрии прямые линии обычно принимаются за одно из исходных (неопределяемых) понятий[1], их свойства и связь с другими понятиями (например, точки и плоскости) определяются аксиомами геометрии[2].

Прямая, наряду с окружностью, относится к числу древнейших геометрических фигур. Античные геометры считали эти две кривые «совершенными» и поэтому признавали только построения с помощью циркуля и линейки. Евклид описал линию как «длину без ширины», которая «равно лежит на всех своих точках»[3].

Аналоги прямых могут быть определены также в некоторых типах неевклидовых пространств. Если основой построения геометрии служит понятие расстояния между двумя точками пространства, то отрезок прямой можно определить как самую короткую кривую, соединяющую эти точки. Например, в римановой геометрии роль прямых играют геодезические линии, которые являются кратчайшими; на сфере кратчайшими являются дуги больших кругов[4].

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

Участки прямой, ограниченные двумя её точками, называются отрезками.

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

Способы задания прямой:
y=kx+b,xa+yb=1 или xcosθ+ysinθp=0

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

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

Ax+By+C=0,

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

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

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

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

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

A(xx0)+B(yy0)=0.

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

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

y=kx+b,k=tgφ.

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

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

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

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

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

xa+yb=1(a0,b0).

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

Нормальное уравнение прямой[править]

xcosθ+ysinθp=0,

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

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

a=CA,b=CB,k=tgφ=AB,φ=θπ2,
p=C±A2+B2,cosθ=A±A2+B2,sinθ=B±A2+B2.

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

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

Если заданы две несовпадающие точки с координатами (x1,y1) и (x2,y2), то прямая, проходящая через них, задаётся уравнением

|xy1x1y11x2y21|=0

или

yy1y2y1=xx1x2x1

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

(y1y2)x+(x2x1)y+(x1y2x2y1)=0.
Получение векторного параметрического уравнения прямой

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

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

r=r0+tu.

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

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

{x=x0+axt,y=y0+ayt,

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

k=ayax,a=ayx0axy0ay,b=axy0ayx0ax,
p=axy0ayx0±ax2+ay2,cosθ=ax±ax2+ay2,sinθ=ay±ax2+ay2.

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

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

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

xx0yy0=axayxx0ax=yy0ay

где ax,ay — координаты x и y направляющего вектора прямой, x0 и y0 координаты точки, принадлежащей прямой.

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

Уравнение прямой в полярных координатах ρ и φ:

ρ(Acosφ+Bsinφ)+C=0

или

ρcos(φθ)=p.

Тангенциальное уравнение прямой[править]

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

ξx+ηy=1.

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

Уравнения прямой в пространстве[править]

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

r=r0+ta,t(,+),

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

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

x=x0+tα,y=y0+tβ,z=z0+tγ,t(,+),

где (x0,y0,z0) — координаты некоторой фиксированной точки M0, лежащей на прямой; (α,β,γ) — координаты вектора, коллинеарного этой прямой.

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

xx0α=yy0β=zz0γ,

где (x0,y0,z0) — координаты некоторой фиксированной точки M0, лежащей на прямой; (α,β,γ) — координаты вектора, коллинеарного этой прямой.

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

Поскольку прямая является пересечением двух различных плоскостей, заданных соответственно общими уравнениями:
(r,N1)+D1=0 и (r,N2)+D2=0,

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

{(r,N1)+D1=0,(r,N2)+D2=0.

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

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

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

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

Три точки (x1,y1), (x2,y2) и (x3,y3) лежат на одной прямой тогда и только тогда, когда выполняется условие

|x1y11x2y21x3y31|=0.

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

δ=Ax1+By1+C±A2+B2,

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

В пространстве расстояние от точки (x1,y1,z1) до прямой, заданной параметрическим уравнением

{x=x0+tα,y=y0+tβ,tz=z0+tγ,

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

tmin=α(x1x0)+β(y1y0)+γ(z1z0)α2+β2+γ2.

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

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

A1x+B1y+C1=0,A2x+B2y+C2=0

или

y=k1x+b1,y=k2x+b2

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

x=B1C2B2C1A1B2A2B1=b1b2k2k1,y=C1A2C2A1A1B2A2B1=k2b1k1b2k2k1.

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

tgγ12=A1B2A2B1A1A2+B1B2=k2k11+k1k2.

При этом под γ12 понимается угол, на который надо повернуть первую прямую (заданную параметрами A1, B1, C1, k1 и b1) вокруг точки пересечения против часовой стрелки до первого совмещения со второй прямой.

Эти прямые параллельны, если A1B2A2B1=0 или k1=k2, и перпендикулярны, если A1A2+B1B2=0 или k1=1k2.

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

δ=C1C±A12+B12;

Если же уравнение прямой задано как y1=kx1+b1, а уравнение прямой параллельной ей y=kx+b, то расстояние можно вычислить, как

δ=|b1b|1+k2.

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

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

A1x+B1y+C1=0,A2x+B2y+C2=0,A3x+B3y+C3=0

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

|A1B1C1A2B2C2A3B3C3|=0.

Если A2=B1 и B2=A1, то прямые A1x+B1y+C1=0 и A2x+B2y+C2=0 перпендикулярны.

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

Примечания[править]

  1. Coxeter, 1969, p. 4
  2. Математическая энциклопедия, 1984, с. 721—722.
  3. Прокл Диадох. Комментарий к первой книге «Начал» Евклида / Университет Дмитрия Пожарского. — М., 2013. — С. 116. — 368 с.
  4. Норден А. П. Краткий курс дифференциальной геометрии. — М.: Физматгиз, 1958. — С. 214—215. — 244 с.
  5. Faber, Appendix B, p. 300.
  6. Гусятников П.Б., Резниченко С.В. Векторная алгебра в примерах и задачах. — М.: Высшая школа, 1985. — 232 с.

Литература[править]

Ссылки[править]