Файл: Итенберг, С. И. Линейная алгебра и аналитическая геометрия на плоскости. Введение в анализ учеб. пособие.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). Допустим, что аФ 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