Processing math: 100%

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

Пусть дана система линейных уравнений (СЛАУ) a11x1++a1nxn=b1am1x2++amnxn=bm}, где a11,a1n,am1,amn — числовые коэффициенты, x1,x2,x3 — переменные, b1,bm — свободные члены.

Обозначим матрицу-столбец неизвестных (X), матрицу коэффициентов при неизвестных (A) и столбец правых частей (B): X=x1xn,A=a11a1nam1amn,B=b1bm.

Соотношения, задаваемые системой, запишем в виде матричного уравнения (AX=B): x1xna11a1nam1amn=b1bm.

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

Теорема. Пусть задана СЛАУ от n неизвестных с квадратной невырожденной матрицей над полем P. Тогда общее решение такой системы содержит лишь одно частное решение (x01,x02,,x0n)Pn, которое находится по формуле x0i=ΔiΔ,i=1,,n, где Δопределитель матрицы системы, а Δi — определитель, получаемый из этой матрицы заменой i-го столбца столбцом свободных членов системы.

Докажем теорему, воспользовавшись матричным уравнением AX=B: x1xna11a1nam1amn=b1bm.

Единственность. Пусть имеется решение уравнения X0. Тогда AX0=B. Так как определитель матрицы отличен от нуля можем быть уверены, что существует обратная к A матрица A1. Умножим обе части равенства слева на A1: A1(AX0)=(A1A)X0=EX0=X0=A1B. Следовательно, если решение существует, то оно неизбежно будет равно A1B.

Существование. Сделаем замену: X0=A1B. Подставим в уравнение: A(A1B)=(AA1)B=EB=B. Делаем вывод что, решение существует. Используя явное представление обратной матрицы, можем показать явный вид решения: A1B=Δ1A11An1A1nAnnb1bn=Δ1nj=1Aj1bjnj=1Ajnbj.

Заменив соответствующий столбец из определителя матрицы системы столбцом свободных членов системы, получим суммы, представляющие собой искомые нами определители. Теорема доказана.

Алгоритм решения СЛАУ методом Крамера

  1. Находим определитель матрицы искомой системы Δ=|a11a1nam1amn|. Определитель обязательно должен быть отличен от нуля.
  2. Находим определители матриц Δxn=|a11a12b1a21a22b2an1an2bn|, в которых k-ые столбцы (k=1,2,,n) заменены на столбец свободных членов системы.
  3. Вычисляем неизвестные переменные по формуле: xn=ΔxnΔ.
  4. Выполняем проверку решения, подставив xk(k=1,2,,n) в исходную систему. Все уравнения системы должны быть тождественно равны.

Некоторые следствия из теоремы Крамера

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

Следствие 2. Если определитель матрицы из коэффициентов системы равен нулю, но хотя бы один из определителей «вспомогательных» матриц отличен от нуля, то система не имеет решений.

Следствие 3. Если определитель матрицы из коэффициентов системы отличен от нуля, то система имеет решение, причём единственное.

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

  1. Решить систему уравнений методом Крамера {2x1x2x3=43x1+4x22x3=113x12x2+4x3=11
    Решение
  2. Решить систему уравнений методом Крамера {ax3y=12x+ay=2
    Решение
  3. Решить систему уравнений методом Крамера {x1+x2+2x3=12x1x2+2x3=44x1+x2+43=2
    Решение
  4. Найти количество решений у системы уравнений {2x1+3x2x3=34x1+6x22x3=63x1x2+2x3=1
    Решение
  5. Решить систему уравнений методом Крамера {2x1+6x2+4x3=8x1+5x2+4x3=8x1+5x2+7x3=17
    Решение

Тест на знание темы «Теорема Крамера».

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

  1. Личный конспект, составленный на основе лекций Белозерова Г.С.
  2. Курош А.Г., Курс высшей алгебры М.: Наука, 1972, 10-ое издание, Глава 1, § 7, «Теорема Крамера» (стр. 53 — 59)
  3. Фадеев Д.К. Лекции по алгебре: Учебное пособие для вузов. — М.: Наука. Главна редакция физико-математической литературы, 1984.-416с. (стр. 106 — 108)
  4. Фадеев Д.К., Соминский И.С. Сборник задач по высшей алгебре М.: Наука, 1972, 10-ое издание, Глава 3, § 1, «Теорема Крамера» (стр. 56)

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

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

Свойство 1

Определитель транспонированной матрицы равен определителю начальной матрицы: detA=detAT.

Доказательство

Свойство 2

Транспозиция (замена) двух строк (столбцов) матрицы — меняет знак определителя detA=|a11a1n...ai1ainaj1ajn...an1ann|=|a11a1n...aj1ajnai1ain...an1ann|.

Доказательство

Свойство 3

Умножение всей строки (столбца) на некий элемент α является аналогичным умножению всего определителя на этот элемент. Определитель с нулевой строкой (столбцом) равен нулю: |a11a12a1ja1na21a22a2ja2nαai1αai2αaijαainan1an2anjann|=α|a11a12a1ja1na21a22a2ja2nai1ai2aijainan1an2anjann|.

Доказательство

Свойство 4

Если все элементы i-той строки (столбца) матрицы определителя разбить в сумму двух строк: aij=bj+cj,j=1,,n то и саму матрицу можно будет разбить на две, у которых все строки (столбцы) кроме i-той — такие же как у первой матрицы, а i-тая строка состоит из bj в первой матрице определителя, и из элементов cj во втором.

Доказательство

Свойство 5

Определитель верхней (нижней) треугольной матрицы есть произведение элементов ее главной диагонали |a11a12a13a1n0a22a23a2n00a33a3n000ann|=a11a22a33ann.

Доказательство

Свойство 6

Если в матрице определителя одна строка будет результатом ее сложения с другой строкой и умножения на число, определитель не изменится . |a11a1nai1ai2ai3ainaj1aj2aj3ajnan1ann|==|a11a1nai1ai2ai3ainak1+kai1ak2+kai2ak3+kai3akn+kainan1ann|

Доказательство

Пример 1

Вычислить определитель detA=|61612212925|.

Решение

Пример 2

Вычислить определительdetA=|1251519082129004274100051300007|

Решение

Пример 3

Проверьте, будет ли определитель транспонированной матрицы равен исходной:331413122.

Решение

Пример 4

Вычислите определитель треугольной матрицы: 300410122.

Решение

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

  1. Конспект Белозерова Г.С. по алгебре — Глава IV.
  2. Курош А.Г. Курс высшей алгебры М.: Наука, 1968, издание 9, глава 1, §4, «Определители n-го порядка»
  3. В.Воеводин Линейная алгебра М.: Наука, 1980, глава 7, §62, «Матрицы и определители» — стр 201

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

Проверьте себя на знание материала «Свойства Определителей»

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

Определение. Пусть задана матрица 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=aij третьего порядка.
    Решение

    Разложим определитель по элементам третьей строки: detA=|a11a12a13a21a22a23a31a32a33|=a31(1)3+1|a12a13a22a23|++a32(1)3+2|a11a13a21a23|+a33(1)3+3|a11a12a21a22|==a31(a12a23a22a13)a32(a11a23a21a13)++a33(a11a22a21a12)=a12a23a31a13a22a31a11a23a32+a13a21a32+a11a22a33a12a21a33==a11a22a33+a12a23a31+a13a21a32a13a22a31a11a23a32a12a21a33. Как можно заметить, последняя формула является ничем иным, как правилом Саррюса, которым мы воспользовались при проверке первого и второго примеров.

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

    Разложим данный определитель 4го порядка по элементам третьего столбца:detA=|25a134b379c542d2|=aA13+bA23+cA33+dA34. Найдем все алгебраические дополнения:A13=(1)1+3M13=M13=|343795422|=(разложим определитель по первому столбцу)=3(1)1+1|9522|+7(1)2+1|4322|+4(1)3+1|4395|==3(9(2)2(5))7(4(2)2(3))++4(4(5)9(3))=3(8)7(2)+47==24+14+28=18;A23=(1)2+3M23=M23=|251795422|=(разложим определитель по третьей строке, умножая каждый элемент на 1)=4(1)3+1|5195|2(1)3+2|2175|(2)(1)3+3|2579|==4(5(5)9(1))+2(2(5)7(1))+2(2975)==(4)(16)+2(3)+2(17)=64634=24;A33=(1)3+3M33=M33=|251343422|=(разложим определитель по второй строке)=3(1)2+1|5122|+4(1)2+2|2142|+(3)(1)2+3|2542|==3(5(2)2(1))+4(2(2)4(1))+3(2245)==(3)(8)+40+3(16)=2448=24;A43=(1)4+3M43=M43=|251343795|=(разложим определитель по второму столбцу, умножая каждый элемент на 1)=5(1)1+2|3375|4(1)2+2|2175|9(1)3+2|2133|==5(3(5)7(3))4(2(5)7(1))+9(2(3)3(1))==564(3)+9(3)=30+1227=15. Следовательно, искомый определитель равен: detA=aA13+bA23+cA33+dA34=18a+24b24c+15d.

  5. Определитель матрицы A равен: detA=|1352λ01074320201|=16. Найти λ.
    Решение

    Разложим данный определитель 4го порядка по элементам второй строки: detA=|1352λ01074320201|=λA21+0A22+1A23+0A24==λA21+A23. Найдем алгебраические дополнения:A21=(1)2+1M21=M21=|352432201|=(разложим определитель по первой строке, умножив каждый элемент на (1)) =3(1)1+1|3201|5(1)1+2|4221|(2)(1)1+3|4320|=3(3(1)02)+5((4)(1)22)++2((4)023)=3(3)+50+2(6)=3;A23=(1)2+3M21=M21=|132742021|=(разложим определитель по первому столбцу, умножив каждый элемент на (1)) =1(1)1+1|4221|7(1)2+1|3221|0(1)3+1|3242|=1((4)(1)22)++7(3(1)2(2))=10+71=7. Следовательно,detA=3λ+7. По условию, detA=3λ+7=16λ=3.

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

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

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

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

Теорема о ранге матрицы

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

Дана матрица A=aijMm×n(P). Пусть максимально возможный порядок ненулевого минора равен p. Следовательно, имеется хотя бы один минор M, отличный от нуля, с порядком p.

Допустим, для удобства доказательства, минор M находится в левой верхнем углу матрицы: (a11a1pa1p+1a1na21a2pa2p+1a2nap1appapp+1apnap+11ap+1pap+1p+1ap+1nam1ampamp+1amn),M=|a11a1pa21a2pap1app|.

Рассмотрим первые p столбцов матрицы. Если они составляют базу системы столбцов A, тогда утверждение rankA=p справедливо. По определению базы системы векторов (столбцов), эта система должна быть линейно независимой. Предположим, выбранная система линейно зависима, что означает линейную зависимость столбцов минора. Из этого следует, что минор равен нулю по критерию равенства определителя нулю и определению минора. По условию M0, возникает противоречие. То есть система столбцов линейно независима и, по определению ранга, rankA=p.

Теперь докажем, что остальные столбцы матрицы линейно выражаются через первые p. Рассмотрим определитель p+1 порядка: M=|a11a1pa1la21a2pa2lap1appaplai1aipail|, где  i=¯1,m, l=¯p+1,n.

При каком-либо i детерминант равен 0. Докажем, что это так. Рассмотрим случай, когда i=¯1,p. Две строки определителя совпадают и тогда по свойству M=0. В случае, когда i лежит между p+1 и m, вспомогательный определитель M является минором матрицы A и имеет порядок p+1. Однако все миноры порядков больших p равны 0, что подразумевается непосредственно в формулировке нашей теоремы, следовательно M=0.

Можно получить данный минор, воспользовавшись теоремой о разложении определителя по строке. В данном случае разложим по последней. Имеем ai1Ai1+ai2Ai2++aipAip+aijM=0, где Ai1,Ai2,,Aipалгебраические дополнения соответствующих элементов строки. Примечательно, что алгебраическим дополнением при aij является M. Далее ai1Ai1M+ai2Ai2M++aipAipM+aij=0.
aij=(Ai1M)ai1+(Ai2M)ai2++(AipM)aip. Формально коэффициенты (Ai1M),,(AipM) зависят от номера i, однако вычисляются независимо от него. Это некие константы, найти которые мы можем с помощью первых p столбцов. Изменяя i от 1 до p, можно получить весь столбец l как линейную комбинацию первых p столбцов. Теорема доказана.

Следствие 1. «Столбцовый» ранг матрицы A совпадает со «строчным».
Чтобы сравнить соответствующие ранги, транспонируем матрицу. Её ранг при этом не изменится, так как в новой матрице значения всех миноров сохранились по свойству определителя транспонированной матрицы. В новой матрице рангом будет ранг строк исходной матрицы, которые стали столбцами после транспонирования. Таким образом, ранги столбцов и строк данной матрицы равны между собой.

Следствие 2. Из равенства нулю определителя матрицы следует, что столбцы матрицы линейно зависимы.
Пусть задана матрица A=aij порядка n большего единицы. По условию detA=0, значит наибольший порядок отличного от нуля минора меньше n и rankA<n. По свойству ранга система линейно зависима.

Значительно упрощает вычисление ранга метод окаймляющих миноров. Минор является окаймляющим, если содержит в себе минор меньшего порядка. Метод состоит в том, чтобы среди окаймляющих миноров каждого порядка поочередно искать ненулевые миноры. Рассмотрим на примере матрицы 3го порядка. Например, для ненулевого минора |a21| окаймляющими будут миноры второго порядка |a11a12a21a22| и |a21a22a31a32|. Если их значения равны 0, ранг матрицы равен 1, иначе переходим к следующему порядку. Определитель матрицы — единственный окаймляющий минор третьего порядка. Если он нулевой, ранг равен двум, иначе трём. Получается, мы действуем до тех пор, пока не найдем нулевые миноры или порядок ненулевого минора не совпадает с количеством столбцов(строк) матрицы.

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

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

  1. Найти ранг матрицы A методом окаймления миноров A=(132145431532113).
    Решение
  2. Найти ранг матрицы A+C2, где A=(245100321),C=(101302110).
    Решение
  3. Дана матрица A=(310λ450861107271312). При каком λ ранг матрицы будет равен 1? 2?
    Решение
  4. Найти максимально линейно независимую подсистему системы векторов α1=(3,1,3), α2=(7,2,5),α3=(5,1,11),α4=(1,4,23).
    Решение
  5. Чему равно значение выражения 6rank2A+2rankArankB13rank2B, где A=(122536115401127141435103450), B=(12114123246)?
    Решение

Теорема о ранге матрицы

Тест на знание темы «Теорема о ранге матрицы».

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

  1. Курош А.Г. Курс высшей алгебры М.: Наука, 1968, стр. 71-75
  2. А. И. Кострикин Введение в алгебру М.: Наука, 1994, стр.88-89
  3. К. Д. Фадеев Лекции по алгебре М.: Наука, 1984 стр.113-115
  4. Александров П.С. Курс аналитической геометрии и линейной алгебры — 2009 стр. 346-349
  5. Личный конспект, составленный на основе лекций Белозерова Г.С.