Постановка задачи
Задание подразумевает знакомство пользователя с основными понятиями численных методов, такими как определитель и обратная матрица , и различными способами их вычислений. В данном теоретическом отчете простым и доступным языком сначала вводятся основные понятия и определения, на основании которых проводится дальнейшее исследование. Пользователь может не иметь специальных знаний в области численных методов и линейной алгебры , но с легкостью сможет воспользоваться результатами данной работы. Для наглядности приведена программа вычисления определителя матрицы несколькими методами, написанная на языке программирования C++. Программа используется как лабораторный стенд для создания иллюстраций к отчету. А также проводится исследование методов для решения систем линейных алгебраических уравнений . Доказывается бесполезность вычисления обратной матрицы, поэтому в работе приводится более оптимальные способы решения уравнений не вычисляя ее. Рассказывается почему существует такое количество различных методов вычисления определителей и обратных матриц и разбираются их недостатки. Также рассматриваются погрешности при вычислении определителя и оценивается достигнутая точность. Помимо русских терминов в работе используются и их английские эквиваленты для понимания, под какими названиями искать численные процедуры в библиотеках и что означают их параметры.
Основные определения и простейшие свойства
Определитель
Введем определение определителя квадратной матрицы любого порядка. Это определение будет рекуррентным , то есть чтобы установить, что такое определитель матрицы порядка , нужно уже знать, что такое определитель матрицы порядка . Отметим также, что определитель существует только у квадратных матриц.
Определитель квадратной матрицы будем обозначать или det .
Определение 1. Определителем квадратной матрицы второго порядка называется число .
Определителем квадратной матрицы порядка , называется число
где - определитель матрицы порядка , полученной из матрицы вычеркиванием первой строки и столбца с номером .
Для наглядности запишем, как можно вычислить определитель матрицы четвертого порядка:
Замечание. Реальное вычисление определителей для матриц выше третьего порядка на основе определения используется в исключительных случаях. Как правило, вычисление ведется по другим алгоритмам, которые будут рассмотрены позже и которые требуют меньше вычислительной работы.
Замечание. В определении 1 было бы точнее сказать, что определитель есть функция, определенная на множестве квадратных матриц порядка и принимающая значения в множестве чисел.
Замечание. В литературе вместо термина "определитель" используется также термин "детерминант", имеющий тот же самый смысл. От слова "детерминант" и появилось обозначение det .
Рассмотрим некоторые свойства определителей, которые сформулируем в виде утверждений.
Утверждение 1. При транспонировании матрицы определитель не меняется, то есть .
Утверждение 2. Определитель произведения квадратных матриц равен произведению определителей сомножителей, то есть .
Утверждение 3. Если в матрице поменять местами две строки, то ее определитель сменит знак.
Утверждение 4. Если матрица имеет две одинаковые строки, то ее определитель равен нулю.
В дальнейшем нам потребуется складывать строки и умножать строку на число. Эти действия над строками (столбцами) мы будем выполнять так же, как действия над матрицами-строками (матрицами-столбцами), то есть поэлементно. Результатом будет служить строка (столбец), как правило, не совпадающая со строками исходной матрицы. При наличии операций сложения строк (столбцов) и умножения их на число мы можем говорить и о линейных комбинациях строк (столбцов), то есть суммах с числовыми коэффициентами.
Утверждение 5. Если строку матрицы умножить на число , то ее определитель умножится на это число.
Утверждение 6. Если матрица содержит нулевую строку, то ее определитель равен нулю.
Утверждение 7. Если одна из строк матрицы равна другой, умноженной на число (строки пропорциональны), то определитель матрицы равен нулю.
Утверждение 8. Пусть в матрице i-ая строка имеет вид . Тогда , где матрица получается из матрицы заменой i-ой строки на строку , а матрица - заменой i-ой строки на строку .
Утверждение 9. Если к одной из строк матрицы добавить другую, умноженную на число, то определитель матрицы не изменится.
Утверждение 10. Если одна из строк матрицы является линейной комбинацией других ее строк, то определитель матрицы равен нулю.
Определение 2. Алгебраическим дополнением к элементу матрицы называется число, равное , где - определитель матрицы, полученной из матрицы вычеркиванием i-ой строки и j-ого столбца. Алгебраическое дополнение к элементу матрицы обозначается .
Пример. Пусть . Тогда
Замечание. Используя алгебраические дополнения, определение 1 определителя можно записать так:
Утверждение 11. Разложение определителя по произвольной строке.
Для определителя матрицы справедлива формула
Пример. Вычислите .
Решение.
Воспользуемся разложением по третьей строке, так выгоднее, поскольку в третьей строке два числа из трех - нули. Получим
Утверждение 12. Для квадратной матрицы порядка при выполнено соотношение .
Утверждение 13. Все свойства определителя, сформулированные для строк (утверждения 1 - 11), справедливы и для столбцов, в частности, справедливо разложение определителя по j-ому столбцу и равенство при .
Утверждение 14. Определитель треугольной матрицы равен произведению элементов ее главной диагонали.
Следствие. Определитель единичной матрицы равен единице, .
Вывод. Перечисленные выше свойства позволяют находить определители матриц достаточно высоких порядков при сравнительно небольшом объеме вычислений. Алгоритм вычислений следующий.
Алгоритм создания нулей в столбце. Пусть требуется вычислить определитель порядка . Если , то поменяем местами первую строку и любую другую, в которой первый элемент не нуль. В результате определитель , будет равен определителю новой матрицы с противоположным знаком. Если же первый элемент каждой строки равен нулю, то матрица имеет нулевой столбец и по утверждениям 1, 13 ее определитель равен нулю.
Итак, считаем, что уже в исходной матрице . Первую строку оставляем без изменений. Прибавим ко второй строке первую строку, умноженную на число . Тогда первый элемент второй строки будет равен .
Остальные элементы новой второй строки обозначим , . Определитель новой матрицы по утверждению 9 равен . Первую строку умножим на число и прибавим к третьей. Первый элемент новой третьей строки будет равен
Остальные элементы новой третьей строки обозначим , . Определитель новой матрицы по утверждению 9 равен .
Процесс получения нулей вместо первых элементов строк продолжим дальше. Наконец, первую строку умножим на число и прибавим к последней строке. В результате получается матрица, обозначим ее , которая имеет вид
причем . Для вычисления определителя матрицы используем разложение по первому столбцу
Так как , то
В правой части стоит определитель матрицы порядка . К нему применим тот же алгоритм, и вычисление определителя матрицы сведется к вычислению определителя матрицы порядка . Процесс повторяем до тех пор, пока не дойдем до определителя второго порядка, который вычисляется по определению.
Если матрица не обладает какими-то специфическими свойствами, то заметно уменьшить объем вычислений по сравнению с предложенным алгоритмом не удается. Еще одна хорошая сторона этого алгоритма - по нему легко составить программу для компьютера для вычисления определителей матриц больших порядков. В стандартных программах вычисления определителей используется этот алгоритм с не принципиальными изменениями, связанными с минимизацией влияния ошибок округления и погрешностей входных данных при вычислениях компьютера.
Пример. Вычислите определитель матрицы .
Решение. Первую строку оставляем без изменения. Ко второй строке прибавляем первую, умноженную на число :
Определитель не меняется. К третьей строке прибавляем первую, умноженную на число :
Определитель не меняется. К четвертой строке прибавляем первую, умноженную на число :
Определитель не меняется. В результате получаем
По тому же алгоритму считаем определитель матрицы порядка 3, стоящий справа. Первую строку оставляем без изменений, ко второй строке прибавляем первую, умноженную на число :
К третьей строке прибавляем первую, умноженную на число :
В результате получаем
Ответ. .
Замечание. Хотя при вычислениях использовались дроби, результат оказался целым числом. Действительно, используя свойства определителей и то, что исходные числа - целые, операций с дробями можно было бы избежать. Но в инженерной практике числа крайне редко бывают целыми. Поэтому, как правило, элементы определителя будут десятичными дробями и применять какие-то ухищрения для упрощения вычислений нецелесообразно.
Обратная матрица
Определение 3. Матрица называется обратной матрицей для квадратной матрицы , если .
Из определения следует, что обратная матрица будет квадратной матрицей того же порядка, что и матрица (иначе одно из произведений или было бы не определено).
Обратная матрица для матрицы обозначается . Таким образом, если существует, то .
Из определения обратной матрицы следует, что матрица является обратной для матрицы , то есть . Про матрицы и можно говорить, что они обратны друг другу или взаимно обратны.
Если определитель матрицы равен нулю, то обратная к ней не существует.
Так как для нахождения обратной матрицы важно, равен ли определитель марицы нулю или нет, то введем следующие определения.
Определение 4. Квадратную матрицу назовем вырожденной или особенной матрицей , если , и невырожденной или неособенной матрицей , если .
Утверждение. Если обратная матрица существует, то она единственна.
Утверждение. Если квадратная матрица является невырожденной, то обратная для нее существует и (1) где - алгебраические дополнения к элементам .
Теорема. Обратная матрица для квадратной матрицы существует тогда и только тогда, когда матрица - невырожденная, обратная матрица единственна, и справедлива формула (1).
Замечание. Следует обратить особое внимание на места, занимаемые алгебраическими дополнениями в формуле обратной матрицы: первый индекс показывает номер столбца , а второй - номер строки , в которые нужно записать вычисленное алгебраическое дополнение.
Пример. .
Решение. Находим определитель
Так как , то матрица - невырожденная, и обратная для нее существует.
Находим алгебраические дополнения:
Составляем обратную матрицу, размещая найденные алгебраические дополнения так, чтобы первый индекс соответствовал столбцу, а второй - строке: (2)
Полученная матрица (2) и служит ответом к задаче.
Замечание.
В предыдущем примере было бы точнее ответ записать так:
(3)
Однако запись (2) более компактна и с ней удобнее проводить дальнейшие вычисления, если таковые потребуются. Поэтому запись ответа в виде (2) предпочтительнее, если элементы матриц - целые числа. И наоборот, если элементы матрицы - десятичные дроби, то обратную матрицу лучше записать без множителя впереди.
Замечание. При нахождении обратной матрицы приходится выполнять довольно много вычислений и необычно правило расстановки алгебраических дополнений в итоговой матрице. Поэтому велика вероятность ошибки. Чтобы избежать ошибок следует делать проверку: вычислить произведение исходной матрицы на итоговую в том или ином порядке. Если в результате получится единичная матрица, то обратная матрица найдена правильно. В противном случае нужно искать ошибку.
Пример. Найдите обратную матрицу для матрицы .
Решение. - существует.
Ответ: .
Вывод. Нахождение обратной матрицы по формуле (1) требует слишком много вычислений. Для матриц четвертого порядка и выше это неприемлемо. Реальный алгоритм нахождения обратной матрицы будет приведен позже.
Вычисление определителя и обратной матрицы с помощью метода Гаусса
Метод Гаусса можно использовать для нахождения определителя и обратной матрицы .
Именно, определитель матрицы равен det .
Обратная матрица находится решением систем линейных уравнений методом исключения Гаусса:
Где есть j-тый столбец единичной матрицы , - искомый вектор.
Полученные векторы решений - образуют, очевидно, столбцов матрицы , поскольку .
Формулы для определителя
1. Если матрица невырожденная, то и (произведение ведущих элементов).
В ходе решения задач по высшей математике очень часто возникает необходимость вычислить определитель матрицы . Определитель матрицы фигурирует в линейной алгебре, аналитической геометрии, математическом анализе и других разделах высшей математики. Таким образом, без навыка решения определителей просто не обойтись. Также для самопроверки Вы можете бесплатно скачать калькулятор определителей , он сам по себе не научит решать определители, но очень удобен, поскольку всегда выгодно заранее знать правильный ответ!
Я не буду давать строгое математическое определение определителя, и, вообще, буду стараться минимизировать математическую терминологию, большинству читателей легче от этого не станет. Задача данной статьи – научить Вас решать определители второго, третьего и четвертого порядка. Весь материал изложен в простой и доступной форме, и даже полный (пустой) чайник в высшей математике после внимательного изучения материала сможет правильно решать определители.
На практике чаще всего можно встретить определитель второго порядка, например: , и определитель третьего порядка, например: .
Определитель четвертого порядка тоже не антиквариат, и к нему мы подойдём в конце урока.
Надеюсь, всем понятно следующее: Числа внутри определителя живут сами по себе, и ни о каком вычитании речи не идет! Менять местами числа нельзя!
(Как частность, можно осуществлять парные перестановки строк или столбцов определителя со сменой его знака, но часто в этом нет никакой необходимости – см. следующий урок Свойства определителя и понижение его порядка)
Таким образом, если дан какой-либо определитель, то ничего внутри него не трогаем!
Обозначения : Если дана матрица , то ее определитель обозначают . Также очень часто определитель обозначают латинской буквой или греческой .
1) Что значит решить (найти, раскрыть) определитель? Вычислить определитель – это значит НАЙТИ ЧИСЛО. Знаки вопроса в вышерассмотренных примерах – это совершенно обыкновенные числа.
2) Теперь осталось разобраться в том, КАК найти это число? Для этого нужно применить определенные правила, формулы и алгоритмы, о чём сейчас и пойдет речь.
Начнем с определителя «два» на «два» :
ЭТО НУЖНО ЗАПОМНИТЬ, по крайне мере на время изучения высшей математики в ВУЗе.
Сразу рассмотрим пример:
Готово. Самое главное, НЕ ЗАПУТАТЬСЯ В ЗНАКАХ.
Определитель матрицы «три на три» можно раскрыть 8 способами, 2 из них простые и 6 - нормальные.
Начнем с двух простых способов
Аналогично определителю «два на два», определитель «три на три» можно раскрыть с помощью формулы:
Формула длинная и допустить ошибку по невнимательности проще простого. Как избежать досадных промахов? Для этого придуман второй способ вычисления определителя, который фактически совпадает с первым. Называется он способом Саррюса или способом «параллельных полосок».
Суть состоит в том, что справа от определителя приписывают первый и второй столбец и аккуратно карандашом проводят линии:
Множители, находящиеся на «красных» диагоналях входят в формулу со знаком «плюс».
Множители, находящиеся на «синих» диагоналях входят в формулу со знаком минус:
Пример:
Сравните два решения. Нетрудно заметить, что это ОДНО И ТО ЖЕ, просто во втором случае немного переставлены множители формулы, и, самое главное, вероятность допустить ошибку значительно меньше.
Теперь рассмотрим шесть нормальных способов для вычисления определителя
Почему нормальных? Потому что в подавляющем большинстве случаев определители требуется раскрывать именно так.
Как Вы заметили, у определителя «три на три» три столбца и три строки.
Решить определитель можно, раскрыв его по любой строке или по любому столбцу
.
Таким образом, получается 6 способов, при этом во всех случаях используется однотипный
алгоритм.
Определитель матрицы равен сумме произведений элементов строки (столбца) на соответствующие алгебраические дополнения. Страшно? Все намного проще, будем использовать ненаучный, но понятный подход, доступный даже для человека, далекого от математики.
В следующем примере будем раскрывать определитель по первой строке
.
Для этого нам понадобится матрица знаков: . Легко заметить, что знаки расположены в шахматном порядке.
Внимание! Матрица знаков – это мое собственное изобретение. Данное понятие не научное, его не нужно использовать в чистовом оформлении заданий, оно лишь помогает Вам понять алгоритм вычисления определителя.
Сначала я приведу полное решение. Снова берем наш подопытный определитель и проводим вычисления:
И главный вопрос: КАК из определителя «три на три» получить вот это вот:
?
Итак, определитель «три на три» сводится к решению трёх маленьких определителей, или как их еще называют, МИНОРОВ . Термин рекомендую запомнить, тем более, он запоминающийся: минор – маленький.
Коль скоро выбран способ разложения определителя по первой строке
, очевидно, что всё вращается вокруг неё:
Элементы обычно рассматривают слева направо (или сверху вниз, если был бы выбран столбец)
Поехали, сначала разбираемся с первым элементом строки, то есть с единицей:
1) Из матрицы знаков выписываем соответствующий знак:
2) Затем записываем сам элемент:
3) МЫСЛЕННО вычеркиваем строку и столбец, в котором стоит первый элемент:
Оставшиеся четыре числа и образуют определитель «два на два», который называется МИНОРОМ
данного элемента (единицы).
Переходим ко второму элементу строки.
4) Из матрицы знаков выписываем соответствующий знак:
5) Затем записываем второй элемент:
6) МЫСЛЕННО вычеркиваем строку и столбец, в котором стоит второй элемент:
Ну и третий элемент первой строки. Никакой оригинальности:
7) Из матрицы знаков выписываем соответствующий знак:
8) Записываем третий элемент:
9) МЫСЛЕННО вычеркиваем строку и столбец, в котором стоит третий элемент:
Оставшиеся четыре числа записываем в маленький определитель.
Остальные действия не представляют трудностей, поскольку определители «два на два» мы считать уже умеем. НЕ ПУТАЕМСЯ В ЗНАКАХ!
Аналогично определитель можно разложить по любой строке или по любому столбцу. Естественно, во всех шести случаях ответ получается одинаковым.
Определитель «четыре на четыре» можно вычислить, используя этот же алгоритм.
При этом матрица знаков у нас увеличится:
В следующем примере я раскрыл определитель по четвертому столбцу :
А как это получилось, попробуйте разобраться самостоятельно. Дополнительная информация будет позже. Если кто захочет прорешать определитель до конца, правильный ответ: 18. Для тренировки лучше раскрыть определитель по какому-нибудь другому столбцу или другой строке.
Потренироваться, раскрыть, провести расчёты – это очень хорошо и полезно. Но сколько времени вы потратите на большой определитель? Нельзя ли как-нибудь быстрее и надёжнее? Предлагаю ознакомиться с эффективными методами вычисления определителей на втором уроке – Свойства определителя. Понижение порядка определителя .
БУДЬТЕ ВНИМАТЕЛЬНЫ!
Вычисление определителей 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$-го порядка является довольно громоздким. Для определителей второго и третьего порядка существуют рациональные способы их вычислений.
Вычисления определителей второго порядка
Чтобы вычислить определитель матрицы второго порядка, надо от произведения элементов главной диагонали отнять произведение элементов побочной диагонали :
$$\left| \begin{array}{ll}{a_{11}} & {a_{12}} \\ {a_{21}} & {a_{22}}\end{array}\right|=a_{11} \cdot a_{22}-a_{12} \cdot a_{21}$$
Пример
Задание. Вычислить определитель второго порядка $\left| \begin{array}{rr}{11} & {-2} \\ {7} & {5}\end{array}\right|$
Решение. $\left| \begin{array}{rr}{11} & {-2} \\ {7} & {5}\end{array}\right|=11 \cdot 5-(-2) \cdot 7=55+14=69$
Ответ. $\left| \begin{array}{rr}{11} & {-2} \\ {7} & {5}\end{array}\right|=69$
Методы вычисления определителей третьего порядка
Для вычисления определителей третьего порядка существует такие правила.
Правило треугольника
Схематически это правило можно изобразить следующим образом:
Произведение элементов в первом определителе, которые соединены прямыми, берется со знаком "плюс"; аналогично, для второго определителя - соответствующие произведения берутся со знаком "минус", т.е.
$$\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} a_{22} a_{33}+a_{12} a_{23} a_{31}+a_{13} a_{21} a_{32}-$$
$$-a_{11} a_{23} a_{32}-a_{12} a_{21} a_{33}-a_{13} a_{22} a_{31}$$
Пример
Задание. Вычислить определитель $\left| \begin{array}{rrr}{3} & {3} & {-1} \\ {4} & {1} & {3} \\ {1} & {-2} & {-2}\end{array}\right|$ методом треугольников.
Решение. $\left| \begin{array}{rrr}{3} & {3} & {-1} \\ {4} & {1} & {3} \\ {1} & {-2} & {-2}\end{array}\right|=3 \cdot 1 \cdot(-2)+4 \cdot(-2) \cdot(-1)+$
$$+3 \cdot 3 \cdot 1-(-1) \cdot 1 \cdot 1-3 \cdot(-2) \cdot 3-4 \cdot 3 \cdot(-2)=54$$
Ответ.
Правило Саррюса
Справа от определителя дописывают первых два столбца и произведения элементов на главной диагонали и на диагоналях, ей параллельных, берут со знаком "плюс"; а произведения элементов побочной диагонали и диагоналей, ей параллельных, со знаком "минус":
$$-a_{13} a_{22} a_{31}-a_{11} a_{23} a_{32}-a_{12} a_{21} a_{33}$$
Пример
Задание. Вычислить определитель $\left| \begin{array}{rrr}{3} & {3} & {-1} \\ {4} & {1} & {3} \\ {1} & {-2} & {-2}\end{array}\right|$ с помощью правила Саррюса.
Решение.
$$+(-1) \cdot 4 \cdot(-2)-(-1) \cdot 1 \cdot 1-3 \cdot 3 \cdot(-2)-3 \cdot 4 \cdot(-2)=54$$
Ответ. $\left| \begin{array}{rrr}{3} & {3} & {-1} \\ {4} & {1} & {3} \\ {1} & {-2} & {-2}\end{array}\right|=54$
Разложение определителя по строке или столбцу
Определитель равен сумме произведений элементов строки определителя на их алгебраические дополнения . Обычно выбирают ту строку/столбец, в которой/ом есть нули. Строку или столбец, по которой/ому ведется разложение, будет обозначать стрелкой.
Пример
Задание. Разложив по первой строке, вычислить определитель $\left| \begin{array}{lll}{1} & {2} & {3} \\ {4} & {5} & {6} \\ {7} & {8} & {9}\end{array}\right|$
Решение. $\left| \begin{array}{lll}{1} & {2} & {3} \\ {4} & {5} & {6} \\ {7} & {8} & {9}\end{array}\right| \leftarrow=a_{11} \cdot A_{11}+a_{12} \cdot A_{12}+a_{13} \cdot A_{13}=$
$1 \cdot(-1)^{1+1} \cdot \left| \begin{array}{cc}{5} & {6} \\ {8} & {9}\end{array}\right|+2 \cdot(-1)^{1+2} \cdot \left| \begin{array}{cc}{4} & {6} \\ {7} & {9}\end{array}\right|+3 \cdot(-1)^{1+3} \cdot \left| \begin{array}{cc}{4} & {5} \\ {7} & {8}\end{array}\right|=-3+12-9=0$
Ответ.
Этот метод позволяет вычисление определителя свести к вычислению определителя более низкого порядка.
Пример
Задание. Вычислить определитель $\left| \begin{array}{lll}{1} & {2} & {3} \\ {4} & {5} & {6} \\ {7} & {8} & {9}\end{array}\right|$
Решение. Выполним следующие преобразования над строками определителя : из второй строки отнимем четыре первых, а из третьей первую строку, умноженную на семь, в результате, согласно свойствам определителя, получим определитель, равный данному.
$$\left| \begin{array}{ccc}{1} & {2} & {3} \\ {4} & {5} & {6} \\ {7} & {8} & {9}\end{array}\right|=\left| \begin{array}{ccc}{1} & {2} & {3} \\ {4-4 \cdot 1} & {5-4 \cdot 2} & {6-4 \cdot 3} \\ {7-7 \cdot 1} & {8-7 \cdot 2} & {9-7 \cdot 3}\end{array}\right|=$$
$$=\left| \begin{array}{rrr}{1} & {2} & {3} \\ {0} & {-3} & {-6} \\ {0} & {-6} & {-12}\end{array}\right|=\left| \begin{array}{ccc}{1} & {2} & {3} \\ {0} & {-3} & {-6} \\ {0} & {2 \cdot(-3)} & {2 \cdot(-6)}\end{array}\right|=0$$
Определитель равен нулю, так как вторая и третья строки являются пропорциональными.
Ответ. $\left| \begin{array}{lll}{1} & {2} & {3} \\ {4} & {5} & {6} \\ {7} & {8} & {9}\end{array}\right|=0$
Для вычисления определителей четвертого порядка и выше применяется либо разложение по строке/столбцу, либо приведение к треугольному виду, либо с помощью теоремы Лапласа.
Разложение определителя по элементам строки или столбца
Пример
Задание. Вычислить определитель $\left| \begin{array}{llll}{9} & {8} & {7} & {6} \\ {5} & {4} & {3} & {2} \\ {1} & {0} & {1} & {2} \\ {3} & {4} & {5} & {6}\end{array}\right|$ , разложив его по элементам какой-то строки или какого-то столбца.
Решение. Предварительно выполним элементарные преобразования над строками определителя , сделав как можно больше нулей либо в строке, либо в столбце. Для этого вначале от первой строки отнимем девять третьих, от второй - пять третьих и от четвертой - три третьих строки, получаем:
$$\left| \begin{array}{cccc}{9} & {8} & {7} & {6} \\ {5} & {4} & {3} & {2} \\ {1} & {0} & {1} & {2} \\ {3} & {4} & {5} & {6}\end{array}\right|=\left| \begin{array}{cccc}{9-1} & {8-0} & {7-9} & {6-18} \\ {5-5} & {4-0} & {3-5} & {2-10} \\ {1} & {0} & {1} & {2} \\ {0} & {4} & {2} & {0}\end{array}\right|=\left| \begin{array}{rrrr}{0} & {8} & {-2} & {-12} \\ {0} & {4} & {-2} & {-8} \\ {1} & {0} & {1} & {2} \\ {0} & {4} & {2} & {0}\end{array}\right|$$
Полученный определитель разложим по элементам первого столбца:
$$\left| \begin{array}{rrrr}{0} & {8} & {-2} & {-12} \\ {0} & {4} & {-2} & {-8} \\ {1} & {0} & {1} & {2} \\ {0} & {4} & {2} & {0}\end{array}\right|=0+0+1 \cdot(-1)^{3+1} \cdot \left| \begin{array}{rrr}{8} & {-2} & {-12} \\ {4} & {-2} & {-8} \\ {4} & {2} & {0}\end{array}\right|+0$$
Полученный определитель третьего порядка также разложим по элементам строки и столбца, предварительно получив нули, например, в первом столбце. Для этого от первой строки отнимаем две вторые строки, а от третьей - вторую:
$$\left| \begin{array}{rrr}{8} & {-2} & {-12} \\ {4} & {-2} & {-8} \\ {4} & {2} & {0}\end{array}\right|=\left| \begin{array}{rrr}{0} & {2} & {4} \\ {4} & {-2} & {-8} \\ {0} & {4} & {8}\end{array}\right|=4 \cdot(-1)^{2+2} \cdot \left| \begin{array}{ll}{2} & {4} \\ {4} & {8}\end{array}\right|=$$
$$=4 \cdot(2 \cdot 8-4 \cdot 4)=0$$
Ответ. $\left| \begin{array}{cccc}{9} & {8} & {7} & {6} \\ {5} & {4} & {3} & {2} \\ {1} & {0} & {1} & {2} \\ {3} & {4} & {5} & {6}\end{array}\right|=0$
Замечание
Последний и предпоследний определители можно было бы и не вычислять, а сразу сделать вывод о том, что они равны нулю, так как содержат пропорциональные строки.
Приведение определителя к треугольному виду
С помощью элементарных преобразований над строками или столбцами определитель приводится к треугольному виду и тогда его значение, согласно свойствам определителя , равно произведению элементов стоящих на главной диагонали.
Пример
Задание. Вычислить определитель $\Delta=\left| \begin{array}{rrrr}{-2} & {1} & {3} & {2} \\ {3} & {0} & {-1} & {2} \\ {-5} & {2} & {3} & {0} \\ {4} & {-1} & {2} & {-3}\end{array}\right|$ приведением его к треугольному виду.
Решение. Сначала делаем нули в первом столбце под главной диагональю. Все преобразования будет выполнять проще, если элемент $a_{11}$ будет равен 1. Для этого мы поменяем местами первый и второй столбцы определителя, что, согласно свойствам определителя, приведет к тому, что он сменит знак на противоположный:
$$\Delta=\left| \begin{array}{rrrr}{-2} & {1} & {3} & {2} \\ {3} & {0} & {-1} & {2} \\ {-5} & {2} & {3} & {0} \\ {4} & {-1} & {2} & {-3}\end{array}\right|=-\left| \begin{array}{rrrr}{1} & {-2} & {3} & {2} \\ {0} & {3} & {-1} & {2} \\ {2} & {-5} & {3} & {0} \\ {-1} & {4} & {2} & {-3}\end{array}\right|$$
$$\Delta=-\left| \begin{array}{rrrr}{1} & {-2} & {3} & {2} \\ {0} & {3} & {-1} & {2} \\ {0} & {-1} & {-3} & {-4} \\ {0} & {2} & {5} & {-1}\end{array}\right|$$
Далее получаем нули во втором столбце на месте элементов, стоящих под главной диагональю. И снова, если диагональный элемент будет равен $\pm 1$ , то вычисления будут более простыми. Для этого меняем местами вторую и третью строки (и при этом меняется на противоположный знак определителя):
$$\Delta=\left| \begin{array}{rrrr}{1} & {-2} & {3} & {2} \\ {0} & {-1} & {-3} & {-4} \\ {0} & {3} & {-1} & {2} \\ {0} & {2} & {5} & {-1}\end{array}\right|$$
· Определителем квадратной матрицы А п-го порядка или определителем п-го порядка называется число, равное алгебраической сумме п ! членов, каждый из которых является произведением п элементов матрицы, взятых по одному из каждой строки и каждого столбца с определенными знаками. Определитель обозначается или .
Определитель второго порядка есть число, выраженное следующим образом: . Например .
Определитель третьего порядка вычисляется по правилу треугольников (правило Саррюса): .
Пример . .
Замечание . Практически определители третьего порядка, как и более высоких порядков, вычисляются с использованием свойств определителей.
Свойства определителей п-го порядка .
1. Величина определителя не изменится, если каждую строку (столбец) заменить столбцом (строкой) с тем же номером – транспонировать .
2. Если одна из строк (столбец) определителя состоит из нулей, то величина определителя равна нулю.
3. Если в определителе поменять местами две строки (столбца), то абсолютная величина определителя не изменится, а знак поменяется на противоположный.
4. Определитель, содержащий две одинаковые строки (столбца), равен нулю.
5. Общий множитель всех элементов строки (столбца) можно вынести за знак определителя.
· Минором некоторого элемента определителя п -го порядка называется определитель (п -1)-го порядка, полученный из исходного вычеркиванием той строки и того столбца, на пересечении которых находится выбранный элемент. Обозначение: .
· Алгебраическим дополнением элемента определителя называется его минор, взятый со знаком . Обозначение: Т.о. =.
6. Определитель квадратной матрицы равен сумме произведений элементов любой строки (или столбца) на их алгебраические дополнения (теорема разложения ).
7. Если каждый элемент -той строки представляет собой сумму k слагаемых, то определитель представляется в виде суммы k определителей, у которых все строки, кроме -той строки, такие же как в исходном определителе, а -тая строка в первом определителе состоит из первых слагаемых, во втором – из вторых и т.д. То же верно и для столбцов.
8. Определитель не изменится, если к одной из строк (столбцов) прибавить другую строку (столбец), умноженную на число .
Следствие . Если к строке (столбцу) определителя прибавить линейную комбинацию других ее строк (столбцов), то определитель не изменится.
9. Определитель диагональной матрицы равен произведению элементов, стоящих на главной диагонали, т.е.
Замечание . Определитель треугольной матрицы также равен произведению элементов, стоящих на главной диагонали.
Перечисленные свойства определителей позволяют значительно упростить их вычисление, что особенно важно для определителей высоких порядков. При этом целесообразно так преобразовать исходную матрицу, чтобы преобразованная матрица имела строку или столбец, содержащую как можно больше нулей («обнуление» строк или столбцов).
Примеры. Вычислим еще раз определитель , приведенный в предыдущем примере, используя свойства определителей.
Решение : Заметим, что в первой строке имеется общий множитель - 2, а во второй - общий множитель 3, вынесем их за знак определителя (по свойству 5). Далее разложим определитель, например, по первому столбцу, используя свойство 6 (теорему разложения).
Наиболее эффективен метод приведения определителя к диагональному или к треугольному виду . Для вычисления определителя матрицы достаточно выполнить такое преобразование матрицы, которое не изменит определителя и позволит превратить матрицу в диагональную.
В заключении заметим, что если определитель квадратной матрицы равен нулю , то матрица называется вырожденной (или особенной), в противном случае – невырожденной .