Решебник.Ру / Кузнецов Л.А. Аналитическая геометрия. Задача 12
Канонические уравнения прямой
Постановка задачи. Найти канонические уравнения прямой, заданной как линия пересечения двух плоскостей (общими уравнениями)
План решения. Канонические уравнения прямой с направляющим вектором , проходящей через данную точку , имеют вид
. (1)
Поэтому, чтобы написать канонические уравнения прямой, необходимо найти ее направляющий вектор и какую-нибудь точку на прямой.
1. Так как прямая принадлежит одновременно обеим плоскостям, то ее направляющий вектор ортогонален нормальным векторам обеих плоскостей, т.е. согласно определению векторного произведения, имеем
. (2)
2. Выбираем какую-нибудь точку на прямой. Поскольку направляющий вектор прямой не параллелен хотя бы одной из координатных плоскостей, то прямая пересекает эту координатную плоскость. Следовательно, в качестве точки на прямой может быть взята точка ее пересечения с этой координатной плоскостью.
3. Подставляем найденные координаты направляющего вектора и точки в канонические уравнения прямой (1).
Замечание. Если векторное произведение (2) равно нулю, то плоскости не пересекаются (параллельны) и записать канонические уравнения прямой не представляется возможным.
Задача 12. Написать канонические уравнения прямой.
Канонические уравнения прямой:
,
где – координаты какой-либо точки прямой, – ее направляющий вектор.
Найдем какую-либо точку прямой . Пусть , тогда
Следовательно, – координаты точки, принадлежащей прямой.
Канонические уравнения прямой:
.
:: Рекомендуемая литература. Ремендуем покупать учебную литературу в интернет-магазине Озон
Канонические уравнения прямой в пространстве: теория, примеры, решение задач
Одним из видов уравнений прямой в пространстве является каноническое уравнение. Мы рассмотрим это понятие во всех подробностях, поскольку знать его необходимо для решения многих практических задач.
В первом пункте мы сформулируем основные уравнения прямой, расположенной в трехмерном пространстве, и приведем несколько примеров. Далее покажем способы вычисления координат направляющего вектора при заданных канонических уравнениях и решение обратной задачи. В третьей части мы расскажем, как составляется уравнение прямой, проходящей через 2 заданные точки в трехмерном пространстве, а в последнем пункте укажем на связи канонических уравнений с другими. Все рассуждения будут проиллюстрированы примерами решения задач.
Что такое каноническое уравнение прямой в пространстве
О том, что вообще из себя представляют канонические уравнения прямой, мы уже говорили в статье, посвященной уравнениям прямой на плоскости. Случай с трехмерным пространством мы разберем по аналогии.
Допустим, у нас есть прямоугольная система координат O x y z , в которой задана прямая. Как мы помним, задать прямую можно разными способами. Используем самый простой из них – зададим точку, через которую будет проходить прямая, и укажем направляющий вектор. Если обозначить прямую буквой a , а точку M , то можно записать, что M 1 ( x 1 , y 1 , z 1 ) лежит на прямой a и направляющим вектором этой прямой будет a → = ( a x , a y , a z ) . Чтобы множество точек M ( x , y , z ) определяло прямую a , векторы M 1 M → и a → должны быть коллинеарными,
Если мы знаем координаты векторов M 1 M → и a → , то можем записать в координатной форме необходимое и достаточное условие их коллинеарности. Из первоначальных условий нам уже известны координаты a → . Для того чтобы получить координаты M 1 M → , нам необходимо вычислить разность между M ( x , y , z ) и M 1 ( x 1 , y 1 , z 1 ) . Запишем:
M 1 M → = x — x 1 , y — y 1 , z — z 1
После этого нужное нам условие мы можем сформулировать так: M 1 M → = x — x 1 , y — y 1 , z — z 1 и a → = ( a x , a y , a z ) : M 1 M → = λ · a → ⇔ x — x 1 = λ · a x y — y 1 = λ · a y z — z 1 = λ · a z
Здесь значением переменной λ может быть любое действительное число или ноль. Если λ = 0 , то M ( x , y , z ) и M 1 ( x 1 , y 1 , z 1 ) совпадут, что не противоречит нашим рассуждениям.
При значениях a x ≠ 0 , a y ≠ 0 , a z ≠ 0 мы можем разрешить относительно параметра λ все уравнения системы x — x 1 = λ · a x y — y 1 = λ · a y z — z 1 = λ · a z
Между правыми частями после этого можно будет поставить знак равенства:
x — x 1 = λ · a x y — y 1 = λ · a y z — z 1 = λ · a z ⇔ λ = x — x 1 a x λ = y — y 1 a y λ = z — z 1 a z ⇔ x — x 1 a x = y — y 1 a y = z — z 1 a z
В итоге у нас получились уравнения x — x 1 a x = y — y 1 a y = z — z 1 a z , с помощью которых можно определить искомую прямую в трехмерном пространстве. Это и есть нужные нам канонические уравнения.
Такая запись используется даже при нулевых значениях одного или двух параметров a x , a y , a z , поскольку она в этих случаях она также будет верна. Все три параметра не могут быть равны 0 , поскольку направляющий вектор a → = ( a x , a y , a z ) нулевым не бывает.
Если один-два параметра a равны 0 , то уравнение x — x 1 a x = y — y 1 a y = z — z 1 a z носит условный характер. Его следует считать равным следующей записи:
x = x 1 + a x · λ y = y 1 + a y · λ z = z 1 + a z · λ , λ ∈ R .
Частные случаи канонических уравнений мы разберем в третьем пункте статьи.
Из определения канонического уравнения прямой в пространстве можно сделать несколько важных выводов. Рассмотрим их.
1) если исходная прямая будет проходить через две точки M 1 ( x 1 , y 1 , z 1 ) и M 2 ( x 2 , y 2 , z 2 ) , то канонические уравнения примут следующий вид:
x — x 1 a x = y — y 1 a y = z — z 1 a z или x — x 2 a x = y — y 2 a y = z — z 2 a z .
2) поскольку a → = ( a x , a y , a z ) является направляющим вектором исходной прямой, то таковыми будут являться и все векторы μ · a → = μ · a x , μ · a y , μ · a z , μ ∈ R , μ ≠ 0 . Тогда прямая может быть определена с помощью уравнения x — x 1 a x = y — y 1 a y = z — z 1 a z или x — x 1 μ · a x = y — y 1 μ · a y = z — z 1 μ · a z .
Вот несколько примеров таких уравнений с заданными значениями:
x — 3 2 = y + 1 — 1 2 = z ln 7
Тут x 1 = 3 , y 1 = — 1 , z 1 = 0 , a x = 2 , a y = — 1 2 , a z = ln 7 .
x — 4 0 = y + 2 1 = z + 1 0
Тут M 1 ( 4 , — 2 , — 1 ) , a → = ( 0 , 1 , 0 ) .
Как составить каноническое уравнение прямой в пространстве
Мы выяснили, что канонические уравнения вида x — x 1 a x = y — y 1 a y = z — z 1 a z будут соответствовать прямой, проходящей через точку M 1 ( x 1 , y 1 , z 1 ) , а вектор a → = ( a x , a y , a z ) будет для нее направляющим. Значит, если мы знаем уравнение прямой, то можем вычислить координаты ее направляющего вектора, а при условии заданных координат вектора и некоторой точки, расположенной на прямой, мы можем записать ее канонические уравнения.
Разберем пару конкретных задач.
У нас есть прямая, заданная в трехмерном пространстве с помощью уравнения x + 1 4 = y 2 = z — 3 — 5 . Запишите координаты всех направляющих векторов для нее.
Решение
Чтобы получить координаты направляющего вектора, нам надо просто взять значения знаменателей из уравнения. Мы получим, что одним из направляющих векторов будет a → = ( 4 , 2 , — 5 ) , а множество всех подобных векторов можно сформулировать как μ · a → = 4 · μ , 2 · μ , — 5 · μ . Здесь параметр μ – любое действительное число (за исключением нуля).
Ответ: 4 · μ , 2 · μ , — 5 · μ , μ ∈ R , μ ≠ 0
Запишите канонические уравнения, если прямая в пространстве проходит через M 1 ( 0 , — 3 , 2 ) и имеет направляющий вектор с координатами — 1 , 0 , 5 .
Решение
У нас есть данные, что x 1 = 0 , y 1 = — 3 , z 1 = 2 , a x = — 1 , a y = 0 , a z = 5 . Этого вполне достаточно, чтобы сразу перейти к записи канонических уравнений.
x — x 1 a x = y — y 1 a y = z — z 1 a z ⇔ x — 0 — 1 = y — ( — 3 ) 0 = z — 2 5 ⇔ ⇔ x — 1 = y + 3 0 = z — 2 5
Ответ: x — 1 = y + 3 0 = z — 2 5
Эти задачи – самые простые, потому что в них есть все или почти все исходные данные для записи уравнения или координат вектора. На практике чаще можно встретить те, в которых сначала нужно находить нужные координаты, а потом записывать канонические уравнения. Примеры таких задач мы разбирали в статьях, посвященных нахождению уравнений прямой, проходящей через точку пространства параллельно заданной, а также прямой, проходящей через некоторую точку пространства перпендикулярно плоскости.
Канонические уравнения с одним или двумя a, равными нулю
Ранее мы уже говорили, что одно-два значения параметров a x , a y , a z в уравнениях могут иметь нулевые значения. При этом запись x — x 1 a x = y — y 1 a y = z — z 1 a z = λ приобретает формальный характер, поскольку мы получаем одну или две дроби с нулевыми знаменателями. Ее можно переписать в следующем виде (при λ ∈ R ):
x = x 1 + a x · λ y = y 1 + a y · λ z = z 1 + a z · λ
Рассмотрим эти случаи подробнее. Допустим, что a x = 0 , a y ≠ 0 , a z ≠ 0 , a x ≠ 0 , a y = 0 , a z ≠ 0 , либо a x ≠ 0 , a y ≠ 0 , a z = 0 . В таком случае нужные уравнения мы можем записать так:
- В первом случае:
x — x 1 0 = y — y 1 a y = z — z 1 a z = λ ⇔ x — x 1 = 0 y = y 1 + a y · λ z = z 1 + a z · λ ⇔ x — x 1 = 0 y — y 1 a y = z — z 1 a z = λ
Во втором случае:
x — x 1 a x = y — y 1 0 = z — z 1 a z = λ ⇔ x = x 1 + a x · λ y — y 1 = 0 z = z 1 + a z · λ ⇔ y — y 1 = 0 x — x 1 a x = z — z 1 a z = λ
В третьем случае:
x — x 1 a x = y — y 1 a y = z — z 1 0 = λ ⇔ x = x 1 + a x · λ y = y 1 + a y · λ z — z 1 = 0 ⇔ z — z 1 = 0 x — x 1 a x = y — y 1 a y = λ
Получается, что при таком значении параметров нужные прямые находятся в плоскостях x — x 1 = 0 , y — y 1 = 0 или z — z 1 = 0 , которые располагаются параллельно координатным плоскостям (если x 1 = 0 , y 1 = 0 либо z 1 = 0 ). Примеры таких прямых показаны на иллюстрации.
Следовательно, мы сможем записать канонические уравнения немного иначе.
- В первом случае: x — x 1 0 = y — y 1 0 = z — z 1 a z = λ ⇔ x — x 1 = 0 y — y 1 = 0 z = z 1 + a z · λ , λ ∈ R
- Во втором: x — x 1 0 = y — y 1 a y = z — z 1 0 = λ ⇔ x — x 1 = 0 y = y 1 + a y · λ , λ ∈ R z — z 1 = 0
- В третьем: x — x 1 a x = y — y 1 0 = z — z 1 0 = λ ⇔ x = x 1 + a x · λ , λ ∈ R y = y 1 = 0 z — z 1 = 0
Во всех трех случаях исходные прямые будут совпадать с координатными осями или окажутся параллельными им: x 1 = 0 y 1 = 0 , x 1 = 0 z 1 = 0 , y 1 = 0 z 1 = 0 . Их направляющие векторы имеют координаты 0 , 0 , a z , 0 , a y , 0 , a x , 0 , 0 . Если обозначить направляющие векторы координатных прямых как i → , j → , k → , то направляющие векторы заданных прямых будут коллинеарными по отношению к ним. На рисунке показаны эти случаи:
Покажем на примерах, как применяются эти правила.
Найдите канонические уравнения, с помощью которых можно определить в пространстве координатные прямые O z , O x , O y .
Решение
Координатные векторы i → = ( 1 , 0 , 0 ) , j → = 0 , 1 , 0 , k → = ( 0 , 0 , 1 ) будут для исходных прямых направляющими. Также мы знаем, что наши прямые будут обязательно проходить через точку O ( 0 , 0 , 0 ) , поскольку она является началом координат. Теперь у нас есть все данные, чтобы записать нужные канонические уравнения.
Для прямой O x : x 1 = y 0 = z 0
Для прямой O y : x 0 = y 1 = z 0
Для прямой O z : x 0 = y 0 = z 1
Ответ: x 1 = y 0 = z 0 , x 0 = y 1 = z 0 , x 0 = y 0 = z 1 .
В пространстве задана прямая, которая проходит через точку M 1 ( 3 , — 1 , 12 ) . Также известно, что она расположена параллельно оси ординат. Запишите канонические уравнения этой прямой.
Решение
Учитывая условие параллельности, мы можем сказать, что вектор j → = 0 , 1 , 0 будет для нужной прямой направляющим. Следовательно, искомые уравнения будут иметь вид:
x — 3 0 = y — ( — 1 ) 1 = z — 12 0 ⇔ x — 3 0 = y + 1 1 = z — 12 0
Ответ: x — 3 0 = y + 1 1 = z — 12 0
Как записать каноническое уравнение прямой, которая проходит через две заданные точки
Допустим, что у нас есть две несовпадающие точки M 1 ( x 1 , y 1 , z 1 ) и M 2 ( x 2 , y 2 , z 2 ) , через которые проходит прямая. Как в таком случае мы можем сформулировать для нее каноническое уравнение?
Для начала примем вектор M 1 M 2 → (или M 2 M 1 → ) за направляющий вектор данной прямой. Поскольку у нас есть координаты нужных точек, сразу вычисляем координаты вектора:
M 1 M 2 → = x 2 — x 1 , y 2 — y 1 , z 2 — z 1
Далее переходим непосредственно к записи канонического уравнения, ведь все нужные данные у нас уже есть. Исходная прямая будет определяться записями следующего вида:
x — x 1 x 2 — x 1 = y — y 1 y 2 — y 1 = z — z 1 z 2 — z 1 x — x 2 x 2 — x 1 = y — y 2 y 2 — y 1 = z — z 2 z 2 — z 1
Получившиеся равенства – это и есть канонические уравнения прямой, проходящей через две заданные точки. Взгляните на иллюстрацию:
Приведем пример решения задачи.
в пространстве есть две точки с координатами M 1 ( — 2 , 4 , 1 ) и M 2 ( — 3 , 2 , — 5 ) , через которые проходит прямая. Запишите канонические уравнения для нее.
Решение
Согласно условиям, x 1 = — 2 , y 1 = — 4 , z 1 = 1 , x 2 = — 3 , y 2 = 2 , z 2 = — 5 . Нам требуется подставить эти значения в каноническое уравнение:
x — ( — 2 ) — 3 — ( — 2 ) = y — ( — 4 ) 2 — ( — 4 ) = z — 1 — 5 — 1 ⇔ x + 2 — 1 = y + 4 6 = z — 1 — 6
Если мы возьмем уравнения вида x — x 2 x 2 — x 1 = y — y 2 y 2 — y 1 = z — z 2 z 2 — z 1 , то у нас получится: x — ( — 3 ) — 3 — ( — 2 ) = y — 2 2 — ( — 4 ) = z — ( — 5 ) — 5 — 1 ⇔ x + 3 — 1 = y — 2 6 = z + 5 — 6
Ответ: x + 3 — 1 = y — 2 6 = z + 5 — 6 либо x + 3 — 1 = y — 2 6 = z + 5 — 6 .
Преобразование канонических уравнений прямой в пространстве в другие виды уравнений
Иногда пользоваться каноническими уравнениями вида x — x 1 a x = y — y 1 a y = z — z 1 a z не очень удобно. Для решения некоторых задач лучше использовать запись x = x 1 + a x · λ y = y 1 + a y · λ z = z 1 + a z · λ . В некоторых случаях более предпочтительно определить нужную прямую с помощью уравнений двух пересекающихся плоскостей A 1 x + B 1 y + C 1 z + D 1 = 0 A 2 x + B 2 y + C 2 z + D 2 = 0 . Поэтому в данном пункте мы разберем, как можно перейти от канонических уравнений к другим видам, если это требуется нам по условиям задачи.
Понять правила перехода к параметрическим уравнениям несложно. Сначала приравняем каждую часть уравнения к параметру λ и разрешим эти уравнения относительно других переменных. В итоге получим:
x — x 1 a x = y — y 1 a y = z — z 1 a z ⇔ x — x 1 a x = y — y 1 a y = z — z 1 a z ⇔ ⇔ x — x 1 a x = λ y — y 1 a y = λ z — z 1 a z = λ ⇔ x = x 1 + a x · λ y = y 1 + a y · λ z = z 1 + a z · λ
Значение параметра λ может быть любым действительным числом, ведь и x , y , z могут принимать любые действительные значения.
В прямоугольной системе координат в трехмерном пространстве задана прямая, которая определена уравнением x — 2 3 = y — 2 = z + 7 0 . Запишите каноническое уравнение в параметрическом виде.
Решение
Сначала приравниваем каждую часть дроби к λ .
x — 2 3 = y — 2 = z + 7 0 ⇔ x — 2 3 = λ y — 2 = λ z + 7 0 = λ
Теперь разрешаем первую часть относительно x , вторую – относительно y , третью – относительно z . У нас получится:
x — 2 3 = λ y — 2 = λ z + 7 0 = λ ⇔ x = 2 + 3 · λ y = — 2 · λ z = — 7 + 0 · λ ⇔ x = 2 + 3 · λ y = — 2 · λ z = — 7
Ответ: x = 2 + 3 · λ y = — 2 · λ z = — 7
Следующим нашим шагом будет преобразование канонических уравнений в уравнение двух пересекающихся плоскостей (для одной и той же прямой).
Равенство x — x 1 a x = y — y 1 a y = z — z 1 a z нужно для начала представить в виде системы уравнений:
x — x 1 a x = y — y 1 a y x — x 1 a x = z — z 1 a x y — y 1 a y = z — z 1 a z
Поскольку p q = r s мы понимаем как p · s = q · r , то можно записать:
x — x 1 a x = y — y 1 a y x — x 1 a x = z — z 1 a z y — y 1 a y = z — z 1 a z ⇔ a y · ( x — x 1 ) = a x · ( y — y 1 ) a z · ( x — x 1 ) = a x · ( z — z 1 ) a z · ( y — y 1 ) = a y · ( z — z 1 ) ⇔ ⇔ a y · x — a x · y + a x · y 1 — a y · x 1 = 0 a z · x — a x · z + a x · z 1 — a z · x 1 = 0 a z · y — a y · z + a y · z 1 — a z · y 1 = 0
В итоге у нас вышло, что:
x — x 1 a x = y — y 1 a y = z — z 1 a z ⇔ a y · x — a x · y + a x · y 1 — a y · x 1 = 0 a z · x — a x · z + a x · z 1 — a z · x 1 = 0 a z · y — a y · z + a y · z 1 — a z · y 1 = 0
Выше мы отмечали, что все три параметра a не могут одновременно быть нулевыми. Значит, ранг основной матрицы системы будет равен 2 , поскольку a y — a x 0 a z 0 — a x 0 a z — a y = 0 и один из определителей второго порядка не равен 0 :
a y — a x a z 0 = a x · a z , a y 0 a z — a x = a x · a y , — a x 0 0 — a x = a x 2 a y — a x 0 a z = a y · a z , a y 0 0 — a y = — a y 2 , — a x 0 a z — a y = a x · a y a z 0 0 a z = a z 2 , a z — a x 0 — a y = — a y · a z , 0 — a x a z — a y = a x · a z
Это дает нам возможность исключить одно уравнение из наших расчетов. Таким образом, канонические уравнения прямой можно преобразовать в систему из двух линейных уравнений, которые будут содержать 3 неизвестных. Они и будут нужными нам уравнениями двух пересекающихся плоскостей.
Рассуждение выглядит довольно сложным, однако на практике все делается довольно быстро. Продемонстрируем это на примере.
Прямая задана каноническим уравнением x — 1 2 = y 0 = z + 2 0 . Напишите для нее уравнение пересекающихся плоскостей.
Решение
Начнем с попарного приравнивания дробей.
x — 1 2 = y 0 = z + 2 0 ⇔ x — 1 2 = y 0 x — 1 2 = z + 2 0 y 0 = z + 2 0 ⇔ ⇔ 0 · ( x — 1 ) = 2 y 0 · ( x — 1 ) = 2 · ( z + 2 ) 0 · y = 0 · ( z + 2 ) ⇔ y = 0 z + 2 = 0 0 = 0
Теперь исключаем из расчетов последнее уравнение, потому что оно будет верным при любых x , y и z . В таком случае x — 1 2 = y 0 = z + 2 0 ⇔ y = 0 z + 2 = 0 .
Это и есть уравнения двух пересекающихся плоскостей, которые при пересечении образуют прямую, заданную с помощью уравнения x — 1 2 = y 0 = z + 2 0
Ответ: y = 0 z + 2 = 0
Прямая задана уравнениями x + 1 2 = y — 2 1 = z — 5 — 3 , найдите уравнение двух плоскостей, пересекающихся по данной прямой.
Решение
Приравниваем дроби попарно.
x + 1 2 = y — 2 1 = z — 5 — 3 ⇔ x + 1 2 = y — 2 1 x + 1 2 = z — 5 — 3 y — 2 1 = z — 5 — 3 ⇔ ⇔ 1 · ( x + 1 ) = 2 · ( y — 2 ) — 3 · ( x + 1 ) = 2 · ( z — 5 ) — 3 · ( y — 2 ) = 1 · ( z — 5 ) ⇔ x — 2 y + 5 = 0 3 x + 2 z — 7 = 0 3 y + 7 — 11 = 0
Получаем, что определитель основной матрицы полученной системы будет равен 0 :
1 — 2 0 3 0 2 0 3 1 = 1 · 0 · 1 + ( — 2 ) · 2 · 0 + 0 · 3 · 3 — 0 · 0 · 0 — 1 · 2 · 3 — ( — 2 ) · 3 · 1 = 0
Минор второго порядка нулевым при этом не будет: 1 — 2 3 0 = 1 · 0 — ( — 2 ) · 3 = 6 . Тогда мы можем принять его в качестве базисного минора.
В итоге мы можем вычислить ранг основной матрицы системы x — 2 y + 5 = 0 3 x + 2 z — 7 = 0 3 y + z — 11 = 0 . Это будет 2. Третье уравнение исключаем из расчета и получаем:
x — 2 y + 5 = 0 3 x + 2 z — 7 = 0 3 y + z — 11 = 0 ⇔ x — 2 y + 5 = 0 3 x + 2 z — 7 = 0
Ответ: x — 2 y + 5 = 0 3 x + 2 z — 7 = 0
Общее уравнение прямой на плоскости
В данной статье мы рассмотрим общее уравнение прямой на плоскости. Приведем примеры построения общего уравнения прямой, если известны две точки этой прямой или если известна одна точка и нормальный вектор этой прямой. Представим методы преобразования уравнения в общем виде в канонический и параметрический виды.
Пусть задана произвольная декартова прямоугольная система координат Oxy. Рассмотрим уравнение первой степени или линейное уравнение:
где A, B, C − некоторые постоянные, причем хотя бы один из элементов A и B отлично от нуля.
Мы покажем, что линейное уравнение на плоскости определяет прямую. Докажем следующую теорему.
Теорема 1. В произвольной декартовой прямоугольной системе координат на плоскости каждая прямая линия может быть задана линейным уравнением. Обратно, каждое линейное уравнение (1) в произвольной декартовой прямоугольной системе координат на плоскости определяет прямую линию.
Доказательство. Достаточно доказать, что прямая L определяется линейным уравнением при какой нибудь одной декартовой прямоугольной системе координат, поскольку тогда она будет определяться линейным уравнением и при любом выборе декартовой прямоугольной системы координат.
Пусть на плоскости задана прямая L. Выберем систему координат так, чтобы ось Ox совпадал с прямой L, а ось Oy был перпендикулярной к ней. Тогда уравнение прямой L примет следующий вид:
Все точки на прямой L будут удовлетворять линейному уравнению (2), а все точки вне этой прямой, не будут удовлетворять уравнению (2). Первая часть теоремы доказана.
Пусть задана декартова прямоугольная система координат и пусть задана линейное уравнение (1), где хотя бы один из элементов A и B отличен от нуля. Найдем геометрическое место точек, координаты которых удовлетворяют уравнению (1). Так как хотя бы один из коэффициентов A и B отличен от нуля, то уравнение (1) имеет хотя бы одно решение M(x0,y0). (Например, при A≠0, точка M0(−C/A, 0) принадлежит данному геометрическому месту точек). Подставляя эти координаты в (1) получим тождество
Ax0+By0+C=0. | (3) |
Вычтем из (1) тождество (3):
A(x−x0)+B(y−y0)=0. | (4) |
Очевидно, что уравнение (4) эквивалентно уравнению (1). Поэтому достаточно доказать, что (4) определяет некоторую прямую .
Поскольку мы рассматриваем декартову прямоугольную систему координат, то из равенства (4) следует, что вектор с компонентами <x−x0, y−y0> ортогонален вектору n с координатами <A,B>.
Рассмотрим некоторую прямую L, проходящую через точку M0(x0, y0) и перпендикулярной вектору n (Рис.1). Пусть точка M(x,y) принадлежит прямой L. Тогда вектор с координатами x−x0, y−y0 перпендикулярен n и уравнение (4) удовлетворено (скалярное произведение векторов n и равно нулю). Обратно, если точка M(x,y) не лежит на прямой L, то вектор с координатами x−x0, y−y0 не ортогонален вектору n и уравнение (4) не удовлетворено. Теорема доказана.
Вектор n=<A,B> называется нормальным вектором прямой L.
Замечание 1. Если два общих уравнения прямой
A1x+B1y+C1=0 | (5) |
A2x+B2y+C2=0 | (6) |
определяют одну и ту же прямую, то найдется такое число λ, что выпонены равенства
A2=A1λ, B2=B1λ, C2=C1λ. | (7) |
(A1λ−A2)x0+(B1λ−B2)x0+(C1λ−C2)=0. | (8) |
Так как выполнены первые два равенства из выражений (7), то C1λ−C2=0. Т.е. C2=C1λ. Замечание доказано.
Заметим, что уравнение (4) определяет уравнение прямой, проходящей через точку M0(x0, y0) и имеющий нормальный вектор n=<A,B>. Поэтому, если известен нормальный вектор прямой и точка, принадлежащая этой прямой, то можно построить общее уравнение прямой с помощью уравнения (4).
Пример 1. Прямая проходит через точку M=(4,−1) и имеет нормальный вектор n=<3, 5>. Построить общее уравнение прямой.
Решение. Имеем: x0=4, y0=−1, A=3, B=5. Для построения общего уравнения прямой, подставим эти значения в уравнение (4):
Упростив получим общее уравнение прямой:
Пример 2. Прямая проходит через точки M1=(−5, 2) и M2=(−2, 3). Построить общее уравнение прямой.
Решение. Вычислим вектор :
Вектор параллелен прямой L и, следовательно, перпердикулярен нормальному вектору прямой L. Построим нормальный вектор прямой L, учитывая, что скалярное произведение векторов n и равно нулю. Можем записать, например, n=<1,−3>.
Для построения общего уравнения прямой воспользуемся формулой (4). Подставим в (4) координаты точки M1 (можем взять также координаты точки M2) и нормального вектора n:
Упростим полученное уравнение:
Подставляя координаты точек M1 и M2 в (9) можем убедится, что прямая заданная уравнением (9) проходит через эти точки.
Приведение общего уравнения прямой на плоскости к каноническому виду
Нам нужно привести уравнение (1) к каноническому виду. Для этого найдем некоторую точку M0(x0,y0) на этой прямой. Тогда имеем:
Ax0+By0+C=0 | (10) |
A(x−x0)+B(y−y0)=0 | (11) |
Вторую слагаемую уравнения (11) переместим на право и разделим обе части уравнения на −AB:
(12) |
Мы получили каноническое уравнение прямой. Вектор q=<−B, A> является направляющим вектором прямой (12).
Обратное преобразование смотрите здесь.
Пример 3. Прямая на плоскости представлена следующим общим уравнением:
Привести данное уравнение прямой к каноническому виду.
Решение: Найдем некоторую точку на прямой (13). Для этого подставим в (13) y=1 и найдем x. Получим x=2. Запишем уравнение прямой пользуясь формулой (11):
Переместим на право вторую слагаемую и разделим обе части уравнения на 2·5:
Приведение общего уравнения прямой на плоскости к параметрическому виду
В предыдущем параграфе мы привели общее уравнение прямой (1) к каноническому виду (12). Из канонического уравнения легко получить параметрическое уравнение прямой. для этого левый и правый части уравнения (12) обозначим через параметр t. Тогда получим:
Выразив x и y через параметр t, получим параметрическое уравнение прямой:
Обратное преобразование смотрите здесь.
Пример 4. Прямая на плоскости представлена следующим общим уравнением:
Привести данное уравнение прямой к параметрическому виду.
Решение: Найдем некоторую точку на прямой (13). Для этого подставим в (14) x=3 и найдем y. Получим y=11. Запишем уравнение прямой пользуясь формулой (11):
Переместим на право вторую слагаемую и разделим обе части уравнения на 5·2:
Обозначим обе части уравнения через параметр t:
Выразим x и y через параметр t:
Ответ. Параметрическое уравнение прямой имеет следующий вид:
http://zaochnik.com/spravochnik/matematika/prjamaja-ploskost/kanonicheskie-uravnenija-prjamoj-v-prostranstve/
http://matworld.ru/analytic-geometry/obshchee-uravnenie-prjamoj.php