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