§ 4.2. Подпространства
2 2 2
2k1 2 k2 ... 2 kn 0.
. . . .
2
k1 n 1
2
k2 n 1
... 2
kn n 1
Сначала
докажем данное вспомогательное утверждение для
j 1. Вектор b1 в силу эквивалентности систем (1) и (2), линейно
выражается через векторы первой системы:
b1 11a1 21a2 ... n1an . (4.4.1)
A A2 A
l 1 1
2 ... r r .
M M M
Теорема 2 полностью доказана.
Из свойств определителей вытекает
Следствие 1. Ранг матрицы не меняется при ее
транспонировании, т. е. число линейно независимых строк матрицы
равно числу ее линейно независимых столбцов.
Следствие 2. (Критерий равенства нулю определителя).
Определитель квадратной матрицы равен нулю тогда и только тогда,
когда ее строки (столбцы) линейно зависимы.
Из доказательства теоремы о ранге матрицы вытекает правило
отыскания базисного минора, а, значит, и ранга матрицы:
1) следует вычислять миноры матрицы от меньших порядков к
большим порядкам;
2) если минор M порядка r не равен нулю, а все окаймляющие
его миноры порядка r 1 равны нулю, то M – базисный минор и ранг
матрицы A равен r .
Пример 2. Найти ранг матрицы
2 4 6 10
A 3 1 4 2 .
5 3 10 8
Решение.
2 4
M1 2 0, M 2 14 0;
3 1
2 4 6 2 4 10
M 3 3 1 4 0; M 3 3 1 2 0
5 3 10 5 3 8
Значит, rA 2 .
Однако такой способ вычисления ранга не всегда удобен.
Существуют некоторые приемы, облегчающие нахождение
ранга. Чтобы их сформулировать, введем понятие элементарных
преобразований матрицы.
143
1 2 3 5
_ 0 _ 7 5 17
~
0 0 0 0
rA 2.
Теперь легко определить ранг любой системы векторов,
заданных своими координатами в каком-либо базисе. Достаточно
построить матрицу из координат этих векторов, записывая их по
столбцам или строкам, затем найти ранг полученной матрицы.
144
11
Кронекер Леопольд (07.12.1823 – 29.12.1891) – немецкий математик
Капелли Алфредо (05.08.1858 – 28.01.1916) – итальянский математик, ученик Л.Кронекера
145
1) xr 1 1, xr 2 ... xn 0;
2) xr 1 0, xr 2 1, xr 3 ... xn 0;
... ... ... ... ... ... ... ... ... ... ... ... ...
n r ) xr 1 xr 2 ... xn 1 0, xn 1.
Для каждого из этих наборов свободных неизвестных мы
получим из системы (4.9.2) по правилу Крамера векторы-решения
всей системы:
d1 d11, d 21,..., d r1, 1,0,0,...,0 ;
d 2 d11, d 21,..., d r 2 ,0,1,0,...,0 ;
... ... ... ... ... ... ... ...
d n r d1 n r , d 2 n r ,..., d r n r ,0, 0,...,0,1 .
Векторы-решения d1, d 2 ,..., d n r линейно независимы по
построению: матрица со строками-координатами этих векторов в
последних n r столбцах
содержит ненулевой минор. Покажем, что
векторы d1, d 2 ,..., d n r составляют систему образующих пространства
U . В самом деле, пусть y y1, y2 ,..., yn – произвольное решение
системы (4.9.2). Тогда в силу свойства 4 решений однородных СЛАУ
линейная комбинация
z y yn r 1 d1 yn r 2 d 2 ... yn d n r
является также решением системы (4.9.2). При этом последние n r
координат вектора z по построению равны нулю:
zn r 1 0, zn r 2 0,..., zn 0 .
Как и всякое решение системы (4.9.1), вектор z получается при
подходящих значениях свободных переменных. В данном
случае – это нулевое значение свободных переменных. Это означает,
что первые r координат вектора z получаются решением
однородной СЛАУ:
151
3 2 1 3 5 0
6 4 3 5 7 0
~
9 6 5 7 9 0
3 2 0 4 8 0
От последней строки вычтем первую; от третьей – 1-ую и 2-ую;
от второй – удвоенную первую:
3 2 1 3 5 0
0 0 1 1 3 0
~ ~
0 0 1 1 3 0
0 0 1 1 3 0
Вторую строку вычтем от третьей; 2-ую строку прибавим к
четвертой:
3 2 0 4 8 0
0 0 1 1 3 0
~
0 0 0 0 0 0
0 0 0 0 0 0
Ранг полученной матрицы, очевидно, равен 2.
В качестве базисного минора можно взять минор на пересечении
1-ой и 2-ой строк, 2-го и 3-го столбцов. При этом полученную
эквивалентную СЛАУ можно записать в виде:
3
y x 2u 4v,
2 (**)
z u 3v.
Базисные переменные – y, z ; свободные – x, u, v . Придадим
свободным переменным три значения:
1) 2,0,0 ; 2) 0,1,0 ; 3) 0,0,1 .
Для каждого из них из системы (**) найдем соответствующие
значения базисных переменных:
1) 3,0 ; 2) 2,1 ; 3) 4, 3 .
153
L
x* L
x y z 1,
2 x 2 y 2 z 2.
Решение. Нетрудно видеть, что rA rA 1 . Одним из решений
системы является x1 1, y 0, z 0 , т. е.
x [0 0 1]T .
Соответствующая однородная система эквивалентна уравнению
x y z .
Ее фундаментальная система состоит из векторов
T
d1 1 1 0 , d 2 1 0 1 .
T
z
O y
*
x
x L L
Рис. 4.2. Геометрическая интерпретация
взаимосвязи решений СЛАУ примера 1
156
Тогда матрица
t11 t12 ... ... t1n
t t22 ... ... t2 n
T 21 ,
... ... ... ... ...
tn1 tn 2 ... ... tnn
Y T 1 X . (4.11.4)
Итак, формулы (4.11.3) и (4.11.4) устанавливают связь между
координатами одного и того же вектора в разных базисах.
158
§ 5.1. Отображения
а выходной вектор из Rn :
u вых (u вых.1 , u вых.2 ,..., u вых.n ) .
Правило или закон, связывающий uвх и u вых , называют
системным оператором T . Во многих случаях такой оператор
является линейным.
Один из простейших примеров – усилитель на триоде (рис. 5.1):
uвх Rg RA uвых
Eпит
Рис. 5.1. Усилитель на триоде
RA Ri
Здесь u вых S uвх ,
RA Ri
где S – крутизна характеристики триода A , RA – резистор нагрузки,
Ri – дифференциальное сопротивление триода A , Rg – резистор
утечки сетки триода A .
Отметим ряд свойств линейных операторов, продолжая список
названных уже свойств 1–3.
Свойство 4. Всякий линейный оператор f :V W
противоположный вектор преобразует в противоположный:
f a f a .
Доказательство. Имеем частный случай свойства 2 при 1 .
163
Следовательно, Ker f
0 V . Пусть f : V W – не инъективный
линейный оператор. Тогда существуют векторы x , y V , такие, что
f x f y . Тогда x y 0V , но f x y 0W , то есть x y z
– ненулевой вектор из Ker f . Свойство 7 полностью доказано.
Пример 4. Пусть A aij k n – матрица ранга k , k n .
Отображение f A : Rk Rn , действующее по правилу:
f A x x A является линейным, поскольку для произвольных
x , y Rk и R
fA x y x y A x A y A fA x fA y ;
f A x x A x A f A x .
164
Покажем, что Ker f A 0 . Действительно,
пусть
x x1, x2 ,..., xk Rk – такой вектор, что f A x x A 0 . Это
равенство в развернутой координатной форме равносильно
следующей однородной СЛАУ:
a11x1 a21x2 ... ak1xk 0,
... ... ... ... ... ... ... ... ... ... ...
a1k x1 a2k x2 ... akk xk 0, (5.2.1)
... ... ... ... ... ... ... ... ... ... ...
a1n x1 a2n x2 ... a2 n xk 0.
f V .
Свойство 8. Im f f U – множество значений оператора f
– подпространство пространства W .
Доказательство. Im f удовлетворяет критерию
подпространства: если v и w Im f , то существуют векторы x , y V ,
такие, что f x v , f y w ; тогда для любых чисел , R вектор
v w Im f , поскольку он является образом вектора x y .
165
Матрица
a11 a12 ... a1n
a a ... a2 n
A f 21 22 (5.3.3)
... ... ... ...
am1 am 2 ... amn
порядка m n , столбцами которой являются координаты векторов
f ei ui в базисе w , называется матрицей линейного оператора
f : Vn Wm в выбранных базисах e и w .
Свойство 11. Матрица линейного оператора f :V W
однозначно определяет действие этого оператора на каждый вектор
x V , заданный своими координатами x1, x2 ,..., xn в базисе e , по
формуле:
Y Af X , (5.3.4)
где X – столбец из координат вектора x (вектора f x ) в базисе e
(в базисе w ).
Доказательство. Подставим равенства (5.3.2) в (5.3.1).
Получим:
f ( x ) x1 a11u1 a21u2 ... am1um
x2 a12u1 a22u2 ... a2nun ...
... xn a1nu1 a2nu2 ... amnum
u1 a11x1 a12 x2 ... a1n xn
u2 a21x1 a22 x2 ... a2n xn ...
... um am1x1 am 2 x2 ... amn xn .
167
Если y1, y2 ,..., ym – координаты вектора y f ( x ) в базисе
u1, u2 ,..., um т. е. f ( x ) y1u1 y2u2 ... ymum , то справедливы
соотношения:
y1 a11x1 a12 x2 ... a1n xn ,
y a x a x ... a x ,
2 21 1 22 2 2n n
(5.3.5)
. . . . . . . . . . . .
ym am1x1 am 2 x2 ... amn xn .
T T
Введем обозначения: Y y1, y2 ,..., ym ; X x1, x2 ,..., xn .
Решение.
1. В соответствии с приведенным выше алгоритмом составим
характеристическое уравнение ( A E ) X 0 преобразования f :
0 1
0 1 0 0
1 0
Вычислим определитель. Получим явное кубическое уравнение
от неизвестной :
2 3 (1 ) 0 или
3 2 1 0.
2. Найдем корни характеристического уравнения. Для этого
сгруппируем слагаемые левой части уравнения: 2 1 1 0.
Следовательно, 1 2 1 0 . Таким образом, корни
1 2 1, 3 1. Исходный оператор f имеет два собственных
значения: 1 1 и 2 1.
3. Составим системы вида (5.7.3) для нахождения координат
соответствующих собственных векторов.
При 1 система (5.7.3) имеет вид:
1 x1 0 x2 1 x3 0,
0 x1 0 x2 0 x3 0,
x1 0 x2 1 x3 0,
или x1 x3 0 , т. е. x1 x3 .
Ранг системы равен 1, свободных переменных две: x2 , x3 .
Ф.С.Р. находится из таблицы 2:
Таблица 2.
x1 x2 x3 c
0 1 0
c1 j
1 0 1
c2 i k
Таким образом, все собственные векторы с собственным
значением 1 имеют вид:
179
x1 0 1 c1
1 c 0 c
x
2 c1 2 2
x 0 1 c
3 1
для произвольных с1, с2 R3 , с1, с2 0,0 .
При 1 система (5.7.3) имеет вид:
x1 0 x2 x3 0,
x1 x3 ,
0
1 x 2 x2 0 x3 0, или
x 0 x x 0, x2 0.
1 2 3
Откуда получаем
r
xl 1 1 x1 ... r xr . (5.7.5)
l l
Вычитая из (5.7.4) равенство (5.7.5), имеем
0 1 1 1 x1 ... r 1 r xr .
l l
Поскольку векторы x1, x2 ..., xr – линейно независимы, то
i 1 1 0, i 1, 2,..., r.
l
Однако в силу (5.7.4) среди коэффициентов i есть, по крайней
мере, один ненулевой для некоторого s, 1 s r . Пусть s 0 . Тогда
1 s 0 , т. е. s k , что противоречит условию теоремы.
k
Полученное противоречие и доказывает теорему.
1 0 ... 0
0 ... 0
A D 2 . (5.8.1)
. . . .
0 0 ... n
Тогда f (ei ) i ei , i 1,2,..., n , откуда следует, что векторы ei
являются собственными векторами матрицы A .
Достаточность. Пусть базис пространства Rn состоит из
собственных векторов матрицы A , т. е. f (ei ) i ei , i 1,2,..., n .
Значит, матрица этого оператора имеет вид (5.8.1).
Теорема доказана.
Базис e1, e2 ,..., en (1) линейного пространства Vn называется
каноническим (относительно линейного преобразования f : Vn Vn ),
если он целиком состоит из собственных векторов этого
преобразования.
Итак, если x1, x2 ,..., xn – собственные векторы оператора f с
матрицей A образуют базис в Rn , то матрица перехода T к этому
базису своими столбцами имеет координаты векторов x1, x2 ,..., xn (§
11 гл. IV). Матрица T – невырожденная, т. е. существует T 1 , и
матрица A приводится к диагональному виду по формуле
D T 1 AT . (5.8.2)
Из теоремы 1 и теоремы 2 § 5.7 непосредственно вытекает
Теорема 2 (первый признак существования канонического
базиса). Если линейный оператор f : Vn Vn имеет n различных
собственных значений, то существует базис в Vn , состоящий из
собственных векторов оператора f .
2 2
Пример 1. Найти матрицу T , приводящую A 1 3 к
диагональному виду.
Решение. Нетрудно видеть, что собственные значения этой
матрицы находятся из решения уравнения (2 )(3 ) 2 0 , откуда
находим 1 1; 2 4 .
182
1 1 1 1
Находим обратную матрицу T .
3 1 2
Тогда согласно формуле (5.8.2)
1 1 1 2 2 2 1 1 0 .
D T 1 AT
3 1 2 1 3 1 1 0 4
Теорема 3 (второй признак – критерий диагонализируемости
квадратной матрицы). Квадратная матрица A , имеющая s
различных собственных значений 1, 2 ,..., s , 1 s n ,
диагонализируема тогда и только тогда, когда выполняется
следующее равенство:
dim Ker A 1E dim Ker A 2 E ... dim Ker A s E n .(5.8.3)
p( x ) x x12 x22 x32 .
Нетрудно видеть, что функция p( x ) обладает следующими
свойствами:
1. p ( x ) 0 и p ( x ) 0 тогда и только тогда, когда x 0 ;
2. p(x ) p( x ) R, x R3 ;
3. p ( x y ) p ( x ) p ( y ) x , y R3 .
В пространстве Rn можно указать много функций p : R3 R ,
удовлетворяющих указанным свойствам, например:
n
1. p( x ) x xi x Rn (октоэдрическая норма);
i 1
2. p ( x ) x max xi (кубическая норма);
1i n
1
n
3. p ( x ) xi q q x Rn , q 1 .
i 1
Можно привести и ряд других норм, удовлетворяющих
условиям 1–3. К сожалению, понятие нормы вектора в Vn не дает
способа ввести понятие угла между векторами.
Если обратиться опять к пространству R3 , то длина вектора и
угол между векторами в нем находятся с помощью скалярного
произведения. Рассматривая свойства скалярного произведения в R3 ,
исследователи пришли к следующему определению скалярного
произведения на произвольном линейном пространстве Vn .
Скалярным умножением векторов пространства Vn , называется
правило g , по которому каждой паре векторов x , y V ставится в
соответствие однозначно определенное вещественное число g ( x , y ) ,
так что для произвольных x , y, z Vn и , R выполняются
следующие свойства (аксиомы линейности скалярного
произведения):
1. g ( x y, z ) g ( x , z ) g ( y, z ); g ( x , y z ) g ( x , y ) g ( x , z );
2. g (x , y ) g ( x , y ); g ( x , y ) g ( x , y ) . Благодаря свойствам
линейности 1 и 2 скалярные произведения, как и линейные
185
13
Грамм Йорген Петерсен (27.06.1850 – 29.04.1916) – датский математик, специалист по
теории чисел, алгебре, математической статистике
186
S S
T T T T
T
GS GS S T GT S S T GS –
также является симметрической.
Аналогично проверяется вторая часть теоремы.
14
Минковский Герман (22.06.1864 – 12.01.1909) – немецкий математик и физик, основатель
геттингенской математической школы
15
Эйнштейн Альберт (14.03.1879 – 18.04.1955) – физик, создатель теории относительности,
лауреат Нобелевской премии по физике за 1921 год
190
n n
q ( x1, x2 ,..., xn ) aij xi x j
j 1 i 1
q ( x1, x2 ,..., xn ) 0,
и отрицательно-определенной, если
q ( x1, x2 ,..., xn ) 0 .
Положительно и отрицательно-определенные квадратичные
формы называются знакоопределенными.
Пример 2. Квадратичная форма
q( x1, x2 , x3 ) x12 2 x1x2 4 x2 x3 3x22 2 x32
положительно определена, так как
q( x1, x2 , x3 ) ( x1 x2 ) 2 2( x2 x3 ) 2 0 x1, x2 , x3 0,0,0 .
16
Сильвестр Джеймс Джозеф (03.09.1814 – 15.03.1897) – английский математик. С 1840 г.
работал в США. Основатель (с 1978 г.) первого американского математического журнала
193
x y x 2 x y y x y ,
2 2 2 2
( x, y)
1 1 .
x y
Значит, существует, и притом единственное, значение угла
, 0 , для которого
( x, y)
cos . (5.11.5)
x y
Таким образом, углом между векторами x и y в евклидовом
пространстве V назовем угол , косинус которого определяется
соотношением (5.11.5).
Векторы x и y называются ортогональными, если косинус угла
между ними равен нулю, т. е. их скалярное произведение ( x , y ) 0 .
Такое понятие ортогональности в евклидовом пространстве
соответствует обычному понятию перпендикулярности в R3 .
Будем говорить, что система векторов e1, e2 ,..., en ортогональна,
если ее векторы попарно ортогональны, т. е.
(ei , e j ) 0, i j, i, j 1, 2,...n .
Свойство 7. Если система векторов e1, e2 ,..., en ортогональна и
среди них нет нулевого вектора, то эти векторы линейно независимы.
Доказательство. Действительно, если бы эти векторы были
линейно зависимы, то выполнялось бы равенство
1e1 2e2 ... nen 0 , (5.11.6)
где хотя бы одно i 0 .
Предположим, что 1 0 . Умножим скалярно равенство (5.11.6)
на e1 :
1 (e1, e1 ) 2 (e1, e2 ) ... n (e1, en ) 1(e1, e1) 0 .
Так как e1 0 , то e1, e1 0 , значит 1 0 . Полученное
противоречие показывает, что (5.11.6) верно тогда и только тогда,
когда все i 0, i 1,2,..., n , что и доказывает линейную
независимость векторов e1, e2 ,..., en .
196
18
Шмидт Эрхард (14.01.1876 – 06.12.1959) – немецкий математик, первый директор
института математики АН ГДР
197
3
u3 , v1 1 2 2 5
u3 , v2 3 3 2 1
где 1 ; 2 2 .
1 1
v , v 6 6 2 2
v , v 9
9 2 9 3
4 4
5 1 3 3 2 2 2
Таким образом, v3 1,2,1 1,1,2 ; ;0 ; ; .
6 3 2 2 3 3 3
Непосредственная проверка показывает, что векторы v1, v2 , v3
попарно ортогональны и, следовательно, образуют ортогональный
базис. Осталось эти векторы нормализовать.
9 9 9 9
v1 1 1 4 6 ; v2 0 ;
4 4 2 2
4 4 4 4 2
v3 .
9 9 9 3 3
v1 1 1 2
Полагаем e1 ; ; ;
v1 6 6 6
v2 2 2
e2 ; ;0 ;
v2 2 2
v3 3 3 3
e3 ; ; .
v3 3 3 3
e1, e2 , e3 – искомый ортонормированный базис.
§ 5.12. Ортогональные операторы в евклидовых
пространствах и их свойства
19
Фейнман Ричард Филипс (11.05.1918 – 15.02.1988) – американский ученый-физик, один из
разработчиков атомной бомбы, лауреат Нобелевской премии по физике 1965 г.
201
( x , f ( y )) ( f ( x ), y ) . (5.13.1)
Отметим основные свойства самосопряженных операторов.
Свойство 1. Самосопряженный оператор в ортонормированном
базисе имеет симметрическую матрицу A , т. е. aij a ji , i, j 1,2,..., n. .
Доказательство. Пусть e1, e2 ,..., en e – ортонормированный
базис пространства Vn , в котором действует самосопряженное
преобразование f и A A f в базисе e . Для базисных векторов
e1, e2 ,..., en справедливы разложения (5.12.2), поэтому
( f (ei ), e j ) a ji ;
(ei , f (e j )) aij .
По определению (5.13.1)
( x1, f ( x2 )) ( x2 , f ( x1)) 2 x1, x2 1 x2 , x1 .
Но поскольку 1 2 , то x1, x2 x2 , x1 0 , т. е. векторы x1, x2
ортогональны, что и требовалось доказать.
Теорема (о полноте собственных векторов). У каждого
самосопряженного линейного оператора в n -мерном евклидовом
пространстве существует n попарно ортогональных собственных
векторов. Соответствующие им собственные значения являются
действительными числами.
Доказательство теоремы опустим в силу его громоздкости.
202
2 2 2
2 0 7 6 0 .
5
Корни его 1 1 и 2 6 .
Находим собственные векторы из решения однородной системы
линейных уравнений
2 x1 2 x2 0,
.
1
2 x 5 2
x 0.
При 1 1 x1 c1 2; 1 , при 2 6 x2 c2 1;2 ; c1, c2 R .
Нормируя собственные векторы, получаем векторы нового
ортонормированного базиса
2 1 1 2
e1 ; , e2 ; .
5 5 5 5
203
T
g x TY A TY Y T T T AT Y g y .
(5.14.3)
Мы получили новую квадратичную форму g y с матрицей
B T T AT , (5.14.4)
причем матрица B симметрическая, так как
T T T
BT T T AT AT TT T T AT T T T AT B .
i 1
n
g x Y DY 1 y1 2 y2 ... n yn i yi 2 ; Y T T X .(5.14.5)
T 2 2 2
i 1
Теорема доказана.
Замечание. В силу однозначной определенности собственных
значений матрицы, канонический вид квадратичной формы
определяется однозначно с точностью до порядка следования
слагаемых.
Алгоритм приведения квадратичной формы к каноническому
виду, по сути дела, заключается в алгоритме диагонализации
матрицы квадратичной формы и записи квадратичной формы в виде
(5.14.5).
Пример. Квадратичную форму
g x12 x2 2 x32 4 x1x2 4 x1x3 4 x2 x3
привести к каноническому виду и найти соответствующие формулы
преобразования переменных.
Решение:
1. Выпишем матрицу квадратичной формы q :
1 2 2
A 2 1 2 .
2 2 1
2. Составим характеристическое уравнение
det A E 0 3 3 2 9 5 0 1,2 1; 3 5 .
3. Искомый канонический вид квадратичной формы:
g y y12 y2 2 5 y32 .
4. Находим собственные векторы матрицы A , для чего решаем
однородные системы линейных уравнений при соответствующих
значениях .
(1 ) x1 2 x2 2 x3 0,
(*)
2 x1 (1 ) x2 2 x3 0,
2 x 2 x (1 ) x 0.
1 2 3
x1 x2 x3 0, x1 x2 x3 0, 2 x2 x3 0,
~ ~
v1, v2 0, x1 x2 0, x1 x2 0.
В последней системе x2 – свободная переменная. Полагая x2 1
, имеем x1 1, x3 2 .
Значит, v2 1,1, 2 .
Для 3 5 система (*) принимает вид:
2 x1 x2 2 x3 0,
x1 2 x2 x3 0,
x x 2 x 0.
1 2 3
Ax 2 Bxy Cy 2 Dx Ey F 0 (5.15.1)
в фиксированном ПДСК O, i , j .
Пусть B 0 . Тогда выражение Ax 2 Bxy Cy 2 есть
квадратичная форма g x, y от двух переменных с матрицей
1
A B
2
M .
1
B C
2
Квадратичную форму g x, y можно привести, согласно
теореме 1 из § 5.14, к каноническому виду: g x1, y1 1x12 2 y12 .
Для этого следует найти собственные значения 1, 2 и
ортонормированный базис e1, e2 из собственных векторов матрицы
M.
Пусть T – матрица, столбцами которой являются координаты
ортонормированных собственных векторов матрицы M . Матрица T
является также матрицей перехода от базиса i , j к базису e1, e2 .
0
Поэтому произведение T T MT 1 – диагональная
0 2
матрица.
Значит, преобразование переменных
x x1
y T y
1
приведет квадратичную форму к каноническому виду, а уравнение
(5.15.1) к виду:
1x12 2 y12 D1x1 E1 y1 F1 0 . (5.15.2)
Это уравнение можно упростить. Если 1 0, 2 0 , то выделив
полные квадраты в уравнении (5.15.2)
2 2
D1 E1 D12 E12
1 x1 2 y1 F1 2 2 0
2 1 2 2 41 41
209
D1 E
и, введя новые переменные x x1 , y y1 1 , мы получим в
21 2 2
D E
системе координат O x y , где O 1 , 1 , уравнение вида:
21 2 2
2 2
1 x 2 y F2 , (5.15.3)
D1 2 E12
где F2 F1 2 2 .
41 4 2
1 x 2 E1 y , (5.15.4)
D1 F1 D12
где x x1 , y y1 2 2 .
21 E1 41 E1
Уравнение (5.15.4) задает параболу.
Если в уравнении (5.15.3) 2 0 и E1 0 , то уравнение (5.15.2)
преобразуется к виду:
2
1 x a , (5.15.5)
D1 2
где a F1 .
412
При этом если 1 и a одного знака, то уравнение (5.15.5) задает
две параллельные прямые, если 1 и a разных знаков – то пустое
множество, если же a 0 , то x 0 есть уравнение прямой, а именно,
оси Oy .
Итак, мы доказали, следующие утверждения:
210
x 2 y 2
1 (* *)
4 2
3
10
в системе координат O1xy , где O1 имеет координаты ;0 в
5
системе Ox1 y1 или координаты 2;4 в ПДСК Oxy .
Чтобы построить эллипс, сначала построим систему координат
Ox1 y1 , которая получается путем поворота Oxy на угол , где
1 2
cos ,sin . Затем осуществим параллельный перенос
5 5
10
системы Ox1 y1 на вектор OO1 2e1 4e2 e1 0 e2 . Построение
5
212
y
x1
y1 O1
e2
e1
e2
O e1 x
Рис. 5.3. График линии
СПИСОК ЛИТЕРАТУРЫ
ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ …………………………………………………... 3
ГЛАВА I. МАТРИЦЫ И ОПРЕДЕЛИТЕЛИ.
СИСТЕМЫ ЛИНЕЙНЫХ УРАВНЕНИЙ…….. 6
§ 1.1. Матрицы и действия над ними ……………………… 6
§ 1.2. Системы линейных уравнений. Метод Гаусса.......... 12
§ 1.3. Определители 2-го и 3-го порядков. 20
Определители n-го порядка. Рекуррентная формула
§ 1.4. Свойства определителей 23
§ 1.5. Теорема Лапласа, альтернативное и 30
мультипликативное свойство определителей
§ 1.6. Обратная матрица 34
§ 1.7. Решение невырожденных линейных систем. 38
Правило Крамера
§ 1.8. Метод элементарных преобразований нахождения 41
обратной матрицы
ГЛАВА II. ВЕКТОРНАЯ АЛГЕБРА 44
§ 2.1. Классические векторы и действия над ними 44
§ 2.2. Проекции векторов и их свойства 48
§ 2.3. Базисы в R2 и R3 51
§ 2.4. Системы координат 54
2.4.1. Декартова система координат 54
2.4.2. Деление отрезка в данном отношении 56
2.4.3. Полярная система координат 59
§ 2.5. Скалярное произведение векторов, его приложения 61
2.5.1. Скалярное произведение векторов и его свойства 61
2.5.2. Скалярное произведение векторов в координатах 62
2.5.3. Приложения скалярного произведения 63
§ 2.6. Векторное произведение и его приложения 65
2.6.1. Векторное произведение векторов и его свойства 65
2.6.2. Векторное произведение в координатах 68
2.6.3. Применение векторного произведения 69
§ 2.7. Смешанное произведение векторов и его приложения 72
2.7.1. Смешанное произведение векторов 72
2.7.2. Смешанное произведение в координатах 74
2.7.3. Геометрические приложения 75
215
Учебное издание
ВЫСШАЯ МАТЕМАТИКА
Учебно-методическое пособие
Редактор
Корректор