Теорема
Для того, чтобы система линейных уравнений была совместна, необходимо и достаточно, чтобы ранг расширенной матрицы был равен рангу матрицы системы, т.е. .
Доказательство
Необходимость.
Систему можно представить в виде:Это означает, что столбец свободных членов является линейной комбинацией столбцов матрицы . Это возможно, только если .
Достаточность.
Пусть . Выберем базисный минор. Перенумеруем переменные так, чтобы он находился в левом верхнем углу.По теореме о базисном миноре нижние строки расширенной матрицы являются линейно зависимыми от первых строк, то есть могут быть представлены как их линейные комбинации, следовательно, они являются лишними и могут быть отброшены. В результате остаётся система с уравнениями.
Перенесём свободные переменные вправо и перепишем укороченную систему:Эта система удовлетворяет условиям теоремы Крамера: количество уравнений совпадает с количеством неизвестных, .
Будем придавать свободным переменным произвольные значения и, применяя теорему Крамера, получим: . Таким образом, базисные переменные оказываются выражены через свободные, от значений которых зависят определители . Следовательно, система разрешима.
Пример решения системы уравнений с помощью теоремы Кронекера-Капелли
Доказательство теоремы Кронекера-Капелли предоставляет нам подход к решению систем линейных уравнений.
Пусть дана однородная система:
Выделим базисный минор, например, , и запишем укороченную систему, назначив не вошедшие в базисный минор переменные свободными ( ):
Отсюда:
Получаем общее решение: