Определитель матрицы – как его использовать и каковы его преимущества

Линейная алгебра 07.04.2024 0 15966 Нашли ошибку? Ссылка по ГОСТ

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

Часто в ВУЗе попадаются задачи по высшей математики, в которых необходимо вычислить определитель матрицы. К слову, определитель может быть только в квадратных матрицах. Ниже рассмотрим основные определения, какими свойствами обладает определитель и как его правильно вычислить.. Также на примерах покажем подробное решение.

Что такое определитель матрицы: вычисление определителя при помощи определения

Определитель матрицы

A = \begin{pmatrix}  a_1_1&a_1_2\\  a_2_1&a_2_2  \end{pmatrix}\right второго порядка – это число |A| = a_{11}a_{22} - a_{12}a_{21}.

Определитель матрицы обозначается det A – (сокращенно от латинского названия детерминант), или |A|.

Если:A = \begin{pmatrix}  a_1_1&a_1_2\\  a_2_1&a_2_2  \end{pmatrix}\right, тогда получается |A| = det A = \begin{pmatrix}  a_1_1&a_1_2\\  a_2_1&a_2_2  \end{pmatrix}\right

Напомним ещё несколько вспомогательных определений:

[stextbox id=”info”  defcaption=”true”]Упорядоченный набор чисел, который состоит из n элементов называется перестановкой порядка n.[/stextbox]

Для множества, которое содержит n элементов есть факториал (n), который всегда обозначается восклицательным знаком: n!. Перестановки отличаются друг от друга всего лишь порядком следования. Чтобы вам было понятнее, приведём пример:

Рассмотрим множество из трёх элементов {3, 6, 7}. Всего перестановок 6, так как 3! = 1 * 2 * 3 = 6.:

1. 3, 6, 7;

2. 3, 7, 6;

3. 6, 3, 7;

4. 6, 7, 3;

5. 7, 3, 6;

6. 7, 6, 3

[stextbox id=”info”  defcaption=”true”]Инверсия в перестановке порядка n – это упорядоченный набор чисел (его ещё называют биекцией), где из них два числа образуют некий беспорядок. Это когда большее из чисел в данной перестановке расположено левее меньшего числа. [/stextbox]

Выше мы рассматривали пример с инверсией перестановки, где были числа {6, 3, 7}. Так вот, возьмём вторую строку, где судя по данным числам получается, что q = 2, а k = 3, так как второй элемент 7 больше третьего элемента 6. Возьмём для сравнения шестую строку, где расположены числа: 7, 6, 3. Здесь есть три пары: p = 1, а k = 2, так как 7 > 6; p = 1, k = 3, так как 7 > 3; p = 2, k = 36 > 3.

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

[stextbox id=”info”  defcaption=”true”] Определитель матрицы nxn – число:

det (A) = \sum_{a_1, a_2,..., a_n}\limits (-1)^{N(a_1, a_2,..., a_n)}* a_\alpha_1_1*a_\alpha_2_2...*a_\alpha_n_n, где

\alpha_1, \alpha_2, \alpha_n – перестановка чисел от 1 до бесконечного числа (n), а {N(a_1, a_2,..., a_n)} – число инверсий в перестановке. Таким образом, в определитель входит n! слагаемых, которые называются “членами определителя”. [/stextbox]

Можно вычислять определитель матрицы второго порядка, третьего и даже четвёртого. Также стоит упомянуть: [stextbox id=”info”  defcaption=”true”]

определитель матрицы |A| – это число, которое равняется \sum_{k = 1}^{n!}\limits(-1)^{N_k} * a_{1j1(k)} * a_{2j2(k)} * ...*a_{njn(k)}.[/stextbox]

Чтобы понять данную формулу, опишем её более подробно. Определитель квадратной матрицы n x n – это сумма, которая содержит n! слагаемых, а каждое слагаемое является собой произведением определённого количества (n) элементов матрицы. При этом, в каждом произведении есть элемент из каждой строки и каждого столбца матрицы.

Перед определённым слагаемым может появится (-1) в том случае, если элементы матрицы в произведении идут по порядку (по номеру строку), а количество инверсий N_k в перестановке k множество номеров столбцов нечётно.

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

Итак, вернёмся к формуле:

\sum_{k = 1}^{n!}\limits(-1)^{N_k} * a_{1j1(k)} * a_{2j2(k)} * ...*a_{njn(k)}.

Из формулы видно, что определитель матрицы первого порядка – это элемент этой же матрицы |a_{11}| = a_{11}.

Нужна помощь в написании работы?

Мы - биржа профессиональных авторов (преподавателей и доцентов вузов). Наша система гарантирует сдачу работы к сроку без плагиата. Правки вносим бесплатно.

Цена работы

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

Чаще всего на практике определитель матрицы решается методами второго, третьего и реже, четвёртого порядка. Рассмотрим, как вычисляется определитель матрицы второго порядка:

A = \begin{vmatrix} a_{11}&a_{12}\\ a_{21}&a_{22} \end{vmatrix} \right

В матрице второго порядка n = 2, отсюда следует, что факториал n! = 2! = 2. Прежде чем применить формулу

A = \sum_{k = 1}^{n!}\limits(-1)^{N_k} * a_{1j1(k)} * a_{2j2(k)} * ...*a_{njn(k)}. необходимо определить, какие данные у нас получаются:

1. k = 2;

2. перестановки множеств: 1, 2 и 2, 1;

3. количество инверсий в перестановке N_k: 0 и 1, так как 2 > 1;

4. соответствующие произведения (-1)^{N_k} * a_{1j1(k)} * a_{2j2(k)}: a_{11} * a_{22} и -a_{12} * a_{21}.

Получается:

|A| = \begin{vmatrix}  a_{11}&a_{12}\\  a_{21}&a_{22}  \end{vmatrix} = \sum_{k = 1}^{n!}\limits(-1)^{N_k} * a_{1j1(k)} * a_{2j2(k)} = a_{11} * a_{22} - a_{12} * a_{21}.  \right

Исходя из вышесказанного мы получаем формулу для вычисления определителя квадратной матрицы второго порядка, то есть 2 x 2:

\begin{vmatrix} a_{11}&a_{12}\\ a_{21}&a_{22} \end{vmatrix} = a_{11} * a_{22} - a_{12} * a_{21} \right

Рассмотрим на конкретном примере, как вычислять определитель квадратной матрицы второго порядка:

[stextbox id=’warning’ caption=”Пример”]

Задача

Вычислить определитель матрицы 2 x 2:

A = \begin{vmatrix} 2&3\\ - 6&1 \end{vmatrix}\right

Решение

Итак, у нас получается a_{11} = 2, a_{12} = 3, a_{21} = - 6, a_{22} = 1.

Для решения необходимо воспользоваться ранее рассмотренной формулой:

A = \begin{vmatrix} a_{11}&a_{12}\\ a_{21}&a_{22} \end{vmatrix} = a_{11} * a_{22} - a_{12} * a_{21} \right

Подставляем числа с примера и находим:

A = \begin{vmatrix} 2&3\\ - 6&1 \end{vmatrix} = 2 * 1 - 3 * (-6) = 3 - (-18) = 21 \right

Ответ

Определитель матрицы второго порядка = 21.

[/stextbox]

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

[stextbox id=”info”  defcaption=”true”]

Определитель матрицы третьего порядка – это число, полученное из девяти заданных чисел, расположенных в виде квадратной таблицы,[/stextbox]

Определитель третьего порядка находится почти так же, как и определитель второго порядка. Разница лишь в формуле. Поэтому, если хорошо ориентироваться в формуле, тогда и проблем с решением не будет.

Рассмотрим квадратную матрицу третьего порядка 3 * 3:

A = \begin{vmatrix} a_{11}&a_{12}&a_{13}\\ a_{21}&a_{22}&a_{23}\\ a_{31}&a_{32}&a_{33} \end{vmatrix} \right

Исходя из данной матрицы, понимаем, что n = 3, соответственно, факториал (n) = 3, а это значит, что всего перестановок получается 6

Чтобы применить правильно формулу |A| =  \sum_{k = 1}^{n!}\limits(-1)^{N_k} * a_{1j_1(k)} * a_{2j_2(k)} ... * a_{nj_n(k), необходимо найти данные:

Итак, всего перестановок множества {1, 2, 3} = 6:

1. 1, 2, 3, количество инверсий в перестановке 0, а соответствующие произведения = a_{11} * a_{22} * a_{33};

2. 1, 3, 2, количество инверсий в перестановке 1 (3 >2), соответствующие произведения = -a_{11} * a_{23} * a_{32};

3. 2, 1, 3, инверсий в перестановке 1 (2 > 1), соответствующие произведение = -a_{12} * a_{21} * a_{33};

4. 2, 3, 1; инверсий в перестановке 2 (2 > 1; 3 > 1), соответствующие произведение = a_{12} * a_{23} * a_{31}

5. 3, 1, 2; инверсий в перестановке 2 (3 > 1; 3 > 2), соответствующие произведение = a_{13} * a_{21} * a_{32}

6. 3, 2, 1; инверсий в перестановке 3 (3 > 1; 3 > 2; 2 >1), соответствующие произведение = -a_{13} * a_{22} * a_{31}.

Теперь у нас получается:

A = \begin{vmatrix} a_{11}&a_{12}&a_{13}\\ a_{21}&a_{22}&a_{23}\\ a_{31}&a_{32}&a_{33} \end{vmatrix} = \sum_{k = 1}^{n!}\limits(-1)^{N_k} * a_{1j_1(k)} * a_{2j_2(k)} * a_{3j_3(k)} = a_{11} * a_{22} * a_{33} - a_{11} * a_{23} * a_{32} + a_{12} * a_{23} * a_{31} + a_{13} * a_{21} * a_{32} - a_{13} * a_{22} * a_{31} \right

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

\begin{vmatrix} a_{11}&a_{12}&a_{13}\\ a_{21}&a_{22}&a_{23}\\ a_{31}&a_{32}&a_{33} \end{vmatrix} \right =  a_{11} * a_{22} * a_{33} + a_{12} * a_{23} * a_{31} + a_{13} * a_{21} * a_{32} -\\- a_{13} * a_{22} * a_{31} - a_{12} * a_{21} * a_{33} - a_{11} * a_{23} * a_{32}.

Нахождение матрицы третьего порядка по правилу треугольника (правило Саррюса)

Как говорилось выше, элементы определителя 3-го порядка расположены в трёх строках и трёх столбцах. Если ввести обозначение общего элемента a_{ij}(i = 1, 2, 3; j = 1, 2, 3), тогда первый элемент обозначает номер строки, а второй элемент из индексов – номер столбца. Есть главная (элементы a_{11}, a_{22}, a_{33)) и побочная (элементы a_{31}, a_{22}, a_{13}) диагонали определителя. Слагаемые в правой части называются членами определителя).

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

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

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

Правило треугольника

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

[stextbox id=’warning’ [stextbox id=’warning’ caption=”Пример”]

Задача

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

 \begin{vmatrix} 1&4&-3\\ 2&3&5\\ -4&1&-1 \end{vmatrix} \right

Решение

В этом примере:

a_{11} = 1, a_{12} = 4, a_{13} = -3,

a_{21} = 2, a_{22} = 3, a_{23} = 5,

a_{31} = -4, a_{32} = 1, a_{33} = -1.

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

 \begin{vmatrix} 1&4&-3\\ 2&3&5\\ -4&1&-1 \end{vmatrix} = a_{11} * a_{22} * a_{33} + a_{12} * a_{23} * a_{31} + a_{13} * a_{21} * a_{32} - a_{13} * a_{22} * a_{31} - a_{12} * a_{21} * a_{33} - a_{11} * a_{23} * a_{32} = 1 * 3 * (-1) + 4 * 5 * (-4) + (-3) * 2 * 1 - (-3) * 3 * (-4) - 4 * 2 * (-1) - 1 * 5 * 1 = -3 - 80 - 6 - 36 + 8 - 5 = -122 \right

Ответ

Определитель матрицы третьего порядка = -122

[/stextbox]

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

Основные свойства определителей матрицы третьего порядка

На основании предыдущих определений и формул рассмотрим основные свойства определителя матрицы.

1. Размер определителя не изменится при замене соответствующих строк, столбцов (такая замена называется транспонированием).

\left\ \begin{vmatrix} a_1_1&a_1_2&a_1_3\\ a_2_1&a_2_2&a_2_3\\ a_3_1&a_3_2&a_3_3 \end{vmatrix} = \begin{vmatrix}a_1_1&a_2_1&a_3_1\\a_1_2&a_2_2&a_3_2\\a_1_3&a_2_3&a_3_3\end{vmatrix}\right

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

|A| = \begin{vmatrix} 0&3&1\\ 1&2&3\\. 3&2&3 \end{vmatrix} \right

Вспомним формулу для вычисления определителя: a_{11} * a_{22} * a_{33} + a_{12} * a_{23} * a_{31} + a_{13} * a_{21} * a_{32} - a_{13} * a_{22} * a_{31} - a_{12} * a_{21} * a_{33} - a_{11} * a_{23} * a_{32} = 0 * 2 * 3 + 3 * 3 * 3 + 1 * 1 * 2 - 1 * 2 * 3 - 3 * 1 * 3 - 0 * 3 * 2 = 0 + 27 + 2 - (-6) - (-9) - 0 = 44

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

A^T = \begin{vmatrix} 0&3&1\\ 1&2&3\\. 3&2&3 \end{vmatrix}^T = \begin{vmatrix} 0&1&3\\ 3&2&2\\. 1&3&3 \end{vmatrix} \right

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

A^T = \begin{vmatrix} 0&1&3\\ 3&2&2\\. 1&3&3 \end{vmatrix}^T = 0 * 2 * 3 + 1 * 2 * 1 + 3 * 3 * 3 - 3 * 2 * 1 - 1 * 3 * 3 - 0 * 2 * 3 = 0 + 2 + 27 - (-6) - (-9) - 0 = 44 \right

Мы убедились, что определитель транспортированной матрицы равен исходной матрице, что говорит о правильном решении.

2. Знак определителя изменится на противоположный, если в нём поменять местами любые два его столбца или две строки.

Рассмотрим на примере:

Даны две матрицы третьего порядка (3 x 3):

 A = \begin{vmatrix} 1&4&-3\\ 2&3&5\\ -4&1&-1 \end{vmatrix} \right

 B = \begin{vmatrix} -4&1&-1\\ 2&3&5\\ 1&4&-3 \end{vmatrix} \right

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

Решение

В матрице A и в матрице B поменялись строки (третья с первой, и с первой на третью). Согласно второму свойству определители двух матриц должны отличаться знаком. То есть, одна матрица с положительным знаком, а вторая – с отрицательным. давайте проверим данное свойство, применив формулу для вычисления определителя.

 |A| = \begin{vmatrix} 1&4&-3\\ 2&3&5\\ -4&1&-1 \end{vmatrix} = 1 * 3 * (-1) + 4 * 5 * (-4) + (-3) * 2 * 1 - (-3) * 3 * (-4) - 4 * 2 * (-1) - 1 * 5 * 1 = -3 - 80 - 6 - 36 + 8 - 5 = -122 \right

 |B| = \begin{vmatrix} -4&1&-1\ 2&3&5\\ 1&4&-3 \end{vmatrix} = (-4) * 3 * (-3) + 1 * 5 * 1 + (-1) * 2 * 4 - 1 * 3 * (-1) - 2 * 1 * (-3) - (-4) * 5 * 4 = 36 + 5 - 8 + 3 + 6 + 80 = 122 \right

Свойство верно, так как - |A| = |B|.

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

\Delta =\begin{vmatrix} a&b&c\\ b&b&a_2_3\\ c&c&a_3_3 \end{vmatrix}\right

Поменяв местами одинаковые столбцы, мы, согласно свойству 2 получим новый определитель: \Delta_1-\Delta. С другой стороны, новый определитель совпадает с изначальным, поскольку одинаковые ответы элементы, то есть \Delta_1\Delta. Из этих равенств у нас получается: \Delta_1-\Delta\longrightarrow 2\Delta=0\longrightarrow\Delta = 0.

 

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

Рассмотрим на примере:

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

 A = \begin{vmatrix} 3&2&2\\ -2&3&3\\ 8&-2&-2 \end{vmatrix} \right

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

 |A| = \begin{vmatrix} 3&2&2\\ -2&3&3\\ 8&-2&-2 \end{vmatrix} = 3 * 3 * (-2) + 2 * 3 * 8 + 2 * (-2) * (-2) - 2 * 3 * 8 - 2 * (-2) * (-2) - 3 * 3 * (-2) = (-18) + 48 + 8 - 48 - 8 + 18 = 0 \right

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

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

\left\begin{vmatrix}a_1_1&a_1_2&ka_1_3\\a_2_1&a_2_2&ka_2_3\\a_3_1&a_3_2&ka_3_3\end{vmatrix} = k\begin{vmatrix}a_1_1&a_1_2&a_1_3\\a_2_1&a_2_2&a_2_3\\a_3_1&a_3_2&a_3_3\end{vmatrix}\right.

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

Действительно, за свойством 5 коэффициент пропорциональности можно вынести за знак определителя, и тогда воспользоваться свойством 3.

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

\begin{vmatrix} a_1_1&a_1_2&a_1_3 + a'_1_3\\ a_2_1&a_2_2&a_2_3 + a'_2_3\\ a_3_1&a_3_2&a_3_3 + a'_3_3 \end{vmatrix} =\begin{vmatrix} a_1_1&a_1_2&a_1_3\\ a_2_1&a_2_2&a_2_3\\ a_3_1&a_3_2&a_3_3\end{vmatrix} +\begin{vmatrix} a_1_1&a_1_2&a'_1_3\\ a_2_1&a_2_2&a'_2_3\\ a_3_1&a_3_2&a'_3_3 \end{vmatrix} \right.

Для проверки достаточно записать в развёрнутом виде по (1) определитель, что в левой части равенства, тогда отдельно сгруппировать члены, в которых содержатся элементы a_i_3 и a'_i_3 (i = 1, 2, 3).Каждая из полученных групп слагаемых будет соответственно первым и вторым определителем с правой части равенства.

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

\begin{vmatrix} a_1_1&a_1_2&a_1_3\\ a_2_1&a_2_2&a_2_3\\ a_3_1&a_3_2&a_3_3 \end{vmatrix} =\begin{vmatrix} a_1_1&a_1_2&a_1_3 + ka_1_1\\ a_2_1&a_2_2&a_2_3\ + ka_2_1\\ a_3_1&a_3_2&a_3_3 + ka_3_1\end{vmatrix} \right.

Это равенство получается исходя из свойств 6 и 7.

9. Определитель матрицы A = |a_{ij}|, i = 1, 2, 3, 4, ..., n, j = 1, 2, 3, 4, ..., n равняется сумме произведений элементов какой-либо строки или столбца на их алгебраические дополнения.

 \begin{vmatrix} a_{11}&a_{12}&\dots&a_{1n}\\ a_{21}&a_{22}&\dots&a_{2n}\\ \vdots&\vdots&\vdots&\vdots\\ a_{n1}&a_{n2}&\dots&a_{nn} \end{vmatrix} = a_{p1} * A_{p1} + a_{p2} * A_{p2} + \dots + a_{pn} * A_{pn} =\\ = a_{1q} * A_{1q} + a_{2q} * A_{2q} + \dots + a_{nq} * A_{nq}. \right

Здесь по A_{ij} подразумевается алгебраическое дополнение элемента матрицы a_{ij}. При помощи данного свойства можно вычислять не только матрицы третьего порядка, но и матрицы более высших порядков (4 x 4 или 5 x 5).Другими словами – это рекуррентная формула, которая нужна для того, чтобы вычислить определитель матрицы любого порядка. Запомните её, так как она часто применяется на практике.

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

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

Рассмотрим на примере:

[stextbox id=’warning’ [stextbox id=’warning’ caption=”Пример”]

Задача

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

A = \begin{vmatrix} 5&2\\ -2&-4 \end{vmatrix} \right B = \begin{vmatrix} 3&-1\\ 1&6 \end{vmatrix} \right

Решение

Сначала находим произведение определителей двух матриц A и B.

|A| = \begin{vmatrix}  5&2\\  -2&-4  \end{vmatrix} = 5 * (-4) - 2 * (-2) = (-20) - (-4) = -16  \right

|B| = \begin{vmatrix}  3&-1\\  1&6  \end{vmatrix} = 3 * 6 - (-1) * 1 = 18 - (1) = 19  \right

|A| x |B| = -16 * 19 = -304,

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

A * B = \begin{pmatrix}  5&2\\  -2&-4  \end{pmatrix} * \begin{pmatrix}  3&-1\\  1&6  \end{pmatrix}\right\longleftrightarrow

\begin{pmatrix} 5 * 3 + 2 * 1&\quad\quad{5 * (- 1)+ 2 * 6}\\(-2) * 3 + (-4) * 1&\quad\quad{(-2) * (-1) + (-4) * 6}  \end{pmatrix} \right\longleftrightarrow \begin{pmatrix} 15 + 2\quad\quad{(-5) + 12}\\(-6) + (-4)\quad\quad{2 + (-24)\end{pmatrix}\right\longleftrightarrow  \begin{pmatrix}17&7\\(-10)&(-22)\end{pmatrix} =  17 * (-22) - 7 * (-10) = -374 + 70 = - 304 \right

Ответ

Мы убедились, что |A * B| = |A| * |B|

[/stextbox]

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

Вспомним, как метод Гаусса помогает находить определитель матрицы: благодаря элементарным преобразованием в матрице все элементы (кроме a_{11}) нужно привести к нулю. Однако, такой метод подходит только к тем матрицам, в которых определитель отличен от нуля. Об этом поговорим позже, а сейчас объясним, для чего проделывается такая процедура.

Нулевые элементы необходимы для того, чтобы самым простым способом разложить определитель, исходя из элементов первого столбца. После такого преобразования, исходя из девятого свойства  и a_{21} = 0, a_{31} = 0,\dots, a_{n_1} = 0, получается:

|A| = a_{11} * A_{11} + a_{21} * A_{21} + \dots + a_{n1} * A_{n1} = a_{11} * A_{11} = a_{11} * (-1)^{1 + 1} * M_{11} = a_{11} * M_{11}.

Здесь M_{11} – это минор первого порядка, который получился из матрицы A путём вычёркивания элементов первой строки и первого столбца. Такая процедура проделывается до тех пор, пока все элементы первого столбца не превратятся в нулевые элементы.

Конечно же, сразу же назревает вопрос: “А как же получается нулевые элементы?” Рассмотрим алгоритм решения:

Если первый элемент в первой строке и в первом столбце (a_{11}) прибавить к соответствующим элементом k – ой строки, где a_{k1}\neq{0}. (Метод Гаусса не нужен только в том случае, если все элементы в первом столбцы нулевые). После данного преобразования “новый” элемент матрицы a_{11}\neq{0}. Определитель “новой” матрицы равен определителю исходной матрицы.

Если a_{11}\neq{0}, тогда к каждому элементу второй строки прибавляем элемент первой строки, которые заранее умноженные на -{a_{21}\over{a_{11}}}, а к элементам третьей строки прибавляем определённые элементы первой строки, которые умножаются на -{a_{31}\over{a_{11}}}. И дальше вычисляем по такой же схеме. Метод Гаусса рассмотрен более подробно в отдельно теме. В итоге получится преобразованная матрица, где все элементы первого столбца окажутся нулевыми. Определитель полученной матрицы будет равен определителю изначальной матрицы.

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

Рассмотрим записанный сначала формально определитель четвёртого порядка:

\Delta = \begin{vmatrix} a_{11}&a_{12}&a_{13}&a_{14}\\ a_{21}&a_{22}&a_{23}&a_{24}\\ a_{31}&a_{32}&a_{33}&a_{34}\\ a_{41}&a_{42}&a_43}&1a_{44} \end{vmatrix} \right

Вычёркивая в \Delta i – тую строку и j – тый столбец, на пересечении которого помещается элемент a_{ij}(i, j = 1, 2, 3, 4), получим определитель третьего порядка, который называется минором элемента a_{ij} и обозначается M_{ij}. Тогда A_{ij} = (-1)^{i + j} * M – алгебраическое дополнение элемента a_{ij}. Определитель 4-го порядка можно обозначить, как размещение по элементам, например, первого столбца:

\Delta = a_{11} * A_{11} + a_{21} * A_{21} + a_{31} * A_{31} + a_{41} * A_{41}.

Пусть введено понятие определителя (n - 1) – ого порядка, тогда определитель n – ого порядка:

\Delta = \begin{vmatrix} a_{11}&a_{12}&\dots&a_{1j}&\dots&a_{1n}\\ a_{21}&a_{22}&\dots&a_{2j}&\dots&a_{2n}\\ \dots&\dots&\dots&\dots\\ a_{i1}&a_{i2}&\dots&a_{ij}&\dots&a_{in}\\ \dots&\dots&\dots&\dots\\ a_{n1}&a_{n2}&\dots&a_{nj}&\dots&a_{nn} \end{vmatrix} \right

Можно изобразить, как размещение по элементам первого столбца:

\Delta = a_{11} * A_{11} + a_{21} * A_{21} + \dots + a_{i1} * A_{i1} + \dots + a_{n1} * A_{n1} = \sum_{i = 1}^n\limits,

где A_{i1} = (-1)^{i + 1}\quad{M{i1}(i = 1, 2, \dots, n)} – алгебраические дополнения, а M{i1} – миноры элементов первого столбца. Последние и есть определители (n - 1) – го порядка.

Чтобы было более понятно, разберём матрицу четвёртого порядка, где нужно найти определитель:

Разберём на примере:

[stextbox id=’warning’ [stextbox id=’warning’ caption=”Пример 4″]

Задача

Нужно вычислить определитель матрицы высшего порядка 4 x 4:

\Delta = \begin{vmatrix} 1&-2&-1&3\\ -1&3&-1&-1\\ 3&-8&7&7\\ 2&1&-10&17 \end{vmatrix} \right

Решение

Сначала вспомним тему про определители третьего порядка и превратим в нули элементы 1-го столбца, которые принадлежат 2, 3, 4 строкам. Для этого прибавим соответствующие элементы 1 и 2 строк. На месте элементов a_{21} получим (1 + (-1)) = 0, a_{22} = (-2) + 3 = 1, a_{23} = (-1) + (-1) = -2, a_{24} = 3 + (-1) = 2.

Чтобы получить 0 в 3 строке 1-го столбца, умножим на (-3) элементы 1-ой строки и прибавим к соответствующим элементам третьей строки:

a_{31} = 1 * (-3) + 3 = 0,

a_{32} = (-2) * (-3) + (-8) = - 2,

a_{33} = (-1) * (-3) + 7 = 10,

a_{34} = 3 * (-3) + 7 = -2.

Умножим элементы 1-ой строки на (-2) и добавим к соответствующим элементам 4-ой строки. Получается:

a_{41} = 1 * (-2) + 2 = 0,

a_{42} = (-2) * (-2) + 1 = 5,

a_{43} = (-1)*(-2) +(-10) = -8

a_{44} = 3 * (-2) + 17 = 11.

Изначальный определитель впоследствии преобразований получается:

\Delta = \begin{vmatrix} 1&-2&-1&3\\ -1&3&-1&-1\\ 3&-8&7&7\\ 2&1&-10&17 \end{vmatrix} = \begin{vmatrix} 1&-2&-1&3\\ 0&1&-2&2\\ 0&-2&10&-2\\ 0&5&-8&11 \end{vmatrix} \right

Дальше раскладываем последний определитель за элементами 1-го столбца. Поскольку a_{11} = 1, а остальные элементы 1-го столбца нули, тогда получим один определитель  3-го порядка.

\Delta = \begin{vmatrix} 1&-2&2\\ -2&10&-2\\ 5&-8&11 \end{vmatrix} = \begin{vmatrix} 1&-2&2\\ 0&6&2\\ 0&2&1 \end{vmatrix} = \begin{vmatrix} 6&2\\ 2&1 \end{vmatrix} = 2 \right

Ответ

Определитель матрицы четвёртого порядка = 2.

[/stextbox]

Вычисление определителя матрицы при помощи теоремы Лапласа

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

Напомним – минор – это определитель матрицы, который составлен методом вычёркивания i – той строки и j – того столбца. А алгебраическое дополнение – соответствующий минор, который берётся со знаком минус (-1)^{i + j}. Знаки же зависят от места элемента a_{ij} в определителе и определяются по схеме:

 \begin{vmatrix} +&-&+\\ -&+&-\\ +&-&+ \end{vmatrix} \right

Приведём пример решения алгебраических дополнений по схеме:

[stextbox id=’warning’ caption=”Пример”]

Задача

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

 \begin{vmatrix} 3&-2&4\\ 0&-5&1\\ 6&7&8 \end{vmatrix} \right

Решение

A_{11} = + \begin{vmatrix}  -5&1\\  7&8  \end{vmatrix} = - 47; {A_{12}} = - \begin{vmatrix}  0&1\\  6&8  \end{vmatrix} = 6; {A_{13}} = + \begin{vmatrix}  0&-5\\  6&7  \end{vmatrix} = 30  \right

A_{21} = - \begin{vmatrix}  -2&4\\  7&8  \end{vmatrix} = 44; {A_{22}} = + \begin{vmatrix}  3&4\\  6&8  \end{vmatrix} = 0; {A_{23}} = - \begin{vmatrix}  3&-2\\  6&7  \end{vmatrix} = - 33  \right

A_{31} = + \begin{vmatrix}  -2&4\\  -5&1  \end{vmatrix} = 18; {A_{32}} = - \begin{vmatrix}  3&4\\  0&1  \end{vmatrix} = - 3;{A_{33}} = + \begin{vmatrix}  3&-2\\  0&-5 \end{vmatrix} = - 15 \right

[/stextbox]

Понятия алгебраического дополнения даёт возможность ещё одного способа определения определителя, который утверждается теоремой Лапласа (про распределение определителя):

[stextbox id=”teorema” defcaption= “true”]

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

\Delta = a_{11} * A_{11} + a_{21} * A_{21} + a_{31} * a_{31}. – это равенство проверяется непосредственно

\Delta = \begin {vmatrix}  a_{11}&a_{12}&a_{13}\\  a_{21}&a_{22}&a_{23}\\  a_{31}&a_{32}&a_{33}  \end{vmatrix} = a_{11} * A_{11} + a_{21} * A_{21} + a_{31} * A_{31} =\\=a_{11}\begin {vmatrix}a_{22}&a_{23\\a_{32}&a_{33}\end{vmatrix} - a_{21}\begin {vmatrix}a_{12}&a_{13}\\a_{32}&a_{33}\end{vmatrix} + a_{31} \begin {vmatrix}a_{12}&a_{13}\\a_{22}&a_{23}\end{vmatrix} = a_{11}a_{22}a_{33} - a_{11}a_{32}a_{23} -\\- a_{21}a_{12}a_{33} + a_{21}a_{32}a_{13} + a_{31}a_{12}a_{23} - a_{31}a_{22}a_{13}.  \right

[/stextbox]

Заметно, как последнее выражение совпадает с выражением из правила треугольника (правила Саррюса). Давайте по теореме Лапласа разберём несколько примеров:

[stextbox id=’warning’ caption=”Пример”]

Задача

Вычислить определитель матрицы, разложив его за элементами третьего порядка:

\Delta = \begin{vmatrix} 1&1&1\\ 4&5&9\\ 16&25&81 \end{vmatrix} \right

Решение

\Delta = 16 * \begin{vmatrix} 1&1\\ 5&9 \end{vmatrix} - 25 * \begin{vmatrix} 1&1\\ 4&9 \end{vmatrix} + 81 * \begin{vmatrix}1&1\\ 4&5 \end{vmatrix} = 16 * 4 - 25 * 5 + 81 * 1 = \\ = 145 - 125 = 20 \right

Ответ

\Delta = 20.

[/stextbox]

Заключение

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

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

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

Мы разобрали 10 свойств определителя матриц, благодаря которым можно быстрее и легче найти определитель матрицы.

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

Полезная литература

pdf Белоусов И. В. Матрицы и определители, учеб. Пособие по линейной по алгебре/ – Кишинёв – 2006 – 91 с.

pdf Магазинников Л. И.- Практикум по линейной алгебре и аналитической геометрии: учеб. пособие для вузов/Магазинников Л. И., Магазинникова А. Л. – Томск – 2007 – 150 с.

Нашли ошибку? Выделите текст и нажмите CTRL + Enter

Средняя оценка 5 / 5. Количество оценок: 1

Поставьте вашу оценку

Сожалеем, что вы поставили низкую оценку!

Позвольте нам стать лучше!

Расскажите, как нам стать лучше?

15966