Свойства определителей: как упростить вычисление

Определитель $4\times 4$ «в лоб» — это четыре минора третьего порядка, каждый из которых ещё и раскладывать. Грамотная работа со свойствами срезает объём на порядок: три-четыре преобразования строк — и от определителя остаётся одно произведение диагонали. Свойства — не теоретический довесок, а главный инструмент счёта; проверять себя удобно в решателе определителей.

Идея: свойства — это легальные операции#

Ключевое свойство — линейность строки: определитель линеен по каждой строке в отдельности, поэтому прибавление к строке комбинации других строк ничего не меняет. На этом держится весь метод исключения Гаусса для определителей: строками обнуляется столбец под диагональю, затем определитель раскладывается по этому столбцу и остаётся произведение диагональных элементов. Обратите внимание на асимметрию: изменять одну строку комбинацией других можно, а две строки сразу — уже нет.

Алгоритм: обнулить и разложить#

1. 1
   Осмотритесь: нет ли пропорциональных или совпадающих строк, нулевой строки — тогда ответ ноль без вычислений.
2. 2
   Выберите целевой столбец: нужен один ненулевой элемент (в идеале единица) и нули под ним.
3. 3
   Обнулите столбец: из каждой нижней строки вычтите целевую строку с подходящим коэффициентом; знак не меняется.
4. 4
   Разложите определитель по обнулённому столбцу — останется определитель меньшего порядка.
5. 5
   Повторяйте до второго порядка и считайте диагоналями; следите за вынесенными множителями и перестановками.

Разбор флагманского примера#

Берём матрицу со строками $(1,1,1)$, $(1,2,3)$, $(1,3,5)$. Вычитаем первую строку из второй и из третьей — определитель не меняется: получается $(1,1,1)$, $(0,1,2)$, $(0,2,4)$. Первый столбец обнулён под диагональю; раскладываем по нему — остаётся $\left|\begin{array}{cc}1& 2\\ 2& 4\end{array}\right|=4-4=0$. Ответ ноль, и его даже не надо было считать: вторая и третья строки пропорциональны после вычитания, значит исходные строки линейно зависимы. Свойства иногда отвечают быстрее арифметики.

Теперь пример, где свойства не упрощают, а честно ведут к числу.

Перестановка как инструмент#

Перестановка строк переворачивает знак — и этим полезна. Если на диагонали оказался ноль, а неудобный элемент ниже, поменяйте строки местами: множитель $-1$ приобщится к ответу, зато раскладка станет тривиальной. Две перестановки возвращают знак на место, поэтому счётчик перестановок в формуле Лейбница — ровно та же механика в миниатюре. В длинных определителях удобно держать в голове множитель-аккумулятор: каждый обмен строк умножает его на $-1$, каждое вынесение — на вынесенное число.

Три типовые ошибки#

• Приписать определителю аддитивность: $\det (A+B)\ne \det A+\det B$. Линейность работает по строкам, а не по матрицам.
• Вынести общий множитель всей матрицы как один множитель: из $n\times n$ выносится $k^n$ — по множителю за каждую строку.
• Забыть множитель $-1$ при перестановке строк или потерять вынесенный коэффициент при разложении — обе ошибки меняют число, а не форму ответа.