2.4. Неоднородная система трех линейных уравнений с тремя неизвестными

с определителем, равным нулю.

Теперь мы располагаем аппаратом для рассмотрения неоднородной системы (3.19) с

определителем

, равным нулю. Могут представиться два случая: а) хотя бы один из определителей

, или

- отличен от нуля; б) все три определителя

, и

равны нулю.

В случае а) оказывается невозможным хотя бы одно из равенств (3.23), т. е.

система (3.23) не имеет решений, а поэтому не имеет решений и исходная

система (3.19) (следствием которой является система (3.23)).

Переходим к рассмотрению случая б), когда все четыре определителя

, ,

и равны нулю. Начнем

с примера, показывающего, что и в этом случае система может не иметь ни одного

решения. Рассмотрим систему:

Ясно, что эта система не имеет решений. В самом деле, если бы решение

, ,

существовало, то из первых двух уравнений мы получили бы

, , а отсюда,

умножая первое равенство на 2, получили бы, что 2 = 3. Далее, очевидно, что все

четыре определителя

, ,

и равны нулю.

Действительно, определитель системы

=

имеет три одинаковых столбца, определители

, и

получаются путем замены одного из этих столбцов свободными членами и, стало

быть, имеют по два одинаковых столбца. В силу свойства 3 все эти определители

равны нулю.

Докажем теперь, что если система (3.19) с определителем

, равным нулю, имеет хотя бы одно решение, то она имеет бесчисленное множество

различных решений.

Предположим, что указанная система имеет решение

, ,

. Тогда справедливы тождества

(3.32)

++=,

+ =,

++=.

Вычитая почленно из уравнений (3.19) тождества (3.34), получим систему уравнений

(3.35)

эквивалентную системе (3.19). Но система (3.35) является однородной

системой трех линейных уравнений относительно трех неизвестных

, и

с определителем

, равным нулю. Согласно разд. 2.3 последняя система (а стало быть, и система

(3.19)) имеет бесчисленное множество решений. Например, в случае, когда отличен

от нуля минор (3.27), мы с помощью формул (3.31) получим следующее бесконечное

множество решений системы (3.19):

, ,

(t принимает любые значения).

Сформулированное утверждение доказано, и мы можем сделать следующее заключение:

если =

= =

= 0, то неоднородная система уравнений (3.19) либо совсем не имеет решений,

либо имеет их бесконечное множество.

3. Понятие об определителях любого порядка и о линейных системах с

любым числом неизвестных

Установленное нами свойство разложения определителя третьего порядка до

элементам любой (например, первой) строки может быть положено в основу

последовательного введения по индукции определителя четвертого, пятого и всех

последующих порядков.

Предположим, что нами уже введено понятие определителя порядка (n-1), и

рассмотрим произвольную квадратную матрицу состоящую из

элементов

Назовем минором любого элемента

матрицы (3.36) уже введенный нами определитель порядка (n-1), отвечающий матрице

(3.36), у которой удалены i-я строка и j-й столбец. Договоримся обозначать

минор элемента

символом .

Например, минор любого элемента

первой строки матрицы (3.36) является следующим определителем порядка (n-1):

Назовем определителем порядка n, отвечающим матрице (3.36), число

, равное сумме

(3.37)

и обозначаемое символом

(3.38)

=

Заметим, что при n = 3 разложение (3.37) совпадает с разложением (3.16)

определителя третьего порядка по первой строке.

Рассмотрим теперь неоднородную систему n уравнений с n неизвестными:

(3.39)

Определитель порядка n, составленный из коэффициентов при неизвестных системы

(3.39) и совпадающий с определителем

из равенства (3.38), называется определителем этой системы При любом j, равном

1, 2, ..., n, обозначим символом

определитель порядка n, полученный из определителя системы

путем замены его j-го столбца столбцом свободных членов

, , ...,

.

В полной аналогии со случаем n = 3 оказывается справедлив следующий результат:

если определитель

неоднородной системы (3.39) отличен от нуля, то эта система имеет единственное

решение, определяемое формулами Крамера:

, ,.

Далее можно доказать, что если определитель системы

равен нулю, а хотя бы один из определителей

, , ...,

отличен от нуля, то система (3.39) не имеет решений.

В случае же, если n > 2 и все определители

, ,

, ..., , равны нулю,

система (3.39) может также не иметь решений, но если она имеет хотя бы одно

решение, то она имеет их бесчисленное множество.