
ности системы линейных уравнений решается следующей теоре-
мой.
Т е о р е м а 4.2 (теорема Кронекера – Капелли). С
истема ли-
нейных уравнений (4.1) совместна тогда и только тогда, когда ранг
ее расширенной матрицы
равен рангу ее матрицы A.
Д о к а з а т е л ь с т в о. 1. Пусть система (4.1) совместна и пусть
k
1
, k
2
, …, k
n
– ее решение. Подставим эти числа вместо неизвест-
ных и получим систему тождеств, которая эквивалентна равенст-
ву (4.10), а оно означает, что столбец свободных членов есть
линейная комбинация столбцов матрицы A. Отсюда следует, что
rg A = rg
.
2. Пусть теперь дано, что rg A = rg
. Тогда любая максимальная
линейно независимая система столбцов матрицы A остается мак-
симальной линейно независимой системой столбцов и в матри-
це
. Следовательно, в частности, столбец свободных членов есть
линейная комбинация столбцов этой системы, а отсюда следует,
что столбец свободных членов есть линейная комбинация всех
столбцов матрицы A, т.е. имеет место равенство вида (4.10). Это,
в свою очередь, означает, что числа k
1
, k
2
, …, k
n
(среди которых,
разумеется, некоторые могут быть нулями) составляют решение
системы (4.1). Мы доказали, что из равенства rg A = rg
следует
совместность системы (4.1). Доказательство закончено.
Рассмотрим теперь применение теоремы Кронекера – Капел-
ли. Пусть rg A = rg
= r. В этом случае будем говорить, что ранг
системы (4.1) равен r. Тогда система (4.1) совместна.
Если r = n, то система определенна. Ее единственное решение
может быть вычислено либо по правилу Крамера, либо путем при-
ведения к виду (4.4).
Если r < n, система приводится к виду (4.5). Неизвестные
x
r +1
, …, x
n
объявляем свободными и переносим в правые части
уравнений. В левых частях остаются слагаемые, содержащие не-
известные x
1
, x
2
, …, x
r
, называемые базисными:
a x a x a x b a x a x
r r r r n n11 1 12 2 1 1 1 1 1 1
+ + + = − − −
′
+ +
… …
,
,
aa x a x b a x a x
r r r r n n22 2 2 2 2 1 1 2
+ +
′
=
′
− − −
′
+ +
… …
,
,
a x b a
rr
r
r r
r
r r
( ) ( )
,
− −
= −
1 1
++
−
+
−
− −
1
1
1
1( ) ( )
.
r
r rn
r
n
x a x…