6) Теорема Кронекера – Капели

Система линейных алгебраических уравнений совместна тогда и только тогда, когда ранг её основной матрицы равен рангу её расширенной матрицы, причём система имеет единственное решение, если ранг равен числу неизвестных, и бесконечное множество решений, если ранг меньше числа неизвестных.

Необходимость

Пусть система совместна. Тогда существуют числа такие, что. Следовательно, столбецявляется линейной комбинацией столбцовматрицы. Из того, что ранг матрицы не изменится, если из системы его строк (столбцов) вычеркнуть или приписать строку (столбец), которая является линейной комбинацией других строк (столбцов) следует, что.

Достаточность

Пусть . Возьмем в матрицекакой-нибудь базисный минор. Так как, то он же и будет базисным минором и матрицы. Тогда согласно теореме о базисном миноре последний столбец матрицыбудет линейной комбинацией базисных столбцов, то есть столбцов матрицы. Следовательно, столбец свободных членов системы является линейной комбинацией столбцов матрицы.