Что такое порядок определителя

Определители, их вычисление и свойства

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

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

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

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

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

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

,

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

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

(1)

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

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

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

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

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

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

.

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

, (2)

где и

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

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

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

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

(3)

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

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

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

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

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

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

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

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

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

Определение. Если в определителе n-го порядка выбрать произвольно p строк и p столбцов (p

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

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

Пример 3

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

Пример 4.

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

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

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

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

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

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

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

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

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

Этот определитель равен произведению элементов главной диагонали:

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

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

Свойство 1. При замене строк столбцами (транспонировании) значение определителя не изменится, т.е.

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

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

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

Свойство 4. Если в определителе имеются два одинаковых параллельных ряда, то определитель равен нулю:

Свойство 5. Если в определителе два параллельных ряда пропорциональны, то определитель равен нулю:

Свойство 6. Если все элементы определителя, стоящие в одном ряду, умножить на одно и то же число, то значение определителя изменится в это число раз:

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

Свойство 7. Если в определителе все элементы одного ряда представлены в виде суммы двух слагаемых, то он равен сумме двух определителей:

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

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

Справедливость этого равенства вытекает из свойства 8.

Пример 7. Решить уравнение:

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

Шаг 2. Вычисляем определитель третьего порядка, который образует правую часть уравнения. Делаем это по «правилу треугольников»:

Приравниваем обе части, получаем уравнение и решаем его:

Источник

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

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

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

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

второго порядка – это число .

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

Если:, тогда получается

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

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

Рассмотрим множество из трёх элементов <3, 6, 7>. Всего перестановок 6, так как .:

;

;

;

;

;

Выше мы рассматривали пример с инверсией перестановки, где были числа . Так вот, возьмём вторую строку, где судя по данным числам получается, что , а , так как второй элемент больше третьего элемента . Возьмём для сравнения шестую строку, где расположены числа: . Здесь есть три пары: , а , так как 6″ title=»Rendered by QuickLaTeX.com» height=»13″ width=»42″ style=»vertical-align: 0px;» />; , так как 3″ title=»Rendered by QuickLaTeX.com» height=»13″ width=»42″ style=»vertical-align: 0px;» />; , – 3″ title=»Rendered by QuickLaTeX.com» height=»12″ width=»43″ style=»vertical-align: 0px;» />.

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

, где

– перестановка чисел от 1 до бесконечного числа , а – число инверсий в перестановке. Таким образом, в определитель входит слагаемых, которые называются “членами определителя”.

Можно вычислять определитель матрицы второго порядка, третьего и даже четвёртого. Также стоит упомянуть:

определитель матрицы – это число, которое равняется

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

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

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

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

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

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

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

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

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

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

1. ;

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

4. соответствующие произведения : и .

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

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

Задача

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

Решение

Итак, у нас получается , , , .

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

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

Ответ

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

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

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

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

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

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

Чтобы применить правильно формулу , необходимо найти данные:

Итак, всего перестановок множества :

. , количество инверсий в перестановке , а соответствующие произведения = ;

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

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

.

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

Как говорилось выше, элементы определителя 3-го порядка расположены в трёх строках и трёх столбцах. Если ввести обозначение общего элемента , тогда первый элемент обозначает номер строки, а второй элемент из индексов – номер столбца. Есть главная (элементы ) и побочная (элементы ) диагонали определителя. Слагаемые в правой части называются членами определителя).

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

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

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

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

Задача

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

Решение

, , ,

, , ,

, , .

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

Ответ

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

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

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

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

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

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

Вспомним формулу для вычисления определителя:

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

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

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

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

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

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

Решение

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

Свойство верно, так как .

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

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

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

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

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

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

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

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

.

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

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

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

.

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

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

.

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

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

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

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

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

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

Задача

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

Решение

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

x = ,

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

Ответ

Мы убедились, что

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

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

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

.

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

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

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

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

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

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

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

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

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

,

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

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

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

Задача

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

Решение

Сначала вспомним тему про определители третьего порядка и превратим в нули элементы 1-го столбца, которые принадлежат 2, 3, 4 строкам. Для этого прибавим соответствующие элементы 1 и 2 строк. На месте элементов получим , , , .

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

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

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

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

Ответ

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

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

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

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

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

Задача

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

Решение

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

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

. – это равенство проверяется непосредственно

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

Задача

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

Решение

Ответ

.

Заключение

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

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

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

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

Источник