y y
f x
L М
r t L
t
Oa xb х O х
Рис. 3.1. Задание линии
а) явно: ; б) параметрически:
y
М(x; y)
rt
O 5 х
x 5 cos t ,
y 5 sin t.
Наиболее простой вид уравнение этой окружности имеет в
полярных координатах: r 5 .
Пример 3. Спираль Архимеда в полярных координатах задается
уравнением r (рис. 3.3).
Не существует задания этой линии в декартовых координатах,
сравнимого по простоте с уравнением в полярных координатах.
Рис. 3.3. Спираль Архимеда
y
e2
L
x
O e1
C
A
Рис. 3.4. Прямая на плоскости , в ДСК
M 0 x0 ; y0 M x; y
L
Рис. 3.5. Нормальный вектор N ( A; B) к прямой L : Ax By C 0
М
j r
М0 s
LO 0
r
i
Рис. 3.6. Параметрическое задание прямой :
Тогда M 0 M r r0 и мы получаем векторное параметрическое
уравнение прямой L :
r r0 t s , (3.3.1)
или в координатной форме
x x0 tp,
(3.3.2)
y y0 tq,
где ( p; q ) – координаты вектора s в базисе e1, e2 .
y
M0
L s ( p, q)
O х
Рис. 3.7. Геометрическая интерпретация параметров
канонического уравнения прямой: проходит через точку
параллельно вектору
y L
b M 0; b
0
O х
Рис. 3.8. Прямая :, геометрическая интерпретация
параметров: , – ордината точки пересечения с
Восьмым уравнением прямой на плоскости является уравнение в
отрезках. Если прямая L отсекает на осях Ox и Oy отрезки
величиной a и b соответственно (рис. 3.9), то такая прямая задается
уравнением:
x y
1 . (3.3.6)
a b
B
b L
A
O a х
Рис. 3.9. Уравнение прямой в отрезках
y
L
M0
O
r M х
Рис. 3.10. К выводу нормального уравнения прямой
8 x 18 6 y 20 0 или 4 x 3 y 12 0 .
2 2 2 2 1
Но cos 2 cos 2 1 . Отсюда A B 1 2 2
.
A B
Число называется нормирующим множителем.
C
Поскольку p и p 0 (как расстояние), то знак
2 2
A B
множителя следует выбирать противоположный знаку C .
91
tg 2 tg 1 k k
tg tg 2 1 2 1 . (3.4.4)
1 tg 2tg 1 1 k1k2
L2
y L1
1 2
O х
y A x0 , y0
L
K x, y
O х
Рис. 3.12. Расстояние от точки до прямой равно
94
3.5.1. Эллипсы
Эллипсом называется множество всех точек плоскости, сумма
расстояний каждой из которых от двух данных точек этой же
плоскости F1, F2 равна одному и тому же числу 2a , где a F1 F2 .
Для нахождения уравнения эллипса проведем ось Ox через
точки F1, F2 , называемые в дальнейшем фокусами эллипса. Начало
системы координат – точку O – выберем посередине между
фокусами. Тогда фокусы имеют симметричные координаты:
F1 c1,0 , F2 c2 ,0 , с 0. F1 F2 2c . Ось Oy , естественно, проходит
через точку O перпендикулярно Ox .
Пусть M x, y – произвольная точка эллипса. Тогда
F1 M F2 M x c 2 y 2 x c 2 y 2 2a или
x c 2 y2 2a x c 2 y2 .
Возведем обе части полученного равенства в квадрат. Получим:
x c 2 y 2 4a 2 4a x c 2 y 2 y 2 или
a x c 2 y2 a 2 cx .
x2 y2
2 1.
2
(3.5.2)
a b
Уравнение (3.5.2) называется каноническим уравнением эллипса.
Уравнение (3.5.2) свидетельствует, что эллипс действительно
относится к классу линий второго порядка и в выбранной системе
координат эллипс симметричен относительно осей Ox и Oy .
Соотношения:
2
2 x2 b
2
2
a a
2 2 a
y b 1 2 a x и x b2 y 2
2
b
указывают на то, что для всех точек эллипса (3.5.2) координаты x и
y удовлетворяют неравенствам: a x a; b x b .
b 2
Построив график функции y a x 2 в первой четверти и
a
повторив его по симметрии в остальных четвертях, мы получим
следующий график эллипса (рис. 3.13):
y
b M x, y
t
a a х
b
Рис. 3.13. Эллипс и его параметры
3.5.2. Гипербола
Пусть на плоскости R2 заданы две точки F1 и F2 , расстояние
между которыми равно 2c 0 . Пусть a – такое положительное число,
что 0 2a 2c . Множество всех точек M плоскости, модуль
разности расстояний которых от точек F1 и F2 является величиной
постоянной и равной 2a , называется гиперболой.
Для составления уравнения гиперболы выберем систему
координат Oxy на плоскости R2 специальным образом – подобно
тому, как это было сделано в п. 3.5.1: ось Ox проведем через точки F1
и F2 (фокусы гиперболы), расположив точку O в точности
посередине между ними. Ось Oy перпендикулярна оси Ox . Тогда
точка F1 имеет координаты c,0 , а точка F2 c,0 .
Согласно определению, для произвольной точки M x, y
гиперболы F1 M F2 M 2a . Пусть для определенности
F2 M 2a F1 M , то есть x c 2 y2 2a x c 2 y2 или
x c 2 y 2 4a 2 4a x c 2 y 2 x c 2 y 2 .
После приведения подобных имеем cx a 2 a x c 2 y 2 .
Повторное возведение в квадрат обеих частей равенства
приводит к соотношению:
c 2 x 2 2a 2cx a 4 a 2 x 2 2a 2cx a 2c 2 a 2 y 2 или
c2 a2 x2 a2 y 2 a2 c2 a2 .
Разность c 2 a 2 обозначим через b 2 . Обе части равенства
разделим на a 2b2 . В результате получим уравнение:
x2 y2
2 1. (3.5.4)
a2 b
Уравнение (3.5.4) называется каноническим уравнением
гиперболы. Оно свидетельствует о том, что гипербола, как и эллипс,
относится к классу линий линиям второго порядка.
98
x2 y2
Из соотношения
2
1 2 1 видим, что x a , y R .
a b
Вид уравнения (3.5.4) свидетельствует о том, что график
гиперболы в выбранной системе координат Oxy симметричен
относительно осей Ox и Oy . Поэтому достаточно построить график
b 2
функции y x a 2 в первой четверти, для x a , а затем его
a
симметрично отобразить относительно осей координат на остальные
четверти. В результате получим график на рис. 3.14.
b
y y x
a
a a х
b
Рис. 3.14. Гипербола и ее параметры
b
Прямые y x являются асимптотами гиперболы.
a
Числа a и b называются действительной и мнимой полуосями
гиперболы.
3.5.3. Парабола
Пусть на плоскости R2 выбраны точка F и прямая , не
проходящая через F . Параболой называется множество точек M
плоскости, равноудаленных от F и от .
Для вывода уравнения параболы выберем прямоугольную
декартову систему координат так, чтобы ось Ox прошла через F
перпендикулярно , а точка O была равноудалена от F и от , ось
Oy перпендикулярна оси Ox . Пусть расстояние между F и равно
99
M x, y
P y
pO
F х
2
Рис. 3.15. Парабола
y
D M
O K F х
a 1 2
l | OK OF | a a .
l
С учетом того, что 1 , имеем a .
1 2
Пусть M ( x, y ) – произвольная точка линии L. Тогда
a | MF |
| MF | ( x a) 2 y 2 ; | MD | x . Из условия следует,
| MD |
2 2 2ax a 2
2
2 2 a 2
что ( x a) y x или ( x a) y x 2 ,
2
2 2 2
2
что эквивалентно равенству: x 1 y a 1 .
Отсюда получаем уравнение:
x2 y2
2
2 2
1. (3.5.6)
a a (1 )
При 1 уравнение (3.5.6) есть уравнение эллипса (3.5.2) с
параметром b a 1 2 .
При 1 из уравнения (3.5.6) получаем уравнение гиперболы
(3.5.4) со значением параметра b a 2 1 .
Эллипс и гипербола имеют по два фокуса: F1 a;0 и F2 a;0
. Поэтому они обладают и двумя директрисами – вертикальными
a a
прямыми x и x , не пересекающими ни эллипс, ни
гиперболу соответственно.
x2 y2 5. y 2 a 2 0;
1. 2 1;
a2
b 6. y 2 0;
x2 y2 7. a 2 x 2 b 2 y 2 0;
2. 2
2 1;
a b x2 y2
3. y 2 2 px; 8. 2 1;
2
a b
4. a 2 x 2 c 2 y 2 0; 9. y 2 a 2 0.
Первые три уравнения уже нам знакомы: канонические
уравнения эллипса, гиперболы и параболы; четвертое – единая запись
a
двух прямых: y x ; пятое уравнение означает, что y a – пара
c
параллельных прямых; в шестом уравнении эти прямые совпадают (
a 0 ); седьмому уравнению удовлетворяет только одна точка ( x 0 ;
y 0 ), а из-за внешней похожести его на четвертое уравнение иногда
говорят, что оно задает пару мнимых прямых; о восьмом уравнении
говорят, что оно задает мнимый эллипс, на деле же – пустое
множество; девятое уравнение также задает пустое множество.
Таким образом, из теоремы 1 следует, что список реальных
невырожденных линий 2-го порядка действительно исчерпывается
тремя классами: эллипсы, гиперболы, параболы.
Простота уравнения линии зависит от выбора системы
координат.
Пример 1. Определить вид и построить линию второго порядка,
заданную в ПДСК Oxy уравнением 9 x 2 16 y 2 90 x 32 y 367 0 .
Решение. Преобразуем заданное уравнение, выделив полные
квадраты:
2 2
9 x 5 16 y 1 576 .
103
y y
b
a
O 0
a х
х
b
Рис. 3.17. График гиперболы
1
Пример 2. Линия xy 1 или y является, как известно,
x
гиперболой. Каноническое же уравнение этой линии мы получим,
если перейдем к системе координат O, e1 , e2 , где
1 1 1 1
e1 e1 e2 ; e2 e1 e2 , т. е. системе, получаемой из
2 2 2 2
исходной прямоугольной декартовой системы координат O, e1, e2
поворотом против часовой стрелки на угол 45 .
Доказательство теоремы можно провести непосредственно.
Однако позднее мы получим его как следствие теории квадратичных
форм (см. § 5.7).
F2 F1
a c c a х
b
Рис. 3.18. Оптические свойства фокусов эллипса
F1 х
OO F х
b
y
M
r Kх
a F
Рис. 3.21. Эллипс
bD rK
OF
a O a х
b
Рис. 3.22. Гипербола
r
Kp O
p
F ,0 х
2 2
Рис. 3.23. Парабола L
109
x (u, v),
y (u, v), (3.6.4)
z (u, v),
где , , – непрерывные функции своих переменных.
Уравнения (3.6.4) называют параметрическим заданием
поверхности П .
Если в уравнениях (3.6.1), (3.6.2) или (3.6.3) функции
представляют собой соответственно многочлены от трех переменных
или двух переменных, то задаваемые ими поверхности называются
алгебраическими.
Степень этих многочленов называется порядком
соответствующих алгебраических поверхностей.
Пример 1. ( x 1)2 ( y 2) 2 ( z 3)2 1 – поверхность 2-ого
порядка – сфера с центром в точке M (1, 2,3) и радиусом R 1.
Линии в пространстве рассматриваются с двух точек зрения.
Линия – это пресечение двух плоскостей. Если линия L П1 П2 и
П1 задана уравнением (3.6.1), а П2 – уравнением G ( x, y, z ) 0, то L
есть множество решений системы уравнений
F ( x, y, z ) 0,
(3.6.5)
G ( x, y , z ) 0.
Физическая точка зрения также достаточно наглядна: линия
есть траектория движущейся в пространстве точки, а потому задается
параметрически:
x x(t ),
y y (t ), (3.6.6)
z z (t ),
где 0 t , x t , y t , z t – непрерывные функции одной
переменной t .
Пример 2. Винтовая линия (рис. 3.24) задается параметрически
следующими соотношениями:
x a cos t ,
y a sin t , 0 t
z t,
111
O х
z
Рис. 3.24. Винтовая линия
z
n
M0
M
y
x
Рис. 3.25. Плоскость в пространстве
Записав скалярное произведение в координатах, получим
соотношение:
A( x x0 ) B ( y y0 ) C ( z z0 ) 0. (3.7.2)
Уравнению (3.7.2) удовлетворяют все точки плоскости П и
только они. Таким образом, получено уравнение плоскости П ,
которое является уравнением поверхности первого порядка вида
(3.7.1) при D Ax0 By0 Cz0 . Теорема 1 полностью доказана.
Теорема 2. В любой декартовой системе координат уравнение
(3.7.1) определяет плоскость, если только A2 B 2 C 2 0 .
Доказательство. Ограничимся рассмотрением прямоугольной
декартовой системы координат. Пусть M 0 ( x0 , y0 , z0 ) – точка,
координаты которой удовлетворяют уравнению (3.7.1). Например,
D
при A 0 в качестве точки M 0 можно взять ,0,0 .
A
Итак, Ax0 By0 Cz0 D 0 . Вычтем из уравнения (3.7.1) это
числовое тождество, получим уравнение (3.7.2), которое согласно
доказательству теоремы 1 является уравнением плоскости.
Как уже отмечалось, полученное уравнение
A( x x0 ) B( y y0 ) C ( z z0 ) 0 и исходное уравнение (3.7.1)
эквивалентны. Тем самым, теорема 2 полностью доказана.
M
M1 M3
П M2
Рис. 3.26. Три точки M1( x1, y1, z1 ), M 2 ( x2 , y2 , z2 ), M 3 ( x3 , y3 , z3 )
общего положения однозначно определяют плоскость, в которой они лежат
Напишем уравнение плоскости, проходящей через эти три
точки. Для этого возьмем произвольную M ( x, y, z ) плоскости.
точку
Тогда три вектора M1M , M1M 2 , M1M 3 должны быть компланарны,
т. е. их смешанное произведение равно нулю:
x x1 y y1 z z1
x2 x1 y2 y1 z2 z1 0. (3.8.2)
x3 x1 y3 y1 z3 z1
x y z
1. (3.8.3)
a b c
b
z
O c y
a
х
Рис. 3.27. Часть плоскости в 1-ом октанте
z
M0
n0
M П
O y
x
Рис. 3.28. Нормаль к плоскости
116
Тогда для любой точки M ( x, y , z ) П p прn0 OM
или
OM , n0 p 0 . Запишем скалярное произведение в координатах.
Получим уравнение:
x cos y cos z cos p 0. (3.8.4)
Уравнение (3.8.4) и называется нормальным уравнением
плоскости.
Общее уравнение плоскости приводится к нормальному виду
умножением на нормализующий множитель
1
,
A2 B 2 C 2
где знак выбирается противоположным знаку D : sign sign D .
L1 П1
P
n1 П2
L2
Рис. 3.29. Свойства пересекающихся плоскостей
z
s
M x, y , z
r0
x O r y
Рис. 3.30. Прямая в пространстве
Из условия коллинеарности векторов s и M 0 M следует
равенство
119
r r0 t s , (3.10.1)
где t может быть любам вещественным числом.
Это векторное параметрическое уравнение прямой L .
Запишем его в координатной форме:
x x0 t p,
(3.10.2)
y y0 t q,
z z t l.
0
n
П
L1 K
L
Рис. 3.31. Прямая и плоскость пересекаются
Тогда углом между прямой и плоскостью будем называть
меньший из двух смежных углов, образованных прямой L и ее
проекцией L1 на плоскость П . Итак, 0 . Согласно формулам
2
приведения sin равен cos , т. е. косинусу угла между
2
векторами n ( A, B, C ) и s p, q, l . Таким образом,
n, s .
sin cos (3.11.2)
2 ns
В частности, когда L П , то n s , значит, координаты векторов
n и s пропорциональны друг другу.
Пример. Найти точку пересечения прямой
2 x 3 y 3 z 5 0,
L: и плоскости П : 2 x 2 y 2 z 0 и угол между
x 2 y 2 z 4 0
ними.
122
Решение. Найдем координаты направляющего вектора s
прямой L :
i j k
s n1, n2 2 3 3 j k 0; 1;1 .
1 2 2
Теперь применим формулу (3.11.2)
2 0 (1) (1) 2 1 2
sin ,
4 1 4 11 2
откуда 45 .
Чтобы найти точку пересечения прямой L и плоскости П , надо
записать уравнение прямой L в параметрическом виде. Для этого
решим систему уравнений
2 x 3 y 3z 5,
x 2 y 2 z 4,
2 x 3 y 5,
например, при z 0 , т. е. систему
x 2 y 4.
Получим M 22; 13;0 L .
По найденным s и M строим параметрическое уравнение
прямой L :
x 22 0 t ,
y 13 t ,
z t.
Подставим эти данные в уравнение плоскости П :
2 22 0 t 13 t 2t 3 0 t 18 .
s1
z M1
L1
M2
L2
s2
O y
x
Рис. 3.32. Прямые в пространстве
x2 x1 y2 y1 z2 z1
p1 q1 l1 0. (3.12.2)
p2 q2 l2
Если же определитель (3.12.2) равен нулю, а условия (3.12.1) не
выполняются, то прямые L1 и L2 пересекаются.
Чтобы найти расстояние L1; L2 между скрещивающимися
прямыми L1 и L2 , достаточно вспомнить, что модуль смешанного
произведения трех векторов дает объем параллелепипеда,
построенного на перемножаемых векторах. Модуль же векторного
произведения s1, s2 равен площади параллелограмма, построенного
на этих векторах, т. е. площади грани параллелепипеда. Тогда
искомое расстояние можно рассматривать как высоту данного
параллелепипеда
M1M 2 , s1, s2
L1; L2 h .
1 2
s , s
x2 y2 z2
2
2
2
1. (3.13.2)
a b c
125
z
h y
x
Рис. 3.33. Эллипсоид
x2 y2 z2
2
2
2
0. (3.13.3)
a b c
x2 y2
При z 0
2
2
0 , значит x y 0 .
a b
Точка O 0,0,0 называется вершиной конуса (рис. 3.34).
126
h
z
L
O y
x
Рис. 3.34. Конус
x2 y2 h2
2
2
1 2
.
a b c
Если M 0 ( x0 , y0 , z0 ) – точка конуса, то для всякого t точка
M (tx0 , ty0 , tz0 ) также принадлежит конусу, в чем можно убедиться
непосредственной
подстановкой в уравнение (3.13.3). Значит, прямая
OM t OM 0 целиком принадлежит конусу. Ее называют
образующей конуса.
В связи с изложенным конус можно рассматривать как
множество всех прямых – образующих конуса – проходящих через
вершину конуса – начало координат – и точки L эллипса,
называемого направляющей конуса.
Рассмотрим сечение конуса плоскостями, не проходящими через
его вершину. Если эта плоскость пересекает все образующие конуса в
одной полости, это эллипс.
Возможно, линия пересечения неограниченна и имеет одну
ветвь. Значит, это парабола.
Если же плоскость пересекает обе полости конуса и не проходит
через начало координат, то в сечении получаем гиперболу.
Сечения же конуса плоскостью, проходящей через ее вершину,
могут дать лишь точку, прямую или две пересекающиеся прямые.
127
z
O y
x
Рис. 3.35. Однополостный гиперболоид
x2 y2 z2
2
2
2
1 . (3.13.5)
a b c
x2 y2 z2
Переписав уравнение (3.13.5) в виде
2
2
2
1 , легко
a b c
заметить, что z c .
Следовательно, фигура разбивается на две симметрические
относительно плоскости Oxy части или на две полости. Сечения
фигуры плоскостями z h c или z h c дают эллипсы, а
плоскостями x m или y l – гиперболы (рис. 3.36).
129
z
c
O y
x c l
Рис. 3.36. Двуполостный гиперболоид
x2 y2
2
2
2 pz . (3.13.6)
a b
z
h
O y
x
Рис. 3.37. Эллиптический параболоид
x2 y2
2
2
2 pz . (3.13.7)
a b
Сечения плоскостями z h дают две пересекающиеся прямые
при h 0 и гиперболу при h 0 (рис. 3.38).
Сечения плоскостями x m или y l дают параболы. Отсюда и
название фигуры «гиперболический параболоид».
131
z
y
O
x