Теоремы о произведении определителей и обратной матрице. Правило Крамера.

ТЕОРЕМА (о произведении определителей). Определитель произведения двух квадратных матриц и одного и того же порядка равен произведению их определителей, т.е.

ДОКАЗАТЕЛЬСТВО. Рассмотрим вспомогательный определитель порядка

Используя теорему Лапласа, вычислим , разлагая его по первым строкам. Так как в них лишь один минор может быть не равен , а его алгебраическое дополнение есть , то . Используя свойство 9 определителей, добьемся, что все элементы обратились в . Для этого столбец умножим на и прибавим к столбцу , и так для каждых и . Получим

Вычислим , разлагая его по последним столбцам. Получим , где .

Тогда и . Но нетрудно проверить, что . □

Пусть и матрицы порядка . Матрица называется обратной для матрицы , если . Матрица называется невырожденной, если .

ЛЕММА (к теореме об обратной матрице).

(а) если имеет обратную матрицу , то - невырожденная;

(б) если обратная матрица для существует, то она единственна.

ДОКАЗАТЕЛЬСТВО.

(а) Имеем . По теореме о произведении определителей получаем . Значит .

(б) Пусть также обратная матрица для . Используя ассоциативность умножения матриц, имеем . □

Оказывается утверждение (а) можно обратить.

ТЕОРЕМА (об обратной матрице). Если матрица - невырожденная матрица, то она имеет обратную матрицу , где

(4)

Иными словами, элемент равен алгебраическому дополнению элемента , деленному на .

ДОКАЗАТЕЛЬСТВО. Найдем элемент произведения матрицы на указанную матрицу (4). Он равен

Но по следствиям 1 и 2 из теоремы Лапласа сумма в скобках равна , если , и равна 0, если . Следовательно . Аналогично, используя замечание после следствия 2, доказывается, что . □

Пример 7.

Дана матрица . Её определитель , поэтому обратная матрица существует. Найдём алгебраические дополнения элементов матрицы :

;

Тогда

Линейным уравнением от неизвестных называется уравнением вида

Поэтому системой линейных уравнений (СЛУ) называется система вида

(5)

Эта СЛУ состоит из уравнений от неизвестных. Матрица , составленная из коэффициентов при неизвестных, называется основной, а если к ней приписать столбец из - свободных членов СЛУ (5), то полученную матрицу называют расширенной. СЛУ (5) можно записать и в матричном виде