ОПРЕДЕЛИТЕЛИ. МАТРИЦЫ
1. Понятие определителя n-го порядка.
2. Методы вычисления определителей 2-го и 3-го порядков.
3. Теорема Лапласа.
4. Матрицы и их виды. Действия над матрицами.
5. Обратная матрица.
6. Ранг матрицы.
1. Понятие определителя n-го порядка.
Определитель n-го порядка записывается в виде квадратной таблицы, содержащей n строк и n столбцов:
Числа а ij - элементы определителя, i – номер строки, j –номер столбца, n - порядок определителя.
Диагональ определителя, состоящая из элементов с одинаковыми индексами, называется главной , а другая называется побочной .
Определителем n-го порядка называется число, являющееся алгебраической суммой n! членов, каждый из которых есть произведение n элементов, взятых по одному из каждой строки и из каждого столбца, причем знак всякого члена определяется входящими в его состав элементами.
Основные свойства определителей n - го порядка.
1. При замене строк столбцами значение определителя не меняется.
2. При перестановке двух строк (столбцов) определитель меняет знак.
3. Если все элементы какой-нибудь строки (столбца) определителя равны нулю, то определитель равен нулю.
4. Если определитель имеет две одинаковые или пропорциональные строки (столбца), то такой определитель равен нулю.
5. Общий множитель всех элементов строки (столбца) можно выносить за знак определителя.
6. Значение определителя не изменится, если к элементам какой-нибудь строки (столбца) добавить элементы другой строки (столбца), умноженные на одно и то же число.
7. Если элементы какой-нибудь строки (столбца) являются линейной комбинацией соответствующих элементов двух (или нескольких) других строк (столбцов), то такой определитель равен нулю.
2. Методы вычисления определителей 2-го и 3-го порядков.
Величину 
называют
определителем (детерминантом) второго
порядка
и
обозначают .
Таким образом,
Определителем третьего порядка называют величину
Эта формула называется правилом Сарруса (правило «треугольников») для вычисления определителей 3-го порядка. Для лучшего запоминания формулы можно составить таблицу Сарруса, добавив к определителю первый и второй столбцы. Тогда все члены будут представлять собой произведение элементов по диагоналям.
Примеры: Вычислить определители:
а) 
3. Теорема Лапласа.
Вычисление определителей более высоких порядков непосредственно весьма сложно, поэтому для их вычисления используют свойства определителей, а также теорему Лапласа, позволяющую понижать порядок данного определителя.
Пусть дан определитель:
Вычеркнем в этом определителе i-ую строку и j-ый столбец, на пересечении которых находится элемент а ij . Тогда получим определитель M ij
(n-1) – го порядка, который называют минором элемента а ij .
Алгебраическим дополнением А ij элемента а ij называют минор этого элемента, взятый со знаком (+), если сумма индексов i+j – четное число, и со знаком (-), если эта сумма – число нечетное, т.е.
А ij = (-1) i + j M ij
Пример.
Дан определитель третьего порядка 
Найти минор и алгебраическое дополнение элемента а 32 .
Решение. 
, 
Теорема Лапласа: Сумма произведений элементов какой-нибудь строки (столбца) на их соответствующие алгебраические дополнения равна определителю, т.е.
Эта теорема дает возможность разложить определитель по элементам какой-нибудь строки или столбца и свести его вычисление к вычислению определителей более низкого порядка. При этом вычисление определителя значительно упрощается, если среди элементов некоторой строки (столбца) имеются нули.
4. Матрицы и их виды. Действия над матрицами.
Матрицей размерности kxn называется прямоугольная таблица чисел:
.
Числа а ij называются ее элементами. В компактном виде матрицу можно записать:, i=1, …, k, j=1, …, n. Матрицы обозначаются заглавными буквами А,В,С, …, элементы матрицы – строчными буквами с двойной индексацией.
Виды матриц.
Матрица называется квадратной n -го порядка , если число строк равно числу столбцов и равно n.
Матрица, состоящая из одной строки, называется матрицей-строкой .
Матрица, состоящая из одного столбца, называется матрицей-столбцом.
Если в матрице А переставить строки и столбцы местами, то получим новую матрицу А Т транспонированную к матрице А:
Матрица, у которой все элементы равны 0, называется нулевой.
Квадратная матрица, у которой элементы вдоль главной диагонали равны 1, а остальные – нули, называется единичной матрицей. Она обозначается буквой Е.
Квадратная матрица n-го порядка называется вырожденной (особенной) , если определитель n-го порядка, составленный из ее элементов, равен нулю. Если же этот определитель отличен от нуля, то матрица называется невырожденной (неособенной).
Две матрицы называются равными , если соответствующие элементы их тождественно равны.
Действия над матрицами.
1. Сложение (вычитание) матриц .
Две матрицы одинаковой размерности, т.е. матрицы, имеющие одно и то же число строк и одно и то же число столбцов, можно сложить (вычесть). При этом под суммой (разностью) двух матриц понимают новую матрицу, элементы которой равны сумме (разности) соответствующих элементов данных матриц.
2. Умножение матрицы на число.
Чтобы умножить матрицу на число, нужно каждый элемент данной матрицы умножить на это число.
3. Умножение матриц.
Две матрицы можно перемножить только тогда, когда число столбцов первой матрицы совпадает с числом строк второй матрицы .
Произведением матрицы А на матрицу В называется новая матрица С, у которой элемент с ijj , стоящий на пересечении i-ой строки и j-го столбца, равен сумме произведений элементов i-ой строки матрицы А на элементы j-го столбца матрицы В. Матрица С имеет столько строк, сколько матрица А, и столько столбцов, сколько матрица В. Правило умножения матриц называют « строка на столбец ».
Замечание : операция умножения матриц в общем случае не перестановочна , т.е. АВ ≠ ВА.
Пример. Найти произведение матриц А и В: С=АВ,
где
, 
.
Методы вычисления определителей n-го порядка.
Пусть дано упорядоченное множество n элементов. Всякое расположение n элементов в определённом порядке называется перестановкой из этих элементов.
Так как каждый элемент определяется своим номером, то будем говорить, что дано n натуральных чисел.
Число различных перестановок из n чисел равно n!
Если в некоторой перестановке из n чисел число i стоит раньше j , но i > j , т. е. большее число стоит раньше меньшего, то говорят, что пара i , j составляет инверсию .
Пример 1. Определить число инверсий в перестановке (1, 5, 4, 3, 2)
Решение.
Числа 5 и 4, 5 и 3, 5 и 2, 4 и 3, 4 и 2, 3 и 2 образуют инверсии. Общее число инверсий в данной перестановке равно 6.
Перестановка называется чётной , если общее число инверсий в ней чётное, в противном случае она называется нечётной . В рассмотренном выше примере дана чётная перестановка.
Пусть дана некоторая перестановка …, i , …, j , … (*) . Преобразование, при котором числа i и j меняются местами, а остальные остаются на своих местах, называется транспозицией . После транспозиции чисел i и j в перестановке (*) получится перестановка …, j , …, i , …, где все элементы, кроме i и j , остались на своих местах.
От любой перестановки из n чисел можно перейти к любой другой перестановке из этих чисел с помощью нескольких транспозиций.
Всякая транспозиция меняет чётность перестановки.
При n ≥ 2 число чётных и нечётных перестановок из n чисел одинаково и равно .
Пусть М – упорядоченное множество из n элементов. Всякое биективное преобразование множества М называется подстановкой n -й степени .
Подстановки записывают так: https://pandia.ru/text/78/456/images/image005_119.gif" width="27" height="19"> и все ik различны.
Подстановка называется чётной , если обе её строки (перестановки) имеют одинаковые чётности, т. е. либо обе чётные, либо обе нечётные. В противном случае подстановка называется нечётной .
При n ≥ 2 число чётных и нечётных подстановок n -й степени одинаково и равно .
Определителем квадратной матрицы А второго порядка А= называется число, равное =а11а22–а12а21.
Определитель матрицы называют также детерминантом . Для определителя матрицы А используют следующие обозначения: det A, ΔA.
Определителем
квадратной
матрицы
А=
третьего порядка
называют число, равное │А│=а11а22а33+а12а23а31+а21а13а32‑а13а22а31‑а21а12а33‑а32а23а11
Каждое слагаемое алгебраической суммы в правой части последней формулы представляет собой произведение элементов матрицы, взятых по одному и только одному из каждого столбца и каждой строки. Для определения знака произведения полезно знать правило (его называют правилом треугольника), схематически изображённое на рис.1:
«+» «-»
https://pandia.ru/text/78/456/images/image012_64.gif" width="73" height="75 src=">.
Решение.
Пусть А – матрица n-го порядка с комплексными элементами:
А=https://pandia.ru/text/78/456/images/image015_54.gif" width="112" height="27 src=">(1) ..gif" width="111" height="51">(2) .
Определителем n-го порядка, или определителем квадратной матрицы А=(aij) при n>1, называется алгебраическая сумма всевозможных произведений вида (1) , причём произведение (1) берётся со знаком «+», если соответствующая ему подстановка (2) чётная, и со знаком «‑», если подстановка нечётная.
Минором М ij элемента aij определителя называется определитель, полученный из исходного вычёркиванием i -й строки и j - го столбца.
Алгебраическим дополнением А ij элемента aij определителя называют число А ij =(–1) i + j М ij , где М ij – минор элемента aij .
Свойства определителей
1. Определитель не изменяется при замене всех строк соответствующими столбцами (определитель не изменится при транспонировании).
2. При перестановке двух строк (столбцов) определитель меняет знак.
3. Определитель с двумя одинаковыми (пропорциональными) строками (столбцами) равен нулю.
4. Общий для всех элементов строки (столбца) множитель можно вынести за знак определителя.
5. Определитель не изменится, если к элементам некоторой строки (столбца) прибавить соответствующие элементы другой строки (столбца), умноженные на одно и то же число, отличное от нуля.
6. Если все элементы некоторой строки (столбца) определителя равны нулю, то он равен нулю.
7. Определитель равен сумме произведений элементов любой строки (столбца) на их алгебраические дополнения (свойство разложения определителя по строке (столбцу)).
Рассмотрим некоторые способы вычисления определителей порядка n .
1. Если в определителе n-го порядка хотя одна строка (или столбец) состоят из нулей, то определитель равен нулю.
2. Пусть в определителе n-го порядка какая-то строка содержит отличные от нуля элементы. Вычисление определителя n-го порядка можно свести в этом случае к вычислению определителя порядка n-1. Действительно, используя свойства определителя, можно все элементы какой-либо строки, кроме одного, сделать нулями, а затем разложить определитель по указанной строке. Например, переставим строки и столбцы определителя так, чтобы на месте а11 стоял отличный от нуля элемент.
https://pandia.ru/text/78/456/images/image018_51.gif" width="32 height=37" height="37">.gif" width="307" height="101 src=">
Заметим, что переставлять строки (или столбцы) не обязательно. Можно нули получать в любой строке (или столбце) определителя.
Общего метода вычисления определителей порядка n не существует, если не считать вычисление определителя заданного порядка непосредственно по определению. К определителю того или иного специального вида применяются различные методы вычисления, приводящие к более простым определителям.
3. Приведем к треугольному виду. Пользуясь свойствами определителя, приводим его к так называемому треугольному виду, когда все элементы, стоящие по одну сторону от главной диагонали равны нулю. Полученный определитель треугольного вида равен произведению элементов, стоящих на главной диагонали. Если удобнее получить нули по одну сторону от побочной диагонали, то он будет равен произведению элементов побочной диагонали, взятому со знаком https://pandia.ru/text/78/456/images/image022_48.gif" width="49" height="37">.
Пример 3. Вычислить определитель разложением по строке
https://pandia.ru/text/78/456/images/image024_44.gif" width="612" height="72">
Пример 4. Вычислить определитель четвёртого порядка
https://pandia.ru/text/78/456/images/image026_45.gif" width="373" height="96 src=">.
2-й способ (вычисление определителя путём разложения его по строке):
Вычислим этот определитель разложением по строке, предварительно преобразовав его так, чтобы в какой-то его строке все элементы кроме одного обратились в ноль. Для этого прибавим первую строку определителя к третьей. Затем умножим третий столбец на (‑5) и сложим с четвёртым столбцом. Преобразованный определитель раскладываем по третьей строке. Минор третьего порядка приводим к треугольному виду относительно главной диагонали.
https://pandia.ru/text/78/456/images/image028_44.gif" width="202" height="121 src=">
Решение.
Вычтем из первой строки вторую, из второй – третью и т. д., наконец, из предпоследней последнюю (последняя строка остается без изменений).
https://pandia.ru/text/78/456/images/image030_39.gif" width="445" height="126 src=">
Первый определитель в сумме – треугольного вида относительно главной диагонали, поэтому он равен произведению диагональных элементов, т. е. (n–1)n. Второй определитель в сумме преобразуем, прибавив последнюю строку ко всем предыдущим строкам определителя. Полученный при этом преобразовании определитель будет треугольного вида относительно главной диагонали, поэтому он будет равен произведению диагональных элементов, т. е. nn-1:
=(n–1)n+
(n–1)n + nn-1.
4. Вычисление определителя с помощью теоремы Лапласа. Если в определителе выделить k строк (или столбцов) (1£k£n-1), то определитель равен сумме произведений всех миноров k-ого порядка, расположенных в выделенных k строках (или столбцах), на их алгебраические дополнения.
Пример 6. Вычислить определитель
https://pandia.ru/text/78/456/images/image033_36.gif" width="538" height="209 src=">
ИНДИВИДУАЛЬНОЕ ЗАДАНИЕ №2
«ВЫЧИСЛЕНИЕ ОПРЕДЕЛИТЕЛЕЙ N-ГО ПОРЯДКА»
Вариант 1
Вычислить определители
https://pandia.ru/text/78/456/images/image035_39.gif" width="114" height="94 src=">
ортогональный унитарный матрица полилинейный
Вычисление определителей 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, получим определитель такого же вида, что и исходный, но меньшего порядка. Раскладывая полученный определитель по последнему столбцу, уменьшаем его порядок. Продолжая таким же образом, получаем определитель матрицы. Следовательно,
Рассмотрим квадратную матрицу второго порядка
Определение . Определителем квадратной матрицы второго порядка называют число, равное a 11 a 22 -a 12 a 21 и обозначают символом , то есть
Определитель матрицы называется также детерминантом . Обозначения определителя матрицы A : |A |, Δ, det A , det(a ij) .
Теперь рассмотрим квадратную матрицу третьего порядка
При вычислении определителя третьего порядка полезно знать правило треугольника: со знаком плюс идут произведения троек чисел, расположенных на главной диагонали матрицы, и в вершинах треугольников с основанием параллельным этой диагонали и вершиной в противоположого угла матрицы. Со знаком минус идут тройки из второй диагонали и из треугольноков, построенных относительно этой диагонали. Следующая схема демонстрирует это правило. В схеме синим (слева) отмечены элементы, чьи произведения идут со знаком плюс, а красным (справа) - со знаком минус.
Теперь дадим определение.
Определение . Определителем квадратной матрицы третьего порядка называют число
Определение . Минором какого-либо элемента определителя называется определитель, полученный из данного вычеркиванием той строки и того столбца, к которым принадлежит данный элемент. Минор элемента a ik обозначим M ik .
Определение . Минор элемента a 21 определителя третьего порядка матрицы является определитель второго порядка
Определение a ik определителя называется его минор, взятый со знаком (-1) i+k .
Алгебраическое дополнение элемента a ik обозначим A ik . По определению
Правило для определения знака алгебраического дополнения (на примере определителя третьего порядка):
Пример . Алгебраическим дополнением элемента a 21 является
Теорема разложения . Определитель равен сумме произведений элементов любой строки (столбца) на их алгебраические дополнения.
Свойства определителей
- Определитель не изменится при замене всех его строк соответствующими столбцами.
- При перестановке двух столбцов (строк) определитель меняет знак.
- Определитель с двумя одинаковыми столбцами (строками) равен нулю.
- Множитель, общий для элементов некоторого столбца (строки), можно выносить за знак определителя.
- Определитель с двумя пропорциональными столбцами (строками) равен нулю.
- Определитель равен нулю, если все элементы некоторого столбца (строки) равны нулю.
- Определитель не изменится, если к элементам некоторого столбца (строки) прибавить соответствующие элементы другого столбца (строки), предварительно умножив их на один и тот же множитель.
Замечание . Если в определителе все элементы некоторого столбца (строки) равны суммам двух слагаемых, то такой определитель равен сумме двух соответствующих определителей.
Например,
Определители n -го порядка
Рассмотрим квадратную матрицу n -го порядка
Понятие определителя этой матрицы или определителя n -го порядка вводится индуктивно, считая, что уже введено понятие определителя порядка n-1 , соответствующего квадратной матрице (n-1) -го порядка.
Определение минора элемента матрицы и его алгебраического дополнения верны для определителей любого порядка.
Определение
. Определителем порядка n
, соответствующим матрице A
n
-го порядка, называют число, равное 
(M 1k
- минор элемента a 1k
) и обозначаемое одним из символов
Итак, по определению
Эта формула выражает правило составления определителя порядка n по элементам первой строки соответствующей ему матрицы и по алгебраическим дополнениям этих элементов, являющимся определителем порядка n-1 , взятыми с надлежащими знаками.
Для определителя любого порядка верны все свойства и теоремы, полученные и доказанные для определителя третьего порядка.
Сформулируем основную теорему:
Теорема [Теорема замещения] . Каков бы ни был номер строки i (i=1,2,…,n ), для определителя n -го порядка справедлива формула
называемая разложением этого определителя по i -й строке.
Поскольку верно свойство 1 определителей, то определитель также можем разложить и по столбцу:
Примеры
Вычислим следующий определитель:
Вычтем вторую строку из первой и третьей. После прибавим к третей первую и из третей вынесем общий множитель:
Теперь ко второй строке прибавим третью, умноженную на 7, и к четвертой прибавим третью, умноженную на 2. После вынесем общий множитель из четвертой строки:
Разложим определитель по второму столбцу (знаки указывают значение (-1) i+j при миноре). Заметим, что в столбце только один ненулевой элемент, следовательно, в разложении останется только один определитель третьего порядка. Окончательно пулучаем ответ использую формулу для определителя третьего порядка.
Приведем еще несколько примеров для определителей различных порядков.
Для более точного и сложного определения и для того, чтобы говорить об определителях порядка больше третьего, потребуется вспомнить еще кое-что. Нас интересует термин подстановка, даже не столько определение, сколько способ её вычисление.
Для подстановки принята запись:
, т.е. пары чисел, записанные в столбик, причем так, что верхние числа идут последовательно (вообще говоря, столбцы можно менять местами).
Подстановки бывают четными и нечетными. Для того, чтобы выяснить, является данная подстановка четной или нечетной, нужно обратить внимание на вторую строку, а точнее на порядок чисел в ней. Необходимо подсчитать количество пар чисел во второй строке, таких, что число, стоящее левее, больше числа, стоящего правее (). Если количество таких пар нечетно, то и подстановка называется нечетной, и, соответственно, если количество таких пар четно, то и подстановка называется четной.
Пример:
1)
4 стоит левее 3, левее 1, левее 2 — это уже три «неправильные» пары.
3 стоит левее 1 и 2 – еще две пары.
Итого 5 пар, т.е. это нечетная подстановка.
2)
Заметим, что числа в первой строке расположены не по порядку. Выполним перестановку столбцов.
Рассмотрим числа второго ряда.
3 стоит левее 2 и 1 – две пары,
2 стоит левее 1 – одна пара,
5 стоит левее 4 и 1 – две пары,
4 стоит левее1 – одна пара.
Итого 6 пар – подстановка четная.
Определение 2 (для студентов математических специальностей, раскрывающее всю суть определяемого понятия):
Определителем n-го порядка, соответствующим матрице
,
называется алгебраическая сумма слагаемых, составленная следующим образом: слагаемыми служат всевозможные произведения элементов матрицы, взятых по одному из каждой строки и каждого столбца, причем слагаемое берется со знаком плюс, если его индексы составляют четную подстановку, и со знаком минус – в противоположном случае.
Замечание:
Объясним это определение на примере определителя третьего порядка, для которого уже известна формула вычисления.
.
1) «алгебраическая сумма слагаемых» — . И да, действительно, здесь шесть слагаемых.
2) «слагаемыми служат всевозможные произведения элементов матрицы, взятых по одному из каждой строки и каждого столбца» — рассмотрим например слагаемое . Его первый множитель взят из второй строки, второй – из первой, а третий из третьей. То же самое и со столбцами – первым множитель из первого столбца, второй из третьего, а последний из второго.
3) «причем слагаемое берется со знаком плюс, если его индексы составляют четную подстановку, и со знаком минус – в противоположном случае» — рассмотрим для примера слагаемые (со знаком плюс) и (со знаком минус).
Составим перестановки так, что в первой строке будут номера строк сомножителей, а во второй – номера столбцов.
Для слагаемого : (первый столбец – индекс первого сомножителя и т.д.)
Для слагаемого : .
Определим четность этих перестановок:
а) — элементы в первой строке стоят по порядку. Во второй строке не по порядку стоят пары:
2 левее 1 – одна пара,
3 левее 1 – одна пара.
Итого две пары, т.е. количество пар четно, значит перестановка четная, а значит, слагаемое должно входить в сумму со знаком плюс (как оно и есть на самом деле).
б) — элементы в первой строке стоят по порядку. Во второй строке не по порядку стоят пары:
2 левее 1 – одна пара.
Итого, количество пар чисел, стоящих так, что большее левее меньшего – 1 шт., т.е. нечетно, а значит и перестановка называется нечетной, и соответствующее слагаемое должно входить в сумму со знаком минус (да, это так).
Пример
(«Сборник задач по алгебре» под ред. А.И. Кострикина, №1001):
Выяснить, какие из следующих произведений входят в развернутое выражение определителей соответствующих порядков и с какими знаками.
а) 
Обратим внимание на часть определния «по одному из каждой строки и каждого столбца». Все первые индексы сомножителей различны от 1 до 6(1, 2, 3, 4, 5, 6). Все вторые индексы сомножителей различны от 1 до 6 (3, 2, 1, 4, 5, 6).
Вывод – это произведение входит в развернутое выражение определителя 6-го порядка.
3 левее 2, 1 – две пары,
2 левее 1 – одна пара,
6 левее 5, 4 – две пары,
5 левее 4 – одна пара.
Итого 6 пар, т.е. перестановка четная и слагаемое входит в развернутую запись определителя со знаком «плюс».
б)
Все первые индексы сомножителей различны от 1 до 5(3, 1, 5, 4, 2). Все вторые индексы сомножителей различны от 1 до 5 (1, 3, 2, 5, 4).
Вывод – это произведение входит в развернутое выражение определителя 5-го порядка.
Определим знак этого слагаемого, для этого составим перестановку из индексов сомножителей:
Переставим столбцы так, чтобы числа в первой строке шли по порядку от меньшего к большему.
3 левее 1, 2 – две пары.
4 левее 1, 2 – две пары,
5 левее 2 – одна пара.
Итого 5 пар, т.е. перестановка нечетная и слагаемое входит в развернутую запись определителя со знаком «минус».
в) 
— обратим внимание на первый и шестой сомножители: и . Они оба взяты из 4-го столбца, а значит, это произведение не может входить в развернутое выражение определителя 7-го порядка.
