Академический Документы
Профессиональный Документы
Культура Документы
ВВЕДЕНИЕ
Матрица A aij называется вещественной (целочисленной),
если все ее элементы aij R , т. е. являются вещественными числами
( aij Z , т. е. являются целыми числами).
Две матрицы А и В называются равными, если они имеют
одинаковые размеры и при этом элементы, стоящие на одинаковых
местах, равны между собой: aij bij .
7
0, i j
где все aij 0, i j , называют диагональной, если к тому же aij ,
1, i j
то матрица называется единичной и обозначается символом E или Еn
:
1 0 0
0 1 0
En .
0 0 1
2 2 2 3 2 1 4 6 2
2 A
2 5 0
.
2 0 2 7 14 10
3 10 4
тогда A B
6 2 4 .
1 2
2 3
в) A 2 2 , B
1 4 ,
0 3
1 2 2 1 1 3 2 4 4 11
AB 2 2 (2) 1 2 3 (2) 4 2 2 .
0 2 3 1 0 3 3 4 3 12
Отметим основные свойства умножения матриц (при условии,
что указанные операции имеют смысл).
1. A B C A B C – ассоциативность умножения матриц;
2. E A A E A – для произвольной квадратной матрицы А ;
3. A B A B – для произвольного числа .
Следующие два свойства называют законами дистрибутивности
умножения матриц относительно их сложения:
4. A B C A B A C ;
5. A B C A C B C .
В отличие от умножения чисел умножение матриц в общем
случае некоммутативно, т. е. AB BA даже для квадратных матриц.
1 2 2 2
Пусть, например, A
1 3
, B
1 3
, тогда
5 8 4 10
AB BA .
5 11 4 11
Матрицы А и В называются коммутирующими или
перестановочными, если AB BA .
Пусть Amn aij , i 1, , m, j 1, , n . Построим матрицу В
из n строк и m столбцов так, что каждая строка матрицы В есть
столбец матрицы А с тем же номером. Такая матрица Вnm
называется транспонированной к матрице А , а переход от А к В
– транспонированием. В этом случае матрицу В обозначают AT .
Итак, если
a11 a12 a1n a11 a21 am1
a a22 a2n a a22 am 2
A 21 , то AT 12 .
am1 am 2 amn a1n a2 n amn
Операция транспонирования обладает следующими свойствами:
1. AT T A ;
11
2. A B T AT BT ;
3. A T AT ;
4. AB T BT AT .
H1 x1, x2 ,..., xn 0,
H 2 x1, x2 ,..., xn 0,
... ... ... ... ... ... ... (1.2.3)
H x , x ,..., x 0,
t 1 2 n
x1 x2 2,
Пример 2. Система имеет единственное решение
x1 x2 0
x1 1 ; x2 1 .
Действительно, второе уравнение можно записать в виде: x2 x1
. Но тогда первое уравнение преобразуется в уравнение 2 x1 2 . Это
означает, что x1 принимает единственно возможное значение: x1 1 .
Тогда x2 1 и пара чисел x2 ; x1 1; 1 – единственное решение
системы.
x1 2 x2 x3 4,
Пример 3. Решить систему
x2 x3 1.
Решение. Какое бы ни было значение x3 , допустим x3 t , можно
однозначно определить x1 и x2 из этой системы через t :
14
x2 1 x3 1 t ,
x1 4 x3 2 x2 4 t 2(1 t ) 6 t.
Таким образом, система имеет бесконечное множество решений
x1 6 t , x2 1 t , x3 t , так как в качестве t может быть взято
произвольное вещественное число.
Две системы линейных уравнений от одних и тех же
неизвестных x1, x2 ,..., xn называются равносильными или
эквивалентными, если всякое решение одной системы является
решением другой и наоборот.
Вряд ли у кого-нибудь из читателей вызовет сомнение тот факт,
что следующие три вида преобразований системы (1.2.3) приводят к
эквивалентным системам:
1) перестановка уравнений местами;
2) умножение уравнений системы на ненулевое вещественное
число;
3) прибавление к одному из уравнений системы другого
(других), умноженного на некоторое вещественное число,
(умноженных на некоторые вещественные числа).
Процедуры решения систем уравнений так или иначе
заключаются в переходе к эквивалентным системам, имеющим все
более простой вид, и в конечном итоге сводятся последовательным
исключением неизвестных к решению одного уравнения
наипростейшего вида.
x1 x2 2,
Пример 2. Система имеет единственное решение
x
1 2 x 0
x1 1 ; x2 1 .
Действительно, второе уравнение можно записать в виде: x2 x1
. Но тогда первое уравнение преобразуется в уравнение 2 x1 2 . Это
означает, что x1 принимает единственно возможное значение: x1 1 .
Тогда x2 1 и пара чисел x2 ; x1 1; 1 – единственное решение
системы.
x1 2 x2 x3 4,
Пример 3. Решить систему
x2 x3 1.
Решение. Какое бы ни было значение x3 , допустим x3 t , можно
однозначно определить x1 и x2 из этой системы через t :
x2 1 x3 1 t ,
x1 4 x3 2 x2 4 t 2(1 t ) 6 t.
Таким образом, система имеет бесконечное множество решений
x1 6 t , x2 1 t , x3 t , так как в качестве t может быть взято
произвольное вещественное число.
Две системы линейных уравнений называются эквивалентными,
если всякое решение одной системы является в то же время
решением другой и наоборот. Примеры эквивалентных систем
представляет следующая
Теорема. При перестановке уравнений системы (1.2.1) местами;
при умножении или делении уравнения на число, не равное нулю;
при прибавлении к данному уравнению одного или нескольких
уравнений этой же системы, умноженных на какие-либо числа,
получим систему, эквивалентную исходной.
Основная идея метода Гаусса – от данной системы линейных
уравнений перейти к другой, эквивалентной, решение которой
находится несложно.
К простым системам линейных уравнений следует отнести
«треугольные» системы, т. е. СЛАУ вида:
20
a11 a1n b1
~ a21 a2 n b2
A .
a amn bm
m1
1 1 1 1 2
0 1 1 0 0
~ . (*)
0 0 1 0 1
0 0 0 1 1
2
Жордан Мари Эдмон Камиль (05.01.1838 – 21.01.1922) – французский математик, один из
создателей современной математики, редактор «Журнала чистой и прикладной математики»
с 1885 по 1922 гг.
24
1 1 0 0 2
0 1 0 0 1
.
0 0 1 0 1
0 0 0 1 1
1 0 0 0 1
0 1 0 0 1
.
0 0 1 0 1
0 0 0 1 1
Матричная форма (1.2.2) СЛАУ является полным подобием
простейшего линейного уравнения ax b . Решение последнего уже у
b
школьников не вызывает никаких затруднений: x . Однако при
a
изучении действий с матрицами почему-то не рассматривалась
операция деления матриц. Не все так просто. Такую операцию можно
осуществлять при выполнении ряда условий и оговорок. На пути их
осознания и формулировки была создана стройная теория
определителей матриц. К ее изучению мы и переходим.
Решение.
1 2 3
4 0 6 0 6 4
6 4 0 1
7 1
( 2)
5 1
3
5 7
170 .
5 7 1
n n
A (1) ik
aik M ik aik Aik (1.4.1)
k 1 k 1
Решение.
1 2 3 4
1 3 4
0 1 0 0 1 2 3 4
2 0 0 2 1 2 21 24 6.
2 3 0 0 6 7
4 6 7
4 5 6 7
Из свойства 1 вытекает
Следствие. Определитель треугольной матрицы равен
произведению диагональных элементов:
a11 a12 a1n
0 a22 a2 n
a11 a22 ... ann .
0 0 ann
1 1 1 1 1 1 1 1
2 3 1 2 0 1 3 4
3 3 7 5
0 0 4 2
8 .
4 4 4 2 0 0 0 2
где i R, i – различны.
Решение. Вычтем из последней n-ой строки предпоследнюю
n 1 -ую, умноженную на 1 , из предпоследней вычтем n 2 -ую,
умноженную на 1 , и т. д. Получим определитель
1 1 1
0 2 1 n 1
Vn 0 22 21 n 2 n1
0 2 n 1 2n 21 n n 1 n n 21
2 1 n 1
2 ( 2 1 ) n ( n 1 )
1 ,
n 2
2 ( 2 1 ) n n 2 ( n 1 )
4
Вандермонд Шарль Огюст (Александр Теофил) (28.02.1735 – 01.01.1796) – французский
математик. Впервые дал логически четкое изложение теории определителей.
33
1 1
2 n
Vn ( n 1 )( n 1 1 ) ( 2 1 )
2n2 nn2
n
( i 1 )Vn 1 ,
i 2
где Vn 1 – определитель Вандермонда, аналогичный исходному, но
только на порядок меньший.
С ним поступим аналогичным образом, т. е.
n
Vn 1 (i 2 )Vn 2 и т. д.
i 3
Тогда
n n
Vn (i 1 ) (i 2 ) ( n n 1 ) ( i j ) .
i2 i 3 n i j 1
A B 1
2 n 2 2 n
A B 1 A B .
1
обратима и A1 A.
39
1 0 1 0
A22 (1) 2 2 2 A32 ( 1)3 2
; 4 ;
1 2 1 4
1 3 1 1
A13 ( 1)1 3 5 A23 ( 1) 2 3
; 3 ;
1 2 1 2
1 1
A33 ( 1)3 3 2 .
1 3
Значит,
2 6 5 2 2 4
C 2 2 3 ; C T 6 2 4 .
4 4 2 5 3 2
3. Находим A1 :
2 2 4 0,25 0,25 0,5
1 1
A 6 2 4 0,75 0,25 0,5 .
8
5 3 2 0,625 0,375 0,25
Решение.
1. Вычислим определитель
3 5 2
det A 1 3 2 10 0 ;
6 7 3
8 1
I2 10 I3
4 15
I2
E=40 в
Рис. 1.1. Пример простейшей электрической цепи
Пусть А аij – квадратная матрица порядка n , пусть X xij
– обратная к ней матрица с неизвестными пока элементами xij . По
определению A X En . В развернутом виде данное матричное
равенство эквивалентно следующей совокупности крамеровских
СЛАУ:
45
1 0 0
0 1 0
A X1 0 ; A X 2 0 ;…; A X n 0 ,
...
...
...
0 0 1
T
где X i xi1, xi 2 ,..., xin , i 1; 2;...; n .
A A E .
1 1 0 1 0 0
0 1 4 2 1 0 .
0 3 2 1 0 1
Вторую строку прибавим к 1-ой, к третьей строке прибавим
вторую, умноженую на (-3). Получим
1 0 4 3 1 0
0 1 4 2 1 0 .
0 0 10 7 3 1
1
Третью строку умножим на (- ). Затем умножим ее на (-4) и
10
прибавим к 1-ой и 2-ой строкам. Получим:
1 0 0 0, 2 0, 2 0, 4
0 1 0 0,8 0, 2 0,
0 0 1 0, 7 0,3 0,1
4
EA 1
.
47
D
B
F
C
A
E
Рис. 2.1. Свободный вектор
,
a
a
,
Рис. 2.3. Умножение числа на вектор
Под разностью a b двух векторов a и b понимаем сумму
a (1)b . Вектор (1)b b называют противоположным вектору b
(рис. 2.4а).
b
a
a b
b
Рис. 2.4 а. Вычитание векторов
Как свободный вектор разность a b идет от b к a по второй
диагонали параллелограмма, построенного на векторах a и b
(рис. 2.4б).
b
a b
a
Рис. 2.4 б. Геометрический смысл суммы и
разности векторов
50
A
П
L
B
O
О В
O
б)
А
П
B О В
A
Рис. 2.6. Геометрическая иллюстрация второго
свойства проекций
Свойство 3. Lпр ( a b )( П ) пр a ( П ) пр b( П).
L L
Доказательство. OA пр L a ( П ); OB пр L b ( П );
OC пр L a b ( П ) (рис.2.7).
54
С
В
П
А
К
A
Р
О
B A C
и
Рис. 2.7. Проекция суммы векторов равна
с.
сумме проекций этих векторов
2.
Из равенства треугольников OBB и ACK следует равенство
2
отрезков OB и AK . Поэтому OC OA AC OA OB , что и
6
требовалось доказать.
Если П L ( П перпендикулярна L ), то проекцию вектора a на
L обозначают просто прL a и называют ортогональной проекцией.
Углом вектора a с осью L называется угол (рис. 2.8 а), на
который нужно повернуть
кратчайшим образом вектор вокруг точки
O до совмещения с OL . Очевидно, 0 .
a) б) A
a a
O B L B O L
§ 2.3. Базисы в R2 и R3
L
e3 3
a
e2
O
L2
e1 L1
Рис. 2.9. Нахождение координат классического вектора
в базисе , , пространства
а) б)
z в)
z z
e3
y
e2 k k
e1 x j y
x i y j i x
а) б)
M3
e3 A( x1, y1, z1)
M
B( x2 , y2 , z2 )
M2
e1
e2 M1
O
Рис. 2.11. К определению координат и направляющих
косинусов вектора в ДСК
Если вектор OM – единичной длины и , , – углы этого
вектора соответственно с осями Ox, Oy, Oz , то
прOx OM cos , прOy OM cos , прOz OM cos .
Следовательно, координаты единичного вектора могут быть
записаны как OM (cos ,cos ,cos ) , и поскольку OM 1 , то
cos 2 cos 2 cos 2 1.
Косинусы углов , , произвольного вектора OM с осями
координат Ox, Oy, Oz называются направляющими косинусами
данного вектора.
B
C
A
Рис. 2.12. Точка С делит отрезок в отношении
m2
B
C
m1
A
Рис. 2.13. Центр масс двух материальных
точек
m2
y2 y1
m1 m y m2 y2
y 1 1 ,
m2 m m
1 1 2
m1
m2
z2 z1
m1 m z m2 z2
z 11 .
m2 m m
1 1 2
m1
Аналогично, для n материальных точек получаются более
общие формулы координат центра их масс:
n n n
mi xi mi yi mi zi
i 1 i 1 i 1
x n
, y n
, z n
.
mi mi mi
i 1 i 1 i 1
M
r OM
O
l
Рис. 2.14. – полярные координаты точки М
63
Число OM r называется полярным радиусом, – полярным
углом.
Выясним связь полярных координат ( r , ) точки M с ее
декартовыми координатами. Пусть ( x , y ) – прямоугольные
координаты точки M . Тогда (рис. 2.15), согласно школьной
тригонометрии,
x r cos ,
(2.4.5)
y r sin .
y
y M ( x, y )
r
O x x
Рис. 2.15. Прямоугольные декартовы и полярные
координаты точки
r x2 y 2 ,
y
arctg x
, если М лежит в I и IV четвертях ; (2.4.6*)
arctg y
, если М лежит во II и III четвертях .
x
64
Аналогично ( a , b ) b пр b a .
a
a 0
b
a
0
Рис. 2.16. Константу можно выносить за знак скалярного
произведения
Свойство 6. ( a , b ) ( a , b ) ( a , b ) – константу можно
выносить за знак скалярного произведения.
Доказательство. Пусть 0 (см. рис. 2.16). Тогда
( a , b ) a b cos a b cos ( a , b ) , так как здесь .
Если 0 , то ( a , b ) a b cos( ) a b cos
a b cos ( a , b ) , так как при 0 (см. рис. 2.16).
Свойство 7. ( a , b c ) ( a , b ) ( a , c ) – дистрибутивность.
Для доказательства воспользуемся свойством 5 и аналогичным
доказываемому свойством проекций:
( a , b c ) a пр a (b c ) a пр a b a пр a c ( a , b ) ( a , c ) .
Свойство 8. Для произвольных векторов a , b , c и любых
вещественных чисел , имеет место свойство линейности:
( a b , c ) ( a , c ) ( b , c ) ;
( a , b c ) ( a , b ) ( a , c ) .
Доказательство непосредственно следует из свойств 6 и 7.
c
a, 0 c a , b
b
S a b sin b
a
a
c1 a, 0
c2 a, b
Рис. 2.18. Геометрический смысл векторного произведения и умножения
его на константу
Свойство 4. a , b a , b ; a , b a , b .
Доказывается это соотношение сравнением длин и направлений
векторов (см. рис. 2.18, б).
Свойство 5. a , b c a , b a , c ; a b , c a , c b , c
– векторное умножение дистрибутивно относительно сложения
векторов.
Доказательство. Обоснуем второе из двух равенств. Сначала
проверим его для вектора c0 c c с условием c0 1. В этом случае
имеется простая геометрическая иллюстрация получения векторного
произведения (рис. 2.19).
70
Отложим векторы a и c0 от общей точки O , через которую
проведем плоскость П с0 (рис. 2.19 а). Итак, OA a , OC c0 .
Пусть OA – ортогональная проекция вектора OA на плоскость П.
Пусть OA получается поворотом OA на угол .
2
C A
O
90 A
A П
Рис. 2.19 а. Геометрический смысл векторного
умножения на единичный вектор
Легко видеть, что OA a , c0 , поскольку тройка векторов
OA, OC , OA правая и OA OA OA sin a c0 sin .
Аналогично ортогонально спроектируем на П векторы OB b и
OD a b . Получим по свойствам проекций OA OB OD
(рис. 2.19 б).
71
D
C B A
B O A
D A B D П
Рис. 2.19 б. Геометрическая иллюстрация дистрибутивности
векторного умножения на единичный вектор
При повороте на угол вокруг оси OC четырехугольника
2
OA OADB . При этом
D B получим
четырехугольник
OD OA OB или
a b , c0 a , c0 b , c0 .
Полученное равенство умножим на c . В силу свойства 4 имеем:
c a b , c0 a b , c c a , c0 c b , c0 a , c b , c .
Свойство 5 полностью доказано.
Из свойств 4 и 5 непосредственно вытекает
Свойство 6. Векторное умножение линейно по обоим
сомножителям:
a b , c a , c b , c ;
a , b c a , b a , c .
Свойство 7. Векторное произведение векторов не
ассоциативно:
a, b , c a, b , c .
72
i j k
a , b x1 y1 z1 . (2.6.2)
x2 y2 z2
B C
O A
Рис. 2.20. Параллелограмм и треугольники, построенные
на данных векторах
O m
r П
Рис. 2.22. Момент импульса
9
Ампер Анри Мари (22.01.1775 – 10.04.1836) – французский математик и физик.
10
Лоренц Хенрик Антон (18.07.1853 – 04.02.1928) – голландский физик и математик.
Предвосхитил создание теории относительности.
76
a
h
c
b
Рис. 2.24. Геометрический смысл смешанного
произведения векторов
77
При этом получается знак «+», если cos 0 , т. е. 0 ,и
2
знак «–», если cos 0 , т. е. .
2
Свойство 2. Смешанное произведение трех векторов равно
нулю тогда и только тогда, когда эти векторы компланарны.
Доказательство вытекает непосредственно из свойства 1:
компланарность означает, что параллелепипед вырождается в
плоскую фигуру с объемом V 0 .
Свойство 3.
a , b, c c , a , b b, c , a b , a , c c , b , a a , c , b .
a , b d , c a , b, c a , d , c ;
a , b, c d a , b, c a , b, d .
Из свойств 4 и 5 непосредственно вытекает
Свойство 6. Смешанное произведение линейно по каждому из
сомножителей: для произвольных чисел , , для произвольных
векторов a , b , c , d справедливы равенства:
a d , b, c a , b, c d , b, c ;
a , b d , c a, b, c a, d , c ;
78
a , b, c d a , b, c a , b, d .
B
C
A D П
Рис. 2.25. Принадлежность точек A, B, C, D к
общей
плоскости
равносильно компланарности векторов AB, AC , AD
Поэтому находим координаты векторов AB, AC , AD и
вычисляем их смешанное произведение, т. е. определитель
x2 x1 y2 y1 z2 z1
x3 x1 y3 y1 z3 z1 .
x4 x1 y4 y1 z4 z1
а) б)
y y
x
L М
L
r
Oa xb х O х
y
М(x; y)
rt
O х
Рис. 3.3. Спираль Архимеда
Ax By C 0 , (3.2.1)
где A2 B 2 0 , т. е., по крайней мере, один из коэффициентов A или B
отличен от нуля.
Теорема 1. Всякая линия первого порядка – прямая.
Доказательство. Рассмотрим уравнение (3.2.1). Если B 0 , то
C
получаем уравнение Ax C 0 или x A . Этому уравнению
удовлетворяют все точки прямой L , параллельной вектору e2 и
C
проходящей через точку N ( A ; 0) (рис. 3.4) и только они.
y
C L
e2
A
x
e1
Рис. 3.4. К выводу уравнения прямой на плоскости
M 0 x0 ; y0 M x; y
L
Рис. 3.5. Нормальный вектор прямой
Равенство (3.2.2*)
означает, M ( x; y )
что для каждой точки
линии (3.2.1) вектор M 0 M N . Это означает, что все точки,
удовлетворяющие уравнению (3.2.1), лежат на
прямой, проходящей
через точку M 0 перпендикулярно вектору N . Теорема полностью
доказана.
М
e2 М0 s
L
e1
Рис. 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. Геометрическая интерпретация параметров
Геометрическая
Преобразуем уравнение (3.3.4):
y y
y y0 1 0 x1 x0 .
x1 x0
y y0
Введем обозначения: k ; b y0 k0 x0 .
x x0
Тогда получим уравнение:
y kx b . (3.3.5)
В ХХ веке это уравнение прямой называли каноническим, так
как его оба коэффициенты имеют строгий геометрический смысл:
k tg – тангенс угла наклона L к оси Ox ; b – ордината точки
пересечения L с осью Oy (рис. 3.8). В наши дни уравнение (3.3.5)
скромно называют уравнением прямой с угловым коэффициентом.
87
y
M 0 M1
b
O x0 x1
L х
B
b L
A
O a х
Рис. 3.9. Уравнение прямой в отрезках
y
L
nM0
O r M х
Рис. 3.10. Нормальное уравнение прямой
2 10 82
xD 6; yD 5.
2 2
Тогда уравнение медианы CD имеет вид:
x xD y yD x6 y 5 x6 y 5
; или ; то есть
xC xD yC yD 18 6 20 5 4 15
или 5 x 4 y 10 0 – общее уравнение медианы CD .
Высота из вершины C к стороне AB перпендикулярна вектору
AB 8; 6 и задается уравнением (3.2.2*):
8 x 18 6 y 20 0 или 4 x 3 y 12 0 .
2 2 2 2 1
Но cos cos 1 . Отсюда A B 1
2 2 .
A2 B 2
Число называется нормирующим множителем.
C
Поскольку p и p 0 (как расстояние), то знак
2 2
A B
множителя следует выбирать противоположный знаку C .
Таким образом, умножая уравнение (3.2.1) на , мы получим
уравнение прямой в нормальном виде. Такая процедура называется
нормализацией общего уравнения прямой.
Задача 1. Определить взаимное расположение двух прямых L1 и
L2 , заданных своими уравнениями:
90
A1x B1 y C1 0 и A2 x B2 y C2 0 . (3.4.1)
Решение полностью определяется коэффициенатми уравнений
(3.4.1).
A1 B1 C1
Если , то эти прямые, очевидно, совпадают.
A2 B2 C2
A1 B1 C1
Пусть . Это означает, что направляющие
A2 B2 C2
векторы прямых s1( B1; A1 ) и s2 ( B2 ; A2 ) пропорциональны друг
другу и, следовательно, прямые L1 и L2 параллельны.
Если L1 L 2 , то можно найти расстояние между ними. Для этого
уравнения прямых приведем к нормальному виду.
Пусть x cos y cos p1 0 – нормальное уравнение L1 .
Нормальное уравнение прямой L2 может иметь вид:
x cos y cos p2 0 .
Это свидетельствует о том, что прямые лежат по одну сторону
от начала координат.
Тогда расстояние между прямыми:
d L1, L2 p1 p2 . (3.4.2)
tg 2 tg 1 k k
tg tg 2 1 2 1 . (3.4.4)
1 tg 2tg 1 1 k1k2
L2
y L1
2
1
O х
x 2 3t ,
L1 : y 2 x 7 и L2 :
y 5 2t.
Решение. Подставим координаты x, y из задания L2 в уравнение
первой прямой: 5 2t 2 2 3t 7 . Отсюда 8t 8 или t 1 . Тогда
x0 2 3 1 5; y0 5 2 1 3 – координаты точки M 0 пересечения
данных прямых. Вектор s2 3; 2 – направляющий вектор L2 .
Вектор s1 1;2 – направляющий вектор L1 . Косинус угла между
прямыми L1 и L2 совпадает с точностью до знака с косинусом угла
между векторами s1 и s2 . Поэтому
s1 s2 3 1 2 2 1 1
cos .
s1 s2 10 5 5 2 5 2
Задача 2. Определить расстояние от точки до прямой.
Пусть дана прямая L и точка A0 ( x0 ; y0 ) вне L . Пусть уравнение
L приведено к нормальному виду: x cos y cos p 0 .
Расстояние от точки A до прямой L – это длина перпендикуляра
AK (рис. 3.12).
y A x0 , y0
L
K x, y
O х
d AK прn0 AK n0 , AK x x0 cos y y0 cos
где A, B, C 0,0,0 .
Рассмотрим характерные примеры таких линий и их свойства.
1. Эллипс. Каноническое (т. е. общепринятое) уравнение эллипса
94
x2 y2
2
2 1 (3.5.2)
a b
В силу симметричности фигуры относительно осей Ox и Oy
b 2
достаточно построить график y a x 2 в I четверти и перенести
a
его по симметрии в остальные четверти.
В итоге получаем следующую фигуру (рис. 3.13, a b ).
y
M x, y
F2
t F1
a c c a х
b
Рис. 3.13. Эллипс и его параметры
x2 y2
2 1.
2
(3.5.4)
a b
График легко строится, если в силу симметричности его
построить в I четверти, а затем отобразить симметрично
относительно осей координат (рис. 3.14, a b ).
95
b
Прямые y x являются асимптотами гиперболы. Числа a
a
и b называются действительной и мнимой полуосями гиперболы.
b
y y x
a
a a х
Рис. 3.14. Гипербола и ее параметры
а) p 0 б) p 0
y y
p p
p
O p F ;0 O
х х
F ;0
2 2
Рис. 3.15. Парабола и ее параметры
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 1;
a2 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. Определить вид и построить линию второго порядка,
заданную в ПДСК O, x, y уравнением 9 x 2 16 y 2 90 x 32 y 367 0 .
97
y y
b
a
O 0
a х
х
b
Рис. 3.16. График гиперболы
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 .
Доказательство теоремы можно провести непосредственно.
Однако позднее мы получим его как следствие более общей и
красивой теории квадратичных форм.
98
y
D M
O K F х
a 1 2
l | OK OF | a a .
l
Значит, a , если 1 .
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 .
Покажем, что при 1 линия L является параболой. В этом
случае ось Oy проведем посередине между фокусом и директрисой.
Если xF a , то xK a . Тогда | MF | ( x a ) 2 y 2 ; | MD | x a .
По условию здесь | MF | | MD | , то есть ( x a )2 y 2 x a 2 или
x 2 2ax a 2 y 2 x 2 2ax a 2 или y 2 4ax .
Получено уравнение параболы (3.5.5) с p 2a .
xF a a 2 b 2 .
F2 F1
a c c a х
b
Рис. 3.18. Оптические свойства фокусов эллипса
F1 х
OO х
O х
z
Рис. 3.21. Винтовая линия
105
z
n
M0
M
y
x
Рис. 3.22. Плоскость в пространстве
Записав скалярное произведение в координатах, получим
соотношение:
A( x x0 ) B( y y0 ) C ( z z0 ) 0. (3.7.2)
Уравнению (3.7.2) удовлетворяют все точки плоскости П и
только они. Таким образом, получено уравнение плоскости П ,
которое является уравнением поверхности первого порядка вида
(3.7.1) при D Ax0 By0 Cz0 . Теорема 1 полностью доказана.
106
M
M1 M3
П M2
Рис. 3.23. Три точки 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.24. Часть плоскости в 1-ом октанте
z
M0
n0
M П
O y
x
Рис. 3.25. Нормаль к плоскости
Тогда для любой точки 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:
signum signum D .
L1 П1
P
n1 П2
n2
L2
Рис. 3.26. Свойства пересекающихся плоскостей
z
s
M 0 x0 , y0 , z0
M x, y , z
r0
x O r y
Рис. 3.27. Прямая в пространстве
Из условия коллинеарности векторов s и M 0 M следует
равенство
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
115
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 .
M1 ( x1, y1, z1 ) L1 , M 2 ( x2 , y2 , z2 ) L2 .
s1
z M1
L1
M2
L2
s2
O y
x
Рис. 3.29. Прямые в пространстве
Условием некомпланарности этих векторов является
неравенство нулю их смешанного произведения, т. е.
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 .
s1, s2
x2 y2 z2
2
2 2 1. (3.13.2)
a b c
Из уравнения (3.13.2) следует, что x a, y b, z c .
Придавая одной из переменных конкретное значение, например,
y h , получаем линии пересечения эллипсоида с плоскостью y h , а
именно эллипсы
x2 z2
1 h2 h2
h 2 h 2 с полуосями: a a 1 , b c 1 .
a 2 1 2 c 2 1 2 b 2
b 2
b b
Таким образом, получаем график эллипсоида (рис. 3.30)
z
h y
xРис. 3.30. Эллипсоид
119
x2 y2 z2
2 2 0.
2
(3.13.3)
a b c
x2 y2
При z0 2 0 , значит x y 0 . Точка O 0,0,0
2
a b
называется вершиной конуса (рис. 3.31).
h
z
L
O y
x
Рис. 3.31. Конус
x2 y2 h2
2 1 2 .
a2 b c
Если M 0 ( x0 , y0 , z0 ) – точка конуса, то для всякого t точка
M (tx0 , ty0 , tz0 ) также принадлежит конусу, в чем можно убедиться
непосредственной подстановкой в уравнение (3.13.3). Значит, прямая
OM t OM 0 целиком принадлежит конусу. Ее называют образующей
конуса.
В связи с изложенным конус можно рассматривать как
множество всех прямых – образующих конуса – проходящих через
вершину конуса – начало координат – и точки L эллипса,
называемого направляющей конуса.
120
z
O y
x
Рис. 3.32. Однополостный гиперболоид
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.33).
122
z
c
O y
x c l
Рис. 3.33. Двуполостный гиперболоид
x2 y2
2 2 pz .
2
(3.13.6)
a b
z
h
O y
x
Рис. 3.34. Эллиптический параболоид
x2 y2
2
2 2 pz . (3.13.7)
a b
Сечения плоскостями z h дают две пересекающиеся прямые
при h 0 и гиперболу при h 0 (рис. 3.35).
Сечения плоскостями x m или y l дают параболы. Отсюда и
название фигуры «гиперболический параболоид».
124
z
y
O
x