Определение. Пусть задана матрица A∈Mn×m(P). Выберем произвольно k строк и k столбцов (1⩽k⩽min{n,m}). Минором k−го порядка называют определитель матрицы, состоящей из элементов, которые стоят на пересечении выбранных строк и столбцов.
Определение. Пусть задана матрица A∈Mn(P). Выберем произвольно минор k−го порядка (1⩽k⩽n−1). Дополнительным минором называют определитель матрицы порядка n−k, которая получена путем вычеркивания строк и столбцов, в которых расположен выбранный минор.
Определение. Алгебраическим дополнением называют дополнительный минор, умноженный на число (−1)(s1+s2), где s1− сумма номеров строк, а s2− сумма номеров столбцов, в которых расположен минор.
Теорема о разложении определителя по строке. Определитель (детерминант) n−го порядка квадратной матрицы A равен сумме произведений элементов какой-либо его строки (столбца) на их алгебраические дополнения. То есть:detA=n∑k=1akjAkj — разложение определителя по элементам столбца;detA=n∑k=1aikAik — разложение определителя по элементам строки, где (i,j∈{1,2,…,n}).
Пусть задан определитель n−го порядка:detA=|a11a12…a1na21a22…a2n⋯⋯⋯⋯an1an2…ann|. Возьмем j−й столбец матрицы A и представим его в виде суммы:[a1ja2j⋮anj]=[a1j0⋮0]+[0a2j⋮0]+⋯+[00⋮anj]. Таким же образом запишем наш определитель: detA=|a11a12⋯a1j⋯a1na21a22⋯a2j⋯a2n⋯⋯⋯⋯⋯⋯an1an2⋯anj⋯ann|==|a11a12⋯a1j⋯a1na21a22⋯0⋯a2n⋯⋯⋯⋯⋯⋯an1an2⋯0⋯ann|+|a11a12⋯0⋯a1na21a22⋯a2j⋯a2n⋯⋯⋯⋯⋯⋯an1an2⋯0⋯ann|+…⋯+|a11a12⋯0⋯a1na21a22⋯0⋯a2n⋯⋯⋯⋯⋯⋯an1an2⋯anj⋯ann|. Данную сумму можем записать более кратко:detA=n∑k=1|a11a12⋯a1,j−10a1,j+1⋯a1n⋯⋯⋯⋯⋯⋯⋯⋯ak1ak2⋯ak,j−10ak,j+1⋯akn⋯⋯⋯⋯⋯⋯⋯⋯an1an2⋯an,j−10an,j+1⋯ann|.
Переместим элемент akj в левый верхний угол матрицы. Для этого переставим k−ю строку на первое место, последовательно переставляя ее со строками, стоящими выше. Исходя из этого потребуется k−1 транспозиций. По свойствам определителей, каждая транспозиция двух строк (столбцов) приводит к определителю, у которого изменены все знаки его членов на противоположные. То есть при каждой транспозиции определитель умножается на −1:detA=n∑k=1(−1)k−1|ak1ak2⋯ak,j−1akjak,j+1⋯akna11a12⋯a1,j−10a1,j+1⋯a1n⋯⋯⋯⋯⋯⋯⋯⋯ak−1,1ak−1,2⋯ak−1,j−10ak−1,j+1⋯ak−1,nak+1,1ak+1,2⋯ak+1,j−10ak+1,j+1⋯ak+1,n⋯⋯⋯⋯⋯⋯⋯⋯an1an2⋯an,j−10an,j+1⋯ann|.Затем переместим j−й столбец на первое место, последовательно переставляя со столбцами, стоящими левее j−го. На это потребуется j−1 транспозиций:detA=n∑k=1(−1)(k−1)+(j−1)|akjak1ak2⋯ak,j−1ak,j+1⋯akn0a11a12⋯a1,j−1a1,j+1⋯a1n⋯⋯⋯⋯⋯⋯⋯⋯0ak−1,1ak−1,2⋯ak−1,j−1ak−1,j+1⋯ak−1,n0ak+1,1ak+1,2⋯ak+1,j−1ak+1,j+1⋯ak+1,n⋯⋯⋯⋯⋯⋯⋯⋯0an1an2⋯an,j−1an,j+1⋯ann|.В итоге мы получаем определитель, отличающийся от искомого знаком (−1)(k+j):detA=n∑k=1(−1)(k+j)|akjak1ak2⋯akn0a11a12⋯a1n⋯⋯⋯⋯⋯0an1an2⋯ann|.
Теперь пусть detA′=|akjak1ak2⋯akn0a11a12⋯a1n⋯⋯⋯⋯⋯0an1an2⋯ann|. Так как все элементы первого столбца, кроме akj, равны нулю, можем записать полученный определитель как сумму:detA′=n∑s=2(−1)[1,s2,…,sn]akjas2…asn, где суммирование производится по всем перестановкам длины n.
Множитель akj является общим для всех слагаемых. Единица, стоящая на первом месте, не образует никаких инверсий (перестановок), что не влияет на знак: [1,s2,…,sn]=[s2,…,sn]. Исходя из этого, можем вынести за знак суммы множитель akj:detA′=akjn∑s=2(−1)[s2,…,sn]as2…asn.
Сумма n∑s=2(−1)[s2,…,sn]as2⋅⋯⋅asn равна определителю (n−1)−го порядка. Этот определитель получается путем вычеркивания первой строки и первого столбца и является дополнительным минором искомого определителя. Следовательно, определитель матрицы A равен:detA=n∑k=1(−1)(k+j)akjMkj.
Согласно определению, дополнительный минор, умноженный на число (−1)(k+j), где k− номер строки, а j− номер столбца, в которых расположен минор первого порядка, равен алгебраическому дополнению. Таким образом, мы получаем, что исходный определитель равен сумме произведений элементов j−го столбца на их алгебраическое дополнение:detA=n∑k=1akjAkj. Разложение по столбцу доказано.
Аналогично докажем разложение определителя по строке: detA=|a11a12…a1na21a22…a2n⋯⋯⋯⋯an1an2…ann|==|a11a12…a1na21a22…a2n⋯⋯⋯⋯ai10…0⋯⋯⋯⋯an1an2…ann|+|a11a12…a1na21a22…a2n⋯⋯⋯⋯0ai2…0⋯⋯⋯⋯an1an2…ann|+⋯⋯+|a11a12…a1na21a22…a2n⋯⋯⋯⋯00…ain⋯⋯⋯⋯an1an2…ann|==n∑k=1|a11a12⋯a1k⋯a1na21a22⋯a2k⋯a2n⋯⋯⋯⋯⋯⋯ai−1,1ai−1,2⋯ai−1,k⋯ai−1,n00⋯aik⋯0ai+1,1ai+1,2⋯ai+1,k⋯ai+1,n⋯⋯⋯⋯⋯⋯an1an2⋯ank⋯ann|.Элемент aik перемещаем в левый верхний угол матрицы, последовательно меняя i−ю строку с выше стоящими строками и k−й столбец со стоящими слева столбцами. Потребуется i+k транспозиций. Это означает, что определитель будет отличаться от искомого знаком (−1)(i+k):detA=n∑k=1(−1)(i+k)|aikai1ai2⋯ain0a11a12⋯a1n⋯⋯⋯⋯⋯0an1an2⋯ann|==n∑k=1(−1)(i+k)aikMik=n∑k=1aikAik. Таким образом, разложение по строке доказано.
Примеры решения задач
Рассмотрим некоторые примеры решения задач на нахождение определителя с помощью теоремы о разложении определителя по строке. Читателю рекомендовано попытаться решить задачи самостоятельно, а затем сверить свое решение с приведенным ниже.
- Выполнив разложение по первой строке, вычислить определитель: detA=|2−5384−1032|.
Решение
Перед нами определитель 3−го порядка. Разложим данный определитель по элементам первой строки:detA=|2−5384−1032|=2A11+(−5)A12+3A13. Воспользуемся формулой нахождения алгебраического дополнения: Aij=(−1)i+jMij, где Mij− дополнительный минор к элементу aij. Найдем алгебраическое дополнение к элементу a11 согласно формуле: A11=(−1)1+1M11=(−1)2M11=M11. Для того чтобы найти дополнительный минор к элементу, нужно мысленно вычеркнуть строку и столбец, в которых расположен данный элемент, и записать оставшиеся элементы в виде определителя: A11=M11=|4−132|=4⋅2−3⋅(−1)=8+3=11. Аналогично вычисляем оставшиеся алгебраические дополнения:A12=(−1)1+2M12=(−1)3M12=−M12=−|8−102|==−(8⋅2−0⋅(−1))=−16;A13=(−1)1+3M12=(−1)4M12=M12=|8403|==8⋅3−0⋅(4)=24. Следовательно, наш определитель равен:detA=2⋅11+(−5)⋅(−16)+3⋅24=22+80+72=174.
Для проверки воспользуемся другим методом вычисления определителя 3−го порядка — правилом Саррюса. Согласно этому правилу, определитель матрицы 3−го порядка равен:detA=a11a22a33+a12a23a31+a13a21a32−a13a22a31−a11a23a32−−a12a21a33. Наш определитель равен:detA=2⋅4⋅2+(−5)⋅(−1)⋅0+3⋅8⋅3−3⋅4⋅0−−2⋅(−1)⋅3−(−5)⋅8⋅2=16+0+72−0+6+80=174. Ответ совпал. Проверка выполнена.
- Выполнив разложение по первому столбцу, вычислить определитель: detA=|35−2−1840−7−3|.
Решение
Разложим данный определитель 3−го порядка по элементам первого столбца:detA=|35−2−1840−7−3|=3A11+(−1)A21+0A31==3A11+(−1)A21. Вспомним формулу нахождения алгебраического дополнения: Aij=(−1)i+jMij, где Mij− дополнительный минор к элементу aij. Найдем алгебраические дополнения к каждому элементу:A11=(−1)1+1M11=M11=|84−7−3|=8⋅(−3)−(4⋅(−7))==−24+28=4;A21=(−1)2+1M21=−M21=−|5−2−7−3|==−(5⋅(−3)−((−2)⋅(−7)))=−(−15−14)=29. Значит, наш определитель равен:detA=3⋅4+(−1)⋅29=12−29=−17.
Выполним проверку, используя правило Саррюса: detA=a11a22a33+a12a23a31+a13a21a32−a13a22a31−a11a23a32−−a12a21a33. detA=3⋅8⋅(−3)+5⋅4⋅0+(−2)⋅(−1)⋅(−7)−−(−2)⋅8⋅0−3⋅4⋅(−7)−5⋅(−1)⋅(−3)=−17. Проверка выполнена. Ответ совпал.
- Выполнив разложение по третьей строке, вычислить определитель матрицы A=‖ третьего порядка.
Решение
Разложим определитель по элементам третьей строки: \det\;A=\begin{vmatrix}a_{11}&a_{12}&a_{13}\\a_{21}&a_{22}&a_{23}\\a_{31}&a_{32}&a_{33}\end{vmatrix}=a_{31}\cdot\left(-1\right)^{3+1}\begin{vmatrix}a_{12}&a_{13}\\a_{22}&a_{23}\end{vmatrix}++a_{32}\cdot\left(-1\right)^{3+2}\begin{vmatrix}a_{11}&a_{13}\\a_{21}&a_{23}\end{vmatrix}+a_{33}\cdot\left(-1\right)^{3+3}\begin{vmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{vmatrix}==a_{31}\left(a_{12}\cdot a_{23}-a_{22}\cdot a_{13}\right)-a_{32}\left(a_{11}\cdot a_{23}-a_{21}\cdot a_{13}\right)++a_{33}\left(a_{11}\cdot a_{22}-a_{21}\cdot a_{12}\right)=a_{12}a_{23}a_{31}-a_{13}a_{22}a_{31}--a_{11}a_{23}a_{32}+a_{13}a_{21}a_{32}+a_{11}a_{22}a_{33}-a_{12}a_{21}a_{33}==a_{11}a_{22}a_{33}+a_{12}a_{23}a_{31}+a_{13}a_{21}a_{32}-a_{13}a_{22}a_{31}-a_{11}a_{23}a_{32}--a_{12}a_{21}a_{33}. Как можно заметить, последняя формула является ничем иным, как правилом Саррюса, которым мы воспользовались при проверке первого и второго примеров.
- Выполнив разложение по третьему столбцу, вычислить определитель: \det\;A=\begin{vmatrix}2&5&a&-1\\3&4&b&-3\\7&9&c&-5\\4&2&d&-2\end{vmatrix}.
Решение
Разложим данный определитель 4-го порядка по элементам третьего столбца:\det\;A=\begin{vmatrix}2&5&a&-1\\3&4&b&-3\\7&9&c&-5\\4&2&d&-2\end{vmatrix}=aA_{13}+bA_{23}+cA_{33}+dA_{34}. Найдем все алгебраические дополнения:A_{13}=\left(-1\right)^{1+3}M_{13}=M_{13}=\begin{vmatrix}3&4&-3\\7&9&-5\\4&2&-2\end{vmatrix}=(разложим определитель по первому столбцу)=3\cdot\left(-1\right)^{1+1}\begin{vmatrix}9&-5\\2&-2\end{vmatrix}+7\cdot\left(-1\right)^{2+1}\begin{vmatrix}4&-3\\2&-2\end{vmatrix}+4\cdot\left(-1\right)^{3+1}\begin{vmatrix}4&-3\\9&-5\end{vmatrix}==3\left(9\cdot\left(-2\right)-2\cdot\left(-5\right)\right)-7\left(4\cdot\left(-2\right)-2\cdot\left(-3\right)\right)++4\left(4\cdot\left(-5\right)-9\cdot\left(-3\right)\right)=3\cdot\left(-8\right)-7\cdot\left(-2\right)+4\cdot7==-24+14+28=18;A_{23}=\left(-1\right)^{2+3}M_{23}=-M_{23}=-\begin{vmatrix}2&5&-1\\7&9&-5\\4&2&-2\end{vmatrix}=(разложим определитель по третьей строке, умножая каждый элемент на -1)=-4\cdot\left(-1\right)^{3+1}\begin{vmatrix}5&-1\\9&-5\end{vmatrix}-2\cdot\left(-1\right)^{3+2}\begin{vmatrix}2&-1\\7&-5\end{vmatrix}-\left(-2\right)\cdot\left(-1\right)^{3+3}\begin{vmatrix}2&5\\7&9\end{vmatrix}==-4\left(5\cdot\left(-5\right)-9\cdot\left(-1\right)\right)+2\left(2\cdot\left(-5\right)-7\cdot\left(-1\right)\right)+2\left(2\cdot9-7\cdot5\right)==\left(-4\right)\cdot\left(-16\right)+2\cdot\left(-3\right)+2\cdot\left(-17\right)=64-6-34=24;A_{33}=\left(-1\right)^{3+3}M_{33}=M_{33}=\begin{vmatrix}2&5&-1\\3&4&-3\\4&2&-2\end{vmatrix}=(разложим определитель по второй строке)=3\cdot\left(-1\right)^{2+1}\begin{vmatrix}5&-1\\2&-2\end{vmatrix}+4\cdot\left(-1\right)^{2+2}\begin{vmatrix}2&-1\\4&-2\end{vmatrix}+\left(-3\right)\cdot\left(-1\right)^{2+3}\begin{vmatrix}2&5\\4&2\end{vmatrix}==-3\left(5\cdot\left(-2\right)-2\cdot\left(-1\right)\right)+4\left(2\cdot\left(-2\right)-4\cdot\left(-1\right)\right)+3\left(2\cdot2-4\cdot5\right)==\left(-3\right)\cdot\left(-8\right)+4\cdot0+3\cdot\left(-16\right)=24-48=-24;A_{43}=\left(-1\right)^{4+3}M_{43}=-M_{43}=-\begin{vmatrix}2&5&-1\\3&4&-3\\7&9&-5\end{vmatrix}=(разложим определитель по второму столбцу, умножая каждый элемент на -1)=-5\cdot\left(-1\right)^{1+2}\begin{vmatrix}3&-3\\7&-5\end{vmatrix}-4\cdot\left(-1\right)^{2+2}\begin{vmatrix}2&-1\\7&-5\end{vmatrix}-9\cdot\left(-1\right)^{3+2}\begin{vmatrix}2&-1\\3&-3\end{vmatrix}==5\left(3\cdot\left(-5\right)-7\cdot\left(-3\right)\right)-4\left(2\cdot\left(-5\right)-7\cdot\left(-1\right)\right)+9\left(2\cdot\left(-3\right)-3\cdot\left(-1\right)\right)==5\cdot6-4\cdot\left(-3\right)+9\cdot\left(-3\right)=30+12-27=15. Следовательно, искомый определитель равен: \det\;A=aA_{13}+bA_{23}+cA_{33}+dA_{34}=18a+24b-24c+15d.
- Определитель матрицы A равен: \det\;A=\begin{vmatrix}1&3&5&-2\\\lambda&0&1&0\\7&-4&3&2\\0&2&0&-1\end{vmatrix}=16. Найти \lambda.
Решение
Разложим данный определитель 4-го порядка по элементам второй строки: \det\;A=\begin{vmatrix}1&3&5&-2\\\lambda&0&1&0\\7&-4&3&2\\0&2&0&-1\end{vmatrix}=\lambda\cdot A_{21}+0\cdot A_{22}+1\cdot A_{23}+0\cdot A_{24}==\lambda\cdot A_{21}+A_{23}. Найдем алгебраические дополнения:A_{21}=\left(-1\right)^{2+1}M_{21}=-M_{21}=-\begin{vmatrix}3&5&-2\\-4&3&2\\2&0&-1\end{vmatrix}=(разложим определитель по первой строке, умножив каждый элемент на \left(-1\right)) =-3\cdot\left(-1\right)^{1+1}\begin{vmatrix}3&2\\0&-1\end{vmatrix}\;-5\cdot\left(-1\right)^{1+2}\begin{vmatrix}-4&2\\2&-1\end{vmatrix}--\left(-2\right)\cdot\left(-1\right)^{1+3}\begin{vmatrix}-4&3\\2&0\end{vmatrix}=-3\left(3\cdot\left(-1\right)-0\cdot2\right)+5\left(\left(-4\right)\cdot\left(-1\right)-2\cdot2\right)++2\left(\left(-4\right)\cdot0-2\cdot3\right)=-3\cdot\left(-3\right)+5\cdot0+2\cdot\left(-6\right)=-3;A_{23}=\left(-1\right)^{2+3}M_{21}=-M_{21}=-\begin{vmatrix}1&3&-2\\7&-4&2\\0&2&-1\end{vmatrix}=(разложим определитель по первому столбцу, умножив каждый элемент на \left(-1\right)) =-1\cdot\left(-1\right)^{1+1}\begin{vmatrix}-4&2\\2&-1\end{vmatrix}\;-7\cdot\left(-1\right)^{2+1}\begin{vmatrix}3&-2\\2&-1\end{vmatrix}--0\cdot\left(-1\right)^{3+1}\begin{vmatrix}3&-2\\-4&2\end{vmatrix}=-1\left(\left(-4\right)\cdot\left(-1\right)-2\cdot2\right)++7\left(3\cdot\left(-1\right)-2\cdot\left(-2\right)\right)=-1\cdot0+7\cdot1=7. Следовательно,\det\;A=-3\lambda+7. По условию, \det\;A=-3\lambda+7=16 \Rightarrow\lambda=-3.
Смотрите также
- Фаддеев Д.К. Лекции по алгебре. М.: Наука, 1984 стр. 96-97
- Курош А.Г. Курс высшей алгебры. М.: Наука, 1968 стр. 46-49
- Воеводин В.В. Линейная алгебра. М.: Наука, 1980 стр. 129-131
- Личный конспект, составленный на основе лекций Белозерова Г.С.
Теорема о разложении определителя по строке
Тест на знание темы «Теорема о разложении определителя по строке».