Рассмотрим квадратную таблицу А.

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

1 .Определитель n-го порядка равен алгебраической сумме n! членов.

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

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

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

или краткоdet A=.(детерминант А)

Согласно определению = -.

Правило вычисления определителя 3ого порядка:

=

Миноры и алгебраические дополнения

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

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

Например:

=

Определение 2 . Алгебраическим дополнением элемента называется число

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

1.О равносильности строк и столбцов.

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

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

= k

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

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

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

Например:

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

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

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

=

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

Например:

=

Теорема Лапласа

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

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

Пусть - квадратная матрица размера . Пусть также задан некоторый номер строки i либо номер столбца j матрицы A. Тогда определитель A может быть вычислен по следующим формулам:

Разложение по i-й строке:

Разложение по j-й строке:

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

Утверждение является частным случаем теоремы Лапласа. Достаточно в ней положить k равным 1 и выбрать -ую строку, тогда минорами, расположенными в этой строке будут сами элементы.

Примеры для самостоятельного решения .

1.Найти х из уравнений и проверить подстановкой корень в определитель.

а); б)

Определитель n-го порядка

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

И вычисляемым по данным числам (действительным или комплексным) - элементам определителя

Схемы вычисления определителей 2-ого и 3-его порядков

Теорема Крамера.

Пусть (дельта)-определитель матрицы системы А,а (дельта)i-определитель матрицы,получается из матрицы А заменой j-го столбца столбцов свободных чисел.Тогда,если (дельта) не равна 0,то система имеет единственное решение,определяемое во формуле:

1.Определитель 2-го порядка вычисляется по формуле

2. Определитель третьего порядка вычисляется по формуле

Существует удобная схема для вычисления определителя третьего порядка (см. рис. 1 и рис. 2).

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

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

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

3.При транспонировании матрицы её определитель не изменяется.

Транспонирование -в математике,это преобразование квадратной матрицы-замена столбцов на строки или наоборот.

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

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

6.Если элементы двух строк (столбцов)матрицы пропорциональны,то её определитель равен 0

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

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

9.Сумма произведений чисел b1,b2,...,bn на алгебраические дополнение элементов любой строки (столбца) равна определителю матрицы,полученной из данной заменой элементов этой строки (столбца) b1,b2,...bn.

10.Определитель произведения двух квадратных матриц равен произведению их определителей |C|=|А|*|B|,где С=А*В;А и В-матрицы n-го порядка.

ортогональный унитарный матрица полилинейный

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

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

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

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

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

Для определителя третьего порядка имеем

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

Эти определители второго порядка записываем по формуле (2.2) и получаем формулу вычисления определителя третьего порядка

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

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

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

Вычисление определителей порядка N>3.

Итак, получены формулы для вычисления определителей второго и третьего порядков. Можно продолжить вычисления по формуле (2.1) для и получить формулы для вычисления определителей четвертого, пятого и т.д. порядков. Следовательно, индуктивное определение позволяет вычислить определитель любого порядка. Другое дело, что формулы будут громоздкими и неудобными при практических вычислениях. Поэтому определители высокого порядка (четвертого и более), как правило, вычисляют на основании свойств определителей.

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

Решение. По формулам (2.2) и (2.3) находим;

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

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

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

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

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

(разложение по i-й строке);

(разложение по j-му столбцу).

Замечания 2.1.

1. Доказательство формулы проводится методом математической индукции.

2. При индуктивном определении (2.1) фактически использована формула разложения определителя по элементам первой строки.

Пример 2.2. Найти определитель матрицы

Решение. Разложим определитель по 3-й строке:

Теперь разложим определитель третьего порядка по последнему столбцу:

Определитель второго порядка вычисляем по формуле (2.2):

Определитель матрицы треугольного вида

Применим формулу разложения для нахождения определителя верхней треугольной матрицы

Разложим определитель по последней строке (по n-й строке):

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

Замечания 2.2

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

2. Определитель единичной матрицы равен 1.

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

Основные свойства определителей (детерминантов)

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

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

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

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

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

6. При умножении всех элементов одного столбца определителя на число определитель умножается на это число:

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

8. Определитель линеен по любому столбцу:

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

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

Замечания 2.3

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

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

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

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

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

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

а) заменить каждый элемент матрицы его алгебраическим дополнением, при этом получим матрицу;

б) найти присоединенную матрицу, транспонируя матрицу.

Из формул (2.4) следует, что, где -- единичная матрица того же порядка, что и.

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

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

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

Определитель n–го порядка состоит из n 2 элементов, записанных в n строк и в n столбцов, и имеет вид:

Элемент определителя а i j стоит в строке с номером i и в столбце с номером j. Индексы i и j могут принимать любые натуральные значения от 1 до n. Так, записав а i3 (i=1,2,…,n), мы перечислим все элементы, стоящие в столбце с номером 3: а 13 , а 23 , а 33 ,…,а n3 . Элементы а ij (при i=j) составляют главную диагональ определителя.

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

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

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

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

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

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

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

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

Примеры.

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

а)

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

б)

К элементам первой строки прибавили элементы третьей.

в)

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

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

Если из данного определителя n-го порядка вычеркнем строку и столбец, на пересечении которых стоит элемент а ij , то получим определитель (n-1)-го порядка, который называется минором элемента а ij и обозначается М ij. Например, в определителе третьего порядка найдем минор М 21 элемента а 21 . Для этого вычеркиваем вторую строку и первый столбец:

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

Запишем миноры элементов а 32 и а 44 , например, определителя четвертого порядка:

Алгебраическим дополнением элемента а ij называется его минор, взятый со знаком (–1) i+ j , и обозначается А ij . Таким образом, А ij =(–1) i+ j ×М ij .

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

.

Рассмотрим, наконец, свойство о разложении определителя по строке или столбцу.

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

Так, определитель третьего порядка, например, можно вычислить при помощи трех определителей второго порядка:

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

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

Поэтому, например,

№.7

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

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

Рассмотрим определители особого вида: диагональный и треугольный.

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

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

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

Раскладывая определитель по элементам 1 го столбца, мы получили произведение Но определитель (n–1)-го порядка А 11 таким же образом представим в виде произведения и т.д.

Таким образом, диагональный определитель равен произведению элементов его главной диагонали.

Легко показать, что и треугольный определитель равен произведению элементов его главной диагонали:

№ 9 Вычислить определители:

1)