Домой / Kaspersky / Главный определитель матрицы. Определители квадратных матриц. Свойства определителя матрицы, вычисление определителя матрицы с использованием свойств

Главный определитель матрицы. Определители квадратных матриц. Свойства определителя матрицы, вычисление определителя матрицы с использованием свойств

Равен сумме произведений элементов какой-нибудь строки или столбца на их алгебраические дополнения, т.е. , где i 0 – фиксировано.
Выражение (*) называют разложением определителя D по элементам строки с номером i 0 .

Назначение сервиса . Данный сервис предназначен для нахождения определителя матрицы в онлайн режиме с оформлением всего хода решения в формате Word . Дополнительно создается шаблон решения в Excel .

Инструкция . Выберите размерность матрицы, нажмите Далее. Вычислить определитель можно будет двумя способами: по определению и разложением по строке или столбцу . Если требуется найти определитель созданием нулей в одной из строк или столбцов, то можно использовать этот калькулятор .

Алгоритм нахождения определителя

  1. Для матриц порядка n=2 определитель вычисляется по формуле: Δ=a 11 *a 22 -a 12 *a 21
  2. Для матриц порядка n=3 определитель вычисляется через алгебраические дополнения или методом Саррюса .
  3. Матрица, имеющая размерность больше трех, раскладывается на алгебраические дополнения, для которых вычисляются свои определители (миноры). Например, определитель матрицы 4 порядка находится через разложение по строкам или столбцам (см. пример).
Для вычисления определителя, содержащего в матрице функции, применяются стандартные методы. Например, вычислить определитель матрицы 3 порядка:

Используем прием разложения по первой строке.
Δ = sin(x)× + 1× = 2sin(x)cos(x)-2cos(x) = sin(2x)-2cos(x)

Методы вычислений определителей

Нахождение определителя через алгебраические дополнения является распространенным методом. Его упрощенным вариантом является вычисление определителя правилом Саррюса . Однако при большой размерности матрицы, используют следующие методы:
  1. вычисление определителя методом понижения порядка
  2. вычисление определителя методом Гаусса (через приведение матрицы к треугольному виду).
В Excel для расчета определителя используется функция =МОПРЕД(диапазон ячеек) .

Прикладное использование определителей

Вычисляют определители, как правило, для конкретной системы, заданной в виде квадратной матрицы. Рассмотрим некоторые виды задач на нахождение определителя матрицы . Иногда требуется найти неизвестный параметр a , при котором определитель равнялся бы нулю. Для этого необходимо составить уравнение определителя (например, по правилу треугольников ) и, приравняв его к 0 , вычислить параметр a .
разложение по столбцам (по первому столбцу):
Минор для (1,1): Вычеркиваем из матрицы первую строку и первый столбец.
Найдем определитель для этого минора. ∆ 1,1 = (2 (-2)-2 1) = -6 .

Определим минор для (2,1): для этого вычеркиваем из матрицы вторую строку и первый столбец.

Найдем определитель для этого минора. ∆ 2,1 = (0 (-2)-2 (-2)) = 4 . Минор для (3,1): Вычеркиваем из матрицы 3-ю строку и 1-й столбец.
Найдем определитель для этого минора. ∆ 3,1 = (0 1-2 (-2)) = 4
Главный определитель равен: ∆ = (1 (-6)-3 4+1 4) = -14

Найдем определитель, использовав разложение по строкам (по первой строке):
Минор для (1,1): Вычеркиваем из матрицы первую строку и первый столбец.


Найдем определитель для этого минора. ∆ 1,1 = (2 (-2)-2 1) = -6 . Минор для (1,2): Вычеркиваем из матрицы 1-ю строку и 2-й столбец. Вычислим определитель для этого минора. ∆ 1,2 = (3 (-2)-1 1) = -7 . И чтобы найти минор для (1,3) вычеркиваем из матрицы первую строку и третий столбец. Найдем определитель для этого минора. ∆ 1,3 = (3 2-1 2) = 4
Находим главный определитель: ∆ = (1 (-6)-0 (-7)+(-2 4)) = -14

Понятие определителя является одним из основных в курсе линейной алгебры. Это понятие присуще ТОЛЬКО КВАДРАТНЫМ МАТРИЦАМ, этому понятию и посвящена данная статья. Здесь мы будем говорить об определителях матриц, элементами которых являются действительные (или комплексные) числа. В этом случае определитель есть действительное (или комплексное) число. Все дальнейшее изложение будет ответом на вопросы как вычислять определитель, и какими свойствами он обладает.

Сначала дадим определение определителя квадратной матрицы порядка n на n как сумму произведений перестановок элементов матрицы. На основании этого определения запишем формулы для вычисления определителей матриц первого, второго, третьего порядков и подробно разберем решения нескольких примеров.

Далее перейдем к свойствам определителя, которые будем формулировать в виде теорем без доказательства. Здесь будет получен метод вычисления определителя через его разложение по элементам какой-либо строки или столбца. Этот метод позволяет свести вычисление определителя матрицы порядка n на n к вычислению определителей матриц порядка 3 на 3 или меньшего. Обязательно покажем решения нескольких примеров.

В заключении остановимся на вычислении определителя методом Гаусса. Этот метод хорош при нахождении значений определителей матриц порядка выше 3 на 3 , так как требует меньших вычислительных усилий. Также разберем решение примеров.

Навигация по странице.

Определение определителя матрицы, вычисление определителя матрицы по определению.

Напомним несколько вспомогательных понятий.

Определение.

Перестановкой порядка n называется упорядоченный набор чисел, состоящий из n элементов.

Для множества, содержащего n элементов, существует n! (n факториал) перестановок порядка n . Перестановки отличаются друг от друга лишь порядком следования элементов.

Например, рассмотрим множество, состоящее из трех чисел: . Запишем все перестановки (всего их шесть, так как ):

Определение.

Инверсией в перестановке порядка n называется всякая пара индексов p и q , для которой p-ый элемент перестановки больше q-ого .

В предыдущем примере инверсией перестановки 4 , 9 , 7 является пара p=2 , q=3 , так как второй элемент перестановки равен 9 и он больше третьего, равного 7 . Инверсией перестановки 9 , 7 , 4 будут три пары: p=1 , q=2 (9>7 ); p=1 , q=3 (9>4 ) и p=2 , q=3 (7>4 ).

Нас будет больше интересовать количество инверсий в перестановке, а не сама инверсия.

Пусть - квадратная матрица порядка n на n над полем действительных (или комплексных) чисел. Пусть – множество всех перестановок порядка n множества . Множество содержит n! перестановок. Обозначим k–ую перестановку множества как , а количество инверсий в k-ой перестановке как .

Определение.

Определитель матрицы А есть число, равное .

Опишем эту формулу словами. Определителем квадратной матрицы порядка n на n является сумма, содержащая n! слагаемых. Каждое слагаемое представляет собой произведение n элементов матрицы, причем в каждом произведении содержится элемент из каждой строки и из каждого столбца матрицы А . Перед k-ым слагаемым появляется коэффициент (-1) , если элементы матрицы А в произведении упорядочены по номеру строки, а количество инверсий в k-ой перестановке множества номеров столбцов нечетно.

Определитель матрицы А обычно обозначается как , также встречается обозначение det(A) . Также можно услышать, что определитель называют детерминантом.

Итак, .

Отсюда видно, что определителем матрицы первого порядка является элемент этой матрицы .

Вычисление определителя квадратной матрицы второго порядка - формула и пример.

порядка 2 на 2 в общем виде.

В этом случае n=2 , следовательно, n!=2!=2 .

.

Имеем

Таким образом, мы получили формулу для вычисления определителя матрицы порядка 2 на 2 , она имеет вид .

Пример.

порядка .

Решение.

В нашем примере . Применяем полученную формулу :

Вычисление определителя квадратной матрицы третьего порядка - формула и пример.

Найдем определитель квадратной матрицы порядка 3 на 3 в общем виде.

В этом случае n=3 , следовательно, n!=3!=6 .

Оформим в виде таблицы необходимые данные для применения формулы .

Имеем

Таким образом, мы получили формулу для вычисления определителя матрицы порядка 3 на 3 , она имеет вид

Аналогично можно получить формулы для вычисления определителей матриц порядка 4 на 4 , 5 на 5 и более высоких. Они будут иметь очень громоздкий вид.

Пример.

Вычислите определитель квадратной матрицы порядка 3 на 3 .

Решение.

В нашем примере

Применяем полученную формулу для вычисления определителя матрицы третьего порядка:

Формулы для вычисления определителей квадратных матриц второго и третьего порядков очень часто применяются, так что рекомендуем их запомнить.

Свойства определителя матрицы, вычисление определителя матрицы с использованием свойств.

На основании озвученного определения справедливы следующие свойства определителя матрицы .

    Определитель матрицы А равен определителю транспонированной матрицы А Т , то есть, .

    Пример.

    Убедитесь, что определитель матрицы равен определителю транспонированной матрицы.

    Решение.

    Воспользуемся формулой для вычисления определителя матрицы порядка 3 на 3 :

    Транспонируем матрицу А :

    Вычислим определитель транспонированной матрицы:

    Действительно, определитель транспонированной матрицы равен определителю исходной матрицы.

    Если в квадратной матрице все элементы хотя бы одной из строк (одного из столбцов) нулевые, определитель такой матрицы равен нулю.

    Пример.

    Проверьте, что определитель матрицы порядка 3 на 3 равен нулю.

    Решение.


    Действительно, определитель матрицы с нулевым столбцом равен нулю.

    Если переставить местами две любые строки (столбца) в квадратной матрице, то определитель полученной матрицы будет противоположен исходному (то есть, изменится знак).

    Пример.

    Даны две квадратные матрицы порядка 3 на 3 и . Покажите, что их определители противоположны.

    Решение.

    Матрица В получена из матрицы А заменой третьей строки на первую, а первой на третью. Согласно рассмотренному свойству определители таких матриц должны отличаться знаком. Проверим это, вычислив определители по известной формуле.

    Действительно, .

    Если в квадратной матрице хотя бы две строки (два столбца) одинаковы, то ее определитель равен нулю.

    Пример.

    Покажите, что определитель матрицы равен нулю.

    Решение.

    В данной матрице второй и третий столбцы одинаковы, так что согласно рассмотренному свойству ее определитель должен быть равен нулю. Проверим это.

    На самом деле определитель матрицы с двумя одинаковыми столбцами есть ноль.

    Если в квадратной матрице все элементы какой-либо строки (столбца) умножить на некоторое число k , то определитель полученной матицы будет равен определителю исходной матрицы, умноженному на k . Например,

    Пример.

    Докажите, что определитель матрицы равен утроенному определителю матрицы .

    Решение.

    Элементы первого столбца матрицы В получены из соответствующих элементов первого столбца матрицы А умножением на 3 . Тогда в силу рассмотренного свойства должно выполняться равенство . Проверим это, вычислив определители матриц А и В .

    Следовательно, , что и требовалось доказать.

    ОБРАТИТЕ ВНИМАНИЕ.

    Не путайте и не смешивайте понятия матрицы и определителя! Рассмотренное свойство определителя матрицы и операция умножения матрицы на число это далеко не одно и то же.
    , но .

    Если все элементы какой-либо строки (столбца) квадратной матрицы представляют собой сумму s слагаемых (s – натуральное число, большее единицы), то определитель такой матрицы будет равен сумме s определителей матриц, полученных из исходной, если в качестве элементов строки (столбца) оставить по одному слагаемому. Например,

    Пример.

    Докажите, что определитель матрицы равен сумме определителей матриц .

    Решение.

    В нашем примере , поэтому в силу рассмотренного свойства определителя матрицы должно выполняться равенство . Проверим его, вычислив соответствующие определители матриц порядка 2 на 2 по формуле .

    Из полученных результатов видно, что . На этом доказательство завершено.

    Если к элементам некоторой строки (столбца) матрицы прибавить соответствующие элементы другой строки (столбца), умноженные на произвольное число k , то определитель полученной матрицы будет равен определителю исходной матрицы.

    Пример.

    Убедитесь, что если к элементам третьего столбца матрицы прибавить соответствующие элементы второго столбца этой матрицы, умноженные на (-2) , и прибавить соответствующие элементы первого столбца матрицы, умноженные на произвольное действительное число , то определитель полученной матрицы будет равен определителю исходной матрицы.

    Решение.

    Если отталкиваться от рассмотренного свойства определителя, то определитель матрицы, полученной после всех указанных в задаче преобразований, будет равен определителю матрицы А .

    Сначала вычислим определитель исходной матрицы А :

    Теперь выполним необходимые преобразования матрицы А .

    Прибавим к элементам третьего столбца матрицы соответствующие элементы второго столбца матрицы, предварительно умножив их на (-2) . После этого матрица примет вид:

    К элементам третьего столбца полученной матрицы прибавим соответствующие элементы первого столбца, умноженные на :

    Вычислим определитель полученной матрицы и убедимся, что он равен определителю матрицы А , то есть, -24 :

    Определитель квадратной матрицы равен сумме произведений элементов какой-либо строки (столбца) на их алгебраические дополнения .

    Здесь - алгебраическое дополнение элемента матрицы , .

    Это свойство позволяет вычислять определители матриц порядка выше чем 3 на 3 путем сведения их к сумме нескольких определителей матриц порядка на единицу ниже. Иными словами – это рекуррентная формула вычисления определителя квадратной матрицы любого порядка. Рекомендуем ее запомнить в силу достаточно частой применимости.

    Разберем несколько примеров.

    Пример.

    порядка 4 на 4 , разложив его

    • по элементам 3-ей строки,
    • по элементам 2-ого столбца.

    Решение.

    Используем формулу разложения определителя по элементам 3-ей строки

    Имеем

    Так задача нахождения определителя матрицы порядка 4 на 4 свелась к вычислению трех определителей матриц порядка 3 на 3 :

    Подставив полученные значения, приходим к результату:

    Используем формулу разложения определителя по элементам 2-ого столбца


    и действуем аналогично.

    Не будем подробно расписывать вычисление определителей матриц третьего порядка.

    Пример.

    Вычислите определитель матрицы порядка 4 на 4 .

    Решение.

    Можно разложить определитель матрицы по элементам любого столбца или любой строки, однако выгоднее выбирать строку или столбец, содержащую наибольшее количество нулевых элементов, так как это поможет избежать лишних вычислений. Разложим определитель по элементам первой строки:

    Вычислим полученные определители матриц порядка 3 на 3 по известной нам формуле:

    Подставляем результаты и получаем искомое значение

    Пример.

    Вычислите определитель матрицы порядка 5 на 5 .

    Решение.

    В четвертой строке матрицы наибольшее количество нулевых элементов среди всех строк и столбцов, поэтому целесообразно разложить определитель матрицы именно по элементам четвертой строки, так как в этом случае нам потребуется меньше вычислений.

    Полученные определители матриц порядка 4 на 4 были найдены в предыдущих примерах, так что воспользуемся готовыми результатами:

    Пример.

    Вычислите определитель матрицы порядка 7 на 7 .

    Решение.

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

    Ответ:

    Следует отметить, что рассмотренное свойство позволяет вычислить определители матриц любых порядков, однако приходится выполнять массу вычислительных операций. В большинстве случаев определитель матриц порядка выше третьего выгоднее находить методом Гаусса, который мы рассмотрим ниже.

    Сумма произведений элементов какой-либо строки (столбца) квадратной матрицы на алгебраические дополнения соответствующих элементов другой строки (столбца) равна нулю.

    Пример.

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

    Решение.


    Определитель произведения квадратных матриц одного порядка равен произведению их определителей, то есть, , где m – натуральное число большее единицы, A k , k=1,2,…,m – квадратные матрицы одного порядка.

    Пример.

    Убедитесь, что определитель произведения двух матриц и равен произведению их определителей.

    Решение.

    Найдем сначала произведение определителей матриц А и В :

    Сейчас выполним умножение матриц и вычислим определитель получившейся матрицы:

    Таким образом, , что и требовалось показать.

Вычисление определителя матрицы методом Гаусса.

Опишем суть этого метода. Матрица А с помощью элементарных преобразований приводится к такому виду, чтобы в первом столбце все элементы, кроме стали нулевыми (это сделать всегда возможно, если определитель матрицы А отличен от нуля). Эту процедуру опишем чуть позже, а сейчас поясним, для чего это делается. Нулевые элементы получаются для того, чтобы получить самое простое разложение определителя по элементам первого столбца. После такого преобразования матрицы А , учитывая восьмое свойство и , получим

где - минор (n-1)-ого порядка , получающийся из матрицы А вычеркиванием элементов ее первой строки и первого столбца.

С матрицей, которой соответствует минор , проделывается такая же процедура получения нулевых элементов в первом столбце. И так далее до окончательного вычисления определителя.

Теперь осталось ответить на вопрос: «Как получать нулевые элементы в первом столбце»?

Опишем алгоритм действий.

Если , то к элементам первой строки матрицы прибавляются соответствующие элементы k-ой строки, в которой . (Если все без исключения элементы первого столбца матрицы А нулевые, то ее определитель равен нулю по второму свойству и не нужен никакой метод Гаусса). После такого преобразования «новый» элемент будет отличен от нуля. Определитель «новой» матрицы будет равен определителю исходной матрицы в силу седьмого свойства.

Теперь мы имеем матрицу, у которой . При к элементам второй строки прибавляем соответствующие элементы первой строки, умноженные на , к элементам третьей строки – соответствующие элементы первой строки, умноженные на . И так далее. В заключении к элементам n-ой строки прибавляем соответствующие элементы первой строки, умноженные на . Так будет получена преобразованная матрица А , все элементы первого столбца которой, кроме , будут нулевыми. Определитель полученной матрицы будет равен определителю исходной матрицы в силу седьмого свойства.

Разберем метод при решении примера, так будет понятнее.

Пример.

Вычислить определитель матрицы порядка 5 на 5 .

Решение.

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

Так как изначально элемент , то прибавим к элементам первой строки матрицы соответствующие элементы, например, второй строки, так как :

Знак « ~ » означает эквивалентность.

Теперь прибавляем к элементам второй строки соответствующие элементы первой строки, умноженные на , к элементам третьей строки – соответствующие элементы первой строки, умноженные на , и аналогично действуем вплоть до шестой строки:

Получаем

С матрицей проводим ту же процедуру получения нулевых элементов в первом столбце:

Следовательно,

Сейчас выполняем преобразования с матрицей :

Замечание.

На некотором этапе преобразования матрицы по методу Гаусса может возникнуть ситуация, когда все элементы нескольких последних строк матрицы станут нулевыми. Это будет говорить о равенстве определителя нулю.

Подведем итог.

Определителем квадратной матрицы, элементы которой есть числа, является число. Мы рассмотрели три способа вычисления определителя:

  1. через сумму произведений сочетаний элементов матрицы;
  2. через разложение определителя по элементам строки или столбца матрицы;
  3. методом приведения матрицы к верхней треугольной (методом Гаусса).

Были получены формулы для вычисления определителей матриц порядка 2 на 2 и 3 на 3 .

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

При вычислении определителей матриц порядка выше 3 на 3 целесообразно использовать метод Гаусса: выполнить элементарные преобразования матрицы и привести ее к верхней треугольной. Определитель такой матрицы равен произведению всех элементов, стоящих на главной диагонали.

Вычисление определителей n -го порядка:

Понятие определителя n -го порядка

Пользуясь этой статьёй об определителях, вы обязательно научитесь решать задачи вроде следующей:

Решить уравнение:

и многих других, которые так любят придумывать преподаватели.

Определитель матрицы или просто определитель играет важную роль в решении систем линейных уравнений. В общем-то определители и были придуманы для этой цели. Поскольку часто говорят также "определитель матрицы", упомянем здесь и матрицы. Матрица - это прямоугольная таблица, составленная из чисел, которые нельзя менять местами. Квадратная матрица - таблица, у которой число строк и число столбцов одинаково. Определитель может быть только у квадратной матрицы .

Понять логику записи определителей легко по следующей схеме. Возьмём знакомую вам со школьной скамьи систему из двух уравнений с двумя неизвестными:

В определителе последовательно записываются коэффициенты при неизвестных: в первой строке - из первого уравнения, во второй строке - из второго уравнения:

Например, если дана система уравнений

то из коэффициентов при неизвестных формируется следующий определитель:

Итак, пусть дана квадратная таблица, состоящая из чисел, расположенных в n строках (горизонтальных рядах) и в n столбцах (вертикальных рядах). С помощью этих чисел по некоторым правилам, которые мы изучим ниже, находят число, которое и называют определителем n -го порядка и обозначают следующим образом:

(1)

Числа называют элементами определителя (1) (первый индекс означает номер строки, второй – номер столбца, на пересечении которых стоит элемент; i = 1, 2, ..., n; j = 1, 2, ..., n). Порядок определителя – это число его строк и столбцов.

Воображаемая прямая, соединяющая элементы определителя, у которых оба индекса одинаковы, т.е. элементы

называется главной диагональю , другая диагональ – побочной .

Вычисление определителей второго и третьего порядков

Покажем, как вычисляются определители первых трёх порядков.

Определитель первого порядка – это сам элемент т.е.

Определитель второго порядка есть число, получаемое следующим образом:

, (2)

Произведение элементов, стоящих соответственно на главной и на побочной диагоналях.

Равенство (2) показывает, что со своим знаком берётся произведение элементов главной диагонали, а с противоположным – произведение элементов побочной диагонали .

Пример 1. Вычислить определители второго порядка:

Решение. По формуле (2) находим:

Определитель третьего порядка – это число, получаемое так:

(3)

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


Формула (3) показывает, что со своими знаками берутся произведения элементов главной диагонали, а также элементов, расположенных в вершинах двух треугольников, основания которых ей параллельны; с противоположными – произведения элементов побочной диагонали, а также элементов, расположенных в вершинах двух треугольников, которые ей параллельны .

На рис.1 главная диагональ и соответствующие ей основания треугольников и побочная диагональ и соответствующие ей основания треугольников выделены красным цветом.

При вычислении определителей очень важно, как и в средней школе, помнить, что число со знаком минус, умноженное на число со знаком минус, в результате даёт число со знаком плюс, а число со знаком плюс, умноженное на число со знаком минус, в результате даёт число со знаком минус.

Пример 2. Вычислить определитель третьего порядка:

Решение. Пользуясь правилом треугольников, получим



Вычисление определителей n -го порядка

Разложение определителя по строке или столбцу

Для вычисления определителя n -го порядка необходимо знать и использовать следующую теорему.

Теорема Лапласа. Определитель равен сумме произведений элементов какой-либо строки на их алгебраические дополнения, т.е.

Определение . Если в определителе n -го порядка выбрать произвольно p строк и p столбцов (p < n ), то элементы, находящиеся на пересечении этих строк и столбцов, образуют матрицу порядка .

Определитель этой матрицы называется минором исходного определителя. Например, рассмотрим определитель :

Из строк и столбцов с чётными номерами построим матрицу:

Определитель

называется минором определителя . Получили минор второго порядка. Ясно, что из можно построить различные миноры первого, второго и третьего порядка.

Если взять элемент и вычеркнуть в определителе строку и столбец, на пересечении которых он стоит, то получим минор, называемый минором элемента , который обозначим через :

.

Если минор умножить на , где 3 + 2 – сумма номеров строки и столбца, на пересечении которых стоит элемент то полученное произведение называется алгебраическим дополнением элемента и обозначается ,

Вообще, минор элемента будем обозначать , а алгебраическое дополнение ,

(4)

Для примера вычислим алгебраические дополнения элементов и определителя третьего порядка :

По формуле (4) получим

При разложении определителя часто используется следующее свойство определителя n -го порядка:

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

Пример 4.

Предварительно вычтем из первой и третьей строк элементы четвёртой строки, тогда будем иметь

В четвёртом столбце полученного определителя три элемента – нули. Поэтому выгоднее разложить этот определитель по элементам четвёртого столбца, так как три первых произведения будут нулями. Поэтому

Проверить решение можно с помощью калькулятора определителей онлайн .

А в следующем примере показано, как вычисление определителя любого (в данном случае - четвёртого) порядка можно свести к вычислению определителя второго порядка.

Пример 5. Вычислить определитель:

Вычтем из третьей строки элементы первой строки, а к элементам четвёртой строки прибавим элементы первой строки, тогда будем иметь

В первом столбце все элементы, кроме первого, - нули. То есть, определитель можно уже разложить по первому столбцу. Но нам очень не хочется вычислять определитель третьего порядка. Поэтому произведём ещё преобразования: к элементам третьей строки прибавим элементы второй строки, умноженные на 2, а из элементов четвёртой строки вычтем элементы второй строки. В результате определитель, являющийся алгебраическим дополнением, сам может быть разложен по первому столбцу и нам останется только вычислить определитель второго порядка и не запутаться в знаках:

Приведение определителя к треугольному виду

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

Для приведения к треугольному виду используется то же самое свойство определителя n -го порядка, которое мы применяли в предыдущем параграфе: если к элементам какой-либо строки или столбца прибавить произведение соответствующих элементов другой строки или столбца на постоянный множитель, то значение определителя не изменится.

Проверить решение можно с помощью калькулятора определителей онлайн .

Свойства определителя n -го порядка

В двух предыдущих параграфах мы уже использовали одно из свойств определителя n -го порядка. В некоторых случаях для упрощения вычисления определителя можно пользоваться другими важнейшими свойствами определителя. Например, можно привести определитель к сумме двух определителей, из которых один или оба могут быть удобно разложены по какой-либо строке или столбцу. Случаев такого упрощения предостаточно и решать вопрос об использовании того или иного свойства определителя следует индивидуально.

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

Необходимость введения понятия определителя - числа , характеризующего квадратную матрицу порядка n , тесно связано с решением систем линейных алгебраических уравнений .

Определитель матрицы А будем обозначать: |А | или D.

Определителем матрицы первого порядка А = (а 11) называется элемент а 11 . Например, для А = (-4) имеем |А | = -4.

Определителем матрицы второго порядка называется число , определяемое по формуле

|А | = .

Например, |А | = .

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

Например,

Определение определителя матрицы n -го порядка давать не будем, а лишь покажем метод его нахождения.

В дальнейшем, вместо слов определитель матрицы n -го порядка будем говорить просто определитель n -го порядка . Введем новые понятия.

Пусть дана квадратная матрица n -го порядка.

Минором М ij элемента а ij матрицы А называется определитель (n -1)-го порядка, полученный из матрицы А вычеркиванием i -ой строки и j -го столбца.

Алгебраическим дополнением А ij элемента а ij матрицы А называется его минор, взятый со знаком (-1) i+j:

А ij = (-1) i + j М ij ,

т.е. алгебраическое дополнение либо совпадает со своим минором, когда сумма номеров строки и столбца - четное число, либо отличается от него знаком, когда сумма номеров строки и столбца - нечетное число.

Например, для элементов а 11 и а 12 матрицы А = миноры

М 11 = А 11 = ,

М 12 = ,

а А 12 = (-1) 1+2 М 12 = -8.

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

|А | = а i1 A i1 + а i2 A i2 + … + а in A in ,
для любого i = 1, 2, …, n

|А | = а 1j A 1j + а 2j A 2j + … + а nj A nj ,

для любого j = 1, 2, …, n


Первая формула называется i -ой строки, а вторая - разложением определителя по элементам j -го столбца.

Нетрудно понять, что с помощью этих формул любой определитель n -го порядка можно свести к сумме определителей, порядок которых будет на 1 меньше и т.д. пока не дойдем до определителей 3-го или 2-го порядков, вычисление которых уже не представляет трудности.

Для нахождения определителя могут быть применены следующие основные свойства:

1. Если какая-нибудь строка (или столбец) определителя состоит из нулей, то и сам определитель равен нулю.

2. При перестановке любых двух строк (или двух столбцов) определитель умножается на -1.

3. Определитель с двумя одинаковыми или пропорциональными строками (или столбцами) равен нулю.

4. Общий множитель элементов любой строки (или столбца) можно вынести за знак определителя.

5. Величина определителя не изменится, если все строки и столбцы поменять местами.

6. Величина определителя не изменится, если к одной из строк (или к одному из столбцов) прибавить другую строку (столбец), умноженную на любое число.

7. Сумма произведений элементов какой-нибудь строки (или столбца) матрицы на алгебраические дополнения элементов другой строки (столбца) этой матрицы равна нулю.

8. Определитель произведения двух квадратных матриц равен произведению их определителей.

Введение понятия определителя матрицы позволяет определить еще одно действие с матрицами - нахождение обратной матрицы.

Для каждого ненулевого числа существует обратное число, такое, что произведение этих чисел дает единицу. Для квадратных матриц тоже существует такое понятие.

Матрица А -1 называется обратной по отношению к квадратной матрице А , если при умножении этой матрицы на данную как справа, так и слева получается единичная матрица , т.е.

А ×А -1 = А -1 × А = Е.

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

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

Итак, пусть задана некая квадратная матрица $A_{n\times n}=\left(\begin{array} {cccc} a_{11} & a_{12} & \ldots & a_{1n} \\ a_{21} & a_{22} & \ldots & a_{2n} \\ \ldots & \ldots & \ldots & \ldots \\ a_{n1} & a_{n2} & \ldots & a_{nn} \\ \end{array} \right)$. Каждая квадратная матрица обладает характеристикой, которая называется определителем (или детерминантом). Я не стану вдаваться здесь в суть этого понятия. Если оно требует пояснений, то прошу отписать об этом на форум , и я коснусь данного вопроса детальнее.

Обозначается определитель матрицы $A$ как $\Delta A$, $|A|$ или $\det A$. Порядок определителя равен количеству строк (столбцов) в нём.

  1. Значение определителя не изменится, если его строки заменить соответствующими столбцами, т.е. $\Delta A=\Delta A^T$.

    показать\скрыть

    Заменим в нём строки столбцами по принципу: "была первая строка - стал первый столбец", "была вторая строка - стал второй столбец":

    Вычислим полученный определитель: $\left| \begin{array} {cc} 2 & 9 \\ 5 & 4 \end{array} \right|=2\cdot 4-9\cdot 5=-37$. Как видите, значение определителя от проведённой замены не изменилось.

  2. Если поменять местами две строки (столбца) определителя, то знак определителя изменится на противоположный.

    Пример применения этого свойства: показать\скрыть

    Рассмотрим определитель $\left| \begin{array} {cc} 2 & 5 \\ 9 & 4 \end{array} \right|$. Найдём его значение, используя формулу №1 из темы вычисления определителей второго и третьего порядков :

    $$\left| \begin{array} {cc} 2 & 5 \\ 9 & 4 \end{array} \right|=2\cdot 4-5\cdot 9=-37.$$

    Теперь поменяем местами первую и вторую строки. Получим определитель $\left| \begin{array} {cc} 9 & 4 \\ 2 & 5 \end{array} \right|$. Вычислим полученный определитель: $\left| \begin{array} {cc} 9 & 4 \\ 2 & 5 \end{array} \right|=9\cdot 5-4\cdot 2=37$. Итак, значение исходного определителя равнялось (-37), а у определителя с изменённым порядком строк значение равно $-(-37)=37$. Знак определителя изменился на противоположный.

  3. Определитель, у которого все элементы строки (столбца) равны нулю, равен нулю.

    Пример применения этого свойства: показать\скрыть

    Так как в определителе $\left| \begin{array} {ccc} -7 & 10 & 0\\ -9 & 21 & 0\\ 2 & -3 & 0 \end{array} \right|$ все элементы третьего столбца равны нулю, то определитель равен нулю, т.е. $\left| \begin{array} {ccc} -7 & 10 & 0\\ -9 & 21 & 0\\ 2 & -3 & 0 \end{array} \right|=0$.

  4. Определитель, у которого все элементы некоей строки (столбца) равны соответствующим элементам иной строки (столбца) равен нулю.

    Пример применения этого свойства: показать\скрыть

    Так как в определителе $\left| \begin{array} {ccc} -7 & 10 & 0\\ -7 & 10 & 0\\ 2 & -3 & 18 \end{array} \right|$ все элементы первой строки равны соответствующим элементам второй строки, то определитель равен нулю, т.е. $\left| \begin{array} {ccc} -7 & 10 & 0\\ -7 & 10 & 0\\ 2 & -3 & 18 \end{array} \right|=0$.

  5. Если в определителе все элементы одной строки (столбца) пропорциональны соответствующим элементам иной строки (столбца), то такой определитель равен нулю.

    Пример применения этого свойства: показать\скрыть

    Так как в определителе $\left| \begin{array} {ccc} -7 & 10 & 28\\ 5 & -3 & 0\\ -15 & 9 & 0 \end{array} \right|$ вторая и третья строки пропорциональны, т.е. $r_3=-3\cdot{r_2}$, то определитель равен нулю, т.е. $\left| \begin{array} {ccc} -7 & 10 & 28\\ 5 & -3 & 0\\ -15 & 9 & 0 \end{array} \right|=0$.

  6. Если все элементы строки (столбца) имеют общий множитель, то этот множитель можно вынести за знак определителя.

    Пример применения этого свойства: показать\скрыть

    Рассмотрим определитель $\left| \begin{array} {cc} -7 & 10 \\ -9 & 21 \end{array} \right|$. Заметьте, что все элементы второй строки делятся на 3:

    $$\left| \begin{array} {cc} -7 & 10 \\ -9 & 21 \end{array} \right|=\left| \begin{array} {cc} -7 & 10 \\ 3\cdot(-3) & 3\cdot 7 \end{array} \right|$$

    Число 3 и есть общий множитель всех элементов второй строки. Вынесем тройку за знак определителя:

    $$ \left| \begin{array} {cc} -7 & 10 \\ -9 & 21 \end{array} \right|=\left| \begin{array} {cc} -7 & 10 \\ 3\cdot(-3) & 3\cdot 7 \end{array} \right|= 3\cdot \left| \begin{array} {cc} -7 & 10 \\ -3 & 7 \end{array} \right| $$

  7. Определитель не изменится, если ко всем элементам некоей строки (столбца) прибавить соответствующие элементы иной строки (столбца), умноженные на произвольное число.

    Пример применения этого свойства: показать\скрыть

    Рассмотрим определитель $\left| \begin{array} {ccc} -7 & 10 & 0\\ -9 & 21 & 4 \\ 2 & -3 & 1 \end{array} \right|$. Прибавим к элементам второй строки соответствующие элементы третьей строки, умноженные на 5. Записывают это действие так: $r_2+5\cdot{r_3}$. Вторая строка будет изменена, остальные строки останутся без изменений.

    $$ \left| \begin{array} {ccc} -7 & 10 & 0\\ -9 & 21 & 4 \\ 2 & -3 & 1 \end{array} \right| \begin{array} {l} \phantom{0}\\ r_2+5\cdot{r_3}\\ \phantom{0} \end{array}= \left| \begin{array} {ccc} -7 & 10 & 0\\ -9+5\cdot 2 & 21+5\cdot (-3) & 4+5\cdot 1 \\ 2 & -3 & 1 \end{array} \right|= \left| \begin{array} {ccc} -7 & 10 & 0\\ 1 & 6 & 9 \\ 2 & -3 & 1 \end{array} \right|. $$

  8. Если в определителе некая строка (столбец) есть линейная комбинация иных строк (столбцов), то определитель равен нулю.

    Пример применения этого свойства: показать\скрыть

    Сразу поясню, что означает словосочетание "линейная комбинация". Пусть у нас есть s строк (или столбцов): $A_1$, $A_2$,..., $A_s$. Выражение

    $$ k_1\cdot A_1+k_2\cdot A_2+\ldots+k_s\cdot A_s, $$

    где $k_i\in R$ называется линейной комбинацией строк (столбцов) $A_1$, $A_2$,..., $A_s$.

    Для примера рассмотрим такой определитель:

    $$ \left| \begin{array} {cccc} -1 & 2 & 3 & 0\\ -2 & -4 & -5 & 1\\ 5 & 0 & 7 & 10 \\ -13 & -8 & -16 & -7 \end{array} \right| $$

    В этом определителе четвертую строку можно выразить как линейную комбинацию первых трёх строк:

    $$ r_4=2\cdot{r_1}+3\cdot{r_2}-r_3 $$

    Следовательно, рассматриваемый определитель равен нулю.

  9. Если каждый элемент некоей k-й строки (k-го столбца) определителя равен сумме двух слагаемых, то такой определитель равен сумме определителей, у первого из которых в k-й строке (k-м столбце) стоят первые слагаемые, а у второго определителя в k-й строке (k-м столбце) расположены вторые слагаемые. Иные элементы этих определителей одинаковы.

    Пример применения этого свойства: показать\скрыть

    Рассмотрим определитель $\left| \begin{array} {ccc} -7 & 10 & 0\\ -9 & 21 & 4 \\ 2 & -3 & 1 \end{array} \right|$. Запишем элементы второго столбца так: $\left| \begin{array} {ccc} -7 & 3+7 & 0\\ -9 & 21+0 & 4 \\ 2 & 5+(-8) & 1 \end{array} \right|$. Тогда такой определитель равен сумме двух определителей:

    $$ \left| \begin{array} {ccc} -7 & 10 & 0\\ -9 & 21 & 4 \\ 2 & -3 & 1 \end{array} \right|= \left| \begin{array} {ccc} -7 & 3+7 & 0\\ -9 & 21+0 & 4 \\ 2 & 5+(-8) & 1 \end{array} \right|= \left| \begin{array} {ccc} -7 & 3 & 0\\ -9 & 21 & 4 \\ 2 & 5 & 1 \end{array} \right|+ \left| \begin{array} {ccc} -7 & 7 & 0\\ -9 & 0 & 4 \\ 2 & -8 & 1 \end{array} \right| $$

  10. Определитель произведения двух квадратных матриц одного порядка равен произведению определителей этих матриц, т.е. $\det(A\cdot B)=\det A\cdot \det B$. Из этого правила можно получить такую формулу: $\det \left(A^n \right)=\left(\det A \right)^n$.
  11. Если матрица $A$ - невырожденная (т.е. её определитель не равен нулю), то $\det \left(A^{-1}\right)=\frac{1}{\det A}$.

Формулы для вычисления определителей

Для определителей второго и третьего порядков верны такие формулы:

\begin{equation} \Delta A=\left| \begin{array} {cc} a_{11} & a_{12} \\ a_{21} & a_{22} \end{array} \right|=a_{11}\cdot a_{22}-a_{12}\cdot a_{21} \end{equation} \begin{equation} \begin{aligned} & \Delta A=\left| \begin{array} {ccc} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{array} \right|= a_{11}\cdot a_{22}\cdot a_{33}+a_{12}\cdot a_{23}\cdot a_{31}+a_{21}\cdot a_{32}\cdot a_{13}-\\ & -a_{13}\cdot a_{22}\cdot a_{31}-a_{12}\cdot a_{21}\cdot a_{33}-a_{23}\cdot a_{32}\cdot a_{11} \end{aligned} \end{equation}

Примеры применения формул (1) и (2) есть в теме "Формулы для вычисления определителей второго и третьего порядков. Примеры вычисления определителей" .

Определитель матрицы $A_{n\times n}$ можно разложить по i-й строке, используя следующую формулу:

\begin{equation}\Delta A=\sum\limits_{j=1}^{n}a_{ij}A_{ij}=a_{i1}A_{i1}+a_{i2}A_{i2}+\ldots+a_{in}A_{in} \end{equation}

Аналог данной формулы существует и для столбцов. Формула для разложения определителя по j-му столбцу выглядит следующим образом:

\begin{equation}\Delta A=\sum\limits_{i=1}^{n}a_{ij}A_{ij}=a_{1j}A_{1j}+a_{2j}A_{2j}+\ldots+a_{nj}A_{nj} \end{equation}

Правила, выраженные формулами (3) и (4), подробно проиллюстрированы примерами и пояснены в теме Понижение порядка определителя. Разложение определителя по строке (столбцу) .

Укажем еще одну формулу для вычисления определителей верхних треугольных и нижних треугольных матриц (пояснение этих терминов см. в теме "Матрицы. Виды матриц. Основные термины"). Определитель такой матрицы равен произведению элементов, стоящих на главной диагонали. Примеры:

\begin{aligned} &\left| \begin{array} {cccc} 2 & -2 & 9 & 1 \\ 0 & 9 & 8 & 0 \\ 0 & 0 & 4 & -7 \\ 0 & 0 & 0 & -6 \end{array} \right|= 2\cdot 9\cdot 4\cdot (-6)=-432.\\ &\left| \begin{array} {cccc} -3 & 0 & 0 & 0 \\ -5 & 0 & 0 & 0 \\ 8 & 2 & 1 & 0 \\ 5 & 4 & 0 & 10 \end{array} \right|= -3\cdot 0\cdot 1 \cdot 10=0. \end{aligned}