Loading [MathJax]/jax/element/mml/optable/GeneralPunctuation.js

Теорема о разложении определителя по строке

Определение. Пусть задана матрица AMn×m(P). Выберем произвольно k строк и k столбцов (1kmin{n,m}). Минором kго порядка называют определитель матрицы, состоящей из элементов, которые стоят на пересечении выбранных строк и столбцов.

Определение. Пусть задана матрица AMn(P). Выберем произвольно минор kго порядка (1kn1). Дополнительным минором называют определитель матрицы порядка nk, которая получена путем вычеркивания строк и столбцов, в которых расположен выбранный минор.

Определение. Алгебраическим дополнением называют дополнительный минор, умноженный на число (1)(s1+s2), где s1 сумма номеров строк, а s2 сумма номеров столбцов, в которых расположен минор.

Теорема о разложении определителя по строке. Определитель (детерминант) nго порядка квадратной матрицы A равен сумме произведений элементов какой-либо его строки (столбца) на их алгебраические дополнения. То есть:detA=nk=1akjAkj — разложение определителя по элементам столбца;detA=nk=1aikAik — разложение определителя по элементам строки, где (i,j{1,2,,n}).

Пусть задан определитель nго порядка:detA=|a11a12a1na21a22a2nan1an2ann|. Возьмем jй столбец матрицы A и представим его в виде суммы:[a1ja2janj]=[a1j00]+[0a2j0]++[00anj]. Таким же образом запишем наш определитель: detA=|a11a12a1ja1na21a22a2ja2nan1an2anjann|==|a11a12a1ja1na21a220a2nan1an20ann|+|a11a120a1na21a22a2ja2nan1an20ann|++|a11a120a1na21a220a2nan1an2anjann|. Данную сумму можем записать более кратко:detA=nk=1|a11a12a1,j10a1,j+1a1nak1ak2ak,j10ak,j+1aknan1an2an,j10an,j+1ann|.

Переместим элемент akj в левый верхний угол матрицы. Для этого переставим kю строку на первое место, последовательно переставляя ее со строками, стоящими выше. Исходя из этого потребуется k1 транспозиций. По свойствам определителей, каждая транспозиция двух строк (столбцов) приводит к определителю, у которого изменены все знаки его членов на противоположные. То есть при каждой транспозиции определитель умножается на 1:detA=nk=1(1)k1|ak1ak2ak,j1akjak,j+1akna11a12a1,j10a1,j+1a1nak1,1ak1,2ak1,j10ak1,j+1ak1,nak+1,1ak+1,2ak+1,j10ak+1,j+1ak+1,nan1an2an,j10an,j+1ann|.Затем переместим jй столбец на первое место, последовательно переставляя со столбцами, стоящими левее jго. На это потребуется j1 транспозиций:detA=nk=1(1)(k1)+(j1)|akjak1ak2ak,j1ak,j+1akn0a11a12a1,j1a1,j+1a1n0ak1,1ak1,2ak1,j1ak1,j+1ak1,n0ak+1,1ak+1,2ak+1,j1ak+1,j+1ak+1,n0an1an2an,j1an,j+1ann|.В итоге мы получаем определитель, отличающийся от искомого знаком (1)(k+j):detA=nk=1(1)(k+j)|akjak1ak2akn0a11a12a1n0an1an2ann|.

Теперь пусть detA=|akjak1ak2akn0a11a12a1n0an1an2ann|. Так как все элементы первого столбца, кроме akj, равны нулю, можем записать полученный определитель как сумму:detA=ns=2(1)[1,s2,,sn]akjas2asn, где суммирование производится по всем перестановкам длины n.

Множитель akj является общим для всех слагаемых. Единица, стоящая на первом месте, не образует никаких инверсий (перестановок), что не влияет на знак: [1,s2,,sn]=[s2,,sn]. Исходя из этого, можем вынести за знак суммы множитель akj:detA=akjns=2(1)[s2,,sn]as2asn.

Сумма ns=2(1)[s2,,sn]as2asn равна определителю (n1)го порядка. Этот определитель получается путем вычеркивания первой строки и первого столбца и является дополнительным минором искомого определителя. Следовательно, определитель матрицы A равен:detA=nk=1(1)(k+j)akjMkj.

Согласно определению, дополнительный минор, умноженный на число (1)(k+j), где k номер строки, а j номер столбца, в которых расположен минор первого порядка, равен алгебраическому дополнению. Таким образом, мы получаем, что исходный определитель равен сумме произведений элементов jго столбца на их алгебраическое дополнение:detA=nk=1akjAkj. Разложение по столбцу доказано.

Аналогично докажем разложение определителя по строке: detA=|a11a12a1na21a22a2nan1an2ann|==|a11a12a1na21a22a2nai100an1an2ann|+|a11a12a1na21a22a2n0ai20an1an2ann|++|a11a12a1na21a22a2n00ainan1an2ann|==nk=1|a11a12a1ka1na21a22a2ka2nai1,1ai1,2ai1,kai1,n00aik0ai+1,1ai+1,2ai+1,kai+1,nan1an2ankann|.Элемент aik перемещаем в левый верхний угол матрицы, последовательно меняя iю строку с выше стоящими строками и kй столбец со стоящими слева столбцами. Потребуется i+k транспозиций. Это означает, что определитель будет отличаться от искомого знаком (1)(i+k):detA=nk=1(1)(i+k)|aikai1ai2ain0a11a12a1n0an1an2ann|==nk=1(1)(i+k)aikMik=nk=1aikAik. Таким образом, разложение по строке доказано.

Примеры решения задач

Рассмотрим некоторые примеры решения задач на нахождение определителя с помощью теоремы о разложении определителя по строке. Читателю рекомендовано попытаться решить задачи самостоятельно, а затем сверить свое решение с приведенным ниже.

  1. Выполнив разложение по первой строке, вычислить определитель: detA=|253841032|.
    Решение

    Перед нами определитель 3го порядка. Разложим данный определитель по элементам первой строки:detA=|253841032|=2A11+(5)A12+3A13. Воспользуемся формулой нахождения алгебраического дополнения: Aij=(1)i+jMij, где Mij дополнительный минор к элементу aij. Найдем алгебраическое дополнение к элементу a11 согласно формуле: A11=(1)1+1M11=(1)2M11=M11. Для того чтобы найти дополнительный минор к элементу, нужно мысленно вычеркнуть строку и столбец, в которых расположен данный элемент, и записать оставшиеся элементы в виде определителя: A11=M11=|4132|=423(1)=8+3=11. Аналогично вычисляем оставшиеся алгебраические дополнения:A12=(1)1+2M12=(1)3M12=M12=|8102|==(820(1))=16;A13=(1)1+3M12=(1)4M12=M12=|8403|==830(4)=24. Следовательно, наш определитель равен:detA=211+(5)(16)+324=22+80+72=174.

    Для проверки воспользуемся другим методом вычисления определителя 3го порядка — правилом Саррюса. Согласно этому правилу, определитель матрицы 3го порядка равен:detA=a11a22a33+a12a23a31+a13a21a32a13a22a31a11a23a32a12a21a33. Наш определитель равен:detA=242+(5)(1)0+3833402(1)3(5)82=16+0+720+6+80=174. Ответ совпал. Проверка выполнена.

  2. Выполнив разложение по первому столбцу, вычислить определитель: detA=|352184073|.
    Решение

    Разложим данный определитель 3го порядка по элементам первого столбца:detA=|352184073|=3A11+(1)A21+0A31==3A11+(1)A21. Вспомним формулу нахождения алгебраического дополнения: Aij=(1)i+jMij, где Mij дополнительный минор к элементу aij. Найдем алгебраические дополнения к каждому элементу:A11=(1)1+1M11=M11=|8473|=8(3)(4(7))==24+28=4;A21=(1)2+1M21=M21=|5273|==(5(3)((2)(7)))=(1514)=29. Значит, наш определитель равен:detA=34+(1)29=1229=17.

    Выполним проверку, используя правило Саррюса: detA=a11a22a33+a12a23a31+a13a21a32a13a22a31a11a23a32a12a21a33. detA=38(3)+540+(2)(1)(7)(2)8034(7)5(1)(3)=17. Проверка выполнена. Ответ совпал.

  3. Выполнив разложение по третьей строке, вычислить определитель матрицы 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}. Как можно заметить, последняя формула является ничем иным, как правилом Саррюса, которым мы воспользовались при проверке первого и второго примеров.

  4. Выполнив разложение по третьему столбцу, вычислить определитель: \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.

  5. Определитель матрицы 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.

Смотрите также

  1. Фаддеев Д.К. Лекции по алгебре. М.: Наука, 1984 стр. 96-97
  2. Курош А.Г. Курс высшей алгебры. М.: Наука, 1968 стр. 46-49
  3. Воеводин В.В. Линейная алгебра. М.: Наука, 1980 стр. 129-131
  4. Личный конспект, составленный на основе лекций Белозерова Г.С.

Теорема о разложении определителя по строке

Тест на знание темы «Теорема о разложении определителя по строке».

М418. Выполняются ли неравенства?

Задача из журнала «Квант» (1977 год, 8 выпуск)

Условие

Докажите, что для любого натурального n\geqslant2 выполняются неравенства: n\left(\sqrt[n]{n+1}-1\right)<1+\frac12+\frac13+…+\frac1n<n\left(1-\frac1{\sqrt[n]n}\right)+1.

Решение

Для доказательства мы воспользуемся теоремой Коши о среднем арифметическом и среднем геометрическом. Пусть a_1,a_2,…,a_n\;- положительные числа. Тогда \frac{a_1+a_2+…+a_n}n\geqslant\sqrt[n]{a_1a_2…a_n}, причем равенство достигается лишь в случае, когда все числа равны.

Запишем теорему Коши для чисел 1,\;\frac12,\;\frac23,\;\frac34,\;…,\;\frac{n-1}n: \frac{1+{\displaystyle\frac12}+{\displaystyle\frac23}+…+{\displaystyle\frac{n-1}n}}n>\sqrt[n]{\frac1n}.

Перепишем это неравенство так: 1-\left(1-\frac12\right)+\left(1-\frac13\right)+…+(1-\frac1n)>\frac n{\sqrt[n]n}. Отсюда получим одно из нужных нам неравенств: 1+\frac12+\frac13+…+\frac1n<n\left(1-\frac1{\sqrt[n]n}\right)+1.

Чтобы доказать второе неравенство, запишем теорему Коши для чисел 2,\;\frac32,\;\frac43,\;…,\;\frac{n+1}n: \frac{2+{\displaystyle\frac32}+{\displaystyle\frac43}+…+{\displaystyle\frac{n+1}n}}n<\sqrt[n]{n+1}, или 2+(1+\frac12)+(1+\frac13)+…+(1+\frac1n)>n\sqrt[n]{n+1}, откуда n+(1+\frac12+\frac13+…+\frac1n)>n\sqrt[n]{n+1}, то есть 1+\frac12+\frac13+…+\frac1n>n(\sqrt[n]{n+1}-1).

Л. Курляндчик

M58. О построении треугольника на заданных биссектрисах

Задача из журнала «Квант» (1971 год, 8 выпуск)

Условие

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

Первое решение

рис.1.

Предположим, что O — точка пересечения биссектрис AK, BL и CM треугольника ABC (рис. 1); тогда \angle MOB\;=\;\angle OCB\;+\;\angle OBC\;=\;\frac12(\angle ACB\;+\;\angle ABC)\;=\;\frac{\mathrm\pi}2\;-\;\angle CAK, то есть \angle CAK=\frac{\mathrm\pi}2-\alpha. Поэтому, если заданы прямые AK, BL и CM и точка A, то, построив по одну и другую сторону от луча AO углы, равные \varphi=\frac{\mathrm\pi}2-\alpha, мы найдем искомые вершины B и C (при условии, что \varphi>0, \varphi<\beta и \varphi<\gamma). Нужно еще доказать, что у построенного треугольника ABC прямые BL и CM идут по биссектрисам. Углы ABL и ACM легко подсчитать — они равны соответственно \frac{\mathrm\pi}2-\beta и \frac{\mathrm\pi}2-\gamma. Трудность заключается лишь в доказательстве того, что \angle LBC=\frac{\mathrm\pi}2-\beta и \angle MCA=\frac{\mathrm\pi}2-\gamma (хотя ясно, что их сумма равна \alpha); ее можно преодолеть, например, так: если \angle LBC<\angle ABL, то биссектриса угла ABC пересекает отрезок AO, поэтому биссектриса угла ACB тоже его пересекает, и значит, \angle MCB<\angle ACM, поэтому сумма \angle LBC+\angle MBC меньше (\frac{\mathrm\pi}2-\beta)+(\frac{\mathrm\pi}2-\gamma)=\alpha. Точно так же можно показать, что невозможен случай \angle LBC>\angle ABL.

Второе решение

рис. 2.

Построим точки A^\prime и A^{\prime\prime}, симметричные данной точки A относительно биссектрис, не проходящих через A. Ясно,что обе точки A^\prime и A^{\prime\prime} должны лежать на прямой BC — на стороне искомого треугольника ABC (или на ее продолжении). Проведя прямую через A^\prime и A^{\prime\prime}, мы тем самым найдем нужные точки B и C (рис. 2).

Заметим, что хотя второе решение белее эффектно, но при таком подходе труднее выписать условия, при которых задача имеет решение. Эти условия таковы: \alpha<\frac{\mathrm\pi}2,\;\beta<\frac{\mathrm\pi}2,\;\gamma<\frac{\mathrm\pi}2 (поскольку \alpha+\beta+\gamma=\mathrm\pi, их можно записать и так: \alpha+\beta>\frac{\mathrm\pi}2,\;\beta+\gamma>\frac{\mathrm\pi}2,\;\gamma+\alpha>\frac{\mathrm\pi}2). Если они выполнены, то решение единственно. Подумайте, как можно получить эти условия при каждом из изложенных выше способов решения