Разложение определителя по произвольной строке.
Теорема 2. Справедлива формула
(***)
для любого
.
Доказательство. Вычислим определитель следующим образом: сначала поставим -ю строку на 1-е место, сохранив при этом порядок остальных строк, а затем воспользуемся утверждением теоремы 1.
Для того, чтобы
-ю
строку поставить на 1-е место, сохранив
при этом порядок остальных строк, нужно
будет
раз поменять местами соседние строки:
сначала
-ю
и (
)-ю,
затем (
)-ю
и (
)-ю
и т.д. Получится матрица
Заметим, что
(через
обозначим минор получившейся матрицы
).
Теперь вычислим определитель.
Теорема доказана.
2.9. Разложение определителя по столбцу. Разложить определитель можно не только по произвольной строке, но и по произвольному столбцу:
.
Доказательство становится очевидным, если вспомнить, что определитель матрицы не меняется при транспонировании.
Вычисление определителей.
Формула (***), на первый взгляд, не выглядит более простой, чем (*). Но на самом деле это не так. Пусть нам нужно вычислить определитель матрицы
и пусть, к примеру,
.
С помощью элементарных преобразований
типа II можно привести
матрицу к виду
,
Причем . (Вспомните, как приводится матрица к треугольному виду.) Разложим определитель по первому столбцу – от суммы в формуле (***) останется одно слагаемое, - и вычисление определителя порядка сведется к вычислению определителя порядка . Повторив эту процедуру необходимое количество раз, придем к нужному результату.
Некоторые замечания.
1.
.
2.
.
Доказательства этих утверждений очевидны.
Менее тривиальным является утверждение, которое примем без доказательства:
.
4. Если в формуле (***) вместо алгебраических
дополнений
взять алгебраические дополнения
элементов другой строки, то выражение
станет равным нулю:
если
.
Это утверждение станет очевидным, если заметить, что левая часть является разложением определителя
который равен нулю, так как две его строки совпадают.