Вычисление определителя n-го порядка
Определители высших порядков вычисляются не напрямую, а путём сведения к определителям более низкого порядка. Основные методы — раскрытие по строке или столбцу, а также приведение к треугольному виду для упрощения вычислений.
Раскрытие определителя по строке или столбцу
Формула раскрытия определителя n-го порядка по i-й строке: определитель равен сумме произведений элементов выбранной строки на их алгебраические дополнения. Аналогичная формула существует для раскрытия по j-му столбцу.
- Алгебраическое дополнение элемента — это соответствующий ему минор, взятый со знаком
(-1)^(i+j), где i и j — индексы строки и столбца. - При раскрытии по строке фиксирован номер строки, а суммирование идёт по всем столбцам. При раскрытии по столбцу — наоборот.
Количество нулей в выбранной для раскрытия строке (или столбце) напрямую влияет на трудоёмкость вычислений, так как слагаемые с нулевыми элементами обращаются в ноль.
Практический пример и упрощение вычислений
Рассмотрим вычисление определителя 4-го порядка. Прямое раскрытие по строке, содержащей ноль, уже сокращает количество вычисляемых слагаемых.
- Ключевой приём: перед раскрытием определитель можно преобразовать, чтобы увеличить количество нулей в выбранной строке или столбце.
- Для этого используются свойства определителя: к любой строке (столбцу) можно прибавить другую строку (столбец), умноженную на число. Это не меняет значения определителя.
- В примере, преобразовав столбцы, во второй строке удалось получить три нуля. В результате при раскрытии по этой строке осталось вычислить только одно слагаемое вместо четырёх.
Преобразования для создания нулей — основной способ радикально упростить вычисление определителей высокого порядка.
Метод приведения к треугольному виду
Этот эффективный метод основан на свойстве: если в определителе ниже главной диагонали расположены только нули, то такой определитель равен произведению элементов, стоящих на главной диагонали.
- Идея метода: с помощью элементарных преобразований строк (или столбцов) привести исходный определитель к треугольному виду.
- Процесс: последовательно «зануляются» элементы ниже главной диагонали, начиная с первого столбца. Для этого из нижележащих строк вычитается «рабочая» строка (чаще всего верхняя из оставшихся), умноженная на подходящий коэффициент.
- Для удобства вычислений иногда полезно менять местами строки, чтобы на диагонали в рабочей строке оказалась единица (при перестановке строк знак определителя меняется на противоположный).
После приведения определителя к треугольному виду его значение находится простым перемножением диагональных элементов.