Файл: Итенберг, С. И. Линейная алгебра и аналитическая геометрия на плоскости. Введение в анализ учеб. пособие.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 23.10.2024
Просмотров: 63
Скачиваний: 0
Подчеркнем разницу между матрицей второго порядка и ее оп
ределителем. |
Матрица |
—• таблица |
чисел, рассматриваемых |
в оп |
ределенном порядке; |
определитель |
матрицы — число, получаемое |
||
по известному |
правилу |
по числам, |
составляющим матрицу. |
Разли |
чие между матрицей и ее определителем подчеркивается и в обо значениях.
Обратимся теперь к исследованию и решению системы двух ли нейных уравнений с двумя неизвестными при помощи определите
лей второго |
порядка. |
|
|
|
Пусть дана система двух линейных уравнений с двумя |
неизвест |
|||
ными х1 и х 2 : |
|
|
|
|
|
І1Л1 |
' 2 2 A 2 |
|
(1.9) |
|
|
|
||
Матрица |
этой системы |
|
|
|
|
|
'11 |
"12 |
(1.10) |
|
|
21 |
2 2 |
|
является матрицей второго порядка. Определитель матрицы си стемы
|
|
а і г а 1 а |
|
называется |
определителем |
системы. |
|
Получим |
из системы |
(1.9) методом исключения другую сис |
|
тему, каждое уравнение |
которой будет содержать только одно |
||
неизвестное. Для этого умножим сначала |
обе части первого ура |
||
внения системы (1.9) на а 2 2 |
второго на — |
а 1 2 и сложим почленно |
полученные равенства; затем проделаем тоже самое, взяв в каче
стве множителей соответственно — а 2 1 и a i v |
В результате |
получим |
|||
(оцй 2 2 |
^21 ^ і г) %1 ~ |
^1^22 |
^2^12' |
(1.11) |
|
( о ц о 2 2 |
^21^12) -^2 ~ |
^11^2 |
û2 1 Ôj. |
|
|
В уравнениях системы (1.11) коэффициенты |
при неизвестных х1 |
||||
и х2 одинаковы и равны определителю системы |
(1.9). Что касается |
правых частей уравнений системы (1.11), то легко видеть, что они
тоже представляют собой |
определители второго порядка |
|
|||
^1^22 |
b^flll ~ |
Ь1 |
а 1 2 |
(1.12) |
|
Ь% 0 2 2 |
|||||
|
|
|
|||
аг1Ь2 |
— а21Ьг |
O l l |
*1 |
(1.13) |
|
а 2 1 |
Ьг |
||||
|
|
|
Правая часть первого уравнения системы (1.11), содержащего неизвестное xt является определителем матрицы, получающейся из матрицы (1.10) системы (1.9) заменой первого столбца, состоя-
7
щего из коэффициентов при неизвестном хх на столбец из свобод ных членов, а правая часть второго уравнения этой системы, со держащего неизвестное х2 является определителем матрицы, по лучающейся также из матрицы (1.10) заменой второго столбца, состоящего из коэффициентов при неизвестном х2 на столбец из свободных членов.
Если обозначить
" i l |
Û12 = |
D; |
bi |
|
flu |
bi |
(1.14) |
Û21 |
^22 |
|
b2 |
û 2 2 |
a t l |
b2 |
|
то система уравнений |
(1.11), запишется в виде |
|
|
||||
|
|
|
D-x1=D1, |
|
|
(1.15) |
|
|
|
|
D-x2 |
= |
D2. |
|
|
|
|
|
|
|
Система уравнений (1.9) и полученная из нее (1.15), вообще говоря
не эквивалентны. Однако имеет место следующая лемма. |
|
|||
Лемма. Всякое решение |
системы |
(1.9) является |
также |
реше |
нием системы (1.15). |
Пусть числа с1 и с2 |
|
|
|
Д о к а з а т е л ь с т в о . |
являются ка- |
|||
ким-либо решением системы |
(1.9). Подставляя эти |
числа |
вместо |
|
неизвестных в систему (1.9), получим два тождества: |
|
|
||
а11с1 |
+ а12с2 e s Ьх, |
|
(1.16) |
|
|
|
|
|
|
а 2 1 С 1 ~Г а22С2 — |
Ь2. |
|
|
Известно, что тождество остается тождеством при умножении обеих его частей на одно и то же число и что почленное сложение тождеств дает также тождество. Поэтому, если с тождествами (1.16) произвести те же преобразования, которые были выполнены с си стемой уравнений (1.9) для вывода системы (1.15), то получим тож дества
D-c1 = D1, D-c2 = D2.
Эти равенства и показывают, что числа сг и с2 являются реше нием системы (1.15). Таким образом, все решения системы (1.9) находятся среди решений системы (1.15). В частности, если система (1.15) имеет только одно решение, то оно может быть лишь единст венным решением системы (1.9), и если система (1.15) не имеет ре шений, то система (1.9) и подавно не имеет решений.
Приступим теперь к исследованию системы уравнений (1.9) Возможны два случая: либо определитель D системы отличен от нуля, либо он равен нулю. Рассмотрим каждый из них в отдель ности:
1. D Ф 0. В этом случае система уравнений (1.15) имеет единст венное решение
*і = § - ; *2 = | - 2 |
(1-17) |
8
и, следовательно, по лемме, система уравнений (1.9) либо имеет только одно решение, именно (1.17), либо не имеет решений.
Покажем, что значения неизвестных по формулам (1.17) яв ляются решением системы (1.9). Подставляя эти значения в первое уравнение системы (1.9), получим
в ц ^ + ^12^- = -^- ton (М22 — М12) + |
а 1 а |
(ацЬг |
— а2 1 Ьх ) 1 = |
|
= - 5 - ( в ц М г г — ai 1M12 + |
аігОцбг — ахга^Ьх) |
= |
||
= -jf fei ( û l l û j ! — O l 2 Û 2 l ) |
= " j j " |
felD |
= Öl- |
|
Аналогично убеждаемся в том, что и второе уравнение системы (1.9) удовлетворяется этими же значениями неизвестных. Таким образом, при D ф 0 система (1.9) совместна и имеет единственное решение. (Система определенна.) Это решение при помощи опреде лителей может быть записано в виде
fei Û12 |
|
|
|
fei fl22 - . |
A'.) — - Ö2i fe2 |
\ — / |
|
a l l Ö12 |
ß l l |
û12 |
|
Û21 ^22 |
^21 |
^22 |
|
Полученный результат является частным случаем теоремы, или правила Крамера применительно к системе двух линейных урав
нений с двумя неизвестными.* |
Если определитель |
системы |
двух |
|||||
линейных уравнений с |
двумя неизвестными отличен |
от |
нуля, |
то |
||||
система совместна и имеет единственное решение {система |
опреде |
|||||||
ленна). |
В этом решении |
каждое из неизвестных хг и х2 |
равно |
дроби, |
||||
знаменателем которой |
является |
определитель |
системы, |
а |
числи |
|||
телем |
— определитель |
матрицы, |
получающейся |
из |
матрицы |
си |
стемы заменой столбца |
из коэффициентов при |
определяемом |
неиз |
||
вестном на столбец |
из |
свободных членов. |
|
|
|
2. D = 0. Обращаемся к определителям Dt |
и |
D2. |
|
||
1) Хотя бы один |
из определителей D± или |
£>2 |
отличен от |
нуля. |
В этом случае система (1.15) несовместна, так как одно из ее урав нений (именно то, у которого правая часть не равна нулю) не может быть удовлетворено никаким значением неизвестного. Следова тельно, по лемме и система (1.9) не совместна.
2) Оба определителя Dx и D 2 равны нулю. Покажем, что в этом случае система (1.9) эквивалентна одному из ее уравнений, напри
мер, |
первому |
|
|
|
011*1 + й12*2 = |
fei. |
(1-19) |
* |
См. § 1.8. - |
|
|
9
т. е. одному уравнению с двумя неизвестными. То, что любое ре шение системы (1.9) является решением уравнения (1.19), очевидно (уравнение (1.19) является одним из уравнений системы (1.9)). По кажем обратное: любое решение уравнения (1.19) является реше нием системы (1.9). Для этого достаточно убедиться в том, что лю бое решение этого уравнения является решением второго уравне ния системы (1.9). Найдем все решения уравнения (1.19). Допустим, что а1Х Ф 0 (оба коэффициента при неизвестных не могут быть равны нулю, так как в этом случае нет уравнения). Тогда, рассмат
ривая уравнение (1.19) как уравнение с одним |
неизвестным |
хх, |
находим, что при произвольно взятом значении |
неизвестного |
х2 |
оно имеет единственное решение |
|
|
*х = ^ - а 1 2 - ^ . |
(1.20) |
Таким образом, два числа: произвольно взятое значение неиз вестного х 2 и вычисленное по формуле (1.20) соответствующее зна чение неизвестного хх, составляют решение уравнения (1.19). Раз личным значениям неизвестного х2 соответствуют различные реше ния уравнения (1.19).
Так как х2 можно придавать бесконечно много различных зна чений, то уравнение (1.19) имеет бесконечно много решений. Ре шениям уравнения (1.19) можно придать более удобный вид, если
вместо произвольного х2 ввести произвольное |
t по формуле |
|
/ = |
|
|
Тогда получим решения в так называемой |
п а р а м е т р и ч е |
|
с к о й ф о р м е |
|
|
* і = ^ - |
а і 2 * . |
(1-21) |
" i l |
|
|
Х2 — Q-Xxt,
где величина t называется параметром. Каждому значению t со ответствует определенное решение уравнения (1.19), причем фор мулы (1.21) содержат все решения этого уравнения.
Подставляя |
теперь |
выражения |
для хх и х2 по формулам (1.21) |
в левую часть |
второго |
уравнения |
системы (1.9) и учитывая, что, |
по условию, определители (1.14) равны нулю, будем иметь при лю бом значении параметра t
^21^1 |
Г ^22^-2 — ^21 \~Z |
^12H |
I ^11^12' |
+ |
(^11022 —021012) t= |
~ P ä + |
a i l b 2 + Dt= Ъ2. |
10