ТЕОРЕМА (о произведении определителей). Определитель произведения двух квадратных матриц и одного и того же порядка равен произведению их определителей, т.е.
ДОКАЗАТЕЛЬСТВО. Рассмотрим вспомогательный определитель порядка
Используя теорему Лапласа, вычислим , разлагая его по первым строкам. Так как в них лишь один минор может быть не равен , а его алгебраическое дополнение есть , то . Используя свойство 9 определителей, добьемся, что все элементы обратились в . Для этого столбец умножим на и прибавим к столбцу , и так для каждых и . Получим
Вычислим , разлагая его по последним столбцам. Получим , где .
Тогда и . Но нетрудно проверить, что . □
Пусть и матрицы порядка . Матрица называется обратной для матрицы , если . Матрица называется невырожденной, если .
ЛЕММА (к теореме об обратной матрице).
(а) если имеет обратную матрицу , то - невырожденная;
(б) если обратная матрица для существует, то она единственна.
ДОКАЗАТЕЛЬСТВО.
(а) Имеем . По теореме о произведении определителей получаем . Значит .
(б) Пусть также обратная матрица для . Используя ассоциативность умножения матриц, имеем . □
Оказывается утверждение (а) можно обратить.
ТЕОРЕМА (об обратной матрице). Если матрица - невырожденная матрица, то она имеет обратную матрицу , где
(4)
Иными словами, элемент равен алгебраическому дополнению элемента , деленному на .
ДОКАЗАТЕЛЬСТВО. Найдем элемент произведения матрицы на указанную матрицу (4). Он равен
.
Но по следствиям 1 и 2 из теоремы Лапласа сумма в скобках равна , если , и равна 0, если . Следовательно . Аналогично, используя замечание после следствия 2, доказывается, что . □