40
В результате получаем систему уравнений
=++
=++
=+++
∗∗
∗∗
.
..............................................
*
22
*
22222
11212111
mnmnm
nn
nn
bxaxa
bxaxa
bxaxaxa
!
!
!
3. Может оказаться, что среди вновь полученных уравнений имеется
уравнение вида
0000
21
≠=⋅++⋅+⋅
bиbxxx
n
!
(например,
1000
21
=⋅++⋅+⋅
n
xxx
!
). Тогда система (1) не имеет решений.
Система (1) называется несовместной, если она не имеет решений.
4. Может оказаться, что среди вновь полученных уравнений есть уравне-
ние вида
0000
21
=⋅++⋅+⋅
n
xxx
!
.
Тогда это уравнение отбрасываем, и во
вновь полу ченной системе число уравнений будет меньше, чем в исходной.
Не трогая первое уравнение, начинаем исключать с помощью второго
уравнения переменную
2
x
из третьего и так далее n-го уравнений по описан-
ной выше процедуре и так далее.
В результате, либо на каком-то шаге мы установим, что система (1) несо-
вместна, либо придем к системе ступенчатого вида.
Замечание
.
В системе (3) последнее уравнение разделим на число a
kk
, отлич-
ное от нуля. Тогда коэффициент при
k
x
будет равен единице. С помощью
этого уравнения исключаем переменную
k
x
из всех других уравнений. Ко-
эффициент при переменной
1
−
k
x
сделаем равным единице. С помощью этого
уравнения исключаем переменную
1
−
k
x
из остальных уравнений и так далее.
В результате получим систему следующего вида:
β=α++α+
β=α++α+
β=α++α+
∗
++
∗
++
∗
++
.
................................................................
*
1
*
)1(
*
221
*
)1(22
*
111
*
)1(11
knknkkkk
nnkk
nnkk
xxx
xxx
xxx
!
!
!
(4)
Теорема (Кронекера – Капелли). Для того чтобы система уравнений
=+++
=+++
=+++
mnmnm
m
nn
nn
bxaxaxa
bxaxaxa
bxaxaxa
!
#
!
!
221
1
22222121
11212111
имела решение, необходимо и достаточно, чтобы