Дискуссионный математический форумМатематический форум

Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

Часовой пояс: UTC + 4 часа [ Летнее время ]


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

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


Коллинеарные прямые


Две прямые называются коллинеарными, если они параллельны или совпадают.


Получим условие коллинеарности двух прямых [math]l_1[/math] и [math]l_2[/math], заданных общими уравнениями:


[math]l_1 \colon ~ A_1x+B_1y+C_1=0; \quad l_2 \colon ~ A_2x+B_2y+C_2=0.[/math]
(3.19)

Необходимым и достаточным условием коллинеарности прямых (3.19) является условие коллинеарности их нормалей [math]\vec{n}_1= A_1\vec{i}+B_1\vec{j}[/math] и [math]\vec{n}_2= A_2\vec{i}+B_2\vec{j}[/math]. Следовательно, если прямые (3.19) коллинеарны, то [math]\vec{n}_1 \parallel \vec{n}_2[/math], т.е. существует такое число [math]\lambda\ne0[/math], что


[math]\vec{n}_1=\lambda\cdot\vec{n}_2 \quad \Leftrightarrow \quad \begin{cases}A_1=\lambda\cdot A_2,\\B_1=\lambda\cdot B_2,\end{cases}[/math] и наоборот.

Прямые совпадают, если помимо этих условий справедливо [math]C_1=\lambda C_2[/math]. Тогда первое уравнение в (3.19) имеет вид [math]\lambda(A_2x+B_2y+C_2)=0[/math], т.е. равносильно второму, поскольку [math]\lambda\ne0[/math].


Таким образом, прямые (3.19) параллельны тогда и только тогда, когда соответствующие коэффициенты при неизвестных в их уравнениях пропорциональны, т.е. существует такое число [math]\lambda\ne0[/math], что [math]A_1=\lambda A_2,~B_1=\lambda B_2[/math], но [math]C_1\ne\lambda C_2[/math]. Прямые (3.19) совпадают тогда и только тогда, когда все соответствующие коэффициенты в их уравнениях пропорциональны:


[math]A_1=\lambda\cdot A_2, \quad B_1=\lambda\cdot B_2, \quad C_1=\lambda\cdot C_2[/math]

Условия параллельности или совпадения прямых (3.19) можно записать в виде


[math]l_1\parallel l_2~\Leftrightarrow~\frac{A_1}{A_2}=\frac{B_1}{B_2}\ne\frac{C_1}{C_2}; \quad l_1\equiv l_2~\Leftrightarrow~\frac{A_1}{A_2}=\frac{B_1}{B_2}=\frac{C_1}{C_2}[/math]

Условие коллинеарности двух прямых (3.19) можно записать в виде


[math]\begin{vmatrix}\,A_1&B_1\\A_2&B_2\,\end{vmatrix}=A_1\cdot B_2-A_2\cdot B_1=0.[/math]



Семейство параллельных прямых и Линии уровня линейного трехчлена

Линии уровня линейного трехчлена


Линией уровня функции [math]f(x,y)[/math] двух переменных называется геометрическое место точек координатной плоскости [math]Oxy[/math], в которых функция принимает постоянное значение, т.е. [math]f(x,y)=\operatorname{const}[/math].


Для линейного трехчлена [math]p(x,y)=Ax+By+C[/math] уравнение линии уровня [math]p(x,y)=\operatorname{const}[/math] имеет вид


[math]A\cdot x+B\cdot y+C=\operatorname{const}.[/math]
(3.20)

При любом фиксированном значении постоянной уравнение (3.20) описывает прямую. Рассмотрим поведение семейства линий уровня, отличающихся значением постоянной. Поскольку коэффициенты [math]A[/math] и [math]B[/math] не изменяются, то у всех прямых (3.20) будет одна и та же нормаль [math]\vec{n}=A\vec{i}+B\vec{j}[/math]. Следовательно, линии уровня линейного трехчлена [math]p(x,y)=Ax+By+C[/math] представляют собой семейство параллельных прямых (рис.3.22). Поскольку нормаль совпадает с градиентом (см. пункт 3 замечаний 3.2), а градиент направлен в сторону наискорейшего возрастания функции, то при увеличении постоянной линии уровня (3.20) переносятся параллельно в направлении нормали.




Пересекающиеся прямые


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


[math]\begin{vmatrix} A_1&B_1\\ A_2&B_2 \end{vmatrix}\ne0 \quad \Leftrightarrow\quad \frac{A_1}{A_2}\ne\frac{B_1}{B_2}\,.[/math]
(3.21)

При этом условии система уравнений [math]\begin{cases} A_1\cdot x+B_1\cdot y+C_1=0,\\[2pt] A_2\cdot x+B_2\cdot y+C_2=0\end{cases}[/math] имеет единственное решение [math]x_0,~y_0[/math], которое определяет точку [math]M_0(x_0,y_0)[/math] пересечения прямых (3.19).




Угол между прямыми


Углом между двумя прямыми на плоскости называется угол между их направляющими векторами. По этому определению получаются не один угол, а два смежных угла, дополняющих друг друга до [math]\pi[/math]. В элементарной геометрии из двух смежных углов, как правило, выбирается меньший, т.е. величина [math]\varphi[/math] угла между двумя прямыми удовлетворяет условию [math]0\leqslant\varphi\leqslant\frac{\pi}{2}[/math].


Угол между двумя прямыми и угол между их направляющими векторами

Если [math]\vec{p}_1=a_1\vec{i}+b_1\vec{j}[/math] и [math]\vec{p}_2=a_2\vec{i}+b_2\vec{j}[/math] направляющие векторы прямых [math]l_1[/math] и [math]l_2[/math] соответственно (рис.3.23,а), то величина [math]\varphi[/math] угла между этими прямыми вычисляется по формуле:


[math]\cos\varphi=\frac{\langle\vec{p}_1,\vec{p}_2\rangle}{|\vec{p}_1|\cdot|\vec{p_2}|}=\frac{a_1\cdot a_2+b_1\cdot b_2}{\sqrt{a_1^2+b_1^2}\cdot\!\sqrt{a_2^2+b_2^2}}.[/math]

Чтобы получить величину [math]\varphi[/math] острого угла между прямыми, нужно правую часть взять по абсолютной величине:


[math]\cos\varphi=\frac{|\langle\vec{p}_1,\vec{p}_2\rangle|}{|\vec{p}_1|\cdot|\vec{p_2}|}=\frac{|a_1\cdot a_2+b_1\cdot b_2|}{\sqrt{a_1^2+b_1^2}\cdot\!\sqrt{a_2^2+b_2^2}}\,.[/math]

Угол [math]\varphi[/math] между прямыми (3.19) можно вычислить как угол между их нормалями [math]\vec{n}_1=A_1\vec{i}+B_1\vec{j}[/math] и [math]\vec{n}_2=A_2\vec{i}+B_2\vec{j}[/math]:


[math]\cos\varphi=\frac{\langle\vec{n}_1,\vec{n}_2\rangle}{|\vec{n}_1|\cdot|\vec{n_2}|}=\frac{A_1\cdot A_2+B_1\cdot B_2}{\sqrt{A_1^2+B_1^2}\cdot\!\sqrt{A_2^2+B_2^2}}.[/math]
(3.22)

Чтобы получить величину [math]\varphi[/math] острого угла между прямыми, нужно правую часть взять по абсолютной величине:


[math]\cos\varphi=\frac{|\langle\vec{n}_1,\vec{n}_2\rangle|}{|\vec{n}_1|\cdot|\vec{n_2}|}=\frac{|A_1\cdot A_2+B_1\cdot B_2|}{\sqrt{A_1^2+B_1^2}\cdot\!\sqrt{A_2^2+B_2^2}}.[/math]

Необходимым и достаточным условием перпендикулярности прямых (3.19) является условие ортогональности их нормалей, т.е. равенства нулю скалярного произведения их нормалей [math]\langle\vec{n}_1, \vec{n}_2 \rangle=0[/math]:


[math]A_1\cdot A_2+B_1\cdot B_2=0[/math]

По формуле (3.22) получаем острый угол [math]\varphi[/math] между прямыми (3.19), если [math]A_1A_2+B_1B_2>0[/math] (рис.3.23,а), и тупой в противном случае: [math]A_1A_2+B_1B_2<0[/math] (рис.3.23,6). Другими словами, по формуле (3.22) находится тот угол между прямыми, в котором лежат точки, принадлежащие разноименным полуплоскостям, опреляемым данными прямыми. На рис.3.23 положительные и отрицательные полуплоскости отмечены знаками плюс "+" или минус "–" соответственно.


Если прямые заданы уравнениями с угловыми коэффициентами:


[math]\begin{aligned} l_1\colon~ y=k_1\cdot x+y_1, \quad k_1=\operatorname{tg}\alpha_1,~\alpha_1\ne\frac{\pi}{2};\\[3pt] l_2\colon~ y=k_2\cdot x+y_2, \quad k_2=\operatorname{tg}\alpha_2,~\alpha_2\ne\frac{\pi}{2} \end{aligned}[/math]

то угол [math]\varphi[/math] между ними (один из смежных углов) находится по формуле


Острый и тупой углы между двумя прямыми
[math]\operatorname{tg}\alpha=\operatorname{tg}(\alpha_1-\alpha_2)=\frac{\operatorname{tg}\alpha_1-\operatorname{tg}\alpha_2}{1+\operatorname{tg}\alpha_1\cdot\operatorname{tg}\alpha_2}=\frac{k_1-k_2}{1+k_1\cdot k_2}\,.[/math]
(3.23)

Если правая часть (3.23) положительна, то угол [math]\varphi[/math] острый (рис.3.24), в противном случае — тупой. Чтобы получить острый угол [math]\varphi[/math], нужно правую часть (3.23) взять по абсолютной величине:


[math]\operatorname{tg}\varphi=\left|\frac{k_1-k_2}{1+k_1\cdot k_2}\right|.[/math]

Если [math]k_1=k_2[/math] (условие параллельности прямых), то [math]\varphi=0[/math]. Если [math]k_1k_2+1=0[/math] (условие перпендикулярности прямых), то правая часть (3.23) не определена [math](\operatorname{tg}\varphi=\infty)[/math]. Тогда полагают, что [math]\varphi=\frac{\pi}{2}[/math].




Пример 3.11. Найти величину того угла, образованного прямыми [math]l_1\colon3x-y-3=0[/math] и [math]l_2\colon x-2y+4=0[/math], внутри которого лежит точка [math]M(5;2)[/math].


Угол, образованный двумя прямыми, внутри которого лежит точка

Решение. По общим уравнениям прямых находим нормали [math]\vec{n}_1=3\vec{i}-\vec{j}[/math] и [math]\vec{n}_2=\vec{i}-2\vec{j}[/math], а также величину [math]\varphi[/math] угла между нормалями, используя (3.22):


[math]\cos\varphi=\frac{3\cdot1+(-1)(-2)}{\sqrt{3^2+(-1)^2}\cdot\!\sqrt{1^2+(-2)^2}}=\frac{5}{5\sqrt{2}}=\frac{\sqrt{2}}{2} \quad \Rightarrow \quad \varphi=\arccos\frac{\sqrt{2}}{2}=\frac{\pi}{4}.[/math]

Подставляя координаты точки [math]M(5;2)[/math] в левые части уравнений прямых, выясняем, каким полуплоскостям принадлежит эта точка. Для прямой [math]l_1[/math], имеем [math]3\cdot5-2-3>0[/math], значит точка [math]M[/math] лежит в положительной полуплоскости, определяемой прямой [math]l_1[/math]. Для прямой [math]l_2[/math] имеем [math]5-2\cdot2+4>0[/math], значит, точка [math]M[/math] лежит также в положительной полуплоскости, определяемой прямой [math]l_2[/math]. Поскольку точка [math]M[/math] принадлежит одноименным полуплоскостям (положительным), то искомый угол — это угол [math]\psi[/math], смежный найденному углу [math]\varphi=\frac{\pi}{4}\colon\psi=\pi-\varphi=\pi-\frac{\pi}{4}=\frac{3pi}{4}[/math]. Приведенные рассуждения кажутся ненужными, так как положение точки [math]M[/math] сразу же выясняется по рис.3.25. Однако, как это было ранее отмечено (см. ), при аналитическом решении изображения фигур не используются, поскольку записать вывод "по рисунку видно, что…" на алгоритмическом языке невозможно.




Пример 3.12. Составить уравнение прямой, проходящей через точку [math]y_0=1[/math] на оси ординат и образующей с прямой [math]y=\frac{1}{2}\,x+1[/math] угол [math]\varphi=\frac{\pi}{4}[/math].


Уравнение прямой, проходящей через точку и образующей угол

Решение. Искомая прямая (с угловым коэффициентом [math]k[/math]) образует с заданной прямой [math]l[/math] (с угловым коэффициентом [math]\tfrac{1}{2}[/math]) острый угол [math]\varphi=\frac{\pi}{4},~\operatorname{tg}\varphi=1[/math]. По формуле (3.23), учитывая, что угол [math]\varphi[/math] острый, составляем уравнение и упрощаем его:


[math]1=\left|\frac{k-\frac{1}{2}}{1+k\,\frac{1}{2}}\right|\! ~ \Leftrightarrow ~ \frac{k-\frac{1}{2}}{1+k\,\frac{1}{2}}=\pm1 ~ \Leftrightarrow ~ \!\left[\!\begin{aligned}k-\frac{1}{2}&=1+\frac{1}{2}\,k,\\k-\frac{1}{2}&=-1-\frac{1}{2}\,k.\end{aligned}\right.[/math]

Отсюда находим два решения [math]k_1=3[/math] или [math]k_2=-\frac{1}{3}[/math]. Следовательно, учитывая (3.18), поставленной задаче удовлетворяют две прямые (рис.3.26)


[math]l_1\colon\,y=3x+1;[/math] или [math]l_2\colon\,y=-\frac{1}{3}\,x+1.[/math]

Заметим, что прямые [math]l_1[/math] и [math]l_2[/math] взаимно перпендикулярны, поскольку выполняется условие

[math]k_1k_2+1=3\cdot\!\left(-\frac{1}{3}\right)+1=0.[/math]



Пучки прямых на плоскости


Собственным пучком прямых на плоскости называется совокупность всех прямых плоскости, проходящих через фиксированную точку (центр пучка).

Собственный и несобственный пучок прямых

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


Любые две прямые [math]l_1[/math] и [math]l_2[/math] определяют пучок прямых, содержащий заданные прямые [math]l_1[/math] и [math]l_2[/math]. Если прямые [math]l_1[/math] и [math]l_2[/math] пересекаются, то точка [math]M_0[/math] их пересечения является центром собственного пучка (рис.3.27,а). Если [math]l_1[/math] и [math]l_2[/math] параллельны, то они определяют несобственный пучок параллельных прямых (рис.3.27,6).


Пусть заданы уравнения двух прямых (3.19) [math]l_1\colon\,A_1\cdot x+B_1\cdot y+C_1=0[/math] и [math]l_2\colon\,A_2\cdot x+B_2\cdot y+C_2=0[/math], линейной комбинацией этих уравнений называется уравнение


[math]\lambda_1\cdot(A_1\cdot x+B_1\cdot y+C_1)+\lambda\cdot(A_2\cdot x+B_2\cdot y+C_2)=0.[/math]
(3.24)

где числа [math]\lambda_1,\,\lambda_2[/math] — коэффициенты линейной комбинации. Его можно записать в форме


[math](\lambda_1\cdot A_1+\lambda_2\cdot A_2)\cdot x+(\lambda_1\cdot B_1+\lambda_2\cdot B_2)\cdot y+\lambda_1\cdot C_1+\lambda_2\cdot C_2=0.[/math]
(3.25)

Заметим, что линейная комбинация уравнений является уравнением первой степени для любых значений коэффициентов, кроме случая, когда оба коэффициента при неизвестных равны нулю, т.е. при [math]\lambda_1\cdot A_1+\lambda_2\cdot A_2=0[/math] и [math]\lambda_1\cdot B_1+\lambda_2\cdot B_2=0[/math]. Эти значения параметров [math]\lambda_1[/math] и [math]\lambda_2[/math] считаются недопустимыми.


Уравнение (3.24) называется уравнением пучка прямых, содержащего прямые [math]A_1x+B_1y+C_1=0[/math] и [math]A_2x+B_2y+C_2=0[/math].


При любых допустимых значениях параметров [math]\lambda_1[/math] и [math]\lambda_2[/math] уравнение (3.24) задает прямую, принадлежащую пучку, и, наоборот, для любой прямой пучка найдутся такие значения параметров [math]\lambda_1,\,\lambda_2[/math], что уравнение (3.24) будет задавать эту прямую.


Действительно, уравнения прямых [math]l_1[/math] и [math]l_2[/math] получаются из (3.24) при [math]\lambda_1=1,~\lambda_2=0[/math] и при [math]\lambda_1=0,~\lambda_2=1[/math] соответственно.


Если прямые [math]l_1[/math] и [math]l_2[/math] параллельны, то существует такое число [math]\lambda\ne0[/math], что [math]A_1=\lambda A_2[/math] и [math]B_1=\lambda B_2[/math]. Тогда при любых допустимых значениях параметров [math]\lambda_1,\,\lambda_2[/math] прямая (3.25) параллельна прямой [math]l_2[/math], так как коэффициенты при неизвестных пропорциональны:


[math]\lambda_1\cdot A_1+\lambda_2\cdot A_2=(\lambda_1\cdot\lambda+\lambda_2)\cdot A_2, \quad \lambda_1\cdot B_1+\lambda_2\cdot B_2=(\lambda_1\cdot\lambda+\lambda_2)\cdot B_2.[/math]

Если прямые [math]l_1[/math] и [math]l_2[/math] пересекаются в точке [math]M_0(x_0,y_0)[/math], то любая прямая (3.24) проходит через точку [math]M_0(x_0,y_0)[/math] пересечения прямых [math]l_1[/math] и [math]l_2[/math], поскольку


[math]\lambda_1\cdot\underbrace{(A_1\cdot x_0+B_1\cdot y_0+C_1)}_{0}+\lambda_2\cdot\underbrace{(A_2\cdot x_0+B_2\cdot y_0+C_2)}_{0}=0[/math]

при любых значениях [math]\lambda_1[/math] и [math]\lambda_2[/math].


Осталось показать, что для любой точки [math]M^{\ast}(x^{\ast},y^{\ast})[/math] плоскости существуют такие значения параметров [math]\lambda_1,\,\lambda_2[/math], при которых уравнение (3.24) задает прямую [math]l[/math], проходящую через точку [math]M^{\ast}(x^{\ast},y^{\ast})[/math]. В самом деле, подставим координаты точки [math]M^{\ast}(x^{\ast},y^{\ast})[/math] в уравнение (3.24):


[math]\lambda_1\cdot\underbrace{(A_1\cdot x^{\ast}+B_1\cdot y^{\ast}+C_1)}_{\ne0}+\lambda_2\cdot\underbrace{(A_2\cdot x^{\ast}+B_2\cdot y^{\ast}+C_2)}_{\ne0}=0.[/math]

Это означает, что прямая (3.24) проходит через точку [math]M^{\ast}[/math]. Отсюда определяется отношение [math]\frac{\lambda_1}{\lambda_2}=-\frac{A_1x^{\ast}+B_1y^{\ast}+C_1}{A_2x^{\ast}+B_2y^{\ast}+C_2}[/math], равное по абсолютной величине отношению расстояний от точки [math]M^{\ast}[/math] до прямых [math]l_1[/math] и [math]l_2[/math] (см. пункт 5 замечаний 3.2). При таком выборе параметров [math]\lambda_1,\,\lambda_2[/math] уравнение (3.24) будет задавать прямую, проходящую через точку [math]M^{\ast}[/math], т.е. прямую [math]l[/math].




Пример 3.13. Составить уравнение прямой, проходящей через точку пересечения прямых [math]2x+y+4=0[/math] и [math]3x-y-1=0[/math] и через точку [math]M^{\ast}(2;3)[/math].


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


[math]\lambda_1\cdot(2x+y+4)+\lambda_2\cdot(3x-y-1)=0.[/math]

Подставляя координаты точки [math]M^{\ast}(2;3)[/math], получаем:


[math]\lambda_1\cdot(2\cdot2+3+4)+\lambda_2\cdot(3\cdot2-3-1)=0 \quad \Leftrightarrow \quad 11\lambda_1+2\lambda_2=0.[/math]

Возьмем, например, [math]\lambda_1=-2,~\lambda_2=11[/math] и подставим в уравнение пучка:


[math]-2\cdot(2x+y+4)+11\cdot(3x-y-1)=0 \quad \Leftrightarrow \quad 29x-13y-19=0.[/math]

Искомое уравнение получено.


Часовой пояс: UTC + 4 часа [ Летнее время ]


Яндекс.Метрика

Copyright © 2010-2016 MathHelpPlanet.com. All rights reserved