Лекция 1: Детерминанты

Определение 8. Назовем алгебраическим дополнением любого элемента определителя D минор этого элемента, взятый со знаком плюс, если сумма номеров элемента четная и минус в противном случае

( 1.6)

Пример. Выписать и вычислить все алгебраические дополнения определителя .
Решение. У определителя третьего порядка имеется 9 алгебраических дополнений (по каждому из элементов).

.

Теорема 1. Определитель D равен сумме произведений элементов любого столбца или строки на их алгебраические дополнения

( 1.7)

Очевидно, что для определителя третьего порядка можно записать шесть различных равенств (по трем столбцам и по трем строчкам).
Теорема 2. Суммы, произведений элементов для любого столбца (строки) на алгебраические дополнения другого столбца (строки) определителя, равна нулю.
Доказательство. Проведем доказательство на примере определителя (1.5). Возьмем сумму произведений алгебраических дополнений первой строки на элементы третьей строки. Получим

Разложение определителя по строке или столбцу дает нам правило вычисления любых определителей высоких порядков (четвертого и выше).
Определение 9. Определителем n -го порядка называется число Δ равное алгебраической сумме

( 1.8)

где A_ij=(-1)^i+jD_ij есть алгебраические дополнения элемента a_ij, а D_ij - есть соответствующие миноры, т.е. определители ( n-1 )-го порядка, получающиеся из исходного определителя вычеркиванием первой строки и n -го столбца, на пересечение которых находится элемент a_ij.
Рассмотренные приемы позволяют вычислять определители любых порядков, а, следовательно, находить решение линейных систем любых порядков.
Пример. Вычислить определитель

Решение. Для вычисления определителя пятого порядка воспользуемся формулой (1.8) и разложим данный определитель по первой строке (в этой строке все члены, кроме первого равны нулю). Получим

т.е. определитель стал теперь четвертого порядка. Опять разложим определитель по первой строке, так как все члены этой строки равны нулю, кроме одного. Затем вычислим полученный определитель третьего порядка по любой вычислительной схеме.