Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
ЯГЕБРА И ГЕОМЕТРИЯ
В ВОПРОСАХ И ЗАДАЧАХ
Основы алгебры
и аналитической
URSS геометрии
Оглавление
П редисловие 6
С пи сок обозначений 8
Г л а в а 1. П р о с т е й ш и е п о н я т и я л о г и к и 9
1. Основные понятия и ф акты 9
2. Контрольные вопросы и задания 13
3. Примеры решения задач 14
4. Задачи для самостоятельного решения 16
Г л а в а 2. М н о ж е с т в а и о т о б р а ж е н и я 19
1. Основные понятия и ф акты 19
2. Контрольные вопросы и задания 28
3. Примеры решения задач 29
4. Задачи для самостоятельного решения 33
Г л а в а 3. К о м п л е к с н ы е ч и с л а 35
1. Основные понятия и ф акты 35
2. Контрольные вопросы и задания 41
3. Примеры решения задач 41
4. Задачи для самостоятельного решения 48
Г л а в а 4. М н о г о ч л е н ы 50
1. Основные понятия и ф акты 50
2. Контрольные вопросы и задания 56
3. Примеры решения задач 57
4. Задачи для самостоятельного решения 63
Г л а в а 5. М а т р и ц ы 64
1. Основные понятия и ф акты 64
2. Контрольные вопросы и задания 72
3. Примеры решения задач 73
4. Задачи для самостоятельного решения 76
Г л а в а 6. О п р е д е л и т е л и 79
1. Основные понятия и ф акты 79
2. Контрольные вопросы и задания 89
3. Примеры решения задач 89
4. Задачи для самостоятельного решения 96
3
4 Оглавление
Г л а в а 7. А л г о р и т м Г аусса—Ж о р д а н а 99
1. Основные понятия и ф акты 99
2. Контрольные вопросы и задания 103
3. Примеры решения задач 104
4. Задачи для самостоятельного решения 113
Г л а в а 8. С и с т е м ы л и н е й н ы х у р а в н е н и й 115
1. Основные понятия и ф акты 115
2. Контрольные вопросы и задания 121
3. Примеры решения задач 121
4. Задачи для самостоятельного решения 127
Г л а в а 9. В е к т о р н а я а л г е б р а 130
1. Основные понятия и ф акты 130
2. Контрольные вопросы и задания 142
3. Примеры решения задач 143
4. Задачи для самостоятельного решения 152
Г л а в а 10. П р я м ы е н а п л о с к о с т и 155
1. Основные понятия и ф акты 155
2. Контрольные вопросы и задания 158
3. Примеры решения задач 159
4. Задачи для самостоятельного решения 163
Г л а в а 11. П р я м ы е и п л о с к о с т и в п р о с т р а н с т в е 165
1. Основные понятия и ф акты 165
2. Контрольные вопросы и задания 169
3. Примеры решения задач 169
4. Задачи для самостоятельного решения 180
Г л а в а 12. Э л л и п с , г и п е р б о л а , п а р а б о л а 183
1. Основные понятия и ф акты 183
2. Контрольные вопросы и задания 191
3. Примеры решения задач 191
4. Задачи для самостоятельного решения 196
Г л а в а 13. П р е о б р а з о в а н и я б а зи с о в и к о о р д и н а т 200
1. Основные понятия и ф акты 200
2. Контрольные вопросы и задания 207
3. Примеры решения задач 208
4. Задачи для самостоятельного решения 213
Г л а в а 14. К в а д р и к и : к а н о н и з а ц и я и и н в а р и а н т ы 215
1. Основные понятия и ф акты 215
2. Контрольные вопросы и задания 220
3. Примеры решения задач 220
4. Задачи для самостоятельного решения 238
Оглавление 5
Г л а в а 15. П о в е р х н о с т и в т о р о г о п о р я д к а 240
1. Основные понятия и ф акты 240
2. Контрольные вопросы и задания 245
3. Примеры решения задач 246
4. Задачи для самостоятельного решения 253
О тветы , у казан и я и р еш ен ия 255
Л итература 273
П редм етны й указатель 274
П редисловие
6
Предисловие 7
8
ГЛАВА 1
1. О с н о в н ы е п о н я т и я и ф а к т ы
А. В ы с к а з ы в а н и я и о п е р а ц и и н а д н и м и . Высказывание — это
повествовательное предложение, представляющее собой утверждение,
которому можно поставить в соответствие одно из двух логических зна
чений: ложь (0) или истина (1). Высказывания будем обозначать пропис
ными латинскими буквами.
Основные логические операции над высказываниями — отрицание,
конъюнкция, дизъюнкция, импликация и эквивалентность. Они задают
ся с помощью таблиц истинности.
Отрицание — логическая операция, в результате которой из данного
высказывания А получается новое высказывание —А («не-А», «неверно,
что А», «А не имеет места»). Таблица истинности для операции отрица
ния:
А
0 1
1 0
A В AAB АУ В A ^B A -<=>■ В
0 0 0 0 1 1
0 1 0 1 1 0
1 0 0 1 0 0
1 1 1 1 1 1
1.1. Т е о р е м а . Свойства логических операций:
(1) коммутативность:
A V B = B V A,
A Л B = B Л A;
(2) ассоциативность:
(A V B) V C = A V (B V C ),
(A Л B) Л C = A Л (B Л C );
(3) дистрибутивность:
A V (B Л C ) = (A V B) Л (A V C ),
A Л (B V C ) = (A Л B) V (A Л C );
(4) законы поглощения:
A V (A Л B) = A,
A Л (A V B) = A;
(5) идемпотентность:
A V A = A, A Л A = A;
(6) свойства констант:
A V 1 = 1, A V 0 = A,
A Л 1 = A, A Л 0 = 0;
(7) закон исключённого третьего:
A V - A = 1, A Л - A = 0;
(8) закон двойного отрицания:
- - A = A;
(9) законы де Моргана:
- ( A Л B) = —A V —B,
—(A V B) = - A Л - B;
(10) закон контрапозиции:
(A ^ B) = ( - B ^ -A );
1 . Основные понятия и факты 11
(11) соотношения
(А ^ 1) = 1, (0 ^ А) = 1,
(1 ^ А) = А, (А ^ 0) = -А ;
(12) соотношения
- ( А ^ В) = (А Л - В ) , (А V В) = (—А ^ В).
Б . П р е д и к а т ы и к в а н т о р ы . Предикат — это выражение, содер
жащее переменные и превращающееся в высказывание при подстановке
вместо этих переменных каких-либо объектов.
Квантор — это логическая операция, которая по предикату P (x)
строит высказывание, дающее количественную характеристику области
истинности предиката P (x ). Наиболее употребительны квантор общно
сти V и квантор существования 3.
1.2. О п р е д е л е н и е . Пусть P (x ) —одноместный предикат, X —область
возможных значений переменной x. Обозначим через
(Vx е X )P (x) (1.1)
следующее высказывание: «для любого x е X высказывание P (x ) истин
но». Символ V называется квантором общности, а переход от предиката
P к высказыванию (1.1) — навешиванием на предикат P квантора общ
ности по переменной x.
1.3. О п р е д е л е н и е . Пусть P (x ) —одноместный предикат, X —область
возможных значений переменной x. Обозначим через
(3x е X )P (x) (1.2)
следующее высказывание: «существует такое x е X , что высказывание
P (x ) истинно». Символ 3 называется квантором существования, а пере
ход от предиката P к высказыванию (1.2) — навешиванием на предикат
P квантора существования по переменной x.
1.4. Т е о р е м а . Справедливы следующие аналоги законов де Моргана:
-(V x е X )P (x) == (3x е X )—P (x ), ( 1 .3 )
—(3x е X )P (x ) == (Vx е X )—P (x ), ( 1 .4 )
В. Т е о р е м ы и д о к а з а т е л ь с т в а . В математике доказательством
называется цепочка логических умозаключений, показывающая, что при
некотором наборе аксиом и правил вывода верно некоторое утверждение.
Доказанные утверждения называют теоремами; если ни утверждение,
ни его отрицание ещё не доказаны, то такое утверждение называют ги
потезой.
И мпликат ивная теорема имеет вид
А ^ В;
высказывание А называют условием (посылкой) теоремы, В — заключе
нием.
Заключение В импликативной теоремы «А ^ В» называется услови
ем, необходимым для истинности посылки А. Без выполнения В утвер
ждение А не может быть истинным. Теорема, выражаю щ ая необходимое
условие, называется свойством.
Посылка А теоремы «А ^ В» называется условием, достаточным
для выполнения заключения В. Если А истинно, то утверждение В за
ведомо верно. Теорема, выражаю щ ая достаточное условие, называется
признаком.
Теорема вида А В, выражаю щ ая эквивалентность двух вы
сказываний А и В, т.е. являющаяся одновременно необходимым и доста
точным условием, называется критерием. Важно понимать, что каждый
критерий по существу содержит два утверждения А ^ В и В ^ А, каж
дое из которых доказывается отдельно.
Рассмотрим следующие четыре теоремы, образованные из высказы
ваний А и В:
А ^ В, (1.5)
В ^ А, (1.6)
—А ^ —В, (1.7)
—В ^ —А. (1.8)
Теоремы (1.5) и (1.6) (и соответственно, теоремы (1.7) и (1.8)) называются
взаимно обратными теоремами. Теоремы (1.5) и (1.7) (и соответственно,
теоремы (1.6) и (1.8)) называются взаимно противоположными теоре
мами. Взаимно обратные теоремы (1.5) и (1.6) почти не зависят друг от
друга: истинность одной из них не влечет ни истинности, ни ложности
другой, однако эти теоремы не могут быть одновременно ложными.
Взаимно противоположные теоремы (1.5) и (1.7) связаны аналогично.
В силу закона контрапозиции (см. теорему 1.1(10))
(—В ^ —А) ==
2. Контрольные вопросы и задания 13
2. К о н т р о л ь н ы е в о п р о с ы и з а д а н и я
1. Что такое высказывание? Приведите примеры.
2. Сформулируйте определение логических операций отрицания, конъ
юнкции, дизъюнкции, импликации, эквивалентности. Запишите для
этих операций таблицы истинности.
3. Сформулируйте и запишите с помощью символов математической ло
гики закон исключённого третьего.
4. Д аны высказывания A = «я учусь в университете», B = «я люб
лю математику». Прочтите следующие символические выражения:
(а) - A; (б) A; (в) A Л B; (г) A Л - B; (д) - A Л B; (е) - A Л - B;
(ж) - (A Л B).
5. Д аны высказывания A = «этот треугольник равносторонний»,
B = «этот треугольник равнобедренный». Прочтите следующие сим
волические выражения: (а) A V B; (б) A V -A ; (в) - A V B; (г) AV B;
(д) - (A V B ) .
6. Сформулируйте и запишите с помощью символов математической ло
гики закон двойного отрицания.
7. Сформулируйте и запишите с помощью символов математической ло
гики законы де Моргана.
8. Запишите закон контрапозиции.
9. Что такое предикат? Что такое область истинности предиката? При
ведите примеры.
10. Что такое квантор общности? Приведите пример его использования.
11. Что такое квантор существования? Приведите пример его использо
вания.
12. Чему эквивалентно высказывание - (Ѵж G X)Р(ж )?
13. Чему эквивалентно высказывание - (Зж G X)Р(ж )?
14. Сформулируйте правило построения отрицания выражения, начина
ющегося с кванторов. Приведите примеры.
15. Можно ли переставить кванторы в высказывании (Ѵж)(Ѵу)Р(ж, у)?
16. Можно ли переставить кванторы в высказывании (Зж)(Зу)Р(ж, у)?
17. Можно ли переставить кванторы в высказывании (Зж)(Ѵу)Р(ж, у)?
18. Можно ли переставить кванторы в высказывании (Ѵу)(Зж)Р(ж, у)?
19. Что такое теорема? Что такое гипотеза?
20. Что такое необходимое условие? Приведите примеры.
21. Что такое достаточное условие? Приведите примеры.
22. Что такое противоположная теорема?
23. Что такое обратная теорема?
24. Какова связь между противоположной и обратной теоремами?
25. Что такое «доказательство от противного»?
14 Гл. 1. Простейшие понятия логики
3. П р и м е р ы р е ш е н и я з а д а ч
П р и м е р 1.1. Дано высказывание: «Вокруг прямоугольника можно опи
сать окружность». Запишите его в виде импликации А ^ В. Постройте
высказывания В ^ А, —А ^ —В, —В ^ —А. Какие из них истинны?
Решение. Введём следующие высказывания:
А = «данный четырёхугольник является прямоугольником»,
В = «вокруг данного четырёхугольника можно описать окружность».
1. О с н о в н ы е п о н я т и я и ф а к т ы
А. М н о ж е с т в а . В теории множеств имеется два неопределяемых
понятия — множ ество и элемент , и одно отношение между этими по
нятиями — отношение принадлежности, выражаемое словами «элемент
принадлежит множеству» или «множество содержит элемент». Множе
ства обычно обозначают прописными буквами А, В, . . . , X , Y , . . . , эле
менты — строчными буквами a, b, . . . , ж, у, . . . . Если элемент а принад
лежит множеству А, пишем a е А (А Э а), а если не принадлежит — то
а і/ А (А Э а).
Запись А = {a, b, c, d} означает, что множество А состоит из эле
ментов a, b, c, d, а запись А = {а | P (а)} —что множество А состоит из
всех элементов, обладающих свойством P (а) (характеристическим свой
ством ); например, [-2 , 2] = {ж | ж2 ^ 4}. Ясно, что характеристическое
свойство элементов множества представляет собой некоторый предикат.
Пустое множество 0 не содержит элементов.
Множества А и В называются равными (запись А = В), если они
состоят из одних и тех же элементов.
Множество В называется подмножеством множества А (запись
В С А или А D В), если каждый элемент В является также элемен
том А:
(В с А) = = (Ѵж е В ^ ж е А).
Отношение между множествами, выражаемое словами «В является под
множеством А», называется отношением вклю чения. Множество всех
подмножеств данного множества А обозначается P (А) или 2A.
По определению, 0 С А для любого множества А. Множества А и 0
называются несобственными подмножествами множества А. Если же
В С А и существует такой элемент а е А, что а е В, то множество
В называется собственным подмножеством множества А; этот ф акт
обозначается В С А.
Б . О п е р а ц и и н а д м н о ж е с т в а м и . Пересечением А П В множеств
А и В называется множество, состоящее из всех элементов, которые од
новременно принадлежат как множеству А, так и множеству В:
А п В = = {ж | ж е А л ж е В}.
19
20 Гл. 2. Множества и отображения
А и В = = {x | x е А v x е В}.
Разностью А \ В множеств А и В называется множество, состоящее
из всех элементов, принадлежащих множеству А, но не принадлежащих
множеству В:
А \ В = = {х | x е А Л x е В}.
Оимметрической разностью А Д В множеств А и В называется мно
жество
А Д В = = (А U В) \ (А п В).
Дополнением множества А называется множество А', состоящее из
всех элементов, не принадлежащих А. Часто бывает удобно считать
все множества, участвующие в некотором рассуждении, подмножества
ми некоторого множества U , называемого универсальным множеством
(универсумом); в этом случае дополнение А' представляет собой раз
ность U \ А. Дополнение множества А обозначают такж е А, СА.
Д ля наглядного изображения множеств и отношений между ними
используются диаграммы Эйлера—Венна (см. рис. 2.1).
Будем говорить, что два множества А и В находятся в общем поло
жении, если существуют такие элементы a, 6, с, что а е А, а е В, b е В,
& е А , с е А, с е В. Д ва множества в общем положении изображены
на рис. 2.2, где символ a, например, обозначает список всех элементов,
содержащихся в множестве А, но не содержащихся в множестве В и т. д.
1. Основные понятия и факты 21
a I c I b
В. С о о т в е т с т в и я и о т н о ш е н и я . Соответствием R, заданным на
упорядоченной паре множеств А и В, называется любое подмножество
R декартова произведения этих множеств А х В. Если (a, b) е R, то
говорят, что элементы а е А и b е В находятся в рассматриваемом
соответствии R. Вместо записи (a, b) е R обычно используют инфиксную 1
запись: a R b.
Д ля соответствия R С А х В введём следующие термины:
(i) область отправления соответствия R — множество А;
(ii) область прибытия соответствия R — множество В;
(iii) область определения Dom R соответствия R — множество всех пер
вых элементов пар из R:
D o m R = = {a | 3b : (a, b) е R};
(iv) область значений Im R соответствия R — множество всех вторых
элементов пар из R:
Im R = = {b | 3a : (a, b) е R}.
В случае конечных множеств А и В соответствие R С А х В удобно
иллюстрировать с помощью графика: элементы множеств А и В изобра
жаются точками плоскости; точки a А и b В соединяются стрелкой,
если a R b (см. рис. 2.3).
Выделяются следующие важные типы соответствий.
Соответствие R С А х В называется
(i) всюду определённым, если область определения совпадает с обла
стью отправления: Dom R = А; на графике из каждой точки обла
сти отправления исходит хотя бы одна стрелка (см. рис. 2.3(а));
f (C ) = { f (с) | с е C } = {у е Y | Зс е C : (с,у) е f };
(3) X — область определения отображения f ; говорят, что отображение
f определено н а X ;
(4) А — область отправления 1 отображения f ; говорят, что отображение
f определено в А;
(5) Y — область прибытия отображения f ; говорят, что отображение f
принимает значения в множестве Y;
(6) I m f = {у е Y | 3 x : у = f (x)} С Y — область значений отображе
ния f ; говорят, что отображение f принимает значения н а множе
стве Im f;
f
(7) записи f : X A Y , X — A Y означают, что f — отображение с обла
стью определения X и областью прибытия Y;
(8) отображение f : X A X часто называют (особенно в геометрии) пре
образованием множества X;
(9) прообраз элемента у е Y — это множество
X ------- ^ ------^ Z
Про эту диаграмму говорят, что она коммутативна, т.е. результат пере
хода от X к Z не зависит от того, сделаем мы это непосредственно при
помощи g о f или воспользуемся промежуточным этапом Y .
2.2. Т е о р е м а . Композиция отображений ассоциативна, т.е. для отоб
ражений f : X —• Y , g : у — Z , h : Z —• W имеет место соотношение
(h о g) о f = h о (g о f ),
что позволяет не ставить скобки и писать h о g о f .
Тождественным отображением на множестве X называется отоб
ражение
id x : X ——^X, x I——x.
Пусть f : X — Y и g : Y — X — отображения. Если
g о f = id x ,
то отображение g называется левым обратным для f , а f — правым об
ратным для g.
Если
g о f = idx и f о g = id y , (2.2)
то отображение g называется двусторонним обратным (или просто об
ратным ) к отображению f и обозначается f - і . Таким образом,
f (x) = у f - і (у) = x.
Отображения f и f - і называют взаимно обратными.
Обратное отображение обозначается тем же символом f - і , что и опе
рация взятия прообраза; следует избегать смешения этих понятий: про
образ элемента (или множества) существует даже в том случае, когда
отображение не имеет обратного.
2.3. Т е о р е м а . Если для отображения существует (двустороннее) об
ратное, то оно единственно.
2.4. Т е о р е м а . Отображение f : X — Y имеет обратное тогда и т оль
ко тогда, когда оно биективно.
2.5. П р е д л о ж е н и е .
1. Если отображение f : X — Y биективно, то f - і : Y — X также
биективно, причём
( f ~ і ) ~і = f. (2.3)
1. Основные понятия и факты 27
Д . О т н о ш е н и е э к в и в а л е н т н о с т и . Отношением R на множестве
X называется подмножество R в X 2 = X х X ; если элемент (x, у) из X 2
принадлежит R, то говорят, что элементы x и у множ ества X находят
ся в отношении R и обозначают этот ф акт x * у, где * — специальный
символ, выбранный в качестве знака рассматриваемого отношения. При
мерами отношений могут служить следующие отношения на множестве
вещественных чисел: = , >, ^ и т. п.
Отношение * на множестве X называется
(i) рефлексивным, если для любого x G X имеем x * x;
(ii) симметричным, если для любых x, у G X из x * у следует у * x;
(iii) транзитивным, если для любых x, у, z G X из x * у и у * z следует
x * z.
Отношение, обладающее свойствами рефлексивности, симметрично
сти и транзитивности, называется отношением эквивалентности.
Пусть на множестве X задано отношение эквивалентности —. Клас
сом эквивалентности [x] элемента x называется множество всех элемен
тов, эквивалентных элементу x:
[x ]= = {у G X | у - x}.
2.6. Т е о р е м а . Любое отношение эквивалентности — порождает раз
биение множ ества A на непересекающиеся классы эквивалентности
своих элементов:
X = UH.
a£ A
Множество
X / — = = {[a] | a G A},
элементами которого являются классы эквивалентности [x] относительно
—, называется фактор-множеством множ ества X по отношению —.
Е. К о н е ч н ы е и б е с к о н е ч н ы е м н о ж е с т в а . Д ва множества A и B
называются равномощными, если между ними можно установить взаим
но однозначное соответствие.
Множество называется бесконечным, если оно равномощно некоторо
му своему собственному подмножеству. В противном случае множество
называется конечным.
К аждое конечное множество A равномощно некоторому множеству
натуральных чисел вида {1, 2 , . . . , n}; в этом случае n называется числом
элементов множества A.
Бесконечное множество называется счётным, если оно равномощно
множеству натуральных чисел N; в противном случае бесконечное мно
жество называется несчётным.
28 Гл. 2. Множества и отображения
2. К о н т р о л ь н ы е в о п р о с ы и з а д а н и я
1. Составьте список элементов множества, заданного характеристиче
ским свойством:
(а) A = {x | x € Z, |x| < 3}; (б) B = {x | x € N, |x| < 3}.
2. Пусть A, B — заданные точки плоскости (пространства). Опишите сле
дующие множества точек плоскости (пространства):
(а) A = {M | A M = 3}; (б) B = {M | A M = B M }.
3. К акая разница между записями A € B и A С B?
4. Равны ли множества {1, 2, 3} и {1, {2, 3}}?
5. Верно ли, что {1, 2} Е {1, 2, {1, 3}}? Верно ли, что {1, 2} С {1, 2, {1, 3}}?
6. Верно ли, что {1, 3} Е {1, 2, {1, 3}}? Верно ли, что {1, 3} С {1, 2, {1, 3}}?
7. Является ли множество {0} пустым?
8. Приведите пример таких A и B, что: (а) высказывание A € B истинно,
A С B ложно; (б) A € B ложно, A С B истинно; (в) оба высказывания
A € B и A С B истинны.
9. Приведите пример таких A, B, C , что A Е B, B е C , A С C .
10. Приведите пример таких A, B, C , что A G B, B Е C , A Е C .
11. Д ля каждой пары множеств из приведённого списка укажите, явля
ется ли одно из них подмножеством другого: A = {1}, B = {1, 2},
C = {1, 2, 3}, D = {{1}, 2, 3}, E = {{1, 2}, 3}.
12. Найдите пересечение, объединение, разность и симметрическую раз
ность множеств A и B, если (а) A = {1, 2, 3, 4, 5}, B = {2, 4, 6, 8,10};
(б) A = ( - 4 ; 2], B = [-2 ;4 ).
13. Множество A состоит из чётных натуральных чисел, множество B —
из натуральных чисел, делящихся на 3, множество C — из натураль
ных чисел, делящихся на 12. Изобразите множества с помощью диа
граммы Эйлера.
14. Дано множество A = {1, 2, 3}. Перечислите все элементы множества
A х A.
15. Д аны множества A = {1, 2, 3}, B = {a, b}. Перечислите все элементы
множеств A х B и B х A. Верно ли, что A х B = B х A?
16. Что такое соответствие? Приведите примеры.
17. Сформулируйте определения области отправления, области прибы
тия, области определения и области значений соответствия.
18. Сформулируйте определения инъективного, сюръективного, всюду
определённого, функционального соответствия. Проиллюстрируйте
эти понятия графически.
19. Сформулируйте определение биективного (взаимно однозначного) со
ответствия. Приведите примеры.
20. Сформулируйте определение отображения, его области отправления,
области прибытия, области определения и области значений.
21. Объясните следующие термины: образ элемента, образ множества,
прообраз элемента, прообраз множества.
3. Примеры решения задач 29
3. П р и м е р ы р е ш е н и я з а д а ч
П р и м е р 2.1. Пусть Ak —множество всех точек плоскости, лежащих
внутри круга радиуса 2к с центром в фиксированной точке O, n G Z.
то то
Найдите П Ak и U Ak.
к= —то к= —то
то
Решение. Множество р| Ak содержит единственную точку — общий
к=—то
центр O рассматриваемых кругов, поскольку для каждой точки A = O
найдётся круг, не содержащий её (а именно, любой круг радиуса < AO).
то
Множество U Ak совпадает со всей плоскостью, поскольку для
к=—то
каждой точки B плоскости найдётся круг, содержащий эту точку (а
именно, любой круг радиуса > BO).
П р и м е р 2.2. Д окаж ите равенство
A A B = (A \ B) U (B \ A).
30 Гл. 2. Множества и отображения
A B
A B
C
Рис. 2.4. К примеру 2.2 Рис. 2.5. К примеру 2.3
Далее.
( A \ B ) U ( B \ A ) = {1,3},
= {1 } = {3}
что совпадает с A A B .
А
B
(G о F)( x) = G(F( x) )
( F о G )(x) = F (G ( x ) ) F (x2)
ж = у + + +
х < у — — +
х ^ у + — +
X :у + —
+
а II b + + +
ААВС ~ APQR + + +
А іх] В + + -
4. З а д а ч и д л я с а м о с т о я т е л ь н о г о р е ш е н и я
A B B
К омплексны е числа
1. О с н о в н ы е п о н я т и я и ф а к т ы
А. Ч и с л о в о е п о л е . Числовое поле K — это множество чисел, в ко
тором корректно выполняются четыре арифметические операции: сло
жение, вычитание, умножение, деление на ненулевое число. Примерами
числовых полей могут служить множества рациональных чисел Q и мно
жество вещественных чисел R. Множества натуральных чисел N и целых
чисел Z не являются числовыми полями, поскольку в них не выполняется
операция деления (а в N ещё и вычитание).
Числовое поле K называется расширением числового поля K, если
K С K'; при этом поле K называется подполем поля K'. Например, Q С R,
т.е. поле Q является подполем поля R, а поле R является расширением
поля Q.
Пусть K — числовое поле. Будем обозначать символом K[x] множе
ство всех многочленов от переменной x с коэффициентами из поля K.
Корнем многочлена f (x) G K[x] называется такое число c G K, что
f (c) = 0.
Поле K называется алгебраически замкнутым, если любой много
член из K[x] имеет корень c G K.
Поле рациональных чисел Q не является алгебраически замкнутым,
так как, например, многочлен (x2 —2) G Q[x] не имеет рациональных кор
ней. Если же рассматривать этот многочлен не как элемент множества
Q[x], а как элемент множества R[x], то он имеет два корня ± \/2 . Таким
образом, переход от поля Q к его расширению R позволяет расширить
класс многочленов, имеющих корни. Фактически построение указанного
расширения осуществляется введением иррациональных чисел.
Однако поле вещественных чисел R всё ещё не является алгебраиче
ски замкнутым: многочлен x 2 + 1 не имеет вещественных корней.
Б . П о л е к о м п л е к с н ы х ч и с е л . Можно построить расширение по
ля вещественных чисел, в котором многочлен x 2 + 1 имеет корни. Д ля
этого нужно ввести «число» i, называемое м ним ой единицей и обладаю
щее свойством i 2 = —1; тогда
x2 + 1 = 0 x = ± i.
Рассмотрим далее множество, элементами которого являются объекты
вида x + iy, а арифметические операции осуществляются так же, как опе
рации над многочленами с учётом соотношения i 2 = —1. Такие объекты
35
36 Гл. 3. Комплексные числа
(4)
z2 zz2
Очевидно, выполняются следующие соотношения:
Ke z = z-------,
+ z Т z = -------
Im z —z .
2 ’ 2i
1. Основные понятия и факты 37
В. С у щ е с т в о в а н и е к о м п л е к с н ы х ч и с е л . Существование ком
плексных чисел можно доказать, построив модель поля C. Рассмотрим
множество R х R всех упорядоченных пар вещественных чисел и введём
на нём операции сложения и умножения формулами, подсказанными со
отношениями (3.2) и (3.1):
def
(x, y) ± (u, v) = = (x ± u, y ± v), (3.4)
def
(x, y) • (u, v) = = (xu —yv, xv + yu). (3.5)
Нетрудно проверить, что эти операции обладают всеми свойствами, пе
речисленными в теореме (3.2).
Имеем очевидные соотношения
(x, y) + (0, 0) = (x, y), (x, y) • (1, 0) = (x, y),
(x, 0) + (u, 0) = (x + u, 0), (x, 0) • (u, 0) = (xu, 0).
Это позволяет отождествить пару вида (x, 0) с вещественным числом x;
в частности, (0,0) = 0 и (1,0) = 1.
Непосредственная проверка доказывает справедливость формулы
x —y
(x ,y ) = 2
x2 + y y
Введём обозначение i ===== (0,1); тогда
i 2 = —1, (0,y) = (0, 1) • (y, 0) = iy, (x,y) = (x, 0) + (0,y) = x + iy.
Итак, мы построили модель поля комплексных чисел, состоящую из
упорядоченных пар вещественных чисел с заданными операциями (3.4)
и (3.5), что доказывает существование поля C. Запись комплексного чис
ла (x, y) в виде x + iy называется алгебраической формой записи.
Г. Т р и г о н о м е т р и ч е с к а я ф о р м а за п и си .
Аналогично тому, как вещественные
числа изображаются точками коорди •Im z
натной оси, каждое комплексное чис- y z = x + iy
ло z = x + iy можно изобразить точ
кой (x, y) координатной плоскости Oxy
(либо радиус-вектором этой точки). Ко
ординатная плоскость называется при Re z
такой интерпретации плоскостью ком O j x
плексных чисел, ось Ox — вещественной
осью, ось Oy — м ним ой осью. Комплекс
ное число я, сопряжённое к z, изобра —y
жается при этом точкой, симметричной ~ г = x —гу
точке z относительно вещественной оси Р ис g ^
(см. рис. 3.1).
Точка z = (x, y) на плоскости может быть задана не только декарто
выми, но и полярными координатами (r, у>), где r — расстояние от начала
координат до точки, ^ — ориентированный угол между положительным
38 Гл. 3. Комплексные числа
= r 1 r ^ cos ^ 1 + у 2 ) + i sin ^ 1 + у 2 )) .
Таким образом1,
|z 1 • z 2 1= |z 1 1• |z 2 1, Arg(z 1 • z 2 ) = Arg z 1 + Arg z 2 .
Д . Ф орм ула Э йлера.
3.4. О п р е д е л е н и е . Показательная функция мнимого аргумента опре
деляется следующим образом:
іт def , . .
e ^ = = cos у + i sin у;
эта формула называется формулой Эйлера.
Обратите внимание, что формула Эйлера является определением
функции e*v , а потому не нуждается в доказательстве. Математический
анализ доставляет множество веских аргументов в пользу целесообраз
ности такого определения; вот один из них: функция f (у) = cos у + i sin у
обладает свойством
f (у 1 ) • f (у 2 ) = f (у 1 + у 2 ).
характерным для показательной функции.
1Вторая из этих формул означает, что для любого значения p £ A rg(zi • z2)
найдутся такие p i £ Arg z i и p 2 £ Arg Z2 , что p = p i + p 2 .
1. Основные понятия и факты 39
Е. В о з в е д е н и е к о м п л е к с н ы х ч и с е л в ц е л у ю с т е п е н ь . Ф о р м у
л а М у а в р а . Тригонометрическая и показательная формы записи удоб
ны при возведении комплексных чисел в степень:
п
Де ІФ п АпФ
Дпе
Д = r, Д = r 1/n,
п Ф = f + 2nk, k G Z, f 2nk , „
Ф = — Н------- , k G Z.
n n
З. И з в л е ч е н и е к в а д р а т н о г о к о р н я . Извлечение квадратного
корня можно осуществить, не обращаясь к показательной форме. Пусть
а/о + ib = х + іу , где 6 ^ 0 . Тогда
г 2 2
2 2 2 x —у = а,
а + ib = (x + iy) = x —у + 2ixy | 2x y = b
2. К о н т р о л ь н ы е в о п р о с ы и з а д а н и я
1. Что такое числовое поле? Приведите примеры.
2. Какое поле называется алгебраически замкнутым?
3. Являются ли поля рациональных чисел и вещественных чисел алгеб
раически замкнутыми? Ответ обоснуйте.
4. Что такое комплексное число? Что такое алгебраическая форма запи
си комплексных чисел? Приведите примеры.
5. Сформулируйте определения арифметических операций над ком
плексными числами.
6. К ак разделить одно комплексное число на другое?
7. Перечислите свойства арифметических операций над комплексными
числами.
8. Что такое комплексное сопряжение? Перечислите свойства комплекс
ного сопряжения.
9. Что такое полярная система координат на плоскости? Запишите фор
мулы связи декартовых и полярных координат.
10. Что называется модулем и аргументом комплексного числа? Приве
дите примеры.
11. Что такое тригонометрическая форма записи комплексных чисел?
Приведите примеры.
12. Докажите, что модуль произведения комплексных чисел равен произ
ведению модулей сомножителей, а аргумент — сумме аргументов.
13. Запишите формулу Эйлера.
14. Запишите формулу Муавра.
15. Что называется корнем n -й степени из комплексного числа?
16. Сколько различных значений имеет корень n -й степени из комплекс
ного числа? Какова их геометрическая интерпретация?
17. Опишите алгоритм извлечения корня n -й степени из комплексного
числа.
18. Сформулируйте определение гиперболических функций.
19. Запишите формулы связи гиперболических и тригонометрических
функций.
3. П р и м е р ы р е ш е н и я з а д а ч
П р и м е р 3.1. Докажите, что множество Q[\/2] всех чисел вида о + Ьа/ 2,
где a, b G Q, является числовым полем.
Решение. Требуется проверить, что для любых чисел (а-\-Ь\/2) и (c-\-d\/ 2 )
их сумма, разность, произведение и частное имеют аналогичную струк
туру. Имеем:
(а + Ъ\/2) ± (с + d,\/2) = (а ± с) + (Ь ± d,)\/2 (Е Q[\/2],
(а + Ь\/2) • (с + d \ / 2) = (ас + 2 bd) + (ad + Ьс) \ / 2 G Q[\/2].
Д ля частного проверка несколько сложнее:
о + Ь\/2 (a + b V 2 ) ( c - d V 2 ) ас —2bd ^ be — ad ^ Qry^j
c + d\/2 ( c + d\ / 2 )(c - d \ / 2 ) c2 - 2 d? c2 - 2 d?
42 Гл. 3. Комплексные числа
( 9п \ ( 9п \ ( 9п
*4 = cos — J + .s m — J = exp ( - г —
5 ( elt + e—it 4 5
cos t =
= ^ 4it e~it
(e5it + 5еш е~и + 10em e~2it + III- '- it e^—4it + e_ 5it\
' + 5eu
1 / e.5it + e 5it e3it + e—3it eit _|_ e it
+ 5----- --------- + 10
¥ 2 2
1 5 5
— cos 5t H----- cos 3f H— cos t.
16 16 8
3. Примеры решения задач 45
n 1 _ ,i(n+i)t e 2 - [( e in±lt
■' 2 - - e‘ 2
e*fct = 1 e = _
^ _ eikt
k=0 —
s in n ± it
p" 2 —
i----------------------
^ 4 1----- — e 2 ------
• nts— ’
e "2 - e ~*2*5 )I /r2iii sin —
С = Re e®"2
sin Щ- sin Цр
inl s i n ^ i i# s in ^ s in ^ iif
S = Im e 2 - — - -
sin 4f sin Щ-
^ 1 = ( l . e 2^ fc) 1 /3 = e x p * 2^ k = 0,1, 2.
3
При k = 0 получаем
1.
о
При k = 1
3j—\ 27T% 27Г 27Г
vl = e x p ---- = c o s -------\- г sin — =
l F 3 3 3
1 V3
При k = 2
3/~ \ т:/і
4піѵ т;
4п /1 , , т; 4п
/1
V 1 = е х р ---- = c o s -------\- г sin —
2 Р 3 3 3
1 .у/ 2,
Рис. 3.5. К примеру 3.10 - ~о~
Геометрическая интерпретация решения приведена на рис. 3.5.
П ри м ер 3.11. Вычислите \ / —1.
Решение. Имеем
. 7Г+ 2пк ^
' —1 = V е‘
"з У’
где k = 0, 1, 2. При k = 0 получаем
1^ = ехр і 7г = —1,
при k = 2
. 57Г 1
Рис. 3.6. К примеру 3.11 ехр і — = ---- і —
о F 3 2 2
Геометрическая интерпретация решения приведена на рис. 3.6.
П ри м ер 3.12. Найдите все значения ѵ^—*•
Решение. Поскольку | —i| = 1, arg (—i) = 3п/2, имеем:
1/3 3п + 2пk
^ 1 = (і-е ^ = ехр г- 2 k = 0,1, 2.
3
3. Примеры решения задач 47
При к = 0 получаем
іп
при к = 1
О -г)
о
= ехр — = г;
2
7іп
—i
1 6 2
при k = 2
11 іп
exp ■
1 6 2
Найденные значения корня изобра
жены на рис. 3.7; видно, что соответ
ствующие точки являются вершина
ми правильного треугольника.
„ 1 ѴЗ
П ри м ер 3.13. Найдите все значения у —- +
1 . л/3 . + 2 жк
exp і k = 0,1, 2, 3.
“ 2+ * ^ 4
При k = 0 имеем
1 2m ITT
exp
~Y ~6~ 2
о
k= 1
1 2*7T ^ 2іп 1
exp = exp —— = —-+ *
2 2
1
k= 2
1 2 in ^ 7іп 1 . л/3
exp = e x p ---- = ------i
"3" / 2 F 6 2 2
k= 3
2 in 5іп 1 . -s/3
exp ■ exp ■
Y
1
Y 2 ~ %~ '
М ногочлены
1. О с н о в н ы е п о н я т и я и ф а к т ы
А . М н о г о ч л е н ы . Пусть K — некоторое числовое поле.
Одночленом (от одной переменной x) над полем K называется вы
ражение вида a x k, где a G K — коэффициент одночлена (a = 0), x —
переменная, которая может принимать значения в K. Число k G N U {0}
называется степенью одночлена.
Многочлен степени n (от одной переменной x) над полем K — это
сумма одночленов:
P (x) = aoxn + a ix n-1 + a 2 xn-2 + • • • + an - 2 x 2 + an - ix + an ,
где a 0 = 0 . Если a 0 = 1, то многочлен называется нормированным. Мно
жество всех многочленов от переменной x над полем K обозначается K[x].
Степень многочлена deg P (x ) — это наибольшая из степеней входя
щих в его состав одночленов. Степень нулевого многочлена (т.е. мно
гочлена, все коэффициенты которого нулевые) считается равной —то. В
дальнейшем при необходимости будем указывать степень многочлена при
помощи нижнего индекса: запись P n (x) обозначает многочлен степени n.
Д ля суммы и произведения многочленов P (x ) и Q(x) имеют место
соотношения
deg (P (x) + Q(x)) ^ max { d eg P (x ), deg Q (x )} ,
deg (P (x)Q (x)) = d eg P (x ) + degQ (x).
Ясно, что
P (x )
d<?g ІЦ х) = d e g P (‘T ^ “ deg D{x).
Деление многочленов осуществляется алгоритмом «деления угол
ком».
В. Д е л е н и е с о с т а т к о м . Деление многочленов нацело выполнимо
не всегда, однако всегда возможно «деление с остатком».
4.2. Т е о р е м а (о делении многочленов с остатком). Д л я любых много
членов P n (x) и D m(x) = 0 существуют такие многочлены Qn -m (x) и
R k (x), что имеет место тождество
Pn(x) = D m (x)Q n-m (x) + Rk (x), (4.1)
причём
deg Rk(x) < deg D m(x). (4.2)
Многочлены Qn -m (x) и R k(x), называемые соответственно неполным
частным и остатком 1 [от деления P n (x) на D m(x)], определены един
ственным образом.
Если делить многочлен P n (x) на многочлен первой степени (линей
ный многочлен) x —с, то остаток будет многочленом нулевой степени,
т.е. числом:
Pn(x) = (x —c )Q n - 1 (x) + Ro.
4.3. Т е о р е м а (теорема об остатке). Остаток от деления многочлена
Pn (x) на x —с равен P n (c).
4.4. С л е д с т в и е (теорема Безу2). Многочлен P n (x) делится на x —с без
остатка тогда и только тогда, когда с — корень многочлена P n (x), т.е.
Pn(c) = 0.
Отсюда вытекает, что многочлен степени n не может иметь более n
корней.
Г. С х е м а Г о р н ер а. Деление многочлена на двучлен x —с удобно
производить с помощью алгоритма, известного под названием схемы Гор
нера.
Рассмотрим многочлен
P n (x) = aoxn + a 1 x n-1 + • • • + an - 1 x + an .
Частное от деления P n (x) на x —с представляет собой многочлен степе
ни n — 1:
Q n - 1 (x) = boxn-1 + b1x n-2 +------- + b n - 2 x + b n - 1 ,
an - 1 bn - 1 cЪn -2 , bn - 1 cbn - 2 + an - 1,
an R cbn - 1 R cbn - 1 + an .
Результаты вычислений по этим формулам удобно записывать в таблицу,
называемую схемой Горнера:
ао аі &п—1 &П
С bfc cbfc—\ ~\~ Clfc ^n—1 R
В верхней строке таблицы записаны коэффициенты многочлена P n (x)
в порядке убывания степеней, в нижней — коэффициенты bj частного
Qn -1 (x) и остаток R.
Поскольку, согласно теореме Безу, остаток R от деления многочлена
P (x ) на двучлен x —c равен значению P(c), схема Горнера доставляет
также удобный способ вычисления значения многочлена в точке.
Д . К р а т н ы е к о р н и м н о г о ч л е н а . Если число c является корнем
многочлена P n (x), т.е. P n (c) = 0, то многочлен P n (x) может быть записан
в виде
Pn (x) = (x —c )Q n - 1 (x).
Если при этом число c не является корнем многочлена Qn - 1 (x), то гово
рят, что c — простой корень многочлена P n (x).
В противном случае можно записать
Pn (x) = (x —c)pQ n-p(x),
где многочлен Qn - p (c) = 0, т.е. число c не является корнем многочлена
Qn -p (x). В этом случае говорят, что число c является корнем кратно
сти p многочлена Pn (x).
4.5. Т е о р е м а . Если число c являет ся корнем кратности p многочлена
P (x ), то оно являет ся корнем кратности p — 1 его производной P ' (x).
1. Основные понятия и факты 53
Е. М н о г о ч л е н ы н а д п о л е м к о м п л е к с н ы х ч и с ел .
4.6. Т е о р е м а (основная теорема алгебры; см. с. 36). Любой многочлен
P (x ) € C[x] имеет по крайней мере один комплексный корень. Ины
м и словами, поле комплексных чисел C являет ся алгебраически зам кну
тым.
4.7. С л е д с т в и е . Любой многочлен P n (x) € C[x] имеет ровно n корней,
если каждый корень считать столько раз, какова его кратность.
Таким образом, каж дый многочлен P (x ) € C[x] степени n может
быть разложен в произведение линейных множителей:
Pn(x) = ao(x —ci)(x —C2 ) • • • (x —c„),
причём среди корней c i , . . . , cn могут быть и совпадающие.
Ж . Н е п р и в о д и м ы е м н о г о ч л е н ы . Многочлен P (x ) € K[x] назы
вается неприводимым (над полем K), если он не может быть разложен в
произведение двух многочленов меньшей ненулевой степени.
4.8. Т е о р е м а . Любой многочлен P (x ) € K[x] ненулевой степени можно
разлож ить в произведение неприводимых многочленов1:
P (x ) = Q i(x )Q 2 ( x ) . .. Qm (x),
причём если P (x) = Ri_(x)R2 (x) . ..R ;(x ) —другое разложение такого
типа, то m = l и при подходящей нумерации множ ит елей имеют м е
сто равенства R k(x) = a kQ k(x), k = 1, 2 , . . . , m, где a k € K, a k = 0.
4.9. П р е д л о ж е н и е .
1. Любой многочлен первой степени неприводим.
2. Всякий многочлен P (x ) € K[x] степени ^ 2 , имеющий корень в по
ле K, приводим .2
3. В множ естве C[x] неприводимыми являю т ся только многочлены
первой степени.
4. В множ естве R[x] неприводимыми являю т ся только многочлены
первой степени и многочлены второй степени (квадратные т рёх
члены), не имеющие вещественных корней.
5. В множ естве Q[x] существуют неприводимые многочлены любой
степени.
З. М н о г о ч л е н ы н а д п о л е м в е щ е с т в е н н ы х ч и с е л . К ажды й
многочлен P n (x) € R[x] степени n с вещественными коэффициентами
можно рассматривать и как многочлен с комплексными коэффициента
ми, т.е. R[x] С K[x]. Многочлен, рассматриваемый как элемент множе
ства R[x], может не иметь вещественных корней, однако тот же много
член, рассматриваемый как элемент множества C[x], обязательно имеет
n комплексных корней, если считать каждый корень столько раз, какова
его кратность.
D = 4 (R eс)2 —4 1с12 < 0, так как |с|2 = (R eс)2 + (Im с)2 > (R eс)2.
И . М н о г о ч л е н ы н а д п о л е м р а ц и о н а л ь н ы х ч и с е л . К ажды й
многочлен Q(x) с рациональными коэффициентами может быть пред
ставлен в виде Q ( x ) = |P (.x ), где о, b — целые числа, а Р{х) —многочлен
с целыми коэффициентами. Таким образом, можно ограничиться рас
смотрением многочленов с целыми коэффициентами. Множество таких
многочленов будем обозначать Z[x].
4.13. Т е о р е м а . Пусть
n! = = 1 • 2 • • • (n — 1 ) • n.
По определению полагаем 0! = 1. Число n! равно количеству способов
упорядочить множество, состоящее из n элементов, т.е. составить из эле
ментов этого множества упорядоченное семейство.
Биномиальны м коэффициентом СП называется число
Сг = Ы
п г!(п — г)!
Число СП равно количеству способов извлечь r -элементное подмножество
из n -элементного множества.
4.15. Т е о р е м а . Биномиальные коэффициенты обладают следующими
свойствами:
(1) СП = СП = 1, СП = СП- 1 = n;
k сомножителей
n (n — 1 ) . .. (n —k + 1)
(2) СП
k сомножителей
(3) СП- = СП;
(5) СП + СП + • • • + СП = 2П;
(6 ) СП —СП + • • • + ( —1 )ПСП = 0 .
Приведённые свойства биномиальных коэффициентов позволяют
указать следующий способ их вычисления. Рассмотрим диаграмму
С 0
L g
С 10 С11
L g L g
С20 С21 С22
L g L g L g
/'"'0 г ~<1
С31 2
С32
С3 С3 С3 С3
L \g LL \g L L \ g L L \
г ^0
С А г ^1
Са Г^2
С 4
г^3
Са г^А
Са
В каждом горизонтальном ряду этой диаграммы расположены последо
вательно числа СП, СП, . . . , СП, причём каждое из них равно сумме двух
56 Гл. 4. Многочлены
(a + b)n C kan - k bk
n
k=o
an + СП1a n-1 b + СП2a n-2 b2
2+ + СПan -k bk+
+ ••• + СП-1 abn-1 + bn . (4.3)
2. К о н т р о л ь н ы е в о п р о с ы и з а д а н и я
1. Сформулируйте определения следующих понятий: одночлен, много
член, степень одночлена, степень многочлена, нормированный много
член.
2. К ак определяются операции сложения и умножения многочленов?
3. Чему равна степень произведения двух многочленов?
4. В каком случае степень суммы двух многочленов меньше максималь
ной из их степеней?
5. Сформулируйте теорему о делении с остатком для многочленов.
6. Сформулируйте теорему об остатке.
7. Сформулируйте теорему Безу.
8. Какое максимальное число корней может иметь многочлен степени n?
9. Опишите процесс деления многочлена на x —c с помощью схемы Гор
нера.
10. Сформулируйте определение кратного корня многочлена.
11. Сформулируйте теорему о связи кратности корня многочлена и корня
его производной.
12. Сформулируйте основную теорему алгебры.
13. Сколько корней имеет многочлен P (x ) G C[x]?
14. Что такое неприводимый многочлен?
15. Сформулируйте теорему о разложении многочлена в произведение
неприводимых многочленов.
16. Какие многочлены являются неприводимыми над полем C?
17. Какие многочлены являются неприводимыми над полем R?
3. Примеры решения задач 57
3. П р и м ер ы р еш ен и я задач
П р и м е р 4.1. Разделите многочлен
P (x) = 10x5 —21x4 + 21x3 —3x2 —7x + 6
на многочлен D(x) = 2x2 —3x + 2.
Решение. Применим алгоритм деления многочленов «уголком», состоя
щий в следующем. Разделим старший член многочлена-делимого P (x)
(т.е. одночлен наибольшей степени, входящий в состав P (x ); это 10x5)
на старший член многочлена-делителя D(x) (это 2x2), после чего полу
ченное частное 5x3 умножаем на делитель D(x) и вычитаем полученное
произведение из P (x ). Процесс повторяем до тех пор, пока получающая
ся разность не окажется многочленом, степень которого меньше степени
делителя:
10ж5 — 21 ж4 + 21 х 3 — Зж2 — 7х + 6 2ж2 — Зж + 2
10ж5 — 15ж4 + 10ж3 5ж3 — Зж2 + ж + 3
— 6ж4 + 11 ж3 — Зж2 — 7ж + 6
— 6ж4 + 9ж3 — 6ж2
2ж3 + Зж2 — 7ж + 6
2ж3 — Зж2 + 2ж
6ж2 — 9ж + 6
6ж2 — 9ж + 6
_ 0
Ответ: Q(x) = 5x3 —3x2 + x + 3.
П р и м е р 4.2. Разделите многочлен P (x ) = 3x5 — 2x4 + x3 + 2x + 7 на
многочлен D(x) = x3 + 3x2 —x —2 с остатком.
58 Гл. 4- Многочлены
Реш ение:
Зж5 — 2ж4 + х3 + 2ж + 7 х 3 + Зж2 — х — 2
Зж5 + 9ж4 — Зж3 — 6 ж2 Зж2 — И х + 37
— 11 ж4 + 4ж3 + 6 ж2 + 2ж + 7
- 11ж4 - ЗЗж3 + 11ж2 + 22ж
З7ж3 - 5ж2 - 20ж + 7
З7ж3 + 111ж2 - 37ж - 74
— 116ж2 + 17ж + 81
Итак, частное равно Q(x) = 3x 2 —11ж+37, остаток R(x) = —116ж2+17ж+81.
П р и м е р 4 .3. Разделите многочлен 5ж5 + ж+ 1 на ж + 3 с помощью схемы
Горнера.
Решение. Схема Горнера имеет вид
О
О
СЛ
оі 0 04 1 1
О
to
<3
©
со
= = 05 —
с = -3 Ьо = 5 Ьі = -1 5 Ь2 = 45 Ьз = -1 3 5 Ъ4 = 406 R = -1 2 1 7
Вычисления:
Ь0 = ao = 5,
bi = cbo + ai = (—3) • 5 + 0 = —15,
b2 = cbi + a 2 = (—3) • ( —15) + 0 = 45,
Ьз = cb2 + аз = (—3) • 45 + 0 = —135,
b4 = сЬз + a 4 = (—3) • ( —135) + 1 = 406,
R = cb4 + a 5 = (—3) • 406 + 1 = —1217.
Итак, (неполное) частное равно Q ^ ) = 5ж4 —15ж3 + 45ж2 — 135ж + 406, а
остаток равен R = —1217; кроме того, P (—3) = —1217.
П р и м е р 4.4. Известно, что число c = 2 является корнем многочлена
P (ж) = ж5 —4ж4 + ж3 + 10ж2 —4ж —8 . Найдите кратность этого корня.
Решение. Разделим многочлен P (ж) на ж —2 по схеме Горнера:
00
©
о<і = —4 о2 = 1 04 = —4
л
оо — 1 О'З = Ю
С
с= 2 Ьо = 1 Ьі = - 2 Ь2 = - 3 Ьз = 4 Ь4 = 4 R = 0
Частное имеет вид ж4 —2ж3 —3ж2 + 4ж + 4. Разделим его на ж —2:
со
©
оо — 1 04 = —2 оз = 4 04 = 4
to
с= 2 Ьо = 1 Ьі = 0 Ь2 = - 3 Ьз = - 2 Д = 0
Частное имеет вид жз —3ж —2; делим его на ж —2:
со
©
оо — 1 Оі = 0 оз — —2
to
с= 2 Ьо = 1 Ьі = 2 bo = 1 R =0
3. Примеры решения задач 59
Продолжаем процесс:
ос — 1 оі = 2 о2 = 1
с= 2 Ьо = 1 Ъ\ = 4 Д = 9
00
1 -4 1 10 -4
і
2 1 -2 -3 4 4 0
2 1 0 -3 -2 0
2 1 2 1 0
2 1 4 9
Решение. Делителями свободного члена являются числа ±1, ±2, ±3, ±4,
± 6 , ± 8 , ±12, ±16, ±24, ±48. Вычисляем последовательно значения мно
гочлена P (х) в этих точках с помощью схемы Горнера:
1 3 -12 -20 48
1 1 4 -8 -2 8 20 =4- 1 не является корнем
-1 1 2 -1 4 -6 54 =4- —1 не является корнем
2 1 5 -2 -2 4 0 =>■ 2 является корнем
2 1 7 12 0 =>■ 2 является кратным корнем
6 1 -5 -И -6
1 14 106 215 1
6 2 =4- - не является корнем
6 “У 9~~ “ УГ 6
1 61 155 1
6 0 -5 =4- - не является корнем
_ 6 “У “ УГ 6
1 37 91 1
6 3 -4 =4- — не является корнем
3 “У “У
14 85 77 1
1
“У “У _ 27
2 2
6 -3 -3 -9 0 =4- ——является корнем
“ 3
3 3
6 6 6 0 => —является корнем
2
k аП-к^к
(а + b)n = Y , СПan
nа -k b
k=0
= аП + СПan -1 b + СПan - 2b2 + ••• + СП an -k bk+
+ ••• + СП- ^ -1 + bn . (4.3)
= а [ ^ СП аП-,г bk ) + b ( ^ СП an-k bk ]
k=0 k=0
внесём множитель под знак суммы:
^ С П an -k + 1 bk + Y , СП an-k bk+1
k=0 k=0
62 Гл. 4- Многочлены
n—1
= С0+1 an+1 + ^ Cp+1 a (n+ 1)—(p+1) bp+ 1 + С П+1 bn+1 =
p=0
4----------------- v----------------- '
k=p+1,
p=0 ,...,n—1,
k=1...,n
4. З а д а ч и д л я с а м о с т о я т е л ь н о г о р е ш е н и я
4.1. Разделите многочлен P (x ) на многочлен D(x) с остатком:
(а) P (x ) = 2x 5 + x A+ 4x 3 + 3x 2 + 5x + 2, D(x) = x 2 + x + 1 ;
(б) P (x ) = x 5 —4x 4 + 4x 3 —5x 2 + 7x + 6 , D(x) = x 2 + 2 ;
(в) P (x ) = 3x 5 + 5x 4 + 3x 3 —3x 2 + 3, D(x) = x 2 + 2x + 2;
(г) P (x ) = x 6 + 2x 5 —2x 4 —6 x 3 —6 x 2 —x —3, D(x) = x 3 + 2x 2 + 1.
4.2. Разделите многочлен P (x ) на двучлен D(x) с остатком, используя
схему Горнера:
(а) P (x ) = x A —5x 3 + 7x 2 + x —4, D(x) = x —2;
(б) P (x ) = 2x 4 + 3x 3 + 5x + 3, D(x) = x + 2;
(в) P (x ) = x A+ 4x 3 + 6 x 2 + 7x —9, D(x) = x + 3;
(г) P (x ) = 3xA — 15x3 —x 2 + 6 x, D(x) = x —5
4.3. Найдите значение многочлена P (x ) в точках 1, 2, 3 с помощью схемы
Горнера:
(а) P (x ) = x 5 —3xA+ 2x 3 —x 2 + x + 2;
(б) P (x ) = 2x 5 —3xA+ x 3 + x —2.
4.4. Разложите многочлен P (x ) на неприводимые множители над по
лем R:
(а) P (x ) = x 5 —3xA —5x 3 + 15x2 + 4x — 12;
(б) P (x ) = x 5 —5x 4 + 7x 3 + x 2 —8 x + 4;
(в) P (x ) = x 5 —3xA —6 x 3 + 10x 2 + 21x + 9;
(г) P (x ) = x 5 —x A —5x 3 + x 2 + 8 x + 4;
(д) P (x ) = x 5 —6 x A+ 2x 3 + 36x2 —27x —54;
(е) P (x ) = x 5 + 4x 4 + 7x 3 + 10x 2 + 10x + 4;
(ж) P (x ) = x 5 —8 x 3 + 3x 2 + 4x + 12;
(з) P (x ) = x 5 —x A —x 3 —x 2 + 4x —2.
4.5. Решите уравнения:
М атрицы
1. О с н о в н ы е п о н я т и я и ф а к т ы
А. О с н о в н ы е о п р е д е л е н и я . Матрицей размера m х n (или
(тх п )-м ат р и ц е й ) называется совокупность m n чисел, записанных в виде
прямоугольной таблицы, состоящей из m строк и n столбцов и заключён
ной в скобки. (Подчеркнём, что при указании размера матрицы сначала
указывается количество её строк, а затем — количество столбцов.) Эле
менты матрицы обозначаются буквами, снабжёнными двумя индексами,
которые указывают положение элемента внутри матрицы; при этом ис
пользуются две системы обозначений:
(1) верхний индекс указывает номер строки, ниж ний —номер столбца,
не пересечении которых стоит элемент:
a 11 a 21 «1
an
a 21 a 22 22
n
A
am
1
am
2 am
n
(2) первый индекс указывает номер строки, а второй — номер столбца:
bii bi 2 b1n
&21 b22 b2n
B=
Сокращённые обозначения:
A = ( a j m, B = ( 6ij) .
v j 'n \ J ) mn
Если требуется указать размер матрицы в явном виде, то мы записываем
его под буквой, обозначающей матрицу: A .
mxn
Будем также использовать следующее обозначение: если A = ( a j m
или B = (b ijm n , то {A}j = aj и { B } j = b j ; фигурные скобки здесь
обозначают «операцию извлечения элемента из матрицы».
64
1. Основные понятия и факты 65
x1
xLO
н ''
2
”
x1
М” = ^ X =
x”
а 21 а2 • • а” - 1 а”
.
1
1
а” -1 • • а” - 1
а
, а” а” • • а” - 1 а”
Порядком квадратной матрицы называют количество её строк
(столбцов). Главная диагональ квадратной матрицы состоит из эле
ментов аі, а 2, . . . , а” , а побочная диагональ — из элементов а” , а” - 1 ,
” - і а” . Сумма элементов главной диагонали называется сле
2
дом квадратной матрицы и обозначается tr Л:
tr Л — а 1 + а 2 + ••• + а” — ^ ^ аі;
i= 1
66 Гл. 5. Матрицы
0 • • 0 0
22
a
0 0 a3 • • 0 0
= diag ( l 1l , a 22 , a 3,
3 an-1 n
an - 1, a n } '
0 0 0 n- 1
• • an-1 0
0 0 0 • • 0
nn
a
(iv) верхнетреугольная (правая треугольная) и ниж нетреугольная (ле
вая треугольная) матрицы: у первой из них равны нулю все элемен
ты, расположенные ниже главной диагонали, т.е. aj = 0 для всех
i > j , а у второй — выше главной диагонали, т.е. aj = 0 для всех
i <j:
* * * • •* * * 0 0 • •• 0 0
0 * * • •* * * * 0 • •• 0 0
0 0 * • •* * * * * • •• 0 0
0 0 0 • •* * * * * • •• * 0
0 0 0 • •0 * * * * • •• * *
(v) блочная м ат рица: матрица, элементами которой являются матри
цами; например
a 11 a 12 1 a13 Г Л 1
A ll 1 A 12
A = a 21 = -------- 1----
a
A 21 I A 22
a32 I a33
a31 L 21 1
i '
здесь матрицу A размера 3 х 3 можно рассматривать как блочную
матрицу размера 2 х 2 с блоками
A 11 (a«21n «12
a 22 )
A 12 J a13
a 23
A 21 (« з і a32 A 22 (a 3 3 •
Д ля обозначения блочной матрицы будем использовать квадратные
скобки.
Б . Л и н е й н ы е о п е р а ц и и н а д м а т р и ц а м и . Матрицы A и B на
зываются равными (обозначение A = B), если их размеры совпадают, а
элементы, стоящие на одинаковых местах, равны между собой:
Vi = 1, • • •, m , Vj = 1, n aj bj •
1. Основные понятия и факты 67
L (X i, X 2 , . . . , Xfc) = = j a i X i + « 2X 2 + • • • + a k X k a i , « 2, . . . , «fc G R j .
Можно рассматривать линейные комбинации и линейные оболочки
матриц любого размера, однако на практике чаще всего встречаются
именно линейные комбинации столбцов.
Г. Л и н е й н а я з а в и с и м о с т ь и н е з а в и с и м о с т ь . К ак уже отмеча
лось выше, тривиальная линейная комбинация любых столбцов равна
нулевому столбцу. Возникает вопрос: может ли быть равна нулевому
столбцу нетривиальная линейная комбинация, т.е. такая, в которой хотя
бы один коэффициент ненулевой?
Простой пример показывает, что такая ситуация возможна:
Y '2' V
2
2 4 0
5.2. О п р е д е л е н и е . Столбцы X i , . . . , X k называются линейно зависи
мыми, если существует их нетривиальная линейная комбинация, равная
нулевому столбцу.
Столбцы X i , . . . , Xk называются линейно независимыми, если равен
ство нулевому столбцу их линейной комбинации возможно лишь в случае,
если эта линейная комбинация тривиальна.
Понятие линейной зависимости и независимости можно ввести не
только для столбцов, но и для матриц произвольного размера.
Д . П р о и з в е д е н и е м а т р и ц . Произведением матриц A G R mxs и
B G R sxn называется матрица AB G R mxn, элементы которой вычисля
ются по формуле
{ab}< =
. «; j . y
k=i
Таким образом, элемент {A B }j, расположенный в i-й строке и j -м столб
це матрицы AB, равен сумме попарных произведений элементов i-й стро
ки матрицы A и элементов j -го столбца матрицы B. Ясно, что пере
множить матрицы можно лишь в том случае, когда количество столб
цов первой из перемножаемых матриц равно количеству строк второй.
Схема на рис. 5.1 иллюстрирует правило умножения матриц.
Единичной матрицей 1 называется диагональная матрица, все диа
гональные элементы которой равны 1. Элементы единичной матрицы
обозначаются
„• 1, если i = j,
j = ^0,
0 если i■= j ’
называется символом Кронекера.
1. Основные понятия и факты 69
'0 1 '0 0
0
1
0 0 0 0 0 0
Е. С т р у к т у р а п р о и з в е д е н и я м а т р и ц .
Ck = £ Ai bk.
i=i
(2) k -й столбец матрицы C = AB равен произведению матрицы A на
k -й столбец матрицы B:
Ck = A • B k •
(3) s -я строка матрицы AB равна линейной комбинации строк м ат
рицы B с коэффициентами, представляющими собой элементы s -й
строки матрицы A:
C s = J 2 ak B k•
k=i
(4) s -я строка матрицы AB равна произведению s -й строки матрицы A
на мат рицу B:
C s = As • B.
Ж . О б р а т н а я м а т р и ц а . К вадратная матрица A -1 называется об
ратной для квадратной матрицы A, если выполняются соотношения
AA -1 = A - 1 A = 1.
Матрица, для которой существует обратная, называется обратимой. Не
все матрицы обратимы; очевидно, для нулевой матрицы обратная не су
ществует. Вопрос о существовании обратной матрицы будет решён позже
(см. теорему 6.19, с. 88 ).
5.5. Т е о р е м а . Свойства обратимых матриц:
( 1 ) единичная матрица обратима и 1 -1 = 1 ;
(2) если матрица A обратима, то её обратная матрица A -1 также
обратима и (A -1 )-1 = A;
(3) если матрица A обратима, то обратная матрица A -1 единственна;-
г
'і 2 4 5 0 - 20
41
0
71
2 0
-
1
-
СО
7
V00
2 3 5 6 1 0 2
2
2
г
2
-
5.8. Т е о р е м а . Любую квадратную матрицу A можно единственным
образом представить в виде суммы симметричной Ai и кососиммет
ричной A 2 матриц:
А = -1( А + А Т ) + 1 -( А - А Т ).
= Аі 2
2. К о н т р о л ь н ы е в о п р о с ы и з а д а н и я
1. Что такое матрица? К ак указываются размеры матрицы? К ак нуме
руются её элементы?
2. В какой строке и каком столбце расположен элемент матрицы, обо
значенный аз 5 ? а 2?
3. К ак определяются линейные операции над матрицами?
4. Перечислите свойства линейных операций над матрицами.
5. Сформулируйте определение линейной комбинации столбцов. Что та
кое тривиальная (нетривиальная) линейная комбинация?
6 . Что такое линейная оболочка?
7. К ак определяется произведение матриц? Приведите примеры.
8 . Каким условиям должны удовлетворять матрицы A и B, чтобы (а) су
ществовало произведение AB? (б) существовало произведение BA?
(в) существовали оба произведения AB и BA?
9. Известно, что произведение двух матриц равно нулевой матрице. Сле
дует ли отсюда, что один из сомножителей представляет собой нуле
вую матрицу? Ответ обоснуйте.
10. На какую матрицу нужно умножить матрицу A, чтобы в результате
получить (а) первый столбец A; (б) первую строку A?
11. Что такое символ Кронекера?
12. Перечислите свойства произведения матриц.
13. К ак определяется многочлен от матрицы?
14. Сформулируйте теорему о структуре произведения матриц.
3. Примеры решения задач 73
3. П р и м е р ы р е ш е н и я з а д а ч
П р и м е р 5.1. Найдите линейную комбинацию матриц
1 2 3 'і -3 5
А= , В =
,4 5 6 ,6 -2 0
с коэффициентами а 2, в = -3 .
Реш ение:
СО
1
1
2
5
-
аА + в В = 2 ■
3
63
-
4 5 6
0
2
-
А= 1 2 , В = 65
3 4
найдите произведения АВ и ВА.
Реш ение:
Г
'17
+
А В = 1 2
5
2
6
1
2x 2 2x 1 3 4 65
3 ■5 + 4 ■6 , 39
произведение
В • А = 5 1 2
2x 1 2x 2 6 3 4
не существует, поскольку количество столбцов первой из перемножаемых
матриц не равно количеству строк второй.
П р и м е р 5.3. Д л я матриц
. 1 2
1 2
А 3 , В = 3
4 5 6 46
5
найдите произведения АВ и ВА.
74 Гл. 5. Матрицы
Реш ение:
. 1 2
1 2 3 =
AB = 3 4
4 5 6 5 6
ОС
'і 1 + 2 -3 + 3 5 1 ■2 + 2 ■4 + 3 ■б'
2
2
2
А 1 + 5- 3 + 6 5 4 2 + 5 4 + 6 6 49 64,
1 2' .
1 2 3 =
BA = 3 4
4 5 6
ч5 6
' 1 • 1 + 2 -4 1 • 2 + 2 •5 1 •3 + 2 •6 ' 9 12 15
3 • 1 + 4 -4 3 • 2 + 4 •5 3 •3 + 4 •6 = 19 26 33
„ 5 • 1 + 6 •4 5 • 2 + 6 •5 51 5 -3 + 6 - 6 , 40
2
9
Этот пример показывает, что при перестановке местами матриц-
сомножителей произведения получаются разными; более того, они имеют
разные размеры.
П р и м е р 5.4. Д л я матриц
A= 1 2 5 6
3 4, B =
7 8
найдите произведения AB и BA.
Реш ение:
AB = 1 2 5 6
91
2
2
СО
7 8
5
о
4
4
3
5 6 1 2
BA =
43 6
2 3
3 1
7 8 3 4
4
A= 1 2 , B = 2 3
0 1
0
2
коммутируют.
Решение. Вычисляя произведения AB и BA, убеждаемся, что они совпа
дают:
г
AB =
2
2 0
3 2
2 0
7 2
1
00 1,
2 3 Ч 2'
BA
2
7
0 2 0 2
0
1
3. Примеры решения задач 75
3
-
4 5 2 -^
Решение. К аж д ая из матриц X , Y имеет размер 2 х 2. Проверим, обра
тима ли матрица A:
ad - bc = 2 • 5 - 4 • 3 = - 2 = 0,
т.е. матрица A -1 существует и равна
-У
СО
і_ 1 5 "- 5 / 2 3 /2 '
-
-2 -4 2 2 -1
(а) Умножая обе части уравнения X A = B справа на A - 1 , получим
г
_
X = B A -11 =
4 2
3 1
/5
2 2
/3 -
2
61 7
9 4
- -
-
1
г
1
A
=
4
5/
2
3/ -
2
6
-
сд
2 -^
6
-
2
-1 6 9 7 6
Ответ: (а) X = (б) Y =
-7 4 6 5
76 Гл. 5. Матрицы
1 2 3
A= 4 5 6
7 8 9
в сумму симметричном и кососимметричнои
Решение. Согласно теореме 5.8 имеем
1 2 3 1 4 7 \ 1 3 5
А 1 = І(А + ^ ) = І 4 5 6 + 2 5 8 1= 3 5 7
7 8 9 3 6 9 ) 5
7
9
1 2 3 1 4 7 \ '0 —1 —2
А2 = І ( А - ^ ) = І 4 5 6 — 2 5 8 1 0 —1
1= 0
7 8 9 3 6 9 ) 2 1
4. З а д а ч и д л я с а м о с т о я т е л ь н о г о р е ш е н и я
5.1. Д ля матриц
1 —2 —1 —2 3 —5
A= 0 1 , B = 1 3 , C = —2
3
5 —3 0 5 1 —4
найдите (а) (3A — 2B ) C T , (б) (3A T — 2B T ) C , (в) C T (3A — 2B).
5.2. Д ля любого натурального n найдите
П П
1 1
(а) 1 (б) 1
0 1 1 1
n
n 0 1 0 0
1 1 1
0 0 1 0
(в) 0 0 0 (г)
0 0 0 1
0 0 0
0 0 0 0
5.3. Найдите:
n
cos p —sin p cos ф —sin ф cos p —sin p
(а ) ; (б)
^sin p cos p ^ sin ф cos ф Ksin p cos p '
5.4. Д ля данных матриц A и B найдите AB —BA:
1 —2 3 4 —1 —4
A= 0 1 2 , B = —1 1
2 05
5 —3 —2 3
4. Задачи для самостоятельного решения 77
О пределители
1. О с н о в н ы е п о н я т и я и ф а к т ы
А. С и с т е м а д в у х у р а в н е н и й с д в у м я н е и з в е с т н ы м и . Рассмот
рим систему двух линейных уравнений с двумя неизвестными:
ax + by = p,
cx + dy / = q, (6 . 1)
^Н апример, система
' 0x + 0у = 1,
0х + 0у = 1;
здесь все тр и в ы р аж ен и я a d — bc, p d — qb и qa — pc обращ аю тся в нуль, но решений,
очевидно, нет.
79
80 Гл. 6. Определители
A=
a b a b
det A = |A| = det ad —bc.
c d c d
Этот определитель называют определителем второго порядка (по коли
честву строк и столбцов матрицы A). Таким образом, определитель вто
рого порядка — это функция
det : R 2x2 ^ R,
которая каждой квадратной матрице A G R 2x2 ставит в соответствие
число |A| G R.
С помощью определителей формулы для решения системы могут
быть записаны в виде
a p
b
q d det Ax с q det Ay
x = ( 6 .2 )
a b det A ’ a b det A ’
c d c d
где матрица Ax (соответственно, Ay) получается из матрицы A заме
ной первого (соответственно, второго) столбца на столбец, состоящий из
свободных членов уравнений. Полученные формулы называются форму
лам и Крамера.
6.1. Т е о р е м а . Свойства определителя второго порядка:
(1) линейность по каждому столбцу:
a1 + a 2 b ai b
det = det + det
a
b
2
c1 + c2 d, c1 d c2 d
aa b a b
det = a det
^ac d^ c d
и аналогично для второго столбца;
(2) кососимметричность:
a b b a
det = —det
c d d c
(при перестановке столбцов определитель меняет знак на проти
воположный);
1. Основные понятия и факты 81
(3) нормировка:
det 1
b
a
a
= + a =
d d d
c
d
c
d
=0
2. Определитель не изменяется при транспонировании матрицы:
a с
a c
b d
b d
Это означает, что строки и столбцы определителя равноправны: лю
бое утверждение, справедливое для столбцов, будет справедливым и для
строк.
6.2. Т е о р е м а (критерий обращения в нуль определителя второго поряд
ка). Определитель второго порядка равен нулю тогда и только тогда,
когда его столбцы линейно зависимы.
В. О п р е д е л и т е л ь т р е т ь е г о п о р я д к а . Рассмотрим квадратную
(3 х 3)-матрицу A. Будем считать, что структурными элементами мат
рицы являются не отдельные её элементы, а столбцы:
ai bi ci ai bi ci
A= a 2 b2 C2 = [a, b, c ] , a = a 2 , b = b2 , c = C2
co
a3 b3 c3 a3 c3
b
det 1
ai bi ci ai a2 аз
a2 62 С2 = bi b2 Ьз
аз Ьз сз ci c2 сз
Это означает, что все утверждения, сформулированные и доказан
ные для столбцов определителя, имеют аналоги, справедливые для
строк.
(2) Определитель с двумя пропорциональными (в частности, равными)
столбцами равен нулю.
(3) Определитель не изменится, если к любому его столбцу прибавить
произвольную линейную комбинацию остальных столбцов.
(4) Определитель, содержащий нулевой столбец, равен нулю.
6.5. Т е о р е м а (критерий обращения в нуль определителя третьего по
рядка). Определитель третьего порядка равен нулю тогда и только
тогда, когда его столбцы линейно зависимы.
1. Основные понятия и факты 83
Г. Р а з л о ж е н и е о п р е д е л и т е л я по ст о л б ц у (по с т р о к е ). Рас
смотрим матрицу A и её определитель:
аі 61 сі с1 аі 61
A = а2
, |A| = С2 С2 а2 62
62
63 с3 ,а3 63 С3 а3
В дальнейшем элементы матрицы A будем называть такж е элементами
определителя |A|.
6.6. О п р е д е л е н и е . Минором произвольного элемента определителя
третьего порядка называется определитель второго порядка, полученный
из исходного определителя вычёркиванием строки и столбца, на пересе
чении которых стоит рассматриваемый элемент.
Например, минорами элементов аі, 63 и С2 определителя |A| являются
соответственно определители второго порядка
62 с2 аі 6і
в
с1
63 с3 а2 С2 а3 63
6.7. О п р е д е л е н и е . Алгебраическим дополнением произвольного эле
мента определителя третьего порядка называется минор этого элемента,
умноженный на ( —1 )j +k, где j и k — номера строки и столбца, на пересе
чении которых стоит рассматриваемый элемент.
Например, алгебраическими дополнениями элементов аі, 63 и С2
определителя |A| являются соответственно
62 с2 а с а 6і
Аі , B = - , C2 = —
63 с3 а2 с2 а3 63
Алгебраическое дополнение элемента определителя будем обозначать той
же буквой прописного начертания, что и сам элемент, как показано выше.
6.8. Т е о р е м а . Определитель третьего порядка равен сумме произве
дений элементов любого столбца на и х алгебраические дополнения:
а 6 с
62 С2 61 Сі 61 с1
а2 62 с2 = аі +Й 2 • — + аз
63 сз 63 сз 62 с2
а3 63 с3 Ч,
-Ai =A 2 =Аз
а2 с2 а с а сі
= 6і )+ 62 +63 • ( —
а3 с3 У а3 с3 V а2 С2
=B2 =Ba
Я2 62 аі 6і аі 6і
с1 +С2 • - с3
аз 63 а3 63 а2 62
=Ci = C2 =Ca
84 Гл. 6. Определители
а1 61 С1
а2 62 C2 — аі А і + а 2А.2+ взА з — 61S 1+ 62S 2+ 63S 3 — C1C1+C2C2+C3C3 .
а3 63 C3
6.9. З а м е ч а н и е . Поскольку определитель не меняется при транспони
ровании матрицы, имеют место аналогичные разложения по строкам:
Я1 61 С1
Я2 62 С2 Я1A 1+ 61B 1+C 1C1 — а 2А 2+ 62^ 2+С2С2 — аз A 3 + 63B 3+ C3C3 .
аз 63 сз
а 1Х + 61У + C1Z —Р 1,
а 2Х + 62У + C2Z —P 2,
a3X + 63У + C3Z —P3.
Матрицы
а1 61 c1 а1 61 c1 P 1
а2 62 c2 а2 62 c2 P 2
а3 63 c3 а3 63 c3 P3j
называются основной и расширенной матрицами системы соответствен
но. Введя в рассмотрение столбцы
а1 61 c1 P1
a — 02 , b— 62 , с— C2 , P — P2
co
co
а3 c3
6
an
°an ... °n
a1 a2 an
a2
a2 a.2n
ai , a2 = , ..., an =
. a
. n2
an
X
6.11. О п р е д е л е н и е . Определитель (детерминант) порядка п — это
функция
det : R nxn ^ R,
областью определения которой является множество всех вещественных
(n х n) -матриц, либо функция
det : R n х • • • х R n ^ R,
'-------- V-------- '
n сомножителей
п аргументов, каковыми являются n -элементные столбцы, обладающая
следующими свойствами:
(1) полилинейность по столбцам (т.е. линейность по каждому столбцу):
det [ai + a'/, a 2, . . . , a n] = det [ a i , a 2, . . . , a n] + det [a'/, a 2, . . . , a n] ,
det [a a i, a 2, . . . , a n] = a det [ a i , a 2 , . . . , a n] ,
и аналогично для всех остальных столбцов;
(2) кососимметричность: при перестановке любых двух столбцов опреде
литель меняет знак на противоположный, например,
det [ai, a 2, . . . , an] = —det [a 2 , a i , . . . , an] ;
(3) нормировка:
det 1 = 1
(определитель единичной матрицы равен 1).
К вадратная матрица называется невырожденной, если её определи
тель отличен от нуля, и вырожденной в противном случае.
Свойства полилинейности, кососимметричности и нормировки, вхо
дящие в определение детерминанта, будем называть характеристически
ми, или основными. Из них вытекает ряд производных свойств, полезных
при практическом вычислении определителей.
1. Основные понятия и факты 87
j =1
Имеет место аналогичное разложение по строке:
n
k=i
6.15. Т е о р е м а (фальшивое разложение определителя). Сумма произ
ведений элементов столбца определителя на алгебраические элементы
другого столбца равно нулю :
88 Гл. 6. Определители
Го, j = 1,
k=1 [det A, j = 1.
Д ля систем n уравнений с n неизвестными такж е имеют место фор
мулы Крамера, однако на практике они не используются, поскольку при
водят к большому объёму вычислений.
З. О п р ед ел и тел ь п р ои звед ен и я м атриц.
6.16. Т е о р е м а . Если A и B — квадратные матрицы одного порядка, то
det(A B) = det A • det B.
Обратите внимание, что аналогичного утверждения для суммы мат
риц не существует, т.е., вообще говоря, det(A + B) = det A + det B.
6.17. С л е д с т в и е . Если матрица A имеет обратную, то
-l
det A 1 = (d e t A)
а n1 а n2 а nn
Составим матрицу из алгебраических дополнений Ak элементов а°к мат
рицы A и транспонируем её:
Ai A2 ... A
A n1 A1 A1 . . An '
A A
CNt—
a2 . . . A
A 2n транспони a 2 a2 . . An
A
рование
,A n Ann
An . . . A An . An
. . An
1n
2. К о н т р о л ь н ы е в о п р о с ы и з а д а н и я
1. Сформулируйте определение определителя второго порядка.
2. Перечислите свойства определителя второго порядка.
3. Выведите формулы Крамера для системы двух уравнений с двумя
неизвестными.
4. Сформулируйте определение определителя третьего порядка.
5. Перечислите свойства определителя третьего порядка.
6 . Что такое минор элемента определителя? Что такое алгебраическое
дополнение элемента определителя? В чём различие между этими по
нятиями?
7. Запишите формулы разложения определителя по любому столбцу.
8 . Сформулируйте теорему о фальшивом разложении определителя.
9. Запишите полное разложение определителя третьего порядка.
10. Запишите формулы Крамера для системы трёх уравнений с тремя
неизвестными.
11. Сформулируйте теорему об определителе произведения матриц.
12. Приведите пример квадратных матриц A и B порядка 2, для которых
det(A + B) = det A + det B.
13. Что такое невырожденная матрица?
14. Сформулируйте необходимое и достаточное условие существования
обратной матрицы.
3. П р и м е р ы р е ш е н и я з а д а ч
П р и м е р 6.1. Вычислите определители
cos a —sin a
cos2 a + sin 2 a = 1 .
sin a cos a
(б) Д ля вычисления определителя вычтем из его второй строки удво
енную первую строку:
12345 12347
12345 1 12347 1 = 2.
1 1
—2x + 3y = 12,
11x — 6 y = —7.
90 Гл. 6. Определители
3
det A = ( - 2 ) • ( - 6 ) - 3 • 11 = 12 - 33 = -2 1 ,
2
-
11
6
-
12 3
det Ax = 12 • ( - 6 ) - 3 • ( - 7 ) = - 7 2 + 21 = -5 1 ,
7
6
-
12
det Ay ( - 2 ) • ( - 7 ) - 12 • 11 = 14 - 132 = -118.
2
-
11
7
-
-2 3 x ' 12
A= , X = , B =
11 -- 66 y ч- 7
Вычислим обратную матрицу A -1 с помощью формулы (5.1) из теоре
мы 5.6 (см. с. 71):
' 2 1'
СО
СО
і_ 1 1 7 7
-
-
6
6
- 1
-
- -
-21 “ _ 21 -11 11 2
^ 21 21
2
2
1
-
(p + 2)x - 3y = p,
{ x +
p+ 2 -3
|A| = = p 2 - 1.
1 p - 2
Если p = ±1, то система имеет единственное решение, которое можно
найти по формулам Крамера:
p -3 о х = (р + 1 )(р - 3) _ р - 3
|Ax| = = р 2 — 92р — 3,
-1 p - 2 |А| ( р - 1 )(р + 1 ) р - 1’
3. Примеры решения задач 91
p+ 2 p \АУ\ = ~ 2 (р + 1 )
IAy | = = —2р —2 , У=
1 1 \А\ (р-1)(р+1) р - 1'
Если р = —1, то система имеет вид
I х — 3у = —1,
x — 3у = —1,
т.е. состоит из двух одинаковых уравнений. Взяв у произвольно, у с
найдём с помощью этого уравнения x = 3с — 1.
Если p = 1, то система имеет вид
3x — 3у = 1,
I х — У = —1;
полученные уравнения противоречивы, так что система не имеет реше
ний.
p —3 2
О т вет : при р = ±1 решение единственно: — 7 ; --------7 ]; пРи
p — 1 p —1
р = —1 решений бесконечно много: (3с —1; с), где с — произвольное число;
при р = 1 решений нет.
П р и м е р 6.4. Докажите, что уравнение
а —x 6
0
6 с —х
имеет вещественные корни при любых вещественных а, 6, с.
Решение. Раскрывая определитель, получим квадратное уравнение
(а —х)(с —х) —62 = 0 х 2 —х(а + с) + (ас —62) = 0 .
Его дискриминант неотрицателен,
D = (а + с )2 —4(ас —62) = а 2 —2ас + с2 + 462 = (а —с )2 + 62 ^ 0,
так что уравнение имеет вещественные корни.
П р и м е р 6.5. Пусть все элементы матрицы A второго порядка являются
дифференцируемыми функциями одной переменной х, так что опреде
литель det A этой матрицы такж е является функцией от х. Докажите,
что det A — дифференцируемая функция, причём имеет место формула
а(х) 6 (х)
= ^а(х)й(х) —6 (х)с(х)^ =
с(х) й(х)
а ;(х)^(х) + а(х)^; (х) —6;(х)с(х) —6 (х)с;(х)
92 Гл. 6. Определители
2
1 cos2 y с+ a b 1
2
m 2 3 1 2 3
2 4 —1 + = 0 0
7
—
-4 5 1 5 1
4
—
35 14 0 35 14 0
7 4 -1 •<—1+ = 16 9 0
9 5 В 9 5 □
35 14 5 2
= +1 =7 = 7 • (45 - 32) = 91;
16 9 16 9
здесь мы вынесли за знак определителя общий множитель элементов
первой строки, равный 7.
П р и м е р 6.8. Д л я матрицы из примера 6.7(а) найдите обратную.
Решение. Вычислим обратную матрицу A -1 с помощью теоремы 6.19.
Поскольку определитель равен 91 (см. пример 6.7(а)), обратная матрица
существует. Найдем алгебраические дополнения элементов матрицы A:
4 -1 2 - 1 2 4
A? = + = 9, 1= 2 A3 = + = 26,
5 1 4 1 -4 5
2 3 1 3 1 2
A = - 13, A + 13, A = - 13,
5 1 4 1 -4 5
2 3 1 3 1 2
л? + -1 4 , A3 = - 7, + 0.
4 1 2 1 2 4
Составим матрицу из найденных алгебраических дополнений; после
транспонирования из неё получается присоединённая матрица:
9 2 9 13 -1 4 '
транспони- . у
2
6
13 13 -1 3 )A — 2 13 7
рование
,-1 4 7 0 26 -1 3 0
Обратная матрица равна
9 13 -1 4
А- 1= = — 2 13 7
\А\ 91
26 13 0
2 1 4
-
3 1 2
4
-
4 2 3 -1
3 -1 3 2
94 Гл. 6. Определители
2 —3 1 4 •<—1 + 11 0 —11 10
3 В -4 2 — 3 -| - 2 -| 3 1 —4 2
4 2 3 —1 / + —2 0 11 —5
3 -1 3 2 + 6 0 —1 4
11 0 -11 10
11 10
3 □ -4 2
—
1
1
1• 11
—5
2
5
—2 0 11
—
—
6 1 4
6 0 -1 4 1
11 -11 10 •<—1+ 0
43
5
5
—
-2 11 -5 64 0 39
6 Q 4 — - и —In 6 —1 4
0 -3 4
55 —34 <— + _
64 0 39 = —( —1 )
64 39 —
6 Ш 4
+ -2
4. 1
9 5 —1 5
= 31.
64 39 —14 39
x + 2y + 3z = 14,
2x + 4 y — z = 7,
—4x + 5y + z = 9 .
3. Примеры решения задач 95
9 —
3 ——
4 —
—
4—
X = A-1 B = 2 —
3 7 7 = 2
9—
26 - —
3 0 9 3
4. З а д а ч и д л я с а м о с т о я т е л ь н о г о р е ш е н и я
6.1. Вычислите следующие определители второго порядка; если опреде
литель равен нулю, укажите линейную зависимость его столбцов и ли
нейную зависимость его строк:
34 8 —2 n —— n а+ b а —b
(а) ; (б) ; (в) ; (г)
57 —
0 —
5 n n+ — а —b а+b
(д ) ; (е)
аЬ cos y —cos х sin х —sin y
2
1 - 12 2
а 2 —ab + b2 а —b l+ t2 1 + t2
(ж) ; (з)
а 2 + аb + b2 а+ b - 21 1 - i2
l+ t2 l+ t2
6.2. Д ля данных матриц найдите обратные:
23 —5 2 3 —4 34
(а ) ; (б) (в) (г)
-5 4 3 4 4 3 43
2x + 3y = 7, —5х + 2 y = ——
2,
(а) (б)
—5x + 4y = —3; 3х — 4y = 5;
3х — 4y = 5, 3х + 4y = 5,
(в) (г)
4х + 3y = 5; 4х + 3y = 5.
6.5. Известно, что числа 737, 87—, 938 делятся наа 67. Не выч
вычисляя опре-
737
делителя, докажите, что число 8 7 1 также делится на 67.
938
4- Задачи для самостоятельного решения 97
1 2 3 1 2 3 1 2 3
(а) 4 5 6 ; (б) 2 3 1 ; (в) —2 —1 3 ;
7 8 9 3 1 2 —3 1 —2
а Ь Ь с а 0 ас
+
а
а
Ь
1
(г) Ь а Ь ; (д ) а 0 Ь ; (е) Ьа Ь2 + 1 Ьс
Ь Ь а 0 Ь с са сЬ
2с
+
1
а Ь с 0 а 0 0 х + 1 1 —х
(ж) с а Ь ; (з) х у z ; (и) 1 —х 0 х +1
Ь с а 0 Ь 0 х + 1 1 —х 0
1 1 1 1 1 1 1 1 1
(а) а Ь с ; (б) а Ь с ; (в) а Ь с ;
а 2 Ь2 с2 Ьс ас аЬ а 3 Ь 3 с3
оа
оа
; (д ) sin(e + £)
siin
siin
co
s
2 1 —3 1 4 2 5 35
(а) —1 2 5 ; (б) 2 5 —2 ; (в) 4 —1 4 ;
—3 —1 4, 4 —2 —3 3 —2 4
2 —3 —3 1 1 —3 2
2
3
—3 —3 2 3 2 —11
3
41
8
2х + у — 3z = 8, х + 2у + 4z = 17,
(а) ^ —х + 2у + 5z = —5, (б) { 2х + 5у — 2z = 6 ,
—3х — у + 4z = —11; 4х — 2у — 3z = —9;
5х + 3у + 5z = 5, 2х — 3у — 3z = 4,
(в) ^ 4х — у + 4z = 4, (г) { —3х + 2у — 3z = 4,
3х — 2у + 4z = 6 ; —3х — 3у + 2z = 4;
98 Гл. 6. Определители
x + 2y + 3z = 10, + 2z = - 5 ,
(д) { 2x + 5y + 8 z = 24, (e; - 11 z = 12 ,
СО
N
3x + 8 y + 14z = 39; + = 6.
о
[Указание: используйте результат предыдущей задачи.]
6.10. Вычислите определители четвёртого порядка:
со
1
1 1 2 4 -4 1 4 5 2 3
-
1
СО
1
0 0 -4 0 1 1 3 2 4 6
2
-
; (б)
СО
3 0 -4 5 4
1
2 1 0 1 6
1
4 4
-1 2 4 4 2 4 6 5
1
1
4
3
-
-
4 1 1 2 1 1 2 3 4
4
4
-
-
4 -4 2 -4 6 -1 3 5 6 7 8
(г) (е)
2
-
; (д )
4 0 0 2 8 -1 4 a b c d
1
4
2 3 -4 2 1 4 1 2 4 3 2 1
ГЛАВА 7
Алгоритм Гаусса—Ж о р д а н а
1. О с н о в н ы е п о н я т и я и ф а к т ы
А. М а т р и ц ы у п р о щ ё н н о г о в и д а . Назовём ведущим элементом
строки первый (слева) ненулевой элемент этой строки.
Говорят, что матрица имеет упрощённый вид, если она имеет следу
ющую структуру:
(а) ведущий элемент каждой ненулевой строки равен единице и явля
ется единственным ненулевым элементом в своём столбце; соответ
ствующие столбцы называются базисными;
(б) ведущий элемент каждой строки располагается строго правее веду
щего элемента строки, лежащей выше;
(в) все нулевые строки располагаются ниже всех ненулевых; ненулевые
строки такж е называются базисными.
Таким образом, матрица упрощённого вида выглядит следующим обра
зом:
Вг 0 * ... 0 * *
0
0
0
в0
*
0
-
•• •
0
0
*
*
*
0
0
0
0
0
0
0
...|
•• •
в
0
*
0
*
0 0 0 0 •• • 0 0 0
здесь выделены ведущие элементы строк и базисные столбцы.
Очевидны следующие свойства матриц упрощённого вида:
(i) базисные столбцы матрицы упрощённого вида являются последова
тельными столбцами единичной матрицы;
(ii) каждый столбец, не являющийся базисным, представляет собой ли
нейную комбинацию предшествующих базисных столбцов.
ai at • • • a®.of —a\aS
j ■■■ 0
Oa ■■■ a* ■■■ Ш
1. Основные понятия и факты 101
в * * * * * ••• * * *
0
0 в * * * ••• * * *
0 0 0
0 в *...
0 0 0 0 0 0 ... * * *
* * *
0 0 0 0 0 0 ...
0 0 0 0 0 0 ... 0 0 0
в * *
, 0 0 0 0 0 0 ... 0 0 0
Матрица ступенчатого вида имеет следующую структуру:
( 1 ) ведущий элемент каждой строки (т.е. первый ненулевой элемент
строки) располагается строго правее ведущего элемента строки, ле
жащей выше;
(2 ) все нулевые строки располагаются ниже всех ненулевых.
В отличие от определения матрицы упрощённого вида здесь отсутствует
требование, чтобы ведущий элемент каждой ненулевой строки был равен
единице и являлся единственным ненулевым элементом в своём столбце.
Г. Р а н г м а т р и ц ы . Т е о р е м а о б а з и с н о м м и н о р е.
7.2. Т е о р е м а . Пусть A — некоторая матрица, R( A) — матрица, полу
ченная из A элементарными преобразованиями строк R. Тогда
R(A) = R(1) • A,
где 1 — единичная матрица, R (1) — матрица, полученная из единичной
с помощью тех же самых элементарных преобразований строк R. М ат
рица R (1), называемая матрицей элементарных преобразований, обра
тима.
7.3. Т е о р е м а . Пусть матрица A ' получена из матрицы A элементар
ными преобразованиями строк.
(1) Если столбцы матрицы A линейно независимы, то столбцы м а т
рицы A ' также линейно независимы.
(2) Если меж ду столбцами матрицы A имеется линейная зависи
мость
a 1A 1 + a 2A 2 +------- + a k A n = O,
102 Гл. 7. Алгорит м Гаусса-Ж ордана
а^2 • • • 4 4 4 ... аa І
n2 =>
j 2 . . . aj2
ajji2 . .. a*? jk
Іъ.
а-у . .. 4ik ik
a h
ik . . .
аѣ
an ^nk a^k
j1 '
.. a ikk . .. a ikk
j2 jk
af... am am am am
aj 1 aj 2 ajk . .. an
будем называть её подматрицей (порядка k) матрицы A, соответствую
щей выбранным строкам и столбцам, и обозначать
a a a
i1 i2 . . . i k
A a a a
j1 j2 . . . j k
a a a
Определитель этой подматрицы называется минором (порядка k) мат
рицы A, соответствующим выбранным строкам и столбцам.
2. Контрольные вопросы и задания 103
[A |1 ] - преобр'> [ 1 | A -1 ].
строк
Аналогичную методику можно использовать для вычисления матри
цы A - 1 B:
[ a | b ] пППППППбПр [ і | a -1 B ] .
строк
Таким способом можно находить решения систем уравнений
A X = B, где A — квадратная невырожденная матрица. Действительно,
умножая обе части равенства A X = B на обратную матрицу A - 1 , полу
чим X = A - 1 B.
Чтобы найти матрицу B A - 1 , можно либо использовать элементар
ные преобразования столбцов (вся теория таких преобразований строит
ся аналогично), либо поступить следующим образом:
B A -1 = (( B A - 1 ) T) T = ((A T )- 1 B T) .
2. К о н т р о л ь н ы е в о п р о с ы и з а д а н и я
1. Что такое матрица упрощённого вида? Приведите пример.
2. Перечислите свойства матриц упрощённого вида.
3. Перечислите элементарные преобразования строк.
4. Что такое ведущий элемент? ведущая строка? ведущий столбец?
5. Опишите шаг алгоритма Гаусса—Ж ордана.
6. Сформулируйте правило прямоугольников.
7. Что такое алгоритм Гаусса? В чём его отличие от алгоритма Гаусса—
Ж ордана?
8. Сформулируйте теорему о связи элементарных преобразований строк
матрицы и операции умножения матриц.
104 Гл. 7. Алгорит м Гаусса-Ж ордана
3. П р и м е р ы р е ш е н и я з а д а ч
П р и м е р 7.1. При помощи алгоритма Гаусса—Ж ордан а приведите мат
рицу A к упрощённому виду, укажите её базисные столбцы и линейные
зависимости между столбцами. Чему равен ранг матрицы A? Укажите
какой-либо базисный минор матрицы A.
0 -2 6 2 8 -2
2 1 1 0 0 1
A=
0 - 1 3 1 4 -1
3 13 0 1 0
Решение.
Ш аг 1. В качестве ведущей строки можно выбрать вторую или чет
вёртую строку; выберем вторую. Ведущий элемент второй строки ра
вен 2 ; разделим ведущую строку на ведущий элемент и переставим её на
первое место:
0 -2 6 2 -2 1 1 0 О І
—
—
8
в
2 2
1 1 0 0 1 :2 0 -2 6 2 8 -2
0 -1 3 1 4 -1 0 - 1 3 1 4 - 1
3 1 3 0 1 0 3 13 0 1 0
Ведущей строкой теперь является первая строка, а ведущим столбцом —
первый столбец.
Обратим в нуль все элементы ведущего (первого) столбца, кроме
ведущего элемента; единственный такой элемент — это 3 в четвёртой
строке (этот элемент выделен жирным шрифтом). Выполним следую
щее элементарное преобразование: к четвёртой строке добавим ведущую
(первую) строку, умноженную на (-3 ):
□ *
1
2 0 0 2
0 -2 6 2 8 -2
1
□ 1 1 о о
2 2
0 - 2 6 2 8 - 2
а
=>
0 -1 3 1 4 -1 0 - 1 3 1 4 - 1
3 1 3 0 1 0 0и —!2 22 ио 11 —-2 -
0 0 1
1
2 2 ^ 2 2 2
Ведущей строкой теперь является вторая строка, а ведущим столб
цом — второй столбец.
Обратим в нуль все элементы ведущего (второго) столбца, кроме ве
дущего элемента (они выделены жирным шрифтом). Выполним следую
щие элементарные преобразования:
( 1 ) к первой строке прибавим ведущую (вторую) строку, умноженную
на ( - 1/ 2 );
(2 ) к третьей строке прибавим ведущую (вторую) строку, умноженную
на 2 ;
(3) к четвёртой строке прибавим ведущую (вторую) строку, умноженную
на 1/ 2 .
Результат выполнения:
1 1 1 1 > 0 0 '1 0 1 2 2 0
2 2 2
0
0 -2
П -3 -1 -4
6 2 8 -2
1 2 Иz
<--------- 1+
1
2 о□
0 0
-3
0
- 1
0
- 4
0
1
0
0 1 3 0 1 3 \/ + ч0 0 0 1 -1 -1
2 2 2 ^ 2
Второй столбец матрицы теперь представляет собой второй столбец еди
ничной матрицы порядка 4.
Ш аг 3. В качестве ведущей строки можно выбрать только четвёртую
строку. Делим эту строку на её ведущий элемент ( - 1 /2 ) (он выделен) и
переставляем на третье место:
1 0 2 1 2 0 ' 1 0 1 22 0
2 2
0 1 -3 -1 -4 1 0 1 -3 - 1 -4 1
0 0 0 0 0 0 0 0 0 2 в 2
„0 0 0 Б1 -1 -1 , Н ) „0 0 0 0 0 0
Ведущей строкой теперь является третья строка, а ведущим столбцом —
четвёртый столбец.
Обратим в нуль элементы ведущего (четвёртого) столбца, кроме ве
дущего элемента (они выделены жирным шрифтом), для чего выполним
следующие элементарные преобразования:
( 1 ) к первой строке прибавим ведущую (третью) строку, умноженную
на ( - 1/ 2 );
(2 ) ко второй строке прибавим ведущую (третью) строку.
106 Гл. 7. Алгорит м Гаусса-Ж ордана
Результат выполнения:
1 0 2 1 2 0 ' 1 0 2 0 1 —1
2 •<—1+
0 1 - 3 —1 - 4 1 0 1 -3 0 -2 3
0
0
0 0
0 0
в 2 2
0 0 0 ,
— (- і ) 5 + => 0
0
0 о □ 2 2
0 0 0 0 0
Четвёртый столбец матрицы теперь представляет собой третий столбец
единичной матрицы порядка 4.
Ещё один шаг выполнить невозможно, так как четвертую строку
нельзя выбрать в качестве ведущей: в ней нет ненулевых элементов. Про
цедура закончена, полученная матрица имеет упрощённый вид:
'П о 2 0 1 —1
A' = “ п -з 0 - 2 3
0 0 о□ 2 2
ч0 0 0 0 0 0
Её первый, второй и четвёртый столбцы (Ai, A2, A4) являются базисны
ми (они совпадают соответственно с первым, вторым и третьим столбца
ми единичной матрицы размера порядка 4), а остальные столбцы явля
ются линейными комбинациями базисных:
A3 = 2A1 - 3A2,
A5 = A 1 — 2A2 + 2A4,
A6 = —A'i + 3A2 + 2 A 4 .
К оэффициенты этих линейных комбинаций — не что иное, как элементы
соответствующих столбцов преобразованной матрицы.
К ак известно, элементарные преобразования строк не меняют ли
нейные зависимости между столбцами (теорема 7.3); поэтому в исход
ной матрице A базисными столбцами являются столбцы Ai, A 2 и A 4 , а
остальные столбцы являются линейными комбинациями базисных:
A 3 = 2Ai —3 A 2,
A 5 = Ai —2 A 2 + 2 A 4 ,
A 6 = —Ai + 3 A 2 + 2 A 4 ;
эти соотношения легко проверяются прямым вычислением, например,
'6' 0
1
2
1 2 1
—
сс
=2
3 0 —1
3 3 1
Ai
Поскольку количество линейно независимых (базисных) столбцов мат
рицы равно трём, rk A = 3.
3. Примеры решения задач 107
ОО
' 0 -2 6 2 *
2
0 -2 2
-
^
2 1 1 0 0 1 123
A = 2 1 0
0 -1 3 1 4 -1 124
0 -1 1
„3 1 3 0 1 0
Очевидно, определитель полученной подматрицы равен нулю (в ней пер
вая и третья строки пропорциональны) и потому базисным минором не
является. Рассмотрим подматрицу, образованную первым, вторым и чет
вёртым столбцами и первой, второй и четвёртой строками матрицы A :
0 -2 6 2 8 -2 * ^
0 -2 2
2 1 1 0 0 1 124
A = 2 1 0
0 - 1 3 1 4 - 1 124
3 1 0
3 13 0 1 0
Раскрывая определитель этой подматрицы по последнему столбцу, нахо
дим её определитель, равный (- 2 ). Этот определитель является одним
из базисных миноров матрицы A ; он образован первым, вторым и чет
вёртым столбцами и первой, второй и четвёртой строками матрицы A .
П р и м е р 7.2. Д окаж ите правило прямоугольников.
Решение. Рассмотрим матрицу
Р q r s
а b d в
x y z u
Проведём один шаг алгоритма Гаусса—Ж ордана, выбирая в качестве
разрешающей строки и разрешающего столбцы строку и столбец, на пе
ресечении которых стоит элемент с. Целью является обращение в нуль
всех элементов разрешающего столбца (разумеется, кроме самого эле
мента с). Д ля уничтожения элемента r (при очевидном условии r = 0,
иначе ничего преобразовывать не требуется) выполним предварительно
следующие вспомогательные элементарные преобразования:
( 1 ) первую строку матрицы умножим на с;
(2 ) вторую (разрешающую) строку умножим на г;
в результате получим
P Я r s •c cp cq c r cs
a b Вd •r ra rb rd
x y z u, x y z u
ср — ra cq — rb 0 cs — rd cp — ra cq — rb 0 cs — I'd
га rb I'd a b В d
x у z u , „ x у z u ,
Аналогично уничтожаем элемент z (если z = 0 ), для чего сначала вы
полняем вспомогательные преобразования:
( 1 ) третью строку матрицы умножим на ведущий элемент с;
(2 ) вторую (ведущую) строку умножим на z;
в результате получаем матрицу
cp — ra cq — rb 0 cs — rd
za zb zd
cx cy cz cu
Вычитая из третьей строки вторую (ведущую) и после этого возвращая
ведущей строке её первоначальный вид, получим
cp — ra cq — rb 0 cs — rd cp — ra cq — rb 0 cs — rd
za zb zd a b В d
cx - za cy - zb 0 cu - z d , 4cx - za cy - zb 0 cu - z d t
Цель достигнута: все элементы ведущего столбца, кроме ведущего эле
мента, стали равны нулю. Анализ выражений элементов полученной мат
рицы и приводит к правилу прямоугольников.
П р и м е р 7.3. Приведите к упрощённому виду матрицу A, укажите её
базисные столбцы и линейные зависимости между столбцами, найдите
ранг и укажите какой-либо базисный минор:
0 1 2 3 15 1
0 -1 -2 -3 1 1 1
A=
3 0 3 -6 1 6 -8
-2 1 0 7 0 0 6
Решение.
Ш аг 1. Первая и вторая строки начинаются с нулей, поэтому в ка
честве разрешающей строки выбираем третью. Переставим её на первое
место:
0 1 2 3 1 5
0 -1 -2 -3 1 1
1
1
ш0 - 1 - 23 -- 36 11 16 - 8
0
1
=>
m 0 3 -6 1 6 -8 0 1 2 3 15 1
-2 1 0 7 0 0 6 -2 1 0 7 0 0 6
3. Примеры решения задач 109
0 3 -6 1 6 —8 ' ' и0 3 -6 1 6 -8
0 -1 - 2 -3 1 1 1 0 1 2 3 -1 -1 -1
0 1 2 3 1 5 1 0 1 2 3 1 5 1
-2 1 0 7 0 0 6 , ч 0 3 6 9 2 12 2
Ш аг 2. В качестве разрешающей выбираем вторую строку; при этом
разрешающим столбцом будет второй столбец. Применяя правило пря
моугольников, получаем
3 0 3 -6 1 6 -8 3 0 3 -6 0 3 -9
0 1 2 3 -1 -1 -1 0 1 2 3 0 2 0
0 0 0 0 3 В1 0 0 0 0 3 1□
„0 0 0 0 1 3 1 , „0 0 0 0 0 0 0
Следующий шаг выполнить невозможно, поскольку четвёртая строка
(единственная, не побывавшая в роли ведущей) нулевая. Д еля первую
строку на её ведущий элемент 3, получаем упрощённый вид матрицы:
1 - 2 0 1 - 3 '
2 3 0 2 0
о оЦз 1 '
0 ООО 0 ,
Базисными столбцами являются первый, второй и пятый, т.е. столбцы
A 1 , A 2 и A 5 —базисные в преобразованной матрице А', а столбцы A 1, A 2
и A 5 —базисные в исходной матрице A. Остальные столбцы матрицы А
выражаются через базисные следующим образом:
A 3 = A 1+ 2 A 2, A 4 = —2 A 1+ 3 A 2, Аб = A 1+ A 2+ A 5 , A 7 = —ЗА 1+ A 5 .
Матрица A имеет три линейно независимых столбца; следовательно,
rk А = 3.
110 Гл. 7. Алгорит м Гаусса-Ж ордана
□ 2 3 1 0 0 ' 1 2 3 1 0 0
2 3 4 0 1 0 0 -1 -2 -2 1 0
3 4 6 0 0 1 0 -2 -3 -3 0 1
' 1 2 3 1 0 о Л 1 0 -1 -3 2 0
0 В 2 2 -1 0 0 1 2 2 -1 0
„ 0 -2 -3 -3 0 1 J 0 0 1 1 -2 1
1 0 -1 -3 2 0 1 0 0 -2 0 1
=> 0 1 2 2 -1 0 0 1 0 0 3 -2
0 0 В 1 -2 1 , 0 0 1 1 -2 1
Итак, обратная матрица равна
-2 0 1
A -1 = 0 3 -2
1 2 1
В
со
12 -2 3 12
Ч И -6 -7 , ч 0 - 2 1 -1 1 8 ,
Ш аг 2. В качестве ведущей строки выбираем вторую, ведущим столб
цом будет второй столбец, ведущий элемент ( - 21 ):
4
2
о| - 21 -1 1 8 у 1 0 - 2 1 -1 1 8 >
Разделив первую строку на 42, а вторую на (-2 1 ), получим
' '
1 0 17
7
' x = 17
7’ x = f 17
7
=>
^ 0 1 118
21
118
21 ‘
118
<21
Применение метода Гаусса—Ж ордана в этом примере вряд ли приводит
к упрощению решения по сравнению с методом Крамера (см. пример 6.2,
с. 89): пересчет элементов матрицы системы при помощи правила пря
моугольников фактически повторяет вычисление определителей, фигу
рирующих в формулах Крамера.
П р и м е р 7.6 (см. пример 6.10, с. 94). Решите систему уравнений методом
Гаусса—Ж ордана:
x 1 + 2x 2 + 3x 3 = 14,
2Х 1 + 4x 2 — x 3 = 7,
—4Х1 + 5x 22 + x 33 = 9.
' В2
2 4 -1
3 14 '
7 =>
и
Г 2 3 14
0 0 -7 -21 =>
-4 5 1 9 , [ 0 13 13 65
' 1 2 3 14 ' 1 0 1 1 0 0 1 '
4 1
0□ 1 5 1 1 5 0 1 0 2
0
„0 0 1 3 , { 0 0 D3 J 0 0 1 3 ,
112 Гл. 7. Алгорит м Гаусса-Ж ордана
4
2
-
1
-
-
- 3 - 7 - 8 -1 2
17 24 25 32
, -1 0 -1 3 -1 3 -1 6 ,
Способ 2, основанный на описанном в п. Д алгоритме (см. с. 103),
удобно применить, если матрица A -1 заранее не известна:
□ 2 3
2 3 4
1 2 3 4 '
5 6 7 8
1 2 3
0 -1 -2
1 2
3 2
3
1
4
0
3 4 6 -1 -3 -2 -4 0 - 2 - 3 - 4 - 9 -1 1 -1 6
1 2 1 2 4
3
=> 0В 2 -3 -2 -1 0 =>
0 - 2 - 3 -4 -9 -И -1 6
1 0 - 1 7 6 5 4
СО
=> =>
1
0 1 2 -2 -1 0
0 0 1 - 10 --13 - 1 3 - 1 6
10 0 - 3 - 7 - 8 -1 2
=> I 0 1 0 17 24 25 32
0 0 1 I-1 0 -1 3 -1 3 -1 6 ,
так что решением данного матричного уравнения является матрица
-3 -7 - 8 -1 2
X = 17 24 25 32
10 13 13 16
4- Задачи для самостоятельного решения 113
4. З а д а ч и д л я с а м о с т о я т е л ь н о г о р е ш е н и я
7.1. Приведите следующие матрицы к упрощённому виду при помощи
алгоритма Гаусса—Ж ордана. У кажите базисные столбцы и линейные за
висимости между столбцами, определите ранг:
со
2 8 3
1
2 13 5
—
1
(а ) 0 2 —4 4
(б)
4
3 2 4 7
—
со
1
5 1 13 8
4 —1 —7 0 5 —1
(в) —2 3 11 —3 —11 —6
1 2 5 1 1 5
2 1 4 1 —1 5 1
—1 2 —7 3 10 2 —5
(г) 3 0 9 1 —4 8 1
2 —1 8 2 —1 9 —3
3 1 7 1 —3 7 2
2x + у — 3z = 8, х + 2у + 4z = 17,
(а) ^ —х + 2у + 5z = —5, (б) { 2х + 5у — 2z = 6,
—3х — у + 4z = —11; 4х — 2у — 3z = —9;
5х + 3у + 5z = 5, 2х — 3у — 3z = 4,
(в) ^ 4х — у + 4z = 4, (г) ^ —3х + 2у — 3z = 4,
3х — 2у + 4z = 6; —3х — 3у + 2z = 4;
х + 2у + 3z = 10, х — 3у + 2z = —5,
(д) { 2х + 5у + 8z = 24, (е) { —3х + 10у — 11z = 12,
3х + 8у + 14z = 39; 2х — 11у + 30z = 6.
1. О с н о в н ы е п о н я т и я и ф а к т ы
А. С и с т е м ы л и н е й н ы х у р а в н е н и й . Рассмотрим систему, состо
ящую из m линейных уравнений с n неизвестными:
11 12 + a^xn Ь1,
a{xL + a,2 'x2 +
a2 x 1 + a2x2 + + anxn b2,
a ^ x 1 + aVfx2 + • • • + a™xn = bm
Введём матрицы A и A — основную и расширенную матрицы системы, а
также столбец неизвестных X и столбец правых частей B :
a} a 2 . . an Ь1
a2 Ь2
A = a.22 . . a.2
n =
. , An , B =
A
to
1
, a f а™ . • < ,bm ,
a\ Ь1 ' x1
a2 . • «п
a2 Ь2
X ''
a.22 . • «п
2
A= = A ,B , X =
, a f aT • • < bm . xn
(напомним, что квадратные скобки мы используем для обозначения
блочных матриц; см. с. 66). Тогда система может быть записана в мат
ричном виде
A X = B,
а такж е в виде
A 1x 1 + A 2 x 2 + • • • + A n x n = B.
Набор чисел x 1 , x 2, ... , x n (столбец X = [x1 x2 ,x n ) называ
ется решением системы, если при подстановке этих чисел в каждое из
уравнений системы получается верное числовое равенство (соответствен
но, при подстановке столбца в матричное уравнение получается верное
матричное равенство).
Система называется совместной, если она имеет хотя бы одно реше
ние, и несовместной, если она не имеет решений.
115
116 Гл. 8. Системы линейны х уравнений
а ^ 1 + а ^ 2 + • • • + аПхп = 0,
а ^ 1 + а ^ 2 + • • • + аПхп = 0,
a f x 1 + а™ж2 + • • • + а^ж п = 0;
в матричной записи
AX = O или A 1x 1 + A2x 2 + • • • + An x n = O.
Однородная система всегда совместна: числа x 1 = x 2 = • • • = x n = 0
(или, что то же, нулевой столбец) образуют её решение, называемое три
виальным. Однако однородная система может иметь и нетривиальные
(т.е. ненулевые) решения.
8.1. Т е о р е м а . Однородная система имеет нетривиальное решение то
гда и только тогда, когда столбцы её основной матрицы линейно зави
симы.
8.2. Т е о р е м а . Если в однородной системе число неизвестных больше
числа уравнений, то она имеет нетривиальное решение.
8.3. Т е о р е м а . Если X 1, X 2 — два решения однородной системы A X = 0,
то любая их линейная комбинация также является решением этой
системы.
8.4. О п р е д е л е н и е . Фундаментальное семейство решений (или фун
даментальная совокупность решений, или фундаментальная система ре
шений, ФСР) однородной системы — это такой упорядоченный набор ли
нейно независимых решений X 1, X 2 , . . . , X s, что любое решение данной
системы можно представить в виде их линейной комбинации:
X = c1X 1 + c2X 2 + ••• + csX s,
где c1, с2, . . . , cs — числовые коэффициенты. Общим решением системы
называется выражение c1X 1 + c2X 2 + • • • + csX s, позволяющее с помо
щью надлежащего выбора чисел c1,c 2, . . . , c s получить любое решение
однородной системы.
Ф X b X 2, . . . , X s
Г. О д н о р о д н ы е с и с т е м ы у п р о щ ё н н о г о в и д а .
x1 + a,1
ar+1x
+1x r+ 1 ~р ~р ai”j
+ ••• + a” x” = 0,
2
x + a2+1x r+1 + • • • + a” x” = 0,
x r + arr+1x r+1 + + a” x” = 0
118 Гл. 8. Системы линейны х уравнений
xl —C*r+ iX — —аПхп ,
x2 _a2 xr+1 _
a-r + lX —аІ хП;
r -r+ l _
x = —а'r+1X rn
—anX
x1 ar + 1 aicn-r
x2 а2
ar + 1 alcn-r
r
X
x ar + 1с 1 --------- a l c n - r
xr+ 1
x r+2 c2
xn cn - r
ar + 1 —a 1
a2 —a
ar + 1
r —a rn
c1 l r - 1-1
+ ••• + cn
0 1
Д . Н е о д н о р о д н ы е с и с т е м ы у п р о щ ё н н о г о в и д а . Решение неод
нородной системы упрощённого вида
х1 1 хг+ 1 + + а” х” =
'г+ 1х b1,
х 22 '2+1а
хг + 1 + + а” х” = b2,
хr хг + 1 +
'г+ 1х + а” х” = br
может быть найдено аналогично: переписав систему в виде
х1 b1 а'r + 1Jrr+1 —а” х ” ,
2
х = b2 —а;;+1х г+1 —а” х ” ,
хr br —а ; +1х г + 1 --------- r
х
X = ЕГ+1
хГ+2
х”
ЧРНС ОРОС
(выделены свободные неизвестные). Фигурирующее здесь частное реше
ние неоднородной системы (b1, . . . , br , 0 , . . . , 0)T называется базисным ре
шением, отвечающим базисным неизвестным х 1, . . . , х г и свободным
неизвестным хr+1 х”
120 Гл. 8. Системы линейны х уравнений
0 • x 1 + 0 • х 2 + • • • + 0 • x n = 0.
Эти преобразования систем линейных уравнений называются элемен
тарными преобразованиями.
Вместо преобразований самой системы удобно выполнять преобра
зования расширенной матрицы этой системы; при этом элементарным
преобразованиям системы соответствуют элементарные преобразования
строк расширенной матрицы.
Таким образом, для решения произвольной системы (однородной или
неоднородной) нужно сначала привести расширенную матрицу этой си
стемы к упрощённому виду при помощи алгоритма Гаусса—Ж ордана, а
затем выписать решение, как описано выше.
■• • xs ' 1 0 • *
.. x x
. О о
x2
2 9
0 1 • *
. І-Ч
x2 ' •* Xs
xs xs Xs 0 0 • •• 1 *
x2 ■■ x l
x1+1 xs+ s .. x s+1 0 0 • 0 *
x2 s
xn xn ,r n
xn , 0 0 0 *
x2
Искомая система получится, если приравнять нулю выражения, обра
зовавшиеся в правом нижнем углу последней матрицы (они выделены).
Действительно, последний столбец матрицы является линейной комби
нацией предыдущих тогда и только тогда, когда указанные выражения
тождественно обращаются в нуль.
3. Примеры решения задач 121
2. К о н т р о л ь н ы е в о п р о с ы и з а д а н и я
1. Что такое однородная система линейных уравнений? неоднородная?
2. Что такое основная и расширенная матрицы системы уравнений?
3. Что такое решение системы? Какие системы называются совместны
ми? несовместными?
4. Всегда ли совместна однородная система? неоднородная? Приведите
примеры.
5. Что такое эквивалентные системы? Приведите примеры.
6. Сформулируйте достаточные условия существования нетривиальных
решений однородной системы.
7. Сформулируйте и докажите теорему о линейной комбинации решений
однородной системы.
8. Что такое фундаментальное семейство решений однородной системы
уравнений? Что такое общее решение системы?
9. Что такое фундаментальная матрица однородной системы уравнений?
К ак записать общее решение системы с помощью фундаментальной
матрицы?
10. Что такое нормальное фундаментальное семейство решений однород
ной системы уравнений? нормальная фундаментальная матрица?
11. Сформулируйте принцип линейной суперпозиции для решений неод
нородных систем.
12. Что такое система упрощенного вида? Что такое базисная неизвест
ная? свободная неизвестная?
13. К ак записать общее решение однородной системы упрощенного вида?
14. К ак записать общее решение неоднородной системы упрощенного ви-
да?
15. Перечислите элементарные преобразования, переводящие систему ли
нейных уравнений в эквивалентную систему.
16. К ак составить однородную систему линейных уравнений, имеющую
заданное фундаментальное семейство решений?
3. П р и м е р ы р е ш е н и я з а д а ч
П р и м е р 8.1. Запишите общее решение однородной системы упрощен
ного вида
х1 + Зж3 + х 5 = О,
х 1 + 4х3 + 2х5 = О,
ж4 + 2ж5 = 0.
—
x1
CO
CO
сto
1
' -1
i
X2 - 4 c 1 - 2c2 -4 -2
x3я = c1 = с1 1 + с 2 0
4
x4 -c2 0 -1
Сл
, c2 , , 0 , „ 1
ОРОС
(выделены свободные неизвестные). Нормальное фундаментальное се
мейство решений данной однородной системы уравнений состоит из
столбцов X i и X 2 Нормальная фундаментальная матрица Ф данной си
стемы состоит из столбцов X i и X 2, Ф = [Xi, X 2]; общее решение системы
выражается через неё следующим образом:
—
CO
-1 '
-4 -2
с1
X= 1 0
с2
0 -1
, 0 1,
где с 1 и с2 —произвольные постоянные. Обратите внимание, что выде
ленные элементы (значения свободных неизвестных) образуют единич
ную матрицу.
П р и м е р 8.2. Запишите общее решение неоднородной системы упрощён
ного вида:
x1 + 3x 3 + x5 1,
х? + 4ж3 + 2ж5 2, (8.1)
ж4 + 2 х 5 3.
Решение. Сопутствующая однородная система имеет вид
x1 + 3x 3 + x5 0,
х? + 4ж3 + 2х 5 0, (8.2)
ж4 + 2 х 5 0.
Базисными неизвестными в обеих системах (8.1) и (8.2) являются x 1, x 2,
x 4 (они выделены). Перепишем системы в виде
x 1 = 1 —3x 3 —x5, x 1 = —3x3 —x5,
(А) x 2 = 2 - 4 x 3 - 2x5, (Б) x 2 = —4x 3 —2 x5,
x 4 3 x5 x 4 = —x 5.
3. Примеры решения задач 123
х1 1 ' -1
і
3
с
с2
1
3
1
хto
2 - 4 с1 - 2с2 2 -4 -2
= с1 = 0 +С1 1 + с 2 0
3 4
х х
сto
0 -1
3
3
хСл
1 С2 J ,о , , 0 , „ 1
ЧРНС ОРОС
(здесь выделены значения свободных неизвестных).
П р и м е р 8.3. Решите систему однородных линейных уравнений
'0 12 3 1 5 1 '
0 —1 —2 —3 1 1 1
3 0 3 —6 1 6 —8
—2 10 7 0 0 6
Эта матрица была приведена к упрощённому виду в примере 7.3:
'По 1 -2 0 1 —3
0 2 3 0 2 0
0 0 0 о□ 3 1
ч0 0 0 0 0 0 0
здесь выделены базисные столбцы матрицы и коэффициенты при базис
ных неизвестных. Однородная система, соответствующая этой матрице,
имеет вид
+ х3
”3 — 2х4 + х 6 — Зх7 = 0,
+ 2х3 + 3х4 + 2х6 = 0,
с5 + Зх6 + х 7 = 0;
124 Гл. 8. Системы линейны х уравнений
xi _ x3 + 2x4 — x 6 + 3x 7,
2 3 — 3x4 — 2x6,
x5 _ _ 3x6 _ x7
x1 ' c1 + c2 — c3 + c4
x2 - 2с 2 3c
3
c
3
x3 с1
x4 _ c2 _
x5 — c4
3c
3
x6 с3
x7 c44 J
' —Г 1 —1 1
—2 —3 —2 0
1 0 0 0
_c 1 0 + c2 1 + c3 0 + c4 0
0 0 —3 —1
0 0 1 0
- 0, 0 0 1
Столбцы
—1 1 —1 1
—2 -3 -2 0
В 0 0 0
Xi 0 , X2 _ в , X3 _ 0 , X4 _ 0
0 0 —3 -1
0 0 В 0
, 0 , , 0 , , 0 , B<
образуют нормальное фундаментальное семейство решений рассматри
ваемой однородной системы (выделены значения свободных неизвест
ных) .
3. Примеры решения задач 125
Матрица
Г —1 1 —1 п
- 2 -3 - 2 О
И О О О
Ф X 1. X 2 .X 3 . X 4 о о
О 01-—33 - —1
1
о о Ш% о
О О >О о Ц
представляет собой нормальную фундаментальную матрицу системы; об
ратите внимание, что выделенные элементы (значения свободных неиз
вестных) образуют единичную матрицу порядка 4. Общее решение X си
стемы выражается через фундаментальную матрицу формулой X = ФС,
где С = ^е1, c2, c3, c4 —произвольный четырёхкомпонентный столбец.
2 6 2 8 -2 '
1 1 0 0 1
A
1 3 1 4 -1
1 3 0 1 0 ,
0 2 0 1 —1
% □
о о
3 0 - 2
о 2
3
2
0 0 0 0
x x x x
СО
CN 3
ix
1
1
со
= 0
ft
x
3,
2
x
xСл
, 0 ,
Нормальное фундаментальное семейство решений однородной систе
мы получаем, полагая в (8.3)(Б) сначала х3 = 1, х 5 = 0, а затем
x3 = 0 , х5 = 1:
' -2 ' ' -1 '
СО
2
Xi 1 , X2 = 0
0 -2
, 0 , , 1 .
Итак, общее решение неоднородной системы имеет вид
'- 1 ' -2 -1
3 3 2
X= 0 + с1 1 + с2 0
2 0 -2
0 0 1
ЧРНС ОРОС
П р и м е р 8.5. Составьте систему однородных линейных уравнений, для
которой столбцы X i = [1, 2, 3 ,4 T и X 2 = [5, 6, 7, 8 T образуют фунда
ментальное семейство решений.
Решение. Составим из данных столбцов матрицу
1 5 х1
2 6 х2
3 7 ж3
4 8 ж4 ,
и приведем ее к упрощенному виду:
1 5 х1 ' 1 5 х1
2 6 х2 0 - 4 —бж1 + 5ж2 =>
3 7 х3 0 - 8 —7жх + 5ж3
4 8 г>4
„ 0 - 1 2 —8жл + 5ж4
4. Задачи для самостоятельного решения 127
'
4 0 26.T1 - 25у
0 -4 5x 2 —бж1
=>
0 0 —20.x1 + 40.x2 —20.x3
0 0 —40.x1 + бО.т2 —20.x4 ,
Д ля того чтобы третий столбец матрицы был линейной комбинацией
двух предыдущих, требуется обращение в нуль выделенных элементов.
Разделив эти выражения на (—20) и приравняв их к нулю, получаем ис
комую систему уравнений:
x 1 — 2x2 + x3 0,
2x1 — 3x2 + x4 0.
4. З а д а ч и д л я с а м о с т о я т е л ь н о г о р е ш е н и я
8.1. Д ля следующих однородных систем упрощённого вида укажите ба
зисные и свободные неизвестные, найдите Ф СР и запишите общее реше
ние:
(а) x 1 + x2 = 0; x 1 + x3 + x4 = 0,
(б) x„11 +1 x„22 +1 x„3 0; (г) x 2 + x3 + x4 = 0;
x 1 + x 3 = 0, x 1 + x 2 + x 3 = 0,
(в) (д)
x 2 + x 3 = 0; x 1 —x 2 + x 4 = 0.
128 Гл. 8. Системы линейны х уравнений
(а) х 1 + х 2 = 1; х 1 + х3 + х4
(г)
(б) х 1 + х 2 + х3 = 1; х 2 + х3 + х4
х 1 + х 3 = 1, х 1 + х 2 + х 3 = 1,
(в) (д)
х 2 + х 3 = 2; х 1 —х 2 + х 4 = 2.
6 6 6 6
7
х2
х х х х
х
2 8
77 = 0,
(г) Зх1 + 9х3 + х4 — 4х5 + + х
х 2
2х! — + 8х3 + 2х4 — х5 + — 0,
7 7
х х
З 2
2
Зх1 + х + 7х3 + х4 — Зх5 + + 0.
7
В екторная алгебра
1. О с н о в н ы е п о н я т и я и ф а к т ы
А. Н еко то р ы е п о н яти я и з ш ко льн о го к у р с а геом етрии.
Предполагается, что из курса геометрии средней школы читателю из
вестны основные геометрические понятия и факты. Напомним некоторые
из них.
Основными неопределяемыми понятиями в геометрии1 являются
точки, прямые и плоскости. Точки обозначаем прописными латински
ми буквами (A, B, . . . ) , прямые — строчными латинскими буквами (а,
6, . . . ) , плоскости — строчными греческими буквами (а, в, . . . ) . Прямая,
проходящая через точки A и B, обозначается такж е (AB); плоскость,
проходящая через точки A, B и C , обозначается (A B C ).
Термин «параллельность» будем использовать в расширенном смыс
ле: две прямые а и 6 называются параллельными (обозначение а || 6), если
они леж ат в одной плоскости и не имеют общих точек либо если они сов
падают. Аналогично, две плоскости а и в называются параллельными
(обозначение а || в), если они не имеют общих точек либо совпадают.
Плоскость а и прямая а называются параллельными, если они либо
не имеют общих точек, либо прямая лежит в плоскости. Будем считать
по определению, что если а | а, то а | а и наоборот.
Отрезок [AB] — это множество, состоящее из точек A и B и всех
точек прямой (AB), лежащих между 2 A и B. К аждому отрезку [AB]
ставится в соответствие неотрицательное число, называемое длиной этого
отрезка (или расстоянием между точками A и B) и обозначаемое |A B |.
Длина отрезка обладает следующими свойствами:
(1) |AB| = |BA| для любых точек A и B;
(2) |AB| ^ 0 для любых точек A и B, причём |AB| = 0 тогда и только
тогда, когда A = B;
(3) |AB| ^ |A C | + |C B | для любых точек A, B и C, причём
|AB| = |A C | + |C B | тогда и только тогда, когда C G [AB].
Любая точка A, леж ащ ая на прямой а, разбивает эту прямую на два
луча а 1 и а 2 с началом в точке A; эти лучи называются дополнительными
друг к другу. Точка A принадлежит обоим лучам.
130
1. Основные понятия и факты 131
Б . Н ап р авл ен н ы е отрезки.
Г. Л и н е й н ы е о п е р а ц и и н а д в е к т о р а м и : с л о ж е н и е и у м н о ж е
н и е н а ч и с л о . Сумма двух векторов а и b — это вектор, обозначае
мый а + b = с и определяемый одним из следующих двух способов (см.
рис. 9.6).
(1) Правило треугольника. Отложим вектор а от точки А, получим на
правленный отрезок a C ; отложим вектор b от точки B, получим
направленный отрезок B C . Класс эквивалентности с = [-C ] направ
ленного отрезка ОС называется суммой векторов а и b.
(2) Правило параллелограмма. Отложим векторы а и b от точки O, по
лучим направленные отрезки О А и O B. Проведём через точку A
прямую, параллельную (OB), а через точку B — прямую, параллель
ную (OA). Пусть C — точка пересечения построенных прямых. Класс
эквивалентности с = [OC ] направленного отрезка O C называется
суммой векторов а и b.
A
B
A
b
где
■ а1
х
а( аto
A =
у
3
z
столбец координат вектора а.
Используется также запись
а1
х
а A = а2 (ах, ау, az )Т = (а1, а 2, а3)Т ,
у
z У ,
в которой вектор и его столбец координат отождествляются.
Часто координаты вектора, следуя традиции, сложившейся в препо
давании аналитической геометрии, записывают в виде строки, хотя их
следует записывать в виде столбца. Если при решении задачи не исполь
зуется матричная техника, то это допустимо.
Д ля обозначения координат точки используем запись M (x ,y , z) или
M (r), где r обозначает радиус-вектор точки M , т.е. направленный от
резок O M , где O — начало координат. Обратите внимание, что радиус-
вектор точки является связанным (отложенным) вектором, т.е. направ
ленным отрезком, но можно рассмотреть его класс эквивалентности и
получить из него свободный вектор, хотя в большинстве задач это бес-
смысленно.1
1П рим ером осмы сленной задачи, в которой радиус-вектор то ч к и удобно рассм ат
р и в ать к ак свободный вектор, яв л яет ся за д а ч а о переносе н а ч а л а координат (см.
гл. 13).
138 Гл. 9. Векторная алгебра
Ргьо = і щ ь (91)
2. Проекция вектора а на ось , коллинеарную вектору b , равна
ргь а = ^ р . (9.2)
З . О р т о г о н а л ь н ы е б ази сы .
9.15. О п р е д е л е н и е . Базис на плоскости (в пространстве) называется
ортогональным, если векторы, входящие в его состав, попарно ортого
нальны.
Ортонормированный базис является частным случаем ортогонально
го, когда все базисные векторы имеют единичную длину.
9.16. Т е о р е м а . Координаты ( a i , a 2, a 3) произвольного вектора a отно
сительно ортогонального базиса e 1, e 2, e 3 вычисляются по формулам
( а ,е i) ( a , e 2) ( a , e 3) ,п ON
° i — т----------г, «2 — т----------г, о з — т----------г- (У-о)
(ei, ei) (e 2 , e 2 ) (e3, e 3)
В частности, координаты (ax, a y, a z) вектора a относительно орто-
нормированного базиса i, j , k вычисляются по формулам
ax = (a, i), ay = (a, j ) , az = (a, k) (9.4)
Формулы (9.3) и (9.4) называются формулами Гиббса.
И . О р и е н т а ц и я п л о с к о с т и и п р о с т р а н с т в а . Подобно понятию
ориентации прямой (выбора одного из двух возможных направлений на
прямой, каждое из которых представляет собой класс эквивалентности
сонаправленных лучей) можно ввести понятие ориентации плоскости и
пространства. К ак на плоскости, так и в пространстве имеется две воз
можных ориентации, каж дая из которых представляет собой класс экви
валентности базисов относительно следующего отношения эквивалентно
сти: два базиса считаются эквивалентными, если один из них получается
из другого непрерывной деформацией.
Базис на плоскости (i, j называ-
ется правым, если кратчайший по
ворот, переводящий вектор і в век
тор j , осуществляется против ча
совой стрелки, и левым, если этот *j ц
поворот осуществляется по часовой левый базис правьш базис
стрелке (отметим, что это общепри- Рис. 9.8. Ориентация базиса на
нятое в математике соглашение на- плоскости
правление отсчёта углов).
140 Гл. 9. Векторная алгебра
k k
[a, b] = ± (9.5)
hx hy hz
1. Основные понятия и факты 141
2. К о н т р о л ь н ы е в о п р о с ы и з а д а н и я
1. Сформулируйте определение сонаправленных (противоположно на
правленных) лучей.
2. Сформулируйте определения оси; координатной оси.
3. Сформулируйте определение направленного отрезка, равенства на
правленных отрезков.
4. Сформулируйте критерий равенства направленных отрезков.
5. Сформулируйте теорему об откладывании направленного отрезка.
6. Сформулируйте определение свободного вектора.
7. Что значит «отложить вектор от точки»?
8. Сформулируйте определения линейных операций над векторами и пе
речислите их свойства. Сделайте поясняющие чертежи.
9. Что такое линейная комбинация векторов?
10. Сформулируйте определения коллинеарных (компланарных) векто
ров.
11. Сформулируйте критерии коллинеарности двух (компланарности
трёх) векторов.
12. Сформулируйте определение базиса на плоскости (в пространстве),
координат вектора относительно базиса и теорему о единственности
разложения вектора по базису.
13. Что такое ортонормированный базис?
14. Сформулируйте определение ортогональной проекции вектора на пря
мую и на координатную ось. Объясните разницу между этими поня
тиями.
15. Запишите формулы для нахождения ортогональной проекции вектора
на прямую и на координатную ось.
16. Сформулируйте определение скалярного произведения векторов и пе
речислите его свойства.
17. Запишите формулу для вычисления скалярного произведения векто
ров, заданных своими координатами в ортонормированном базисе.
18. Запишите формулу для вычисления длины вектора и угла между век
торами.
19. Сформулируйте определение векторного произведения векторов и пе
речислите его свойства.
20. Запишите формулу для вычисления векторного произведения векто
ров, заданных своими координатами в ортонормированном базисе.
21. Запишите формулу для двойного векторного произведения.
22. Запишите тождество Якоби.
23. Сформулируйте определение смешанного произведения векторов и пе
речислите его свойства.
3. Примеры решения задач 143
B D A B O C D
(— 2 = ac C = ocC - о А І = r 0 - r 1
(см. рис. 9.12), откуда
Ответ : r 2 = 2 r 0 —r 1.
1 2
= - 2 = 0,
34
-1 а + 2в = - 1 ,
а + в
1 3 а + 4в = - 1 .
3. Примеры решения задач 145
-1 2 1 -1
-1 4 3 1
а = — = 1, /? = — = -1 .
12 -2 ’ н
12 -2
3 4 34
Таким образом, x = а — b.
Можно записать ответ, указав столбец координат вектора x относи
тельно базиса а, b, но в этом случае необходимо уточнение, касающееся
базиса, поскольку в данной задаче используется два разных базиса; это
можно сделать, например, так:
1
X в базисе а, b.
1
Аналогично получаем разложение вектора у по базису а, b:
17 Y + 25 = 17,
Y + 5
39 3y + 45 = 9,
откуда y = 5, 5 = 6 и у = 5а + 6b.
П р и м е р 9.6. В треугольнике A B C точка M — середина стороны [AC],
точка K делит сторону [AB] в отношении |A K | : |K B | = 3 : 5 , точка L
делит сторону [BC] в отношении |BL| : |L C | = 2 : 3 . Найдите координаты
вектора —M в базисе —L, —K .
Решение (см. рис. 9.13). План решения задачи таков: сначала выразим
искомый вектор —K через векторы B K и b C , затем выразим векторы
A
-KL
и С К через BA и B K , после чего найдём обратные выражения BA
и B-KC через -AKL и С К и подставим их в выражение для С К .
Вектор B
--M
K выражается через векторы B-KA и B-KC очевидным обра
зом:
вй = -(вХ + вд).
Введём обозначения
B A = а, b c C= с, —К = C K = y.
Имеем:
а =ВІ =вІ +Ь І= -с-х, с = В^ = В ]\+ к ё = -а -у .
5 ’ 8 У
Отсюда получаем
2 5
х = - с — а, y -а -с
5 ’
или, эквивалентно,
5x = 2с - 5а, 8y = 5 а - 8с.
146 Гл. 9. Векторная алгебра
Ответ: ВАІ = —^ гА І —
12 15
ВВ1 = - с - Ь , С С і = - Ь — с,
в б = а В В І = а ^ с - bj , с б = /ЗСС^ =/3 ( ^ Ь - c j
- а - i/3 j b + ( + /3 ) с = - b + с.
а -\— в = 1 а + в = 1-
2 ’
Решением этой системы является пара чисел а = в = 2/3, так что
в 6 = - BBi
с д = -с с і.
3 3
Теперь докажем, что медиана AAi также проходит через точку O и
делится этой точкой в отношении 2 : 1 , считая от вершины. Имеем
2 21 1 2 ___>•
lO = a B + B<3 b+-BB1 b н------ с — b - ( Ь + с) = ^ А А ъ
3 32
что и требовалось.
П р и м е р 9.8. Однородная пластинка имеет форму прямоугольника со
сторонами a и 6, в котором сделан прямоугольный вырез; линии разре
за параллельны координатным осям и проходят через центр пластинки.
Определите положение центра масс пластинки.
Решение. Введём прямоугольную декартову систему координат, начало
которой находится в вершине O пластинки O A D E F B , а оси которой на
правлены вдоль её сторон ОА и ОВ (см. рис. 9.15). В этой системе коор
динат центр масс прямоугольника OA C B находится в точке E (a /2 ; 6/2),
а центр масс прямоугольника E D C F — в точке P (3a/4; 36/4). Обозначим
координаты центра масс Q пластинки O A D E F B через x и у.
Поскольку прямоугольник У
OAC B является объединением F C
шестиугольника O A D E F B и пря
моугольника E D C F , его центр масс
P
можно найти по формуле
E
m i r i + Ш2Г2 D
г Е = ------------------,
mi + m2
где m i, m 2 —массы (площади) ше
стиугольника O A D E F B и прямо За А
O
угольника E D C F , а r i , r 2 — радиус-
векторы их центров масс. Таким об
разом, имеем: Рис. 9.15. К примеру 9.8
a /2 1 Зоб a6
x'
4 4
3 3
a/ /6
6/2 a6 ~ у + т
■>
П р и м е р 9.9. Докажите, что если векторы [а, b], [b, с], [с, а] компланар
ны, то векторы а , b , с также компланарны.
Решение . Вычислим смешанное произведение
[а, b], [b, с], [с, а]^ _ ^[а, b], [[b, с], [с, а]]^ =
Итак, если ^[а, b], [b, с], [с, а]^ _ 0, то (а, b, с) _ 0, т.е. векторы а, b, с
компланарны.
П р и м е р 9.10. Д окаж ите тождество
(а, с) (а, d)
( [а, bL [c, d])
(b, с) (b, d)
Решение Доказательство:
([а, b], [с, d ] ) _ ([а, b], ж) _ (а, [b, ж]) _ (а, [b, [с, d]]) _
x _ (а, с(Ь, d) — d(b, с)) _ (b, d )(a, с) — (b, с)(а, d).
S _ a x ay
bx
_ |а| cos a • |b| sin в —|а| sin a • |b| cos в _ axby —aybx _ x y
bx by
3. Примеры решения задач 149
cos a cos 7
cos a cos в —cos 7 .
1 cos в
Поэтому косинус искомого угла равен
(n i, n 2) cos a cos в —cos 7
|n i | • |n 2 I sin a sin в
П р и м е р 9.14. Найдите ортогональную проекцию P rb а вектора а на
прямую 6, параллельную вектору b, и ортогональную проекцию p rb а
вектора а на ось, определяемую вектором b, где
а (10, —5,19 b (3, —6, 2 T .
Представьте вектор а в виде суммы двух взаимно ортогональных векто
ров, один из которых коллинеарен прямой 6, а второй ортогонален ей.
Решение. Имеем:
|а| = л/10 2 + (—5)2 + 192 b ѵ/32 + ( - 6 ) 2 + 22 = 7,
(а, b) = 10 • 3 + (—5) • (—6) + 19 • 2 = 98.
150 Гл. 9. Векторная алгебра
a = -3 , Ъ= 4 , x = 19
5 2 7
Аналогично получаем
4. З а д а ч и д л я с а м о с т о я т е л ь н о г о р е ш е н и я
9.1. Д ан правильный шестиугольник A B C D E F . Принимая за базисные
векторы AK и —К , найдите в этом базисе координаты векторов B K , CK,
D E , E K , ВіЬ, CJJF, CEE.
9.2. Докажите, что векторы а = i —j и b = 2i + j образуют базис на
плоскости, и найдите разложения векторов x = 11i + j и x = 3j по этому
базису.
9.3. Точки A i( r i) , A 2 ( r 2 ), A s (r 3 ), не лежащие на одной прямой, явля
ются последовательными вершинами параллелограмма. Найдите радиус-
вектор Г4 четвёртой вершины A 4 этого параллелограмма.
9.4. Д аны три точки A i( r i) , A 2 (Г2 ), A 3 ( r 3 ), не лежащие на одной пря
мой. Найдите радиус-вектор точки пересечения медиан треугольника
Ai A 2A 3 .
9.5. В треугольнике A B C проведена биссектриса [AD]. Найдите коорди
наты вектора a K в базисе, образованном векторами A-KB и —К .
9.6. Докажите, что три отрезка, соединяющие середины скрещивающих
ся рёбер тетраэдра, пересекаются в одной точке и делятся этой точкой
пополам.
9.7. Однородная пластинка O A D E C получена из прямоугольника
OA C B со сторонами, равными 2а и 2b, от которого отрезан треугольник
E C D , где D и E — середины сторон [AC] и [BC] соответственно. Найдите
координаты центра масс пластинки в системе координат с началом O и
осями, направленными вдоль сторон —A и o C .
9.8. Из проволочного каркаса кубической формы (ребро куба равно a)
удалено одно ребро. Найдите координаты центра масс полученной фигу
ры в системе координат, оси которой направлены по трём рёбрам куба
так, чтобы изъятое ребро располагалось в плоскости Oxy параллельно
оси Oy.
9.9. Найдите скалярное произведение векторов а и b, если известны их
длины и величина угла между ними:
а b c
(ж) (а, b, c)[x, y] (а, x) (b, x) (c, x)
(а, y) (b, y) (c, y)
(x, а) (x, b) (x, c)
(з) (x, y, г )(а , b, c) = (y, а) (y, b) (y, c)
(z, а) (z, b) (z, c)
(л) ([а, b], [c, d], [e, f ]) = (а, b, d)(c, e, f ) — (а, b, c)(d, e, f ).
Г Л А В А 10
Прямые на плоскости
1. О с н о в н ы е п о н я т и я и ф а к т ы
Основные типы уравнений прямой на плоскости, отнесённых к де
картовой системе координат (косоугольной или прямоугольной, причём
случай прямоугольной системы координат всегда оговаривается):
(1) уравнение с угловым коэффициентом:
y = kx + b,
где k — тангенс угла между прямой и положительным направлением
оси Ox (в прямоугольной декартовой системе координат);
(2) векторное параметрическое уравнение :
r = r 0 + ta,
где го —радиус-вектор опорной точки Мо прямой (т.е. произвольной
фиксированной точки этой прямой), a — направляющий вектор пря
мой (т.е. произвольный вектор, параллельный данной прямой; см.
рис. 10.1), t — вещественный параметр, t G R;
(3) параметрические уравнения в координатах :
x = xo + tax,
y = У0 + t a y,
где (x,y), (x0,y 0), (ax, a y) —координаты векторов г, r 0, a соответ
ственно;
(4) параметрические уравнения прямой, проходящей через две заданные
точки М і ( г і) и М 2(г 2):
( x = xi + t(x 2 - xi),
г = r i + t ( r 2 - r i) ,
I y = yi + t(y 2 - yi)
где ( x i, yi), (x2,y 2) —координаты векторов r i и r 2;
(5) канонические уравнения :
x - x0 y - y0 x - x 0 y - y0
0
ax ay ax ayy
(смысл обозначений тот же, что и ранее);
155
156 Гл. 10. Прямые на плоскости
O O
Рис. 10.1. Задание прямой на Рис. 10.2. Задание прямой нор
правляющим вектором мальным вектором
Mi
r1
O
r 2 = r i - (Г і , п ) D п. (10.1)
(n ,n)
2. Расстояние от точки M i ( r i ) до прямой а выражается формулой
ГЗ = Г 1 - 2 {г' ; п , - ° п . (10.3)
(n , n )
158 Гл. 10. Прямые на плоскости
+ (Ю.4)
ѵ ; ѴА2 + в 2 ’ 1 ;
где ( x i, yi) —координаты точки M i, а прямая а имеет уравнение
Ax + By = D.
Отклонение точки M i (x i ,y i ) от прямой а, заданной нормирован
ным уравнением x cos а + у sin а = р, равно
J(M i, a) = x i cos а + y i sin а —p.
Модуль этой величины равен расстоянию d (M i,a ) от точки M i до пря
мой a, а знак показывает, в какой из двух полуплоскостей лежит точ
ка M i: если J (M i,a ) < 0, то точка M i и начало координат O лежат
в одной полуплоскости, а если J (M i,a ) > 0 — то в разных. Отклонение
точки M i ( r i ) от прямой а, заданной векторным нормальным уравнением
(r, n ) = D, может быть найдено по формуле, аналогичной формуле для
расстояния от точки до прямой:
(5(МЬ а) = ^ . sgn_D,
|n|
где sgn D — зн ак1 числа D.
Пучок прямых (на плоскости) с центром С — это множество п (С )
всех прямых на этой плоскости, проходящих через точку C .
10.2. Т е о р е м а . Пусть (r, n i ) = D i и (r, n 2) = D 2 — уравнения двух
прямых, пересекающихся в точке C . Прямая принадлежит пучку п (С )
тогда и только тогда, когда она задаётся уравнением
( r , а ! П + а2П2^ = а ^ ! + а 2 D2,
где а 1 и а 2 — числа, не равные одновременно нулю. Это уравнение на
зывается уравнением пучка прямых.
2. К о н т р о л ь н ы е в о п р о с ы и з а д а н и я
1. Запишите векторное параметрическое уравнение прямой на плоско
сти. Объясните геометрический смысл всех входящих в уравнение по
стоянных величин.
2. Запишите параметрическое уравнение прямой на плоскости в коорди
натном виде.
3. Запишите каноническое уравнение прямой на плоскости в виде про
порции.
-1 , если x < 0,
sgn x = ^ о, если x = 0,
1, если x > 0.
3. Примеры решения задач 159
3. П р и м е р ы р е ш е н и я з а д а ч
Во всех задачах система координат предполагается прямоугольной.
так как параллельные прямые имеют одинаковые (или, более общо, про
порциональные) нормальные векторы. Поэтому уравнение прямой b, па
раллельной прямой а, имеет вид
x+ 2 y-5 x + 2 y-5
-------= -------- или 0 2x - 3y = - 1 9 .
3 2
160 Гл. 10. Прямые на плоскости
1Здесь и дал ее под уравнением вы сот (биссектрис, сторон и т. д.) будем понимать
уравн ен ия прям ы х, н а которы х л е ж а т вы соты (биссектрисы, стороны и т. д.) и опус
кать скобки в обозначениях п рям ы х и отрезков, т.е. писать, наприм ер, A B к ак дл я
прям ой (A B ), т а к и д л я отрезк а [AB].
3. Примеры решения задач 161
B C : х + 2у = 1, A C : 5 x + 4y = 1 7 , A B : x - 4y = -1 1 .
а (х + 2у — 1) + в(5х + 4у — 17) = 0
r2 г 1 --------7-------7---- п
2
2 10 3
—
1
( r 1, п ) —D Ч' "—5
—
r3 г 1 —2----7------;---- П 3' =
2
4'
(п, п 2
1
1
r 1, n ) —D| |1 - ( ~ 9 ) |
d(A, а) = ѴТо.
М ѴТо
162 Гл. 10. Прямые на плоскости
3 2
и радиус-вектор точки S :
- 31 '' = '- 5
oS? = o A + а ? = o A + 2 ° ^ = 21 ' + 2
4
П р и м е р 10.6. Докажите, что уравнение прямой, проходящей через две
данные точки M i(x i, yi) и M 2 (x 2 , У2 ), может быть записано в следующем
виде:
x у 1
xi yi 1 = 0 .
x 2 y2 1
Решение. Вычтем третью строку определителя из первой и второй:
x y 1 0
x to
y to
x
x
y
y
0= x i yi 1 = 0
to
to
ix
iy
x -
to -
x 2 y2 1 1
to
x - x 2 y - y2
xi - x 2 yi - y 2
Получившееся уравнение есть не что иное, как каноническое уравнение
прямой, проходящей через две заданные точки.
4. Задачи для самостоятельного решения 163
4. З а д а ч и д л я с а м о с т о я т е л ь н о г о р е ш е н и я
10.1. (а) Составьте уравнение прямой, проходящей через точки A(2; 5)
и B ( —3;7).
f x = 3 —2t,
(б) Получите из параметрического уравнения прямой „ ка-
Л I y = 1 + 3t
ноническое уравнение и общее уравнение. ^а
x = 5,
(в) Получите из параметрического уравнения прямой < = 3 7^ ка
ноническое уравнение и общее уравнение. ^y =
, s п „ x+ 2 y —4
(г) Получите из канонического уравнения прямой ------- = -------- пара
метрическое уравнение и общее уравнение. 2 —5
,(д)s Получите
-гг - x — 5 y + 2 пара
из канонического уравнения прямой ------- = --------
метрическое уравнение и общее уравнение. 2 0
(е) Составьте уравнение прямой, проходящей через точку A(13; —7) па
раллельно вектору а(5; 2).
(ж) Составьте уравнение прямой, проходящей через точку A (—4; 2) па-
x+ 8 y —9
раллельно прямой —-— = — — .
1. О с н о в н ы е п о н я т и я и ф а к т ы
А . П л о с к о с т и в п р о с т р а н с т в е . Основные типы уравнений плос
кости в пространстве, отнесённых к декартовой системе координат (ко
соугольной или прямоугольной, причём случай прямоугольной системы
координат всегда оговаривается):
(1) векторное параметрическое уравнение плоскости :
г = г о + ua + vb,
х - хо у - уо z - zо
ax ay az 0
bx b bz
х - х і у - yi z - zi
х 2 - хі У2 - yi z 2 - zi 0
ax ay az
165
166 Гл. 11. Прямые и плоскости в пространстве
O O
Рис. 11.1. Задание плоскости Рис. 11.2. Задание плоскости
направляющими векторами нормальным вектором
г 3 = п - 2 ^Г і,П ^ Д п. (11.3)
(n , n )
Формула (11.2) в координатной записи имеет вид
d(M b а) = | А г \ + Б г / 1 + С д і - Д | , (11.4)
ѵ ; ѴА2 + в 2 + с 2 ;
где ( x i, y i,z i) —координаты точки M i, а плоскость а имеет уравнение
Ax + By + Cz = D.
Отклонение точки M i (xi ,y i , z i ) от плоскости а, заданной норми
рованным уравнением x cos а + y cos в + z cos 7 = p, определяется как
d(M i , а ) = x i cos а + y i cos в + z i cos 7 —p;
модуль этой величины равен расстоянию d(M i, а) от точки M i до плос
кости а, а знак показывает, в каком из двух полупространств лежит
точка M i: если ^ ( М ^ а ) < 0 , то точка M i и начало координат O лежат
в одном полупространстве, а если J(M i, а) > 0 — то в разных.
Пучком плоскостей в пространстве называется множество всех
плоскостей, проходящих через некоторую прямую l, называемую осью
пучка. Пучок с центром l будем обозначать n(l).
11.2. Т е о р е м а . Пусть (r, n i ) = D i и (r, n 2) = D 2 — уравнения двух
(непараллельных) плоскостей, пересекающихся по прямой l. Плоскость
принадлежит пучку п ( 1) тогда и только тогда, когда она задаётся
уравнением
( r , а ! П + а 2П 2^ = а ^ ! + а 2D 2 , (11.5)
где а l и а 2 — числа, не равные одновременно нулю. Это уравнение на
зывается уравнением пучка плоскостей.
168 Гл. 11. Прямые и плоскости в пространстве
O O
Рис. 11.3. К теореме 11.1 Рис. 11.4. К теореме 11.3
z = zo + ta z ,
где (x, y, z), (x0, y0, z0), (ax, a y, a z) — координаты векторов r , r 0, a со
ответственно;
(3) каноническое уравнение прямой :
х - х0 _ у - уд _ z - ZQ
ax ay az
(смысл обозначений тот же);
(4) уравнение в форме Плюккера
[г, a] = b,
где a — направляющий вектор прямой, а b — некоторый вектор, удо
влетворяющий условию b ± a (или, эквивалентно, (a, b) = 0 ) .
Кроме того, прямая может быть задана как пересечение двух плоскостей.
11.3. Т е о р е м а . Даны точка M i ( r i ) и прямая a, заданная векторным
параметрическим уравнением r = r 0 + t a (см. рис. 11.4).
3. Примеры решения задач 169
2. К о н т р о л ь н ы е в о п р о с ы и з а д а н и я
1. Запишите векторное параметрическое уравнение плоскости и объяс
ните геометрический смысл всех входящих в уравнение постоянных
величин.
2. Запишите параметрическое уравнение плоскости в координатном виде
и объясните геометрический смысл всех входящих в уравнение посто
янных величин.
3. Запишите каноническое уравнение плоскости.
4. Запишите уравнение плоскости в отрезках.
5. Запишите векторное нормальное уравнение плоскости.
6. Запишите нормальное уравнение плоскости в прямоугольных коорди
натах.
7. Запишите нормированное уравнение плоскости.
8. Запишите формулу расстояния от точки до плоскости.
9. Запишите векторное параметрическое уравнение прямой в простран
стве. Объясните геометрический смысл всех входящих в уравнение
постоянных величин.
10. Запишите параметрическое уравнение прямой в пространстве в коор
динатном виде.
11. Запишите каноническое уравнение прямой в пространстве.
12. Запишите уравнение прямой в пространстве в форме Плюккера. Ука
жите условие, при котором это уравнение имеет смысл.
13. Запишите формулу расстояния от точки до прямой в пространстве.
14. Сформулируйте определение пучка плоскостей.
3. П р и м е р ы р е ш е н и я з а д а ч
Во всех задачах система координат предполагается прямоугольной.
П р и м е р 11.1. Составьте уравнение плоскости, проходящей через три
заданные точки M i ( —1;5;5), M 2(—3; 1; 5), M3(—5; 4; —4).
170 Гл. 11. Прямые и плоскости в пространстве
x+ 1 y- 5 z- 5 x+ 1 y- 5 z- 5
-3 + 1 1- 5 5- 5 = -2 -4 0 =0
-5 + 1 4- 5 -4 - 5 -4 -1 -9
Раскрывая определитель, получим уравнение искомой плоскости:
18x - 9y - 7z + 98 = 0.
x - 3 У z+ 1
3 1 3 = 0 ^ 7x - 3y - 6 z = 27.
0 2 1
6 4 3 34
4
2
п :r = 3 + a 6 + в 4 , 1i : r = 2 + s -7
6 -1
.6 Д J
3. Примеры решения задач 171
9 1 26 7
/2 : r = 7 + 1 2 , /3 : r = —10 + u 10
Д0 —3 4 5
Д ля каждой из прямых выясните, пересекается ли она с плоскостью,
лежит в плоскости или не имеет с ней общих точек. В случае пересечения
найдите координаты общей точки плоскости и прямой.
Решение. Преобразуем уравнение плоскости п к виду A x + B y + Cz = D.
Опорной точкой плоскости является точка Mo(6; 3; 3), а направляющими
векторами — a = (4;6;1) и b = (3;4;4). Если M( x , y , z ) —произвольная
точка плоскости, то векторы M oM , a и b компланарны, так что опреде
литель, составленный из их координат, равен нулю:
x —6 у —3 z —6
4 6 1 = 0 ^ 20x — 13у —2z = 69;
3 4 4
нормальный вектор плоскости есть n = (20; —13, —2).
Вычислим скалярное произведение вектора n с направляющим век
тором прямой /]_:
/ 20 24
(n , a i) = —13 , —7 = 573.
—2 —1
\
Поскольку (n, a i ) = 0, прямая /і пересекается с плоскостью п. Д ля на
хождения их точки пересечения запишем параметрические уравнения
прямой:
x = 34 + 24s,
У = 2 —7s,
z = 6 — s.
Подставляя эти выражения в уравнение плоскости 20x — 13у —2z = 69,
находим значение параметра s , отвечающее точке пересечения:
20(34 + 24s) — 13(2 —7s) —2(6 —s) = 69 ^ s = —1.
Таким образом, координаты точки пересечения
x = 34 + 24 • ( —1) = 10,
у = 2 —7 • ( —1) = 9,
z = 6 — (—1) = 7 .
Вычислим скалярное произведение вектора n с направляющим век
тором прямой /2:
/ 20 1
(n, a 2 ) = —13 , 2 0
—2 —3
\
172 Гл. 11. Прямые и плоскости в пространстве
\ —2 5
т.е. векторы п и аз ортогональны, и прямая параллельна плоскости (в
расширенном смысле). Проверим, лежит ли опорная точка (26; —10; 4)
прямой І3 в плоскости п:
20 • 26 — 13 • ( —10) —2 • 4 = 642 = 69,
т.е. прямая Із не имеет общих точек с плоскостью п.
П р и м е р 11.5. Найдите каноническое уравнение прямой, которая задана
как пересечение двух плоскостей у + 2z = 1 и х + у + z = 3. В качестве
опорной точки прямой возьмите точку, лежащую в плоскости Оху.
Решение. Найдём опорную точку прямой, лежащую в плоскости Оху, т.е.
имеющую нулевую аппликату:
у + 2z = 1 , ( х = 2,
х + у + z = 3, ^ / у = 1,
z= 0 [ z = 0.
В качестве направляющего вектора возьмём векторное произведение нор
мальных векторов плоскостей:
i j k —1
а = [пі, П 2] = 0 1 2 = ' 2
1 1 1 ч—1'
Таким образом, каноническое уравнение искомой прямой имеет вид
х —2 у —1 z
1 1
П р и м е р 11.6. Найдите необходимое и достаточное условие, при кото
ром прямые в пространстве r = r i + ta i и r = r 2 + s a 2 : (а) скрещиваются;
(б) пересекаются в единственной точке; (в) параллельны, но не совпада
ют; (г) совпадают.
Решение. Имеется четыре возможности взаимного расположения двух
прямых в пространстве.
1. Прямые скрещиваются; тогда они леж ат в параллельных плоско
стях (см. рис. 11.5). Направляющие векторы a i и а 2 прямых не коллине-
арны, а любой вектор, соединяющий произвольно выбранные точки на
3. Примеры решения задач 173
x —3 y —3 z —5 x —4 y —5 z —5
li : І2 :
4 2 1 5 4 1
4 3 1
5 — 3 = 2
—
2
5 5 0
1 2 0
(M iM 2, a i , a2) 4 2 1 0.
5 4 1
3+ 4t,
x 3 y 3 z 5
/1 : — = - г - =t => < У= 3+ 2t,
4 2 1
z= 5+ t;
x= 4+ 5s,
x —4 y —5 z —5
І2 : = s ^ < y = 5+ 4s,
5 ““ 4 ““ 1
z= 5+ s.
3 + 4t = 4 + 5s, ( 4t — 5s = 1, = 1 ( x = —1,
3 + 2t = 5 + 4s, ^ J 2t —4s = 2, ^ ^ J y =1,
5+ 1= 5+ s J t —s = 0 ^ = — J z = 4.
176 Гл. 11. Прямые и плоскости в пространстве
30
— 3 =
"3
со
2 —1
r
Б Б 0
->
Выясним, компланарны ли векторы М іМ з, а і и а з , для чего вычислим
их смешанное произведение:
—3 —2 0
(М іМ з, а і, аз) 4 2 1 Б = 0;
Б 4 1
x —3 у —3 z —5
—0 =Ф 11x —26у + 8 z + 5 — 0.
2 1 6
x —0 у —2 z —5
5 4 1 —0 =Ф 23x —32у + 13z — 1 — 0.
2 -1 -6
( 2x —у —6 z + 27 = 0, ' x = —25/41,
J 11x —26у + 8 z + 5 = 0, ^ < у = 49/41,
J 23x —32у + 13z — 1 = 0 z = 168/41.
178 Гл. 11. Прямые и плоскости в пространстве
3. Рассмотрим прямые li и I4 :
x —3 y —3 z —5 x+ 6 y+ 3 z —3
и ' I4 :
4 2 1 5 4 1
Поскольку направляющие векторы a i = (4; 2; 1) и а 4 = (5; 4; 1) не колли-
неарны, прямые li и I4 не параллельны. Поскольку векторы a i , а 4 и
3 —6
9 6 2
— —
—
— 3 =
"3
со
г
— —
3 5
компланарны, что подтверждается вычислением определителя, состав
ленного из координат этих векторов:
4 2 1
5 4 1
9 6 2
прямые h и I4 леж ат в одной плоскости и пересекаются в единственной
точке. К ак и выше, можно найти уравнение плоскости, в которой лежат
3. Примеры решения задач 179
4. З а д а ч и д л я с а м о с т о я т е л ь н о г о р е ш е н и я
11.1. Составьте уравнения следующих прямых и плоскостей:
(а) уравнение плоскости, проходящей через точку A(2; —3; 1) параллель
но векторам a = (5; —7;4) и b = (0; —1; 1);
(б) уравнение плоскости, проходящей через точки A(3; —5; 2) и
B (—1; 0; 4) параллельно вектору a = (7; —3;0);
(в) уравнение плоскости, проходящей через точки A(2; 3; —1), B ( —5; 0; 1)
и C (3; 6; —3);
(г) уравнения двух параллельных плоскостей, в которых леж ат скрещи-
x —3 y+ 5 z —1 x + 3 y —1 z+ 4
вающиеся прямые — — = — — = — — и —— = ——— = —-— ;
2 —7 3 5 11 0
(д) уравнение плоскости, проходящей через точку A(2; 3; —4) перпенди
кулярно вектору n = (1; 3; —2);
(е) уравнение плоскости, проходящей через точку A( —2; 5; —7) перпен-
x —1 y+ 4 z
дикулярно прямой —-— = —- — = —.
1. О с н о в н ы е п о н я т и я и ф а к т ы
А. Э ллипс.
12.1. О п р е д е л е н и е (фокальное определение эллипса). Эллипсом на
зывается множество точек плоскости, сумма расстояний от каждой из
которых до двух фиксированных точек F и F2 (называемых фокусами
эллипса) есть постоянная величина, которую обозначим 2a; требуется
чтобы эта постоянная была больше расстояния между фокусами, кото
рое обозначим 2c.
Д ля каждой точки M эллипса отрезки F M и F 2M , а такж е их длины
называются фокальными радиусами точки М.
Канонической системой ко
ординат для данного эллипса
называется прямоугольная де
картова система координат, ось
абсцисс которой проходит через
фокусы F и F 2 (она называется
фокальной осью эллипса), а на
чалом является середина отрез
ка F iF 2, соединяющего фокусы.
Уравнение эллипса в канониче
ской системе координат (канони
ческое уравнение эллипса ) имеет Рис. 12.1. Эллипс в канонической
вид системе координат
2
У
(12.1)
a 2 + Ь2
где a — большая полуось эллипса, b — малая полуось эллипса, выражае
мая через a и c формулой
т2 = a 22 —c2
b2 2.
Из уравнения эллипса следует, что эллипс симметричен относительно
обеих координатных осей и относительно начала координат.
Эксцентриситетом эллипса называется величина
c
£ = — < 1.
a
Эксцентриситет характеризует степень «вытянутости» эллипса.
183
184 Гл. 12. Эллипс, гипербола, парабола
Б . Гипербола.
12.3. О п р е д е л е н и е (фокальное определение гиперболы). Гиперболой
называется множество точек плоскости, модуль разности расстояний от
каждой из которых до двух фиксированных точек (называемых фокуса
ми гиперболы) есть постоянная величина, которую обозначим 2a; требу
ется, чтобы эта постоянная была меньше расстояния 2с между фокусами
и отлична от нуля.
Д ля каждой точки M гиперболы отрезки F i M и F 2M , а также их
длины называются фокальными радиусами точки M .
Канонической системой
координат для данной ги
перболы называется прямо
угольная декартова система
координат, ось абсцисс ко
торой проходит через фоку
сы Fi и F 2 (она называ
ется фокальной осью гипер
болы), а началом является
середина отрезка F 1F 2, со
единяющего фокусы. Урав
нение гиперболы в канониче
ской системе координат (ка Рис. 12.3. Гипербола в канонической
ноническое уравнение гипер системе координат
болы )имеет вид
2 2 2
X2 У _
( 12.2 )
2
a~ б2"
где a — вещественная полуось гиперболы, b — мнимая полуось гипербо
лы, выражаемая через a и с формулой
2 = 2с2 —
b2 2 a 2.
Две прямые, имеющие в канонической системе координат уравнения
x у x у
-a - гb = °> -a + т=°>
b
являются наклонными асимптотами гиперболы. Прямоугольник со сто
ронами, параллельными осям гиперболы, диагонали которого лежат на
асимптотах, называется основным прямоугольником гиперболы. Верши
ны основного прямоугольника гиперболы и её фокусы леж ат на одной
окружности.
Из уравнения гиперболы следует, что гипербола симметрична отно
сительно обеих координатных осей и относительно начала координат.
Эксцентриситетом гиперболы называется величина
£ = - > 1.
a
Эксцентриситет характеризует степень «вытянутости» основного прямо
угольника гиперболы и, следовательно, величину угла между её асимп
тотами.
186 Гл. 12. Эллипс, гипербола, парабола
x£ + a, x > 0, x£ a, x > 0,
ri = r2 =
x£ a, x < 0, ^—x£ + a, x < 0.
12.4. Т е о р е м а (директориальное свойство гиперболы). Отношение рас
стояния r 1 (соответственно, r 2) от каждой точки гиперболы до её
левого (соответственно, правого) фокуса к расстоянию d 1 (соответ
ственно, d2) от этой точки до левой (соответственно правой) дирек
трисы одинаково для всех точек гиперболы и равно эксцентриситету:
ri r2
ch~d2~
Обратно, множество всех точек плоскости, обладающих указанным
свойством (т.е. таких, для которых отношение расстояния до фикси
рованной точки к расстоянию до фиксированной прямой одно и то же
и больше 1), представляет собой гиперболу.
Уравнение
2 2
— - У1 = _ і
а? Ь2 "
такж е определяет гиперболу,
называемую сопряжённой по
> отношению к гиперболе
2 2
_ Г =
а2 Ь2 " '
Взаимно сопряжённые гипер
болы имеют общую канониче
скую систему координат, об
Рис. 12.5. Взаимно сопряжённые щий основной прямоугольник и
гиперболы общие асимптоты, а их фокусы
леж ат на одной окружности.
1. Основные понятия и факты 187
В. П арабола.
12.5. О п р е д е л е н и е (фокально-директориальное определение парабо
лы). Параболой называется множество точек, расстояние от каждой из
которых до фиксированной точки (называемой фокусом) равно расстоя
нию до фиксированной прямой (называемой директрисой).
Г. К а с а т е л ь н ы е к эл л и п су , г и п е р б о л е и п а р а б о л е . О п т и ч е
с к и е с в о й ст в а. Касательной к эллипсу называется прямая, имеющая с
эллипсом единственную общую точку. Уравнение касательной к эллип
су (12.1) имеет вид
ххр ууо
1, (12.4)
а 2 + Ь2
где (xo, уо) — координаты точки касания.
Касательной к гиперболе называется прямая, имеющая с гиперболой
единственную общую точку и не параллельная асимптотам гиперболы.
Уравнение касательной к гиперболе (12.2) имеет вид
xxo УУО
1, (12.5)
Ь2
где (xo, уо) — координаты точки касания.
Касательная к параболе — это прямая, имеющая с параболой един
ственную общую точку и не параллельная оси параболы. Уравнение ка
сательной к параболе (12.3) имеет вид
Д . О б щ и е с в о й с т в а э л л и п с а , г и п е р б о л ы и п а р а б о л ы . П ара
бола, эллипс и гипербола (вернее, одна её ветвь) задаются в полярных
координатах одним и тем же уравнением
p
г = -------------- .
1 —£ cos р
При этом полюс полярной системы координат находится в фокусе пара
болы, либо в левом фокусе эллипса, либо в правом фокусе гиперболы.
Парабола получается при £ = 1 , эллипс — при 0 < £ < 1, окружность —
при £ = 0, гипербола — при £ > 1. Число р, называемое фокальным пара
метром, имеет следующий геометрический смысл: это половина длины
фокальной хорды, т.е. хорды, проходящей через фокус перпендикулярно
фокальной оси.
2. К о н т р о л ь н ы е в о п р о с ы и з а д а н и я
1. Сформулируйте фокальное определение эллипса.
2. К акая система координат называется канонической для данного эл
липса?
3. Выведите каноническое уравнение эллипса.
4. Выведите формулы, линейно выражающие фокальные радиусы про
извольной точки эллипса через её абсциссу.
5. Сформулируйте и докажите директориальное свойство эллипса.
6. Что такое касательная к эллипсу?
7. Выведите уравнение касательной к эллипсу.
8. Сформулируйте и докажите оптическое свойство эллипса.
9. Сформулируйте фокальное определение гиперболы.
10. К акая система координат называется канонической для данной гипер
болы?
11. Выведите каноническое уравнение гиперболы.
12. Выведите формулы, линейно выражающие фокальные радиусы про
извольной точки гиперболы через её абсциссу.
13. Сформулируйте и докажите директориальное свойство гиперболы.
14. Что такое касательная к гиперболе?
15. Выведите уравнение касательной к гиперболе.
16. Сформулируйте и докажите оптическое свойство гиперболы.
17. Сформулируйте фокально-директориальное определение параболы.
18. К акая система координат называется канонической для данной пара
болы?
19. Выведите каноническое уравнение параболы.
20. Что такое касательная к параболе?
21. Выведите уравнение касательной к параболе.
22. Сформулируйте и докажите оптическое свойство параболы.
23. Запишите уравнение эллипса, гиперболы, параболы в полярной систе
ме координат и сформулируйте условия, при которых это уравнение
имеет место.
24. Запишите уравнение эллипса, гиперболы, параболы в декартовой си
стеме координат, отнесённой к вершине.
3. П р и м е р ы р е ш е н и я з а д а ч
П р и м е р 12.1. Докажите, что произведение расстояний от фокусов эл
липса до любой касательной к нему является постоянной величиной, и
найдите её.
x2 у2
Решение. Рассмотрим касательную к эллипсу a 2 + -гт
b2г = 1, проведённую
через точку (хо,уо), лежащую на этом эллипсе; её уравнение имеет вид
ххр ууо _ 1
а2 Ь2 " '
192 Гл. 12. Эллипс, гипербола, парабола
b2 a - exo
d2 = 9 9
b4 a 55/1 I У5
b4
1 Л
a a
Найдём произведение этих величин:
exo + a a —exo a —e 2x2o a2 22
e xo
аі«2 =
x x , _u 1 __ !
a Уо Уо a 2 fo/1 " T," Уо
b4 J
t /I О T
b2
,n
X0
a 22
a b4 a a a
a2 22
e2x a2 22
e2x a 2 e2x22
o o o b2
a xo a2 a „2 „2
o
- 1 —7 (a 2 —t 2.x2)
ь2 a 2 b2 b2 72 62
П р и м е р 12.2. Найдите эксцентриситет эллипса, если известно, что в
эллипс можно вписать равносторонний треугольник, одна из вершин ко
торого лежит на большой оси, а противолежащая этой вершине сторона
проходит через фокус эллипса.
Решение. Рассмотрим равносторонний треугольник A B C , вписанный в
эллипс, который задан каноническим уравнением
х 1 у2
a > b.
^ 2 + Ь2 = ’
Предположим, что вершина A совпада
ет с левой вершиной эллипса (—a;0), а
противолежащая ей сторона B C прохо
дит через фокус F 1 или F2 эллипса (ка
кой именно, пока не известно, так что
будем писать просто F ). Ясно, что от
резок B C перпендикулярен фокальной
оси эллипса. Имеем
|B F |= ;,= ^ = (а + С)(“ ~ С) ;
a a
с другой стороны,
Рис. 12.13.
\BF\ = ^= \A F \.
a л/3
с 1 1
1 Н— = —1= =Ф е = —1= — 1 < О,
a
ѴЗ ѴЗ
что невозможно. Следовательно, сторона B C не может проходить через
фокус, ближайший к вершине A.
Во втором случае |A F | = |AF21= a + с, так что
(a + с) (a —с) 1 1
|B F | = |B F 2| = — ( a + c) => t — 1 - — .
a
П р и м е р 12.3.
Докажите, что софокусные (т.е. име
ющие общие фокусы) эллипс и ги
пербола пересекаются под прямым
углом (т.е. их касательные в точке
пересечения перпендикулярны).
Решение. Пусть эллипс и гипербо
ла с фокусами F1 и F 2 пересекают
ся в точке М (см. рис. 12.14). Тогда,
согласно оптическим свойствам эл
липса и гиперболы, касательные к
ним в этой точке являются биссек
трисами внешнего и внутреннего уг Рис. 12.14. Софокусные эллипс и
лов F 1M F 2 соответственно, а потому гипербола
перпендикулярны.
П р и м е р 12.4. Докажите, что касательные к эллипсу отсекают на двух
касательных к нему, проведённых в концах большой оси, отрезки, про
изведение которых равно квадрату малой полуоси эллипса.
Решение. Рассмотрим эллипс, заданный каноническим уравнени
ем (12.1), и проведём через точку (xo, yo), лежащую на этом эллипсе,
касательную с уравнением (12.4). Касательные к эллипсу, проведённые
в концах большой оси, имеют уравнения x = —a и x = a. Найдём точки
пересечения касательных:
x = —a,
Ъ2 ( хп
хрх уоУ_ => —а, — (1 Н-----
1 Уо ^ a
. а2 Ь2
' x = a,
b2 Л xo
х рх уоУ_ => о, — ( 1 ------
1 yo v a
. а 2 + Ь2
Таким образом, длины отрезков, отсекаемых первой касательной на двух
других, равны
b2 b2
1 + fo
У0 a У0 a
194 Гл. 12. Эллипс, гипербола, парабола
Их произведение равно
Ь4 x ои ь4 Уо = 6°
1
Уо ао Уо
что и требовалось доказать.
П р и м е р 12.5. Выведите параметрические уравнения эллипса.
Решение. Поскольку сумма квадратов выражений x / а и y/6 равна едини
це, эти выражения представляют собой соответственно косинус и синус
некоторого угла, который мы и возьмём в качестве параметра:
x = а cos t, y = 6 sin t, 0 ^ t < 2п (mod2n).
В случае а = 6 эллипс превращается в окружность, а параметр t име
ет геометрический смысл угла между радиус-вектором соответствующей
точки окружности и положительным направлением оси Ox.
В случае а = 6 параметр t не ра
вен углу <£>между осью Ox и радиус-
вектором точки эллипса. Действи
тельно, для точек первой четверти
тангенс указанного угла равен
y 6 sin t 6
tg t p = - = -------т = - tg#.
x а cos t а
Параметр t называется эксцентри
ческим параметром; его геометри
ческий смысл проиллюстрирован на
рис. 12.15.
Параметрические уравнения эл
липса, в которых параметром явля
Рис. 12.15. Эксцентрический ется угол у>, обсуждаются в зада
параметр эллипса че 12.11 для самостоятельного реше
ния.
П р и м е р 12.6. Выведите параметрические уравнения гиперболы.
Решение. Запишем каноническое уравнение в виде
х2 у2 _ x y x y
-а - т -а + !6 1.
а о~ ~\)2 6
Отсюда ясно, что
x y x y
а 6 а 6
Положим
x y
-а +6 T =t ;
тогда t = 0 и в силу уравнения гиперболы
x y 1
b t
3. Примеры решения задач 195
4. З а д а ч и д л я с а м о с т о я т е л ь н о г о р е ш е н и я
12.1. Составьте каноническое уравнение эллипса, если
(а) полуоси равны 2 и 5;
(б) большая полуось равна 5, расстояние между фокусами равно 8;
(в) малая полуось равна 12, расстояние между фокусами равно 10;
(г) эксцентриситет равен 3/5, расстояние между фокусами равно 6;
(д) большая полуось равна 10, эксцентриситет равен 3/5;
(е) малая полуось равна 5, эксцентриситет равен 12/13;
(ж) расстояние между директрисами равно 5, расстояние между фоку
сами равно 4;
(з) большая полуось равна 4, расстояние между директрисами равно 16;
(и) малая полуось равна 3, расстояние между директрисами равно 13;
(к) расстояние между директрисами равно 32, эксцентриситет ра
вен 1/2.
12.2. Дан эллипс 9x2 + 25y2 = 225. Найдите его полуоси, фокусы, экс
центриситет, уравнения директрис.
12.3. Составьте каноническое уравнение гиперболы, если
(а) полуоси равны 5 и 4;
(б) расстояние между её фокусами равно 10, мнимая полуось равна 4;
(в) расстояние между её фокусами равно 6, эксцентриситет равен 3/2;
(г) вещественная полуось равна 8, эксцентриситет равен 5/4;
(д) уравнения асимптот 4x ± 3y = 0, а расстояние между фокусами
равно 20;
(е) расстояние между директрисами равно 22^-, расстояние между фо
кусами равно 26;
(ж) расстояние между директрисами равно мнимая полуось равна 3;
(з) расстояние между директрисами равно | , эксцентриситет равен 3/2;
(и) уравнения асимптот 3x ± 4y = 0, расстояние между директрисами
равно 1 2 |.
12.4. (а) Найдите эксцентриситет равносторонней гиперболы (т.е. ги
перболы, полуоси которой равны).
(б) Найдите соотношение, связывающее эксцентриситеты £ и £ двух
взаимно сопряжённых гипербол.
4. Задачи для самостоятельного решения 197
х 22 у 22
12.26. Составьте уравнения касательных к гиперболе — — = —1)
параллельных прямой 2х + 4у = 5, и найдите расстояние между ними.
12.27. Составьте уравнения касательных к гиперболе х 2 —у2 = 16, про
ведённых из точки A( —1; —7).
x 2 2у2
12.28. Из точки Р(1; —5) проведены касательные к гиперболе —------- = 1.
3 5
Найдите расстояние от точки P до хорды гиперболы, соединяющей точки
касания.
12.29. Прямая 2х —у = 4 касается гиперболы, фокусы которой располо
жены в точках (± 3;0). Составьте уравнение этой гиперболы.
x 2 2 у2
12.30. Из правого фокуса гиперболы — — — = 1 под углом а
5 4
(п < а < 3п/2, tg а = 2) к оси Ox направлен луч света. Дойдя до ги
перболы, луч от неё отразился. Составьте уравнение прямой, на которой
лежит отражённый луч.
12.31. Составьте уравнение параболы, если даны её фокус F (2; —1) и
директриса x —у = 1.
12.32. Составьте уравнение касательной к параболе у2 = 8х, параллель
ной прямой 2х + 2у = 3.
12.33. Составьте уравнение касательной к параболе x 2 = 16x, перпен
дикулярной прямой 2х + 4у + 7 = 0.
12.34. Составьте уравнение касательных к параболе у2 = 36х, проведён
ных из точки A(2; 9).
12.35. Из точки P (—3; 12) проведены касательные к параболе у2 = 10х.
Найдите расстояние от точки P до хорды параболы, соединяющей точки
касания.
12.36. Из фокуса параболы у2 = 12х под острым углом а к оси Ox на
правлен луч света; известно, что tg а = 3/4. Дойдя до параболы, луч от
неё отразился. Составьте уравнение прямой, на которой лежит отражён
ный луч.
Г Л А В А 13
1. О с н о в н ы е п о н я т и я и ф а к т ы
А. П р е о б р а з о в а н и е б а зи с о в и к о о р д и н а т в е к т о р о в . Пусть на
плоскости заданы два базиса (не обязательно ортогональные):
E = (eb e 2 , E ' = (e i, e 2 .
Будем называть базис E старым, а базис E ' — новым.
Векторы нового базиса E ' можно разложить по старому базису:
' 1 2
ei = ci ei + ci e2,
e 21 _— C2ei
1 ' + C2e
1 2. (13.1)
Составим матрицу, столбцы которой состоят из координат новых базис
ных векторов относительно старого базиса:
ci c2
ci ci
C=
c2
ci c2
c2
Эта матрица называется матрицей перехода от базиса E к базису E .
З а м е ч а н и е . Обратите внимание, что координаты новых базисных век
торов относительно старого базиса образуют столбцы матрицы перехо
да. Например, если выражения векторов нового базиса через векторы
старого базиса имеют вид
e i = 2ei + 3e2,
e2 = 4ei + 5e2,
то матрица перехода имеет вид
24
C
35
М атричная форма записи формул (13.1):
E ' = EC. (13.2)
Формулы (13.1) и (13.2) называют формулами преобразования базиса.
Линейная независимость векторов базиса влечёт линейную незави
симость столбцов матрицы перехода C и, следовательно, её невырожден
ность и обратимость. Будем обозначать элементы обратной матрицы C - i
через j
200
1. Основные понятия и факты 201
Б . П р е о б р а з о в а н и е к о о р д и н а т т о ч е к н а п л о с к о с т и . Пусть на
плоскости заданы две аффинные системы координат: O E (старая) и O 'E '
(новая), где E = (e i, e ° и E = (el, e ° — старый и новый базисы, свя
занные формулами перехода (13.1) или (13.2). Пусть го = OO' — радиус-
вектор начала новой системы координат относительно старой и по ста
рому базису:
OO' = x i e i + x ° e ° . (13.6)
Введём столбцы координат
1 x 11 Гx 'i ^
Xo = x оo , X = о , X' =
xo ,x° ,
Связь столбцов координат X точки A в старой системе координат и X '
в новой системе координат выражается формулой
X = Xo + C X '. (13.7)
202 Гл. 13- Преобразования базисов и координат
X ' = C - 1 (X —X 0) = C - 1 X —C -1 X 0. (13.8)
X0 = —C -1 Xo.
I 1 J Li J {1 J Li J l о 1 J
Z = P Z ', Z ' = P - 1 Z.
Обратная матрица
P -1 = C- 1 —C -1 X0
L о 1 J
Г. П р е о б р а з о в а н и е о р т о г о н а л ь н ы х б а зи с о в и к о о р д и н ат.
Пусть I = (i, j и I ' = (i', j ' —ортонормированные базисы на плоско
сти (старый и новый), связь между которыми устанавливается обычными
формулами
I = IR , I = I 'Д-1 .
Матрица перехода R от одного ортонормированного базиса к другому
называется ортогональной матрицей. Любая ортогональная матрица R
обладает свойствами:
R T R = 1, R R T = 1, RT R- 1 det R = ±1.
для обратного перехода O i ' j ' a Oxy. Конечно, всё дело здесь в порядке
матричных сомножителей и ортогональности матрицы перехода.
204 Гл. 13. Преобразования базисов и координат
Е. О р т о г о н а л ь н ы е п р е о б р а з о в а н и я с и с т е м ы к о о р д и н а т н а
п л о с к о с т и . В случае, когда система координат O 'i 'j ' получена из си
стемы O i j поворотом осей на угол а и переносом начала координат на
вектор OO' , столбец координат которого относительно системы O i j есть
^х0, у0 Т , формулы преобразования имеют вид
В матричных обозначениях
(13.17)
X = R X ' + X 0,
(13.18)
X ' = R - 1 (X —Х о) = R T (X —Х о),
где X = ^х, у , ти X ' = ^х', у ' .
В однородных координатах
х - х' -
Z = У = X = X'
, Z' = у'
[ J- J L 1J { 1J L 1 J (13.19)
1
cos а —sin а хо
О
p = = R
sin а cos а уо
1 о 0 1 J [ О 1 J
преобразования координат запишутся в виде
Z = P Z ', Z ' = P - 1 Z, (13.20)
причём обратная матрица P -1 имеет вид
і
cos а sin а х 0
P -1 = —R T X 0 = —sin а cos а у0 (13.21)
L O 1 _ 1 о 0 1
(см. (13.9)), где
х о = —хо cos а —уо sin а,
X0 = - R TXo
уо' = хо sin а —уо cos а
— координаты точки O (начала системы координат O ij) в системе коор
динат O 'i j .
Поворот координатных осей прямоугольной декартовой системы и
перенос её начала, а такж е преобразования координат точек и уравнений
линий называют ортогональными преобразованиями системы координат.
1. Основные понятия и факты 205
З . А ф ф и н н ы е п р е о б р а з о в а н и я п л о с к о с т и . Формула
X = Xo + C X ' (13.7)
выражает связь между координатами X точки в старой системе коорди
нат и координатами X этой же точки в новой системе координат. Од
нако эту же формулу можно рассматривать как отображение плоскости
на себя (т.е. преобразование плоскости), которое каждой точке плоско
сти с координатами X ставит в соответствие точку с координатами X .
Эти две точки зрения на формулу (13.7) называются «пассивной» и «ак
тивной»: в одном случае мы описываем одну и ту же точку в разных
системах координат, в другом — разные точки в одной и той же системе
координат.
1Н апом ним , что это утверж ден ие верно то л ь ко д л я прям оугольной системы
координат.
206 Гл. 13. Преобразования базисов и координат
x - x' - - -
X X' C Xo
Z = У = , Z' = у' = , P =
{ 1 J L 1 J { 1 J L 1 J L о 1 J
У У к=§ k=2
O x O x
Параллельный Растяжение (сжатие) вдоль оси Ox
перенос
У
O x
Гомотетия Сдвиг
2. К о н т р о л ь н ы е в о п р о с ы и з а д а н и я
1. Запишите формулы связи векторов старого и нового базиса.
2. Что такое матрица перехода?
3. Что представляют собой столбцы матрицы перехода?
4. Запишите формулы связи координат вектора относительно старого и
нового базиса.
5. Запишите формулы связи координат точки относительно старой и но
вой системы координат.
6. Сформулируйте определение ортогональной матрицы. Перечислите
свойства ортогональных матриц.
208 Гл. 13. Преобразования базисов и координат
3. П р и м е р ы р е ш е н и я з а д а ч
П р и м е р 13.1. На плоскости даны два базиса e i, e 2 и e1, e2, связанные
соотношениями e l = e i + 2 j, e2 = 3ei + 4e2. Найдите разложение вектора
а = 4 e 1—2e2 по базису e l, e 2' и разложение вектора b = 4e1 —e2 по базису
ei, e 2 .
Решение. Запишем матрицу перехода от базиса e 1, e 2 к базису el, e '2 и
матрицу обратного перехода:
C =
'1 3
0-1= 12
4
,
3
—
24 2 -1 ,
Поскольку мы будем пользоваться матричной техникой, все координаты
нужно записывать в виде столбцов. Используя формулы преобразования
координат
X C -1 X, X = C X ,
получаем
1 -4 3 4 '- 1 1
X C -1 X„ 5
2 2 -1 -2
'1 3 4 '1
Xb = CXb = 4
24 -1
Таким образом,
а = —11e1 + 5e2, b = e 1 + 4 e2
П р и м е р 13.2. Составьте уравнение гиперболы в системе координат,
осями которой являются асимптоты гиперболы (см. рис. 13.4).
3. Примеры решения задач 209
C =
C
4
7
-
1,
-5 3
5
7
210 Гл. 13. Преобразования базисов и координат
ж1 Г1 З 4 ж'1
X = Х0+ CX' ж22 +
2 5 7 ж'2
J ж1 = 1 + Зж'1 + 4ж/2,
ж2 = 2 + Бж'1 + 7ж/2.
ж1 7 ж1 1
4
—
ж —5 3, Х2 , 2
г
7 ж1 7 -4
4
—
21
3, ж2 -Б З
5
—
7 ж1 1
+
4
—
—5 3, ж2 1
так что
I ж1 = 1 + 7ж1 —4ж2,
I ж2 = —1 —5ж1 + Зж2.
Столбец координат X'Q точки О во второй системе координат выражается
формулой XO = —C -1 X 0 и равен (1; —1)т , а векторы e 1, e 2 выражаются
через векторы e1, e2 с помощью обратной матрицы перехода:
е1 7e1 —5e2,
E = E ' C -1
е2 —4e1 + 3e2.
cos“2 а = --------
1 =— = —
9 , s .u r а2 = ,1 —2cos“ а = —
16 ;
1 + tg а 25’ 25
3. Примеры решения задач 211
поскольку 0 < а < п /2 , имеем cos а = 3/5, sin а = 4/5, и матрица пере
хода от ортонормированного базиса ei, e 2 к ортонормированному базису
ei, e2, а такж е матрица обратного перехода равны
3 —4 () 3 4
C = i , c - 1 = CT = - 3)
5 4 3 ’ 5 —4
(напомним, что матрица перехода от одного ортонормированного базиса
к другому ортогональна, т.е. C -1 = C T ).
Формулы преобразования координат имеют вид
с2х + с2у + у 1 = х + В 2у + с ^ .
Отсюда следует, что формулы преобразования координат имеют вид
х ' = ^ 1 ^ 1 х + В 1у + С ^ , у' = k ^ ^ 2х + В 2у + С ^ .
A i x q + В іу о + С і " A o x q -\-Воуо-\-Со
Окончательный вид формул преобразования координат:
х, _ А \х + В \у + Сі Аох + Boy + С 2 (13^5)
A i x q + Віуо + Сі А2жо + В 2У0 + С 2
П р и м е р 13.6. Напишите формулы преобразования гомотетии плоско
сти с коэффициентом k и центром в точке Мо(го) в произвольной аф
финной системе координат.
Решение. Образом точки М (r) при преобразовании гомотетии с цен
тром Мо и коэффициентом k является такая точка M '( r ') , что
М оМ = kM 0M , т.е.
г ' —г о = k ( r —г о) r ' = k r + (1 —к )г о.
П р и м е р 13.7. Найдите аффинное преобразование, которое переводит
точки A 1(1; 3), A2(2; 1), A3(3; 3) соответственно в точки A1(0; 3), A2(3; 2),
A3 (2; 5).
Решение. Столбцы однородных координат X 1, X 2, X 3, точек A 1, A2, A3
связаны со столбцами однородных координат X1, X2, X3, точек A1, A2,
A3 формулами X j = P X j , j = 1, 2, 3. Объединяя эти три равенства для
столбцов в одно равенство
X' = p x , X ' = [x 1, x 2, x 3], x = [x 1, x 2, x 3].
Таким образом,
P = X 'X - 1 .
Д ля вычисления указанного произведения поступим следующим обра
зом:
P = X 'X -1 = ((X 'X - 1 )Т) Т = ( ( X т )-1 X 'Т) Т .
Сначала найдём (X Т)-1 X 'Т при помощи алгоритма, описанного в гл. 5
(см. с. 103):
[XТ | X 'Т] эл' - о 0— [і | ( х Т)-1 х ' Т].
строк
4. Задачи для самостоятельного решения 213
Имеем:
1 2 3 0 3 2
X = 3 1 3 , X' = 3 2 5
1 1 1 1 1 1
так что
1 3 1 0 3 1 1 3 1 0 3 1
2 1 1 3 2 1 0 —5 - 1 3 —4 —1 ->•
3 3 1 2 5 1 0 —6 - 2 2 —4 —2
1 0 3 1 1 0 -2 3 3 -2
->• 1 1 0 1 0 1 1 1 0 1
—2 2 - 4 - 2 0 0 4 8 -4 4
1 0 - -2 3 3 - 2 1 0 0 1 1 0
0 1 1 1 0 1 0 1 0 -1 1 0
0 0 1 2 - 1 1 0 0 1 2 -1 1
поэтому
'1 —1 2'
P = 1 1 —1
,0 0 1,
Таким образом, формулы искомого аффинного преобразования имеют
вид
x ' = x —у + 2, у' = x + у — 1.
4. З а д а ч и д л я с а м о с т о я т е л ь н о г о р е ш е н и я
13.1. На плоскости заданы два базиса e i, e 2 и e i , е2, связанные соотно
шениями
e i = 4ei + 7е2, е 2' = 5ei + 9е2.
Д аны векторы
a = 4 e 1 —3e2, b = 5ei —2e'2.
Найдите разложение вектора a по базису e i , e2 и разложение вектора b
по базису e 1, e 2.
13.2. На плоскости даны две системы координат O e ie 2 и O 'e ie 2 . Начало
O' второй системы имеет в первой системе координаты (4, —2); базисные
векторы обеих систем связаны соотношениями
e i = 5ei —2e2, e2 = —8ei + 3e2.
(1) Найдите координаты точки в первой системе, если известны её коор
динаты x ^ , x '2 во второй системе координат.
(2) Найдите координаты точки во второй системе, если известны её ко-
ординаты x ii ,2x 2 в первой системе координат.
(3) Найдите координаты точки O во второй системе и координаты век
торов e i, e 2 в базисе второй системы координат.
214 Гл. 13. Преобразования базисов и координат
1. О с н о в н ы е п о н я т и я и ф а к т ы
А. У р а в н е н и е к в а д р и к и . Рассмотрим уравнение второй степени
от двух переменных
а п а і2 x
A= , где а і 2 = а 2і, B = [ 6 і 62], X =
,«21 а 22 , ,y ,
Тогда уравнение (14.1) можно записать в виде
X T A X + 2 B X + с = 0. (14.2)
Введём такж е матрицы
1
а іі а і 2 6 і x
ta
D = = A Z = = X
021 «22 62 У
„h 62 с L в с _ L1J
тогда уравнение квадрики можно записать в виде
Z T D Z = 0. (14.3)
1
cos а —sin а xo
R
0
P = sin а cos а Уо
0 0 1 L о 1 J
і cos а sin а
0
P -1 = - R T Xo = - sin а cos а
0
O 1 , 0 0 1
(см. формулы (13.19) и (13.21), с. 204). При таком преобразовании коор
динат уравнение квадрики Z T D Z = 0 (см. (14.3)) принимает вид
Z 'T D 'Z ' = 0,
где
R TA R R T (AXo + B T)
D ' = P TD P = , (14.4)
(.X j A + B ) R XoT AXo + 2BXo + с
т.е. при преобразовании координат матричные коэффициенты уравнения
квадрики (14.2) преобразуются по формулам
A' = R T AR, B ' = (XT A + B )R , c' = X T A X o + 2 B X o + c. (14.5)
Обратите внимание, что матрица A изменяется только при повороте, а
свободный член с уравнения — только при переносе начала координат.
Матрица B, содержащая коэффициенты линейных слагаемых уравнения
квадрики, меняется и при повороте, и при переносе.
14.1. Т е о р е м а . При ортогональных преобразованиях системы коорди
нат величины
S = tr A, S = det A, Д = det D
не изменяются. Эти величины называют ортогональными инвариан
тами уравнения квадрики.
В. У прощ ение уравнения квадри ки : ун ичтож ени е слагаем о
го 2 a12xy п р и п о м о щ и п о в о р о та .
14.2. Т е о р е м а . Д л я уничтожения слагаемого 2 a12xy в уравнении квад
рики (14.1) нужно перейти к новой системе координат, оси которой
повёрнуты относительно осей исходной системы. Столбцы координат
R 1, R 2 ортов i ', j ' новой системы координат являются нормированны
м и 1 решениями однородных систем линейных уравнений
(A - Afc1 )R k = 0 , k = 1, 2,
где A1, A2 — корни характеристического уравнения 2
A2 - SA + S = 0 —^ det(A - A1) = 0. (14.6)
P = R
[ О 1 J
где R — матрица поворота координатных осей (см. теорему 14.2). После
такого преобразования координат в уравнении квадрики исчезают сла
гаемые вида 2 а^ж у и 261Ж+ 2 &2у, т.е. оно приводится к ««полуканониче-
скому» виду
Л1Ж + Л2У + с — 0, (14.9)
где Л1, Л2 —корни характеристического уравнения (14.6), а с' — свобод
ный член преобразованного уравнения, определяемый по формуле (14.5),
в которой Xo —решение уравнения (14.8). Матрица D ' коэффициентов
уравнения квадрики в полуканонической системе координат имеет вид
' Лі 0 0 '
D '= 0 Л2 0 . (14.10)
, 0 0 Iс \
К оэффициент с' можно найти при помощи любого из следующих трёх
выражений:
также и точки (—ж', у'), (ж', —у7), (-ж ', —у7). По этой причине квадрики
данного типа называют центральными (даже в случае, когда уравнение
квадрики не имеет ни одного вещественного решения).
С помощью алгебраических преобразований полученное полуканони-
ческое уравнение можно привести к каноническому виду.
С л у ч а й 6 = det A = 0: н е ц е н т р а л ь н ы е к в а д р и к и . Условие
det A = 0 эквивалентно тому, что один из корней характеристическо
го уравнения (14.6) равен нулю; будем считать, что Ai = 0; в этом случае
А2 = S = tr A, а матрица D ' коэффициентов уравнения квадрики после
поворота осей координат имеет вид
0 0 bi
D' = 0 S b2 Д = det D ' = - bi2S. (14.12)
, Ь'і b2 с
Если det A = 0, то система уравнений (14.8) может либо оказаться несов
местной, либо иметь бесконечно много решений.
Невырожденный параболический тип: Д = 0. Согласно теореме
Кронекера—Капелли система (14.8) несовместна, если ранг матрицы A
меньше ранга матрицы [A | —В т ] . В этом случае после поворота коор
динатных осей уравнение квадрики примет вид
S y '2 + 2bix' + 2b2y' + с' = 0,
где bi = 0, и его можно привести к каноническому уравнению параболы,
выделяя полные квадраты.
Величина фокального параметра параболы в каноническом уравне
нии также может быть выражена через инварианты:
b'l v '- A / S ’ Д_
Р
S' s '&■
Вырожденный параболический тип: Д = 0. В случае, когда ранг
матрицы A равен рангу матрицы [A | —В т ] , система (14.8) имеет бес
конечно много решений. Выбрав любое из них, получаем следующую
матрицу коэффициентов уравнения квадрики в преобразованной систе
ме координат
0 0 0
D' = 0 S 0 (14.13)
„ 0 0 cc
т.е. само уравнение принимает полуканонический вид
S y '2 + с' = 0 . (14.14)
14.4. Т е о р е м а . При помощи ортогональных преобразований координат
(т.е. поворота осей координат и переноса начала координат) уравнение
квадрики (14.1) может быть приведено к одному из девяти канониче
ских типов, перечисленных в таблице на с. 219.
Классификация квадрик на плоскости
а = \1~бГ1'Ь= \І~6Ъ
Гиперболический
х2 у2
тип: S < 0
219
220 Гл. 14. Квадрики: канонизация и инварианты
а іі 6 і а 22 62
K= +
61 c b2 c
которая в указанном случае, т.е. при S = Д = 0, такж е является ортого
нальным инвариантом уравнения квадрики.
Полуканоническое уравнение (14.14), которое получается в вырож
денном параболическом случае, приводится к каноническому виду сле
дующим образом:
2 2 К
У = а , где а 2 = - - ^ 7 , если К < 0,
S?
2 K к
y ~ + g2 - 0 ' У'2 = - а 2, где а 2 — если К > 0,
У'2 = 0, если K = 0.
2. К о н т р о л ь н ы е в о п р о с ы и з а д а н и я
1. Сформулируйте определение квадрики. Запишите уравнение квадри
ки в матричной форме.
2. Запишите формулы преобразования коэффициентов уравнения квад
рики при параллельном переносе начала координат.
3. Запишите формулы преобразования коэффициентов уравнения квад
рики при повороте координатных осей.
4. Сформулируйте определение ортогонального инварианта уравнения
квадрики.
5. Перечислите ортогональные инварианты уравнения квадрики.
6. Опишите алгоритм упрощения уравнения квадрики.
7. Сформулируйте определение центральной квадрики. Перечислите ти
пы центральных квадрик и для каждого типа укажите знаки инвари
антов.
8. Д ля каждого типа центральных квадрик запишите ««полуканониче-
ское» уравнение и выражение его коэффициентов через инварианты.
9. Сформулируйте определение нецентральной квадрики. Перечислите
типы нецентральных квадрик и для каждого типа укажите знаки ин
вариантов.
10. Д ля каждого типа нецентральных квадрик запишите «полуканониче-
ское» уравнение и выражение его коэффициентов через инварианты.
3. П р и м е р ы р е ш е н и я з а д а ч
П р и м е р 14.1. Приведите уравнение квадрики
5x2 —4xy + 8y2 + 32x —56y + 80 = 0
3. Примеры решения задач 221
сс
A= c =80, D = -2 8 —28
1
61
2
8
2 8 [ 16 —28 80
Найдём ортогональные инварианты уравнения:
S = tr A = 13, S = det A = 36 > 0, Д = det D = —1296.
Так как S > 0, квадрика является эллиптической, и её уравнение может
быть преобразовано к полуканоническому виду
Ліх/ + Л2У/ + С 0,
а поскольку S Д < 0 — это эллипс.
К оэффициенты Лі и Л2 являются собственными значениями (корня
ми характеристического многочлена) матрицы A:
5 —Л —2 Лі = 4,
/ а (Л) = det Л2 — 13Л + 36 ^
2 8 Л Л2 = 9.
Свободный член С полуканонического уравнения найдем по форму
ле (14.11):
с' = 4 = -129636 = -3 6 .
S
Итак, получаем полуканоническое уравнение
4x/2 + 9у/2 —36 = 0
и далее каноническое
а/2 у^_
9 + 4 _ '
Определяемый этим уравнением эллипс имеет полуоси a = 3, b = 2,
линейный эксцентриситет \ / о 2 —Ь2 = л/5, эксцентриситет е = л / 5 / 3 , фо
кусы f i ( — а / 5 ; 0 ) и F 2 {V5;0) ( в канонической системе координат О 'х 'у ')
и директрисы \fbxJ + 9 = 0 (левая директриса, соответствующая фокусу
F\) и \[Ъх' —9 = 0 (правая директриса, соответствующая фокусу Fo).
Базисные векторы i /, j / канонической системы координат явля
ются собственными векторами матрицы A; для нахождения их ко
ординат (столбцов Д і, Д 2 ) требуется решить однородные системы
(A —Лк1 )Д к = 0 , к = 1, 2:
1 —2' x '0'
Лі — 4 :
.У. 0 5
4
2
V 1 '2'
= Сі , Д і == —— 1 '
k1 v5
222 Гл. 14. Квадрики: канонизация и инварианты
-4 - 2 x 'o '
Л2 — 9 :
-2 -1 .У. 0
'- l ' 1 '- l '
— С2 , Ra =
2 2
Отметим, что при нормировке решений линейных систем знаки норми
рующих множителей ci и С2 выбирались так, чтобы базис г', j ' получился
правым. Матрица поворота имеет вид
1 2 -1
R — [Ді R 2 ] — —j=
1 2
Угол а поворота координатный осей определяется условиями
2 1
cos а = —= , sm а = —= ,
V5 Ѵ5
т.е. равен arctg(1/2) « 26,6°. Этот же результат может быть получен и
по формуле (14.7):
аі 1 —^22 5 —8 3 3
ctg 2а = ---------- — = ------- = - =>■ 2а = arcctg - =>■ а « 26,6 .
е 2о і 2 -4 4 е4 ’
Д ля нахождения координат Х 0 вектора переноса r 0 начала коорди
нат в системе Oxy решим неоднородную систему A X q — - Б Т :
r
5 xq 16 -2
=> Xq —
2
-
x 1 2 -1 x' '- 2
+
,y , “ 75 1 2 ,y ', 3
2 1
-2
x x
1 2 (14.15)
3
71 71
0 0 1
Обозначим матрицу этого преобразования через P :
' 2 1
-2
71 ” 75
— R Xq
p — 1 2
3
7s V5 I О 1 J
I 0 0 1J
3. Примеры решения задач 223
2 -1
1
P JL__ 2__ с
75
О О
Обратная матрица вычисляется по формуле (13.21) (см. с. 204):
1
- R T Хо
R
P -1 =
L о 1 J
Поскольку
- К 1 Х а = ----- =
і ) і ;) , ( :і
получаем
2 1 1
p
-і -1 2 -8
0 0 Ѵб
~б бЛ г
Обратное преобразование координат имеет вид
x 2 1 1 x
1
-1 2 -8 (14.16)
75
0 0 %/s
Каноническая система координат O 'x'y ' рассматриваемой квадри
ки получается из исходной системы координат Oxy параллельным пе
реносом координатных осей на вектор го = (—2; 3)T и поворотом на
угол arctg ту « 26,6°.
Отметим, что свободный член с' полуканонического уравнения мо
ж ет быть вычислен также по второй из формул (14.11):
-2
с' = ВХо + с = (16 -2 8 ) + 80 = -3 6 ,
3
x ' 2 - 1 -2 Ѵ 5 Г -Д 1 —4 '
1
Fi : у 1 2 З а/ 5 0 2
1 ,0 0 а/ 5 1 . 1
x '2 - 1 - 2 а/ Г у/Ь 0
1
F2 : у 1 2 З а/ 5 0 4 ,
1 0 1 1
0
т.е. F i (- 4 ; 2), F 2(0;4) в системе координат Oxy.
Д ля нахождения уравнений директрис в системе О х у нужно подста
вить в их канонические уравнения1 \fbxJ ± 9 0 выражения для x' и у'
через x и у из преобразования (14.16), т.е. Z ' =P - 1 Z :
т
(Ѵ ь'
5х' + 9 = 0 0 у' = 0
9) U ,
ч Т ✓
Д 2 1 1 x
0 ■—= -I 2 -8 у = 0 ^
, 9 5 0 0 а/ 5 1
2х + у + 10 = 0,
т
Ѵ5
5x' —9 = 0 0 0
-9 1
т
Ѵ5 2 1 1 x
1
0 -1 2 -8 у = 0 ^
9 0 0 а/ 5 1
2х + у —8 0.
Аналогичным образом находим уравнения канонических осей коор
динат:
Oy / (x / = 0):
T
1 x
2 1 1',
0 P -1 y 2x + y + 1 = 0.
SI + 5s + s >=°
^0 1
П р и м е р 14.2. Приведите уравнение квадрики
5x2 —2xy + 5y2 —22x + 14y + 29 = 0
к каноническому виду. Найдите координаты фокусов, уравнения канони
ческих осей координат, директрис и асимптот (при наличии).
Решение. Запишем матрицы коэффициентов уравнения:
5 —1 —11
5 —1
A B = ( —11 7 , c =29, D = -1 5 7
-1 5 [ -1 1 7 29
Поскольку det A = 24 > 0, квадрика имеет эллиптический тип; её полу-
каноническое уравнение
Ліх/2 + Л2У/2 + С = 0.
К оэффициенты Лі и Л2 являются корнями характеристического много
члена матрицы A:
^ —Л —1 Лі — 4,
det (A —Л /) = det = Л2 — 10Л + 24 ^
—1 5 —Л, Л2 = 6.
226 Гл. 14. Квадрики: канонизация и инварианты
Б x' 11 2
=> Хо =
—
1
Б у ч—7 1
—
1
имеем
V12 I И ) ..( I
x — (х + у - 1),
у —= ( - ж + г/ + 3),
3. Примеры решения задач 227
13 15 13 15 9
A С= 1 1 7 , D = 15 —27 99
B
9
9
9
=
15 - 2 7 1 9 99 117
Найдём ортогональные инварианты уравнения:
S = tr A = —14, S = det A = —576, Д = det D = —165888.
Поскольку S < 0, квадрика имеет гиперболический тип, а поскольку
Д = 0 — это гипербола. Полуканоническое уравнение гиперболы
Лі x 2 + Л2y 2 + c 0
можно получить с помощью инвариантов: коэффициенты Лі и Л2 явля
ются корнями характеристического уравнения
Лі = - 3 2 ,
Л2 —SЛ + S = 0 —^ Л2 + 14Л —576 = 0 —^
Л2 = 18,
а свободный член с/ вычисляется по формуле (14.11)
. Д —165888
с' = — = ------------= 288,
д -5 7 6 ’
так что получаем полуканоническое уравнение
—32x/2 + 18y/2 + 288 = 0
и далее каноническое уравнение
2
У_
1
9 16
гиперболы с полуосями а = 3 и b = 4, линейным эксцентриситетом
Ѵ а 2 + Ъ2 = 5, эксцентриситетом е = 5/3, фокусами F 1(—5;0) и F 2(5;0)
(координаты фокусов указаны в канонической системе координат O /x /y /),
директрисами x / = ± 9 /5 и асимптотами
x2 y2 4x - 3y = 0,
-------— = 0
9 16 4x + 3y = 0.
1
= ci , R i — ,—
1
ч- 3 ' VTo
CO
y
r
-5 15 x '0'
А2 = 18
15 - 4 5 0'
x '3' 1 ' ' 31''
= C2 , Ri —
1
нормировочные коэффициенты выбраны так, чтобы матрица
1 13
R = [Ri R 2]
31
имела определитель det R = +1, т.е. описывала поворот. Угол поворота
координатных осей равен
а = a rc tg (-3 ) « -1,249 = -71,6°.
Д ля определения вектора переноса начала координат решим неодно
родную систему уравнений A X q = - Б Т :
13 15 ' x' - 9' x' '- 3'
2'
15 - 2 7 y y
9
9
-
x '- 5 ' - 3
Fi : = P '+ 2
y 0
1 1
x 5 ід/ІО - з
F2 : = P 0 2 - fv io
y 1
1 1
230 Гл. 14. Квадрики: канонизация и инварианты
итак, Fi (— в исход
’ 1 - 21 ^ 5 - 3 , 2 + §ѴІ5 ). й О - з , 2- ?ѴІ5)
ной системе координат Оху.
Найдём уравнения канонических осей координат. Уравнения этих
осей в канонической системе координат суть у' = 0 и х' = 0; чтобы по
лучить их уравнения в исходной системе координат, воспользуемся фор
мулами преобразования (14.18):
0 х
1
О 'х ' (у' = 0) : 1 P -1 у (3x + у + 7) = 0, 3х + у + 7 = 0;
ѴТо
0 1
T
1 х
1
О 'у' (х' = 0) : 0 P -1 у (х —3у + 9) = 0, х —3у + 9 = 0.
ѴТо
0 1
Аналогично преобразуем уравнения асимптот:
T
х
1
у
1
T
4 х
1
4х' —3у' = 0 : —3 0, х + 3у —3 = 0,
P
у
0 1
и уравнения директрис:
чT
5 х
1
у 5
9 1
T
5 х
1
5х' —9 = 0 : 0 0 х - З у - —л/10 + 9 = 0.
P
у 5
9 1
П р и м е р 14.4. Приведите уравнение квадрики
27х2 —48ху + 13у2 —72х + 114у —27 : 0
к каноническому виду. Найдите координаты фокусов, уравнения канони
ческих осей координат, директрис и асимптот (при наличии).
Решение. Запишем матрицы коэффициентов уравнения:
27 -2 4
1
27 —24
3
6
A= B = (—36 5 7 , с = —27, D = -2 4 13 57
24 13 - 3 6 57 —27
3. Примеры решения задач 231
3
13 57
4
2
-
3 x
9 13 3
3x ' —y ' = 0 —1 P -1 y - x ------ у Н— = 0 , 9x — 13у = —3,
5 5 5 У ’
0 1
T
3 x
3x ' + y ' = 0 1 P -1 y = 3x —y —9 = 0, 3x —y = 9.
ч0 1
'1 -1 8
—- —
A= B = (8 4 ), с = -992,
2, D = -1 1 4
— — [ 8 4 -9 2
и вычислим ортогональные инварианты:
Д = det D = - —
44.
Так как S = 0, квадрика имеет параболический тип; поскольку Д = 0 —
это парабола с каноническим уравнением у'/2 = 2px ''. Фокальный пара
метр можно определить с помощью инвариантов:
- —44
Р = \ ~ 23
Итак, каноническое уравнение параболы имеет вид
у = 0Ѵ2Ж ,
её фокус имеет в канонической системе 0 " х " у " координаты F ( 3 / \ / 2 ; 0),
а директриса — уравнение х " = —3 / л/2 или \ /2 х " + 3 = 0.
Займёмся поиском ортогонального преобразования, канонизирующе
го рассматриваемое уравнение. Собственные значения матрицы A равны
Аі = 0 и Л2 = S = 2; найдём собственные векторы:
—- — x '0'
Аі = 0 :
- — — .у . 0
x Y — Y
= сі
у ’ 1— 1
- —- — x '0'
Л2 = 2: 0
— — у
Г
—
= С2
-
—
-
—
— ’ 2= —
— —- —
R = [й і R 2] =
— —
имела определитель + —.
Матрицы коэффициентов уравнения квадрики после поворота коор
динатных осей примут вид
— —- —
B ' = B R = (8 4) = (6Ѵ2 - 2 Ѵ 2 )
— —
234 Гл. 14. Квадрики: канонизация и инварианты
и
0 0 6Ѵ2
D' = 0 2 -2 Ѵ 2
„ 6Ѵ2 -2 Ѵ 2 - 9 2
стало быть, полуканоническое уравнение квадрики имеет вид
2у '2 + Ѵ2\р2х' - А уД у ' - 92 = О
К оэффициент при x ' имеет тот же знак, что и коэффициент при y ', так
что алгебраическими преобразованиями полученное уравнение не удаст
ся свести к каноническому уравнению параболы y '' = 2py '', где p > 0.
Д ля того, чтобы знаки коэффициентов при x ' и y ' стали противополож
ными, требуется изменить направления осей Ox ' и Oy ' на противополож
ные, что достигается изменением знака матрицы поворота R или, что то
же самое, дополнительным поворотом на 180°. Итак, матрицу поворота
возьмём в виде
1 -1
Е = ~~Т 1 1
эта матрица описывает поворот на угол а = 135°. Матрицы коэффици
ентов уравнения квадрики примут вид
B ' = B R = (8 4 ) - ( - - L ) ([ - [ ) = (-6 ^ 2 2 /1 )
и
0 0 -6 Ѵ 2
D' = 0 2 2Ѵ2
„ -6 V 2 2Ѵ2 - 9 2
а полуканоническое уравнение квадрики вид
2у '2 - 1 2Ѵ 2х' + АѴ2у' - 92 = 0 «=> ■у'2 —6%/2.г’' + 2%/2г/ —46 0
Перегруппировывая слагаемые, получим
2x' + 46
или, выделяя полный квадрат,
2
(V + Ѵ^) x
Введя переменные
Г у " = у' + Ѵ 2 , x х " - 4V2,
1 х " = х ! + 4 л/2 y у' ~ Ѵ2,
получим уже известное нам каноническое уравнение y ''2 6у/Ъx пара-
болы с фокальным параметром р = Зл/2.
3. Примеры решения задач 235
- 4 у/2
-V 2
Найдём его координаты в системе Oxy:
1 1 Г 1 1 4 а/ 2
3
71 71
P 1 1 , P -1 =
5 Ѵ2
71 “ 71 ѵ/2 Ѵ2
0 0 1 I 0 0 1
K = 44 —18
18 + 99 —27
27 = —117.
—18 72 —27 72
Полуканоническое уравнение S y '2 + K / S = 0, т.е.
13y '2 —9 = 0,
которому соответствует матрица коэффициентов
0 0 0
D' = 0 13 0
1 0 0 —9
распадается в пару уравнений параллельных прямых
V13 у' - 3 = 0, ѴТЗу' + 3 = 0.
3. Примеры решения задач 237
4 6 x '0'
Аі 0
6 9 У 0
x 3' 1 3
= c1 Ri
-2
2
—
—9 6 x '0'
А2 = 13
6 4 ,y , О
x '2' ' '23 ''
= C2 , R2 — 1
3
Матрица поворота
1 32
R
23
описывает вращение на угол а = —arctg(2/3) « —33,7°.
Д ля определения вектора параллельного переноса нужно решить
неоднородную систему AXo = —Б т , которая в рассматриваемом слу
чае имеет бесконечно много решений. Воспользуемся методом Гаусса—
Ж ордана:
'4 6 18' ' l 3/2 9 /2 '
6 9 27, ° 0 0 ,
238 Гл. 14. Квадрики: канонизация и инварианты
О
y
где a — произвольная константа. Матрица P канонизирующего ортого
нального преобразования и обратная к ней P -1 имеют вид
3 2
- ( 9 - За) 1
з - 2 2 (13a - 2 7 )
1
P 2 3 P-1
a 2 з -9
0 0 ѴТз
0 0 1
Найдём уравнения прямых линий, составляющих рассматриваемую
квадрику, в системе координат Oxy:
т
0 x
-3 = 0 : ѴТз P -1 = 2x + 3y - 12 = 0, 2x + 3y = 12,
y
-3 1
т
о ' x
3y' + 3 = 0 : ѴТз P -1 = 2x + 3у - 6 = 0, 2x + 3у = 6;
3 y
1
таким образом, уравнение данной квадрики может быть представлено в
виде
(2x + 3y - 6)(2x + 3y - 12) = 0.
Уравнения осей канонической системы координат:
т
0 x
1
ось Ox ' (у ' = 0): 1 P -1 (2x + 3y - 9) = 0,
0 y ѴТз
1
2x + 3y = 9,
T
1 x
ось Oy ' (x ' = 0): 0 P -1 - д = ^Зх - 2у + -(1 3 о - 27) 0
0 y
1
Зх —2 у = —(27 — 13о),
где a — произвольная постоянная.
4. З а д а ч и д л я с а м о с т о я т е л ь н о г о р е ш е н и я
Приведите уравнение квадрики к каноническому виду. Найдите ко
ординаты фокусов, уравнения канонических осей координат, директрис
и асимптот (при наличии).
4. Задачи для самостоятельного решения 239
1. О с н о в н ы е п о н я т и я и ф а к т ы
А. К а н о н и ч е с к и е у р а в н е н и я . Поверхность второго порядка —
это квадрика в трёхмерном пространстве, т.е. множество точек, коор
динаты которых удовлетворяют уравнению
X T A X + 2 B X + c = 0, (15.1)
где
x a ii ai2 ai3
X = У , A= «2i а 22 023 B = (Ьь &2, Ь з .
z „ a3i аз2 азз ,
Аналогично тому, как это было сделано для линий второго порядка (см.
гл. 12), каждое уравнение вида (15.1) можно привести к одному из сем
надцати канонических типов, перечисленных ниже (некоторые из них
изображены на рис. 15.1).
I. Э л л и п т и ч е с к и й ти п .
1.1. Эллипсоид (см. рис. 15.1 (а)):
x 2 2y 2 2 z2
— 77 ~\~ ~Г77 Н---- 77 = 1, & > 0, Ь > 0, с > 0.
а2 Ь2 с2
1.2. Мнимый эллипсоид:
x 22 2y2 2 z2 „ л ,
—77 ~\~ ~Г77 Н----- 77 =
— 1, CL > 0 , Ь > 0 , С > 0 .
а2 Ь2 с2
Это уравнение не имеет ни одного вещественного решения.
1.3. Мнимый конус:
x2 y2 z2
~2 + ^ 2" Н--- 2* = ft > 0, Ь > 0, с > 0.
240
1. Основные понятия и факты 241
\z
\ >ЧГ-
У У
г X
(а) Эллипсоид (б) Однополостный (в) Двуполостный
гиперболоид гиперболоид
\z
^X
(г) Конус (д) Эллиптический (е) Гиперболический
параболоид параболоид
Ку
III. П а р а б о л и ч е с к и й ти п .
III. 1. Эллиптический параболоид (см. рис. 15.1(д)):
x 2 у2
—r + - p r = 2 z , а > О, Ъ> 0.
a2 b2
111.2. Гиперболический параболоид (см. рис. 15.1(е)):
x 2 у2
— — —7 = 2 z, а > 0, b > 0.
а2 о2
111.3. Эллиптический цилиндр (см. рис. 15.1(ж)):
x 2 у2
— Т77 = 1, ft > 0, 6 > 0.
а2 о2
Направляющей цилиндра является эллипс, образующие па
раллельны оси Oz.
111.4. Мнимый эллиптический цилиндр:
x 2 2 у2
—7 т~ = —1, ft > 0, b > 0.
а2 о2
Это уравнение не имеет ни одного вещественного решения.
111.5. П ара мнимых пересекающихся плоскостей:
x 2 у2
— + —у = 0 , а > 0, b > 0.
а2 о2
где а > 0, b > 0. Вещественные точки этой поверхности запол
няют прямую (ось Oz).
111.6. Гиперболический цилиндр: (см. рис. 15.1(з)):
x 2 у2
— 77 — 7 ТТ = 1, ft- > 0, 6 > 0.
а2 b2
Направляющей является гипербола, образующие параллель
ны оси Oz.
111.7. П ара пересекающихся плоскостей:
x 2 у2
—
ат2: — ттт
b2 = 0, ft > 0, 6 > 0.
Линией пересечения плоскостей является ось Oz.
111.8. Параболический цилиндр: (см. рис. 15.1(и)):
у2 = 2px,
где p > 0. Направляющей является парабола, образующие па
раллельны оси Oz.
111.9. П ара параллельных плоскостей
у2 = а 2, а > 0.
Плоскости параллельны плоскости Oxz.
III.10. П ара мнимых параллельных плоскостей:
у2 = - а 2, а > 0.
Это уравнение не имеет ни одного вещественного решения.
1. Основные понятия и факты 243
Пусть точка (xo, yo, zo) лежит на гиперболоиде. Рассмотрим две системы
однородных линейных уравнений
(15.2)
(15.3)
(15.4)
2. Контрольные вопросы и задания 245
(15.5)
(15.6)
каж дая из них определяет прямую, проходящую через точку (xo, yo, zo)
параболоида. Перемножая уравнения каждой из систем, обнаружива
ем, что любое решение системы является также и решением уравнения
(15.4), т.е. прямая целиком лежит на параболоиде.
2. К о н т р о л ь н ы е в о п р о с ы и з а д а н и я
1. Запишите канонические уравнения поверхностей второго порядка и
изобразите их на чертеже.
2. Что такое цилиндрическая поверхность? Каким уравнением задаётся
цилиндрическая поверхность с образующими, параллельными оси Oz?
оси Ox?
3. Каким уравнением задаётся поверхность вращения?
4. Что такое линейчатая поверхность? Приведите примеры.
246 Гл. 15. Поверхности второго порядка
3. П р и м е р ы р е ш е н и я з а д а ч
x2 у2 2 z2 2
П р и м е р 15.1. Рассматриваются сечения поверхности — + —— — = 1
плоскостями (a) z = 0 , (б) z = 2\/5, (в) у = 0 , (г) у = а/З, (д) У = 2,
(е) у = \/5, (ж) у = 2 а/ 2 - Запишите уравнения проекций эти сечений на
координатные плоскости. Изобразите сечения.
Решение. Д анная поверхность представляет собой однополостный гипер
болоид с осью Oz.
(а) Чтобы получить уравнение проекции сечения плоскостью z = 0
на плоскость O x y , нужно исключить z из системы уравнений, состоящей
из уравнения поверхности и уравнения секущей плоскости. Получаем
x 2
У + т = 1;
это уравнение эллипса с полуосями 3 и 2 (см. рис. 15.3(а)).
(б) Сечение плоскостью z = 2л/5:
2 2 2 x 2 2 у2
£ г CV5)
-------- Ь — = 1*
9 4 16 81/4 9 ’
это эллипс с полуосями 9/2 и 3.
(в) Сечение плоскостью у = 0:
X 22 2 Z 2
У _ 16 “ ’
это гипербола с полуосями 3 и 4 (см. рис. 15.3(б)).
(г) Сечение плоскостью у = \/3:
2 2 х2 z2
(ѵ ^ )2
:----- — = 1 -
9 16 4 VJI~~4~ ’
это гипербола с полуосями 3/2 и 2.
(д) Сечение плоскостью у = 2:
X 22 2 Z 2
~9~ ~ Тб _ 7
это пара пересекающихся прямых.
3. Примеры решения задач 247
г = 2 ѵ 'Б
z =0
'J
(а ) (б)
x„2 z~2 2 x z
1 -1 :
У 16 4 т
это гипербола с полуосями 3/2 и 2, сопряжённая гиперболе из п. (г).
(ж) Сечение плоскостью у = 2у/2:
(2у2 2
9 9 /г» / п
ar ж2 z2
У “ 16 “ Г У “ Тб = “ ’
это гипербола с полуосями 3 и 4, сопряжённая гиперболе из п. (в).
X = , A= , B = I( L, - 1 ]>.1
c
-
7
y Ч 3
248 Гл. 15. Поверхности второго порядка
—
1
13 —1 —1 0 —1
—
1
Так как искомая точка лежит на плоскости x — у + 3 z = 1, находим
—^ 4
ZQ — - (1 — X q + уо) — —- •
О т в е т : (4; —1; —4/3).
П р и м е р 15.3. Найдите уравнение множества центров сечений эллип
соида 2x2 + 3у2 + 5z2 = 30 плоскостями, параллельными плоскости
x + у + z = 1.
Решение. План решения: составим уравнения проекции сечения данно
го эллипсоида плоскостью x + у + z = h на плоскость O x y , далее най
дём центр (xh, уъ) полученной линии второго порядка и затем уже центр
( x h , y h , z h ) сечения.
Чтобы получить уравнение проекции сечения на плоскость O x y , ис
ключим z из системы
2x2 + 3у2 + 5z2 = 30,
x + у + z = h.
Имеем
2x2 + 3у2 + 5(h —x —у)2 = 30
7x2 + 10xy + 8у2 — 10hx — 10hy + 5h2 —30 = 0
X T A X + 2B X + c = 0,
где
x 7 5
X = , A= B ^ —5h, —5 h , c = 5h2 —30.
у 5 8
Координаты X h центра этой квадрики определяются из системы урав
нений A X h = —B T (см. (14.8), с. 217). Имеем
-1
—
75 1
СЛ
Xh = - A - 1 B T = -
51
h
,5 8 —5h “ 31 10h
Аппликату центра сечения находим, используя уравнение секущей плос
кости:
z h = h - x h - y h = h - — h - — h = ——h .
31 31 31
Вводя для краткости обозначение h = 31t, получаем координаты центра
сечения эллипсоида плоскостью x + у + z = h:
xh = 15t, yh = 10t, zh = 6t.
Эти уравнения являются параметрическими уравнениями прямой, содер
жащей искомое множество центров сечений, которое, однако, состоит не
3. Примеры решения задач 249
—1 1
<3
S =16, 6= 8 1 = -144:
8
—
1
6
3,
—1 8
—
1 1
2
—
8 —А —1
= А2 — 16А + 63 = 0 Аі — 7, А2 — 9.
—1 8 —А
Уравнение эллипса имеет вид
2 2 144 x y
7х + 9у + 0 + 1:
63 " ' ' 16/49 16/63
его полуоси равны а = 4/7, Ъ = 4 /(3 \/7 ). Обозначим направляющие век
торы осей этого эллипса через а и b соответственно. Координаты век
торов а и b находим как решения однородных систем (A — А^ 1)X^ = 0,
k = 1, 2:
1 —1 x 0 1
Аі = 7: а
—1 1 ,y , 0, 1
—1 —1 x '0' —1
А2 = 9 : b
y 1 1 0 1
Рассматриваемое сечение гиперболоида такж е представляет собой
эллипс, лежащий в плоскости x + y + z = 1; обозначим через A и B
250 Гл. 15. Поверхности второго порядка
(A, n ) = Ax + A y + Az = 0.
( B , n ) = Bx + By + Bz = 0.
B=b=
3 - 5 -1
f A l a i , аэ -1 -2 4
1 -2 0
таким образом, прямые /i и /э пересекаются. Чтобы найти их точку пе
ресечения, решим переопределённую1 систему уравнений
1
-2 -1 1 t = — ,
= u 4’ =>
3 +1 -2 - 20
1 4 7
U ~ _ 4'
Точка C пересечения прямых /1 и /3 имеет координаты
-2 -1 1 -7 /4
1 7
C = 3 -2 -2 = 7/2
1 ~ 4 4 “ ~4 0 0
U 2 7 J
4. З а д а ч и д л я с а м о с т о я т е л ь н о г о р е ш е н и я
15.1. Семейство поверхностей задано в прямоугольной системе коорди
нат уравнением, содержащим параметр Л. Определите тип поверхности
при всевозможных значениях Л.
254 Гл. 15. Поверхности второго порядка
1.10. (а) «Для того, чтобы ряд сходился, необходимо, чтобы его общий член
стремился к нулю». (б) «Для того, чтобы общий член ряда стремился к нулю,
достаточно, чтобы ряд сходился». (в) «Если общий член ряда не стремится к
нулю, то ряд не сходится». (г) «Для того, чтобы общий член ряда не стремился
к нулю, необходимо, чтобы ряд не сходился». (д) «Для того, чтобы ряд не
сходился, достаточно, чтобы его общий член не стремился к нулю».
1.12.
- і- іЛ = A A V-Л = 1 A Л -Л = 0
А -А -.-А А -А А V -А А -А А Л -А
0 1 0 0 1 1 0 1 0
1 0 1 1 0 1 1 0 0
1.13. Для —(A Л B) = —A V —B:
А В АЛВ —
і(А Л В) -А -.в —
іА V —
іВ
0 0 0 1 1 1 1
0 1 0 1 1 0 1
1 0 0 1 0 1 1
1 1 1 0 0 0 0
Для —(A V B) = —A Л —B:
А В А VВ —
і(А V В) -А -.в —
іА Л —
іВ
0 0 0 1 1 1 1
0 1 1 0 1 0 0
1 0 1 0 0 1 0
1 1 1 0 0 0 0
1.14. Для —(A ^ B) = (A Л —B):
А В А=> В -і(А =£- В) -.в А Л —
іВ
0 0 1 0 1 0
0 1 1 0 0 0
1 0 0 1 1 1
1 1 1 0 0 0
Для (A V B) = (—A ^ B):
А В А V В -А —
іА =£- В
0 0 0 1 0
0 1 1 1 1
1 0 1 0 1
1 1 1 0 1
2.1. (а) П = {0}, U = [-1; 1]; (б) П = {0}, U = (-1; 1); (в) П = {0}, U = [0; 1);
(г) П = 0, U = (0; 1).
2.2. (а) П = 0, U = О; (б) П —круг с тем же центром, что О, и вдвое меньшего
радиуса, U = О.
2.3. (а) неверно; (б) верно.
Ответы, указания и решения 257
A B B
A B B
2.4. 4.
2.5. (а) (A U B) \ C ; (б) ((A U B)AC) U (A П B П C);
(в) (A П B П C) U (A П B' П C ) U (A' П B П C ) U (A' П B' П C).
2.6. См. рис. I.
2.7. Поскольку sin о arcsin: [—1; 1] ^ [—1; 1], x ^ sin(arcsin x) = x является
тождественной функцией на [—1; 1], функция sin является левой обратной для
arcsin, а функция arcsin является правой обратной для sin. Однако sin не яв
ляется правой обратной для arcsin, а arcsin является левой обратной для sin,
поскольку композиция arcsin о sin : R —s- [—^; ^] не является тождественным
отображением на R. Легко видеть, что эта композиция является тождествен
ным отображением на [— ^ ] ; поэтому взаимно обратными функциями будут
F П
-—; —J —S- [—1; 1J, X і—У s i n х ,
г п П]
д: [—1; 1J —> у— —; —J , х і—> arcsm*.
1 7 1 -4 Q(x) = x3 —3x2 + x + 3,
1
(а)
R = 2;
СО
2 1 1 3 2
1
1 4 6 7 -9 Q(x) = x3 + x2 + 3x —2,
(в)
1 1 3 -2 R = —3;
СО
СО
1
(г)
І і—
5 3 0 1 5 R =5.
1
4.3.
1 -3 2 -1 1 2
1 1 -2 0 -1 0 2 =>• Р{ 1) = 2,
(а)
2 1 -1 0 - 1 -1 0 =>• Р ( 2) = 0,
3 1 0 2 5 16 50 =>• Р ( 3) = 50;
2 -3 1 0 1 -2
1 2 - 1 0 0 1 - 1 ^ Р ( І ) = -1 ,
(б)
2 2 1 3 6 13 24 =>Р( 2) = 24,
3 2 3 10 30 91 271 =>Р( з) = 271;
4.4.
(а) (x —1)(x + 1)(x —2)(x + 2)(x —3); (д) (x + 1)(x + 2)(x —3)3;
(б) (x —1)2(x + 1)(x —2)2; (е) (x + 1)2(x + 2)(x2 + 2);
(в) (x + 1)3(x —3)2; (ж) (x —2)2(x + 3)(x2 + x + 1);
(г) (x —2)2(x + 1)3; (з) (x —1)3(x2 + 2 x + 2).
4 .5 . (a) 1/2, 1/3,±г; (6) ±1/2, -1 /3 ; (в) -3 /2 , -2 /3 , ±2г; (r) 1/2, 3/2, - 1 ± г.
4 .6 . (а) 2 ± г, 2 ± \/3; (б) —1 ± г, —3 ± 2г; (в) —1 ± 2г (оба корня кратности 2);
(г) простой корень 1, корни —1 ± i кратности 2.
25 —16 13І , ч ,
г 1 / л ,r\ I 34 —91 I , л I 34 —19
5.1. (а) 9 —5 10 , (б) , (в)
1—19 77) 1—91 77
140 -8 7 91 ѵ ' ѵ
Ответы, указания и решения 259
1 1 1
1 n 11
5.2. (а) ; (б) 2n ; (в) 0 0 0
0 1 11
0 0 0
0 0 1 0 0 0 0 1
0 0 0 1 0 0 0 0
(г) при n —2, при n = 3, O при n ^ 4.
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
cos nip - sin np
5.3. (а) I cos(P + ф) - sin(P + ф) I ; (б)
у sin(p + ф) cos(p + ф) sin np cos np
' 16 3 9'
5.4. - 4 4 11
, - 4 6 -2 0 ,
9 -7 74
5.5. (а) O; (б) O; (в) ; (г)
21 9 -8 3
5.6.
2
3 1 11 5 -3
(а) 1 1 (б) 1 2 (в)
' 6 2 3 3 -3 2
1 -a 1 a —b cos a sin a
(г) (д) a2 + b2 (е)
0 1 b a —sin a cos a
6 4 • (в) I 21 - 5
5 -7 - <•> ( 4 —2 p m -4 -2 Г 8 _16 4
5.8.
1 2 3
-2 -3
(a) {AB} 2 — 3 +4
:ч
3 -2 1
1 2
3
-
4 3 2 3
(б) {ВА}з — 3 -3 -2 + -1 +2 -3
2
-
3 4 1 2
(в) { A B } 2 — - 2 ( 4 , 3, 2, 3) - ( - 2 , - 2 , - 1 , - 3 ) - 3(3,4,1, 2);
(г) {BA}3 — 3(1, 2, 3) + 4 ( - 2 , - 1 , - 3 ) + (3 ,-2 ,1 ) + 2 (1 , -3 , 2).
6.2.
1 4 - 3 1 4 2 3 4 1 I -3 4
(а) (б) - (в) (г)
23 5 2 14 3 5 25 1 -4 3 4 3
6 .3. (М )М ^ 6 5
6.4. (а) При р ф 2, р ф 3 решение единственно: I( ------ ;- . При Р = 2
\ 3 - Р Р - 3,
решений бесконечно много: (с; 1 —с) , где с —произвольное число. При p = 3
решений нет.
Р- 5 1
(б) При р = 2, р = 6 решение единственно: . При Р = 2 решений
чр - 2 ’ р - 2 ,
нет. При р = 6 решений бесконечно много: (2 —5с; 3с), где с —произвольное
число.
6.6. (а) 0; (б) —18; (в) —42; (г) а 3 —3аЪ2 + 2Ъ3; (д) —с(а2 + Ъ2); (е) а 2 + Ъ2 + с2 + 1;
(ж) а 3 + Ъ3 + с3 —3аЪс; (з) 0; (и) 6x 2 + 2.
6.7. (а) (а —Ъ)(Ъ—с)(с—а); (б) (а —Ъ)(Ъ—с)(с—а); (в) (а —Ъ)(Ъ—с)(с—а)(а + Ъ+с);
(г) (а —Ъ)(Ъ —с)(с —а)(аЪ + ас + Ъс); (д) sin(a —в) + sin(e —y) + sin(Y —а); (е) 0.
6.8.
—13 1 —11 19 2 24 —4 22 —17
1
(а) 11 1 7 ; (6 ) — 2 19 —10 ; (в) — 4 —5 0
6 ’ w 119 ’ w 17
, —7 1 —5 —10 —1 5 —19 17
42
1 —3 —3 6 —4 1 179 68 13
(Г)І —3 1 —3
—3 —3 1
; (д) —4
1 —2
5 —2
1
; (е) 68 26 5
13 5 1
6.9. (а) (2 ; 1; —1); (б) (1;2;3); (в) (—2;0;3); (г) (—1; —1; —1); (д) (3; 2; 1);
(е) (—1; 2 ; 1).
6 .1 0 . (а) 160 [разложите по второй строке]; (б) 349 [получите ещё один нуль
в третьей строке, после чего разложите по третьей строке]; (в) 141; (г) —40;
(д) 0 ; (е) 0 .
7.1.
базисные столбцы Ai, A2,
1 0 2 3 A 3 = 2Ai —A 2,
(а)
0 1 1 1 A4 = 3Ai —A 2;
1 0 3 0 3 базисные столбцы A1, A2, A4,
(б) 0 1 —2 0 —4 A 3 = 3Ai —2A2 ,
0 0 0 1 1 A 5 = 3Ai —4A2 + A4;
1 0 3 0 —2 2 1
1 0 —1 0 1 0 1 0 1 —2 0 1 —1 1
(в) 0 1 3 0 —1 1 0 , (г) 0 0 0 1 2 2 —2
0 0 0 1 2 3 —2 0 0 0 0 0 0 0
0 0 0 0 0 0 0
Ответы, указания и решения 261
7.2. (а) (2; 1; - 1 ) T; (б) (1; 2; 3)T; (в) (-2; 0; 3)T; (г) (-1; -1 ; - 1 ) T; (д) (3; 2; 1)T;
(е) (-1; 2; 1)T.
7.3. (а) (1/2, 0, 0, 0); (б) (-23, 2 0 ,-1 0 ,-1 5 )T.
7.4.
2
' 179 68 13 '
1
4
3
3
1
-
-
6
-
1
(г) -3 1 -3 ; (д) -4 5 -2 ; (е) 68 26 5
20
-3 -3 1 1 -2 1
31
5
1
7.5.
4 -5 1 2 -3 1
(а) X = 9 -1 0 - 2 , Y= 8 -8 -7
0 1 -4 1 0 -4
51 108 42 -21 50 26
(б) X = -16 -1 3 ,Y = -1 0 23 29
32
-
(Уі
1
О
2 -6 -6
1
28
23
-
-7 22 -38 84 -7 1 -2 1
8.1. ФСР: (а) [ - 1,1) T; (б) [ - 1,1, 0) T , ( - 1, 0,1) T; (в) [ - 1 ,-1 , 1) T;
(г) ( - 1 ,-1 ,1 , 0 ) Т, ( - 1 ,-1 , 0 ,1 )Т ;(д) (1, 0 , - 1 , - 1 ) T, ( 0 ,1 ,- 1 ,1 )T.
8.2. ФСР сопутствующей однородной системы см. в ответе к задаче 8.1; ба
зисное решение неоднородной системы: (а) (1 ,0 )T; (б) (1, 0 ,0 )T; (в) (1, 2 ,0 )T;
(г) (1, 2, 0, 0 ) Т; (д) (0, 0,1, 2 ) Т.
8.3. Нормальное фундаментальное семейство решен