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

Лекция 6

Матрицы

6.1. Основные понятия

Определение 1. Матрицей называется прямоугольная таблица чисел.

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

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

Числа и(число строк и столбцов матрицы) называются ее порядками.

Говорят также, что - матрица размером
.

Если
, матрицаназываетсяквадратной .

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

Среди квадратных матриц отметим диагональные матрицы , у которых все элементы с неравными индексами (
) равны нулю:

.

Будем говорить, что элементы
расположены на главной диагонали.

Диагональная матрица вида

называется единичной матрицей.

В дальнейшем будут встречаться матрицы вида

и
,

которые называются треугольными матрицами, а также матрицы, состоящие из одного столбца:

и одной строки:

(матрица-столбец и матрица-строка ).

Матрица, все элементы которой равны нулю, называется нулевой.

6.2. Определители порядка n

Пусть дана квадратная матрица порядка :

. (6.1)

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

. (6.2)

Число произведений вида (6.2) равно (примем этот факт без доказательства).

Будем считать все эти произведения членами определителя порядка , соответствующего матрице (6.1).

Вторые индексы множителей в (6.2) составляют перестановку первых натуральных чисел
.

Говорят, что числа ив перестановке составляютинверсию , если
, а в перестановкерасположено раньше.

Пример 1. В перестановке шести чисел,
, числаи,и,и,и,исоставляют инверсии.

Перестановка называется четной , если число инверсий в ней четно, инечетной , если число инверсий в ней нечетно.

Пример 2. Перестановка
- нечетная, а перестановка
- четная (инверсий).

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

Обозначать определитель матрицы (6.1) принято так:

.

Замечание. Определение 2 для
и
приводит к уже знакомым нам определителям 2-го и 3-го порядка:

,

Транспонированием вокруг главной диагонали матрицыназывается переход к матрице
, для которой строки матрицыявляются столбцами, а столбцы - строками:

.

Будем говорить, что определитель
получен транспонированием определителя.

Свойства определителя порядка п:

1.
(определитель не меняется при транспонировании вокруг главной диагонали).

2. Если одна из строк определителя состоит из нулей, определитель равен нулю.

3. От перестановки двух строк определитель меняет лишь знак.

4. Определитель, содержащий две одинаковые строки, равен нулю.

5. Если все элементы некоторой строки определителя умножить на число , определитель умножится на.

6. Определитель, содержащий две пропорциональные строки, равен нулю.

7. Если все элементы -й строки определителя представлены в виде суммы
, то определитель равен сумме двух определителей, у которых все строки, кроме-й, такие же, как в исходном определителе, а-я строка в одном определителе состоит из, а в другом - из.

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

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

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

Замечание. Мы сформулировали свойства определителя для строк. В силу свойства 1 (
) они справедливы и для столбцов.

Все приведенные свойства были доказаны на практических занятиях для
; для произвольногопримем их без доказательства.

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

Пример 3. В определителе

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

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

Пример 4. В определителе

алгебраическое дополнение
.

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

Теорема 1 позволяет свести вычисление определителя порядка к вычислениюопределителей порядка
.

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

.

Воспользуемся теоремой 1 и разложим определитель по 4-й строке:

Замечание. Можно вначале упростить определитель, воспользовавшись свойством 9, а затем использовать теорему 1. Тогда вычисление определителя порядкасведется к вычислениювсего одного определителя порядка
.

Пример 6. Вычислить

.

Прибавим первый столбец ко второму и первый столбец, умноженный на (
), к третьему, в результате получим

.

Теперь применим теорему 1 и разложим по последней строке:

,

вычисление определителя 4-го порядка свелось к вычислению всего одного определителя 3-го порядка.

,

вычисление определителя третьего порядка свелось к вычислению всего одного определителя второго порядка.

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

.

Первую строку прибавим ко второй, третьей и т.д. -й строке. Придем к определителю

.

Получен определитель треугольного вида.

Применим
раз теорему 1 (разложим по первому столбцу) и получим

.

Замечание. Определитель треугольного вида равен произведению элементов главной диагонали.

6.3. Основные операции над матрицами

Определение 5. Две матрицы
,
,
, и
,
,
, будем называть равными, если
.

Краткая запись:
.

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

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

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

Пример 8. Найти сумму матриц

и
.

В соответствии с определением 6 найдем

.

Правило сложения матриц распространяется на сумму любого конечного числа слагаемых.

Определение 7. Произведением матрицы
,
,
, на вещественное число называется такая матрица
,
,
, для которой
.

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

Пример 9. Найти линейную комбинацию
матриц

и
.

Пользуясь определением 7, получаем

,
,

.

Свойства операций сложения матриц

и умножения на число:

1. Сложение коммутативно:
.

2. Сложение ассоциативно:.

3. Существует нулевая матрица
, удовлетворяющая условию
для всехА .

4. Для любой матрицы А существует противоположная матрицаВ , удовлетворяющая условию
.

Для любых матриц А иВ и любых действительных чисел
имеют место равенства:

5.
.

6.
.

7.
.

8.
.

Проверим свойство 1. Обозначим
,
. Пусть
,

,
. Имеем

и так как равенство доказано для произвольного элемента, в соответствии с определением 5
. Свойство 1 доказано.

Аналогично доказывается свойство 2.

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

Сложив с любой матрицейпо правилу, данному в определении 6, мы матрицуне изменим, и свойство 3 справедливо.

Проверим свойство 4. Пусть
. Положим
. Тогда
, следовательно, свойство 4 справедливо.

Проверку свойств 5 - 8 опустим.

Определение 8. Произведением матрицы
,
,
, на матрицу
,
,
, называется матрица
,
,
, с элементами
.

Краткая запись:
.

Пример 10. Найти произведение матриц

и
.

В соответствии с определением 8 найдем

Пример 11. Перемножить матрицы

и
.

Замечание 1. Число элементов в строке матрицыравно числу элементов в столбце матрицы(число столбцов матрицыравно числу строк матрицы).

Замечание 2. В матрице
строк столько же, сколько в матрице, а столбцов столько же, сколько в.

Замечание 3. Вообще говоря,
(умножение матриц некоммутативно).

Чтобы обосновать замечание 3, достаточно привести хотя бы один пример.

Пример 12. Перемножим в обратном порядке матрицыииз примера 10.

таким образом, в общем случае
.

Отметим, что в частном случае равенство
возможно.

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

Упражнения.

1. Найти все матрицы, перестановочные с данной:

а)
; б)
.

2. Найти все матрицы второго порядка, квадраты которых равны нулевой матрице.

3. Доказать, что
.

Свойства умножения матриц:

Умножение дистрибутивно.

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

Метод разложения по элементам строк или столбцов

Первый пример мы рассмотрим с подробными объяснениями всех промежуточных действий.

Пример 1. Вычислить определитель методом разложения.

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

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

Найденные значения подставляем в выходной детерминант

Результат легко проверить с помощью матричного калькулятора YukhymCALC . Для этого в калькуляторе выбираем пункт Матрицы-Определитель матрицы, размер матрицы устанавливаем 4*4.

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

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

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

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

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

Сначала дадим определение определителя квадратной матрицы порядка 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 целесообразно использовать метод Гаусса: выполнить элементарные преобразования матрицы и привести ее к верхней треугольной. Определитель такой матрицы равен произведению всех элементов, стоящих на главной диагонали.

«Если Вы хотите научиться плавать, то смело входите в воду, а если хотите научиться решать задачи , то решайте их .»
Д. Пойа (1887-1985 г.)

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

С каждой квадратной матрицей связывают число . Это число называется определителем матрицы. Определитель вычисляется по особым правилам и обозначается |A|, det A , ΔA.

Число строк (столбцов) определителя называется его порядком .

Определитель первого порядка матрицы равен элементу a 11: |A|=a 11

Не путать определитель первого порядка с модулем.

Определитель второго порядка обозначается символом

и равен |A|=a 11 a 22 -a 12 a 21

Определитель 3-го порядка обозначается символом

Для запоминания этой формулы используют схематические правила (правило треугольника или Саррюса )

Правило Саррюса.

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

Посмотрим на примере, как используются эти правила.

ПРИМЕР:

Правило Саррюса

Допишем к определителю два первых столбца.

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

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

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

ПРИМЕР:

Вычислить алгебраическое дополнение А 21 элемента а 21 .

РЕШЕНИЕ:

По определению алгебраического дополнения

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

, разложение определителя 4-го порядка по первой строке выглядит следующим образом:

Второго порядка называется число, равное разности между произведением чисел, образующих главную диагональ, и произведением чисел, стоящих на побочной диагонали, можно встретить следующие обозначения определителя: ; ; ; detA (детерминант).

.

Пример:
.

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

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

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

Пример:

Разложение определителя по элементам некоторой строки (столбца).

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

Например, минором к элементу а 21 матрицы третьего порядка
будет определитель
.

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

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

Пример:

а 23 = 4;

- алгебраическое дополнение элемента а 22 = 1.

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

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

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

Пример :

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

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

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

Разложим определитель по элементам третьей строки

Свойства определителей:

1. Определитель не изменится, если его строки заменить столбцами и наоборот.

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

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

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

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