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

Критерий совместности СЛАУ Кронекера-Капелли

Теорема Кронекера-Капелли. Критерий совместности системы линейных алгебраических уравнений. СЛАУ совместна тогда и только тогда, когда ранг матрицы системы равен рангу расширенной матрицы. То есть, если в СЛАУ r=rangA=rang˜A, где rangA — обозначает ранг матрицы системы, а rang˜A — ранг расширенной матрицы, тогда данная матрица совместна, причём система имеет единственное решение, если rangA=rang˜A=n, где n — число неизвестных, и бесконечное число решений, если rangA=rang˜A<n.

Необходимость. Пусть задана расширенная матрица ˜A:

˜A={a11x1+a12x2++a1nxn=b1a21x1+a22x2++a2nxn=b2am1x1+am2x2++amnxn=bm

Скажем, что данная система совместна, в таком случае существуют числа (c1,c2,,cn), которые являются частным решением матрицы, при подстановке их в систему. Мы получим равенство:

b1b2bn=c1a11a21am1+c2a12a22am2++cna1na2namn

Следовательно, вектор-столбец свободных членов является линейной комбинацией столбцов (a1,a2,,an), матрицы A. Так же, мы можем заметить, что сколько бы мы раз не приписали или не вычеркнули строку(столбец), от этого не меняется ранг системы, из этого следует, что rangA=rang˜A.

Достаточность. Если rangA=rang˜A, то это означает, что у них один и тот же базисный минор. Тогда, согласно теореме о базисном миноре, последний столбец свободных членов – линейная комбинация столбцов базисного минора.

Следствие:

  1. rangA=rang˜A=n единственное решение.
  2. rangA=rang˜A<n бесконечное число решений.
  3. Количество главных переменных равно рангу системы.

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

Рассмотрим примеры задач, в которых используеться критерий совместности rangA=rang˜A.

  1. {2x1x2+5x3=43x1x2+5x3=05x12x2+3x3=2

    Решение

    Сначала, приведем матрицу к треугольному виду.

    (215431505232)(125413502532)

    (115401040177)(115401040073)

    Элементарные преобразования не меняют ранга матриц, поэтому в результате выполненных действий, получены эквивалентные исходнной матрице системы A=(115010007) и расширенная матрица системы ˜A=(115401040073)

    rangA=rang˜A=3 значит, по теореме Кронекера-Капелли система совместна.

  2. {x1+x2x3=7x1+2x23x3=12x12x3=3

    Решение

    Приведем матрицу к ступенчистому виду:

    (111412302023)(111401240245)(1114012400013)

    ˜A=(1114012400013)=rang˜A=3

    A=(111012000)=rangA=2

    rangArang˜A. По теореме Кронекера-Капелли система линейных уравнений несовместна.

  3. {5x13x2+2x3+4x4=34x12x2+3x3+7x4=18x16x2x35x4=97x13x2+7x3+17x4=λ

    Решение

    Очевидно, что от значения λ зависит, будет ли матрица совместна или нет.

    Сначала приведем матрицу к треугольному ввиду:

    ˜A=(53243423718615973717λ)(111324237102719773717λ)

    (11132027197027197041438λ14)(11132027197000000000λ)

    При λ0: rang˜A=3, rangA=2. По теореме Кронекера-Капелли система линейных уравнений несовместна.

    При λ=0: rang˜A=2, rangA=2. По теореме Кронекера-Капелли система линейных уравнений совместна.

Критерий совместности СЛАУ Кронекера-Капелли

Тест на закрепление материала «Критерий совместности СЛАУ Кронекера-Капелли».

Литература

  1. Личный конспект, составленный на основе лекций Белозерова Г.С.
  2. Фадеев Д.К. Лекции по алгебре. М.: Наука, 1984.-416 с.  стр 119.
  3. Проскуряков И.В. Сборник задач по линейной алгебре. М.: Наука, 1984.-384 с.  стр 101-103.

Операция транспонирования матриц и ее свойства

Определение. Пусть задана матрица A. Тогда замена строк на столбцы, а столбцов — на строки называется транспонированием по отношению к A. Так, если A=(a11a12a1na21a22a2nam1am2amn), то транспонированная матрица будет выглядеть: AT=(a11a21am1a12a22am2a1na2namn).

Свойства транспонирования матриц

  1. (AT)T=A
  2. Пусть задана матрица A=(a11a12a1na21a22a2nam1am2amn).
    Проведём транспонирование матрицы A:
    AT=(a11a21am1a12a22am2a1na2namn).
    Проведём повторное транспонирование матрицы AT и получаем: (AT)T=(a11a12a1na21a22a2nam1am2amn).
    Следовательно, (AT)T=A, что и требовалось доказать.

  3. (λA)T=λAT
  4. Пусть задана матрица A=(a11a12a1na21a22a2nam1am2amn).
    Проведём транспонирование матрицы A:
    AT=(a11a21am1a12a22am2a1na2namn).
    Докажем, что (λA)T=λAT. Найдём (λA)T λ(a11a12a1na21a22a2nam1am2amn)=(a11λa12λa1nλa21λa22λa2nλam1λam2λamnλ).
    Проведём транспонирование и получаем: (λA)T=(a11λa21λam1λa12λa22λam2λa1nλa2nλamnλ).
    Найдём λAT: λAT=(a11λa21λam1λa12λa22λam2λa1nλa2nλamnλ).
    Следовательно, (λA)T=λAT, что и требовалось доказать.

  5. (A+B)T=AT+BT
  6. Пусть A=(a11a12a1na21a22a2nam1am2amn),B=(b11b12b1nb21b22b2nbn1bn2bmn).
    Проведём транспонирование матриц: AT=(a11a21am1a12a22am2a1na2namn),BT=(b11b21bm1b12b22bm2b1nb2nbmn).
    Найдём (A+B)T и AT+BT:
    A+B=(a11+b11a12+b12a1n+b1na21+b21a21+b21a2n+b2nam1+bm1am1+bm1amn+bmn).
    (A+B)T=(a11+b11a21+b21a1n+b1na12+b12a22+b22a2n+b2na1n+b1na2n+b2namn+bmn).
    AT+BT=(a11+b11a21+b21a1n+b1na12+b12a22+b22a2n+b2na1n+b1na2n+b2namn+bmn).
    Получаем, что (A+B)T=AT+BT, что и требовалось доказать.

  7. (AB)T=ATBT
  8. Пусть A=(a11a12a1na21a22a2nam1am2amn),B=(b11b12b1nb21b22b2nbm1bm2bmn).
    Проведём транспонирование матриц: AT=C=(c11c21cm1c12c22cm2c1nc2ncmn),BT=D=(d11d21dm1d12d22dm2d1nd2ndmn).
    так, что сji=aij, dβα=bαβ
    AB=F=(f11f12f1nf21f22f2nfm1fm2fmn).
    ATBT=G=(g11g21gm1g12g22gm2g1ng2ngmn).
    Тогда, fij=kα=1aiαbαj,
    gji=kα=1djαcαi=kα=1bαjaiα=kα=1=aiαbαj=fij.
    Итак, gji=fij при всех i=1,2,,m и j=1,2,,n, следовательно, G=FT, т. е. ATBT=(AB)T.

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

      Пример 1

      Дана матрица A=(5261498310). Составить матрицу AT.

      Решение

      Пример 2

      Дана матрица A=(110972301114). Найти (2A)T.

      Решение

      Пример 3

      Даны две матрицы A=(5182436910) и B=(117102311904).
      Найти (A+3B)T.

      Решение

      Пример 4

      Даны две матрицы A=(5111612564345102251956143323344589) и
      B=(121015113220221482511341641112).
      Найти (AB)T.

      Решение

      Пример 5

      Дана транспонированная матрица AT=(132221211112042031615509). Найти первоначальную матрицу A.

      Решение

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

      Операция транспонирования матриц и ее свойства

      1. Задание 1 из 4
        1.
        Количество баллов: 1

        Дана транспонированная матрица AT=(5111032817136). Найти первоначальную матрицу A.

        • 1.
        • 2.
        • 3.
        • 4.

Теорема об аддитивной группе матриц

Теорема. Пусть Mm×n(P) — множество матриц размеров m×n над полем P, «+» — операция сложения матриц. Тогда пара (Mm×n(P),+)абелева группа.

Для доказательства теоремы необходимо проверить аксиомы группы и коммутативность операции сложения матриц.

Для записи аксиом и свойств в общем виде будем использовать следующие обозначения:

Ассоциативность

В общем виде аксиома ассоциативности группы выглядит так: g1,g2,g3G(g1g2)g3=g1(g2g3). Запишем ее для множества матриц размеров m×n: A,B,CMm×n(P)(A+B)+C=A+(B+C).

Пусть A=(a11a12a1na21a22a2nam1am2amn),B=(b11b12b1nb21b22b2nbm1bm2bmn), C=(c11c12c1nc21c22c2ncm1cm2cmn); (A+B)+C=((a11a12a1na21a22a2nam1am2amn)+(b11b12b1nb21b22b2nbm1bm2bmn))+ +(c11c12c1nc21c22c2ncm1cm2cmn)=(a11+b11a12+b12a1n+b1na21+b21a22+b22a2n+b2nam1+bm1am2+bm2amn+bmn)+ +(c11c12c1nc21c22c2ncm1cm2cmn)= =(a11+b11+c11a12+b12+c12a1n+b1n+c1na21+b21+c21a22+b22+c22a2n+b2n+c2nam1+bm1+cm1am2+bm2+cm2amn+bmn+cmn); A+(B+C)=(a11a12a1na21a22a2nam1am2amn)+ +((b11b12b1nb21b22b2nbm1bm2bmn)+(c11c12c1nc21c22c2ncm1cm2cmn))= =(a11a12a1na21a22a2nam1am2amn)+(b11+c11b12+c12b1n+c1nb21+c21b22+c22b2n+c2nbm1+cm1bm2+cm2bmn+cmn)= =(a11+b11+c11a12+b12+c12a1n+b1n+c1na21+b21+c21a22+b22+c22a2n+b2n+c2nam1+bm1+cm1am2+bm2+cm2amn+bmn+cmn).

(A+B)+C=A+(B+C) операция ассоциативна.

Аксиома нейтрального элемента

В общем виде аксиома нейтрального элемента группы выглядит так: eG:gGge=eg=g. Запишем ее для множества матриц размеров m×n: OMm×n(P):AMm×n(P)A+O=O+A=A. В нашем случае нейтральным элементом является нулевая матрица OMm×n(P).

Пусть A=(a11a12a1na21a22a2nam1am2amn),O=(000000000).A+O=(a11a12a1na21a22a2nam1am2amn)+(000000000)= =(a11+0a12+0a1n+0a21+0a22+0a2n+0am1+0am2+0amn+0)=(a11a12a1na21a22a2nam1am2amn)=A. O+A=(000000000)+(a11a12a1na21a22a2nam1am2amn)= =(0+a110+a120+a1n0+a210+a220+a2n0+am10+am20+amn)=(a11a12a1na21a22a2nam1am2amn)=A.

A+O=O+A=A O — нейтральный элемент.

Аксиома симметричных элементов

В общем виде аксиома симметричных элементов группы выглядит так: gGgG:gg=gg=e. Запишем ее для множества матриц размеров m×n: AMm×n(P)(A)Mm×n(P):A+(A)=A+A=O.

Пусть A=(a11a12a1na21a22a2nam1am2amn); A=(a11a12a1na21a22a2nam1am2amn)=(a11a12a1na21a22a2nam1am2amn). A+(A)=(a11a12a1na21a22a2nam1am2amn)+(a11a12a1na21a22a2nam1am2amn)= =(a11a11a12a12a1na1na21a21a22a22a2na2nam1am1am2am2amnamn)=(000000000)=O;A+A=(a11a12a1na21a22a2nam1am2amn)+(a11a12a1na21a22a2nam1am2amn)= =(a11+a11a12+a12a1n+a1na21+a21a22+a22a2n+a2nam1+am1am2+am2amn+amn)=(000000000)=O.

A+(A)=A+A=O A и A — симметричные элементы.

Коммутативность

Проверив все аксиомы, мы доказали, что (Mm×n(P),+)группа. Чтобы доказать, что она абелева, проверим коммутативность опреации.

Общий вид: g1,g2Gg1g2=g2g1. Для множества матриц размеров m×n: A,BMm×n(P)A+B=B+A.

Пусть A=(a11a12a1na21a22a2nam1am2amn),B=(b11b12b1nb21b22b2nbm1bm2bmn); A+B=(a11a12a1na21a22a2nam1am2amn)+(b11b12b1nb21b22b2nbm1bm2bmn)= =(a11+b11a12+b12a1n+b1na21+b21a22+b22a2n+b2nam1+bm1am2+bm2amn+bmn); B+A=(b11b12b1nb21b22b2nbm1bm2bmn)+(a11a12a1na21a22a2nam1am2amn)= =(b11+a11b12+a12b1n+a1nb21+a21b22+a22b2n+a2nbm1+am1bm2+am2bmn+amn)= =(a11+b11a12+b12a1n+b1na21+b21a22+b22a2n+b2nam1+bm1am2+bm2amn+bmn).

A+B=B+A операция коммутативна.

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

Литература

  1. Белозеров Г.С. Конспект лекций по линейной алгебре.
  2. Воеводин В.В. Линейная алгебра. М.: Наука, 1980.-400 с., стр. 23-26
  3. Фадеев Д.К. Лекции по алгебре. М.: Наука, 1984.-416 с., стр. 242-244

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

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

Свойство 1

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

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

Свойство 2

Транспозиция (замена) двух строк (столбцов) матрицы — меняет знак определителя \det A = \begin{vmatrix} a_{11} & … & a_{1n} \\ .&.&. \\ a_{i1} & … & a_{in} \\ a_{j1} & … & a_{jn} \\ .&.&. \\ a_{n1} & … & a_{nn} \end{vmatrix} = -\begin{vmatrix} a_{11} & … & a_{1n} \\ .&.&. \\ a_{j1} & … & a_{jn}\\ a_{i1} & … & a_{in} \\ .&.&. \\ a_{n1} & … & a_{nn} \end{vmatrix}.

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

Свойство 3

Умножение всей строки (столбца) на некий элемент \alpha является аналогичным умножению всего определителя на этот элемент. Определитель с нулевой строкой (столбцом) равен нулю: \begin{vmatrix} a_{11} & a_{12} & \cdots & a_{1 j} & \cdots & a_{1 n} \\a_{21} & a_{22} & \cdots & a_{2 j} & \cdots & a_{2 n} \\ \cdots & \cdots & \cdots & \cdots & \cdots & \cdots \\\alpha a_{i 1} & \alpha a_{i 2} & \cdots & \alpha a_{i j} & \cdots & \alpha a_{i n} \\ \cdots & \cdots & \cdots & \cdots & \cdots & \cdots \\a_{n 1} & a_{n 2} & \cdots & a_{n j} & \cdots & a_{n n}\end{vmatrix}= \alpha \cdot\begin{vmatrix} a_{11} & a_{12} & \cdots & a_{1 j} & \cdots & a_{1 n} \\ a_{21} & a_{22} & \cdots & a_{2 j} & \cdots & a_{2 n} \\ \cdots & \cdots & \cdots & \cdots & \cdots & \cdots \\ a_{i 1} & a_{i 2} & \cdots & a_{i j} & \cdots & a_{i n} \\ \cdots & \cdots & \cdots & \cdots & \cdots & \cdots \\a_{n 1} & a_{n 2} & \cdots & a_{n j} & \cdots & a_{n n}\end{vmatrix}.

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

Свойство 4

Если все элементы i-той строки (столбца) матрицы определителя разбить в сумму двух строк: a_{i j}=b_{j}+c_{j}, \quad j=1, \ldots, n то и саму матрицу можно будет разбить на две, у которых все строки (столбцы) кроме i-той — такие же как у первой матрицы, а i-тая строка состоит из b_{j} в первой матрице определителя, и из элементов c_{j} во втором.

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

Свойство 5

Определитель верхней (нижней) треугольной матрицы есть произведение элементов ее главной диагонали \begin{vmatrix}a_{11} & a_{12} & a_{13} & \cdots & a_{1 n} \\0 & a_{22} & a_{23} & \cdots & a_{2 n} \\0 & 0 & a_{33} & \cdots & a_{3 n} \\\cdots & \cdots & \cdots & \cdots & \cdots \\0 & 0 & 0 & \cdots & a_{n n}\end{vmatrix}=a_{11} \cdot a_{22} \cdot a_{33} \cdot \ldots \cdot a_{n n}.

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

Свойство 6

Если в матрице определителя одна строка будет результатом ее сложения с другой строкой и умножения на число, определитель не изменится . \begin{vmatrix}a_{11}& \cdots & \cdots & \cdots & a_{1n} \\ \cdots & \cdots & \cdots & \cdots & \cdots & \\ a_{i 1} & a_{i 2} & a_{i 3} & \cdots & a_{i n} \\ \cdots & \cdots & \cdots & \cdots & \cdots \\ a_{j 1} & a_{j 2} & a_{j 3} & \cdots & a_{j n} \\ \cdots & \cdots & \cdots & \cdots & \cdots \\ a_{n1}& \cdots & \cdots & \cdots & a_{nn}\end{vmatrix}==\begin{vmatrix}a_{11}& \cdots & \cdots & \cdots & a_{1n} \\\cdots & \cdots & \cdots & \cdots & \cdots \\ a_{i 1} & a_{i 2} & a_{i 3} & \cdots & a_{i n} \\ \cdots & \cdots & \cdots & \cdots & \cdots \\ a_{k 1}+k a_{i 1} & a_{k 2}+k a_{i 2} & a_{k 3}+k a_{i 3} & \cdots & a_{k n}+k a_{i n} \\ \ldots & \ldots & \ldots & \ldots & \ldots\\ a_{n1}& \cdots & \cdots & \cdots & a_{nn}\end{vmatrix}\cdot

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

Пример 1

Вычислить определитель \det A=\begin{vmatrix}6 & 1 & 6 \\12 & 2 & 12 \\9 & 2 & 5\end{vmatrix}.

Решение

Пример 2

Вычислить определитель\det A =\begin{vmatrix}12& 5 & 1 & 5 & 19 \\0 & 8 & 2 & 12 & 9 \\0 & 0 & 4 & 27 & 41 \\0 & 0 & 0 & 5 & 13 \\ 0 & 0 & 0 & 0 & 7\end{vmatrix}

Решение

Пример 3

Проверьте, будет ли определитель транспонированной матрицы равен исходной:\begin{Vmatrix}3 & 3 & -1 \\4 & 1 & 3 \\1 & -2 & -2\end{Vmatrix}.

Решение

Пример 4

Вычислите определитель треугольной матрицы: \begin{Vmatrix}3 & 0 & 0 \\4 & 1 & 0 \\1 & -2 & -2 \end{Vmatrix}.

Решение

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

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

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

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

Теорема Лапласа (без доказательства)

Итак, прежде чем перейти к методу использования теоремы Лапласа, необходимо рассмотреть несколько важных определений.

Определение Пусть дана матрица A \in M_{m \times n}(P). Возьмем в ней любые i строк и i столбцов, причем i > 0 и i меньше минимального из m и n. Элементы, которые располагаются на пересечении выбранных строк и столбцов, образуют матрицу i-го порядка. Определитель этой матрицы называется минором i-го порядка исходной матрицы. Если порядок минора равен единице, то минор является элементом исходной матрицы.

Пример 1 Пусть дан определитель четвертого порядка \begin{vmatrix} -8 & -5 & 2 & 7 \\ 1 & 3 & -9 & -3 \\ 4 & -4 & -1 & 9 \\ -5 & 3 & -4 & 8 \end{vmatrix}. Выберем, например, 2-й и 4-й столбцы и 1-ю и 3-ю строки. Таким образом, элементы, стоящие на пересечении этих столбцов и строк образуют минор 2-го порядка: \begin{vmatrix} -5 & 7 \\ -4 & 9 \end{vmatrix} = -45 + 28 = -17. Также мы можем выбрать любые строки и столбцы для получения миноров.

Определение Пусть дана матрица A \in M_m(P). Выберем в ней минор i-го порядка, такой, что i > 0 и i < m. Если мы вычеркнем строки и столбцы матрицы, в которых лежит данный минор, то мы получим новую матрицу. Определитель новой матрицы называется дополнительным минором к исходному.

Пример 2 Возьмем определитель и его минор 2-го порядка из первого примера. Дополнительным минором к нему будет \begin{vmatrix} 1 & -9 \\ -5 & -4 \end{vmatrix} = -4-45 = -49.

Определение Пусть дана матрица A \in M_m(P). Выберем в ней минор i-го порядка, такой, что i > 0 и i < m. Если мы умножим дополнительный к нему минор на число (-1)^{S_1 + S_2}, в котором S_1 — это сумма номеров строк, а S_2 — это сумма номеров столбцов, в которых лежит исходный минор, то мы получим алгебраическое дополнение к этому минору.

Пример 3 Пусть дан определитель пятого порядка \begin{vmatrix} -7 & 5 & 3 & -2 & 6 \\ 9 & -8 & 7 & 3 & -4 \\ 0 & 1 & -1 & -5 & 9 \\ -3 & 2 & -2 & -4 & -8 \\ 4 & 9 & 5 & -1 & 1 \end{vmatrix}. Выберем в нем, к примеру 1-ю и 4-ю строки, а также 2-й и 5-й столбцы. Тогда на пересечении выбранных строк и столбцов образуется минор 2-го порядка \begin{vmatrix} 5 & 6 \\ 2 & -8 \end{vmatrix} = -40-12 = -52. Дополнительным минором к нему будет \begin{vmatrix} 9 & 7 & 3 \\ 0 & -1 & -5 \\ 4 & 5 & -1 \end{vmatrix} = 9 + 0-140 + 12 + 0 + 225 = 106. Наконец, алгебраическим дополнением к минору будет \begin{vmatrix} 9 & 7 & 3 \\ 0 & -1 & -5 \\ 4 & 5 & -1 \end{vmatrix} \cdot (-1)^{(1 + 4) + (2 + 5)} = 106 \cdot (-1)^{12} = 106, где степени -1 являются таковыми, так как элементы минора исходного определителя располагаются в 1-й и 4-й строках и во 2-м и в 5-м столбцах.

Итак, разобравшись с приведенными выше определениями, можно приступать к формулированию теоремы.

Теорема (Лапласа) Если в определителе порядка m выбрать i строк (столбцов), где i > 0 и i < m, то данный определитель будет равняться сумме миноров, которые расположены в этих строках (столбцах), умноженных на их алгебраические дополнения. Эти миноры будут иметь i-й порядок.

Таким образом, благодаря теореме Лапласа, при вычислении определителя m-го порядка, мы можем вычислить несколько определителей более малых порядков (i), что упрощает нам задачу.

Следствием (а также частным случаем, для которого i = 1) из теоремы Лапласа является Теорема о разложении определителя по строке.

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

Пример 4 Найти определитель матрицы 4-го порядка \begin{pmatrix} 3 & 5 & 6 & 9 \\ -1 & 7 & 2 & -5 \\ 0 & 4 & 1 & 2 \\ -3 & -6 & 5 & 0 \end{pmatrix}. Разложим определитель этой матрицы по теореме Лапласа, выбрав 1-ю и 3-ю строки: \begin{vmatrix} 3 & 5 & 6 & 9 \\ -1 & 7 & 2 & -5 \\ 0 & 4 & 1 & 2 \\ -3 & -6 & 5 & 0 \end{vmatrix} = (-1)^{(1 + 3) + (1 + 2)} \cdot \begin{vmatrix} 3 & 5 \\ 0 & 4 \end{vmatrix} \cdot \begin{vmatrix} 2 & -5 \\ 5 & 0 \end{vmatrix} + + (-1)^{(1 + 3) + (1 + 3)} \cdot \begin{vmatrix} 3 & 6 \\ 0 & 1 \end{vmatrix} \cdot \begin{vmatrix} 7 & -5 \\ -6 & 0 \end{vmatrix} + (-1)^{(1 + 3) + (1 + 4)} \cdot \begin{vmatrix} 3 & 9 \\ 0 & 2 \end{vmatrix} \cdot \begin{vmatrix} 7 & 2 \\ -6 & 5 \end{vmatrix} + + (-1)^{(1 + 3) + (2 + 4)} \cdot \begin{vmatrix} 5 & 9 \\ 4 & 2 \end{vmatrix} \cdot \begin{vmatrix} -1 & 2 \\ -3 & 5 \end{vmatrix} + (-1)^{(1 + 3) + (3 + 4)} \cdot \begin{vmatrix} 6 & 9 \\ 1 & 2 \end{vmatrix} \cdot \begin{vmatrix} -1 & 7 \\ -3 & -6 \end{vmatrix} + + (-1)^{(1 + 3) + (2 + 3)} \cdot \begin{vmatrix} 5 & 6 \\ 4 & 1 \end{vmatrix} \cdot \begin{vmatrix} -1 & -5 \\ -3 & 0 \end{vmatrix} = (-1)^7 \cdot (12-0) \cdot (0 + 25) + + (-1)^8 \cdot (3-0) \cdot (0-30) + (-1)^9 \cdot (6-0) \cdot (35 + 12) + + (-1)^{10} \cdot (10-36) \cdot (-5 + 6) + (-1)^{11} \cdot (12-9) \cdot (6 + 21) + + (-1)^9 \cdot (5-24) \cdot (0-15) = -(12 \cdot 25)-3 \cdot 30-6 \cdot 47-26 \cdot 1-3 \cdot 27- -(19 \cdot 15) = -300-90-282-26-81-285 = -1064.

Как мы могли заметить, для нахождения определителя 4-го порядка нам понадобилось искать лишь определители 2-го порядка, что намного легче. Разберем этот пример подробнее.

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

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

Пример 5 Найти определитель матрицы 4-го порядка \begin{pmatrix} 1 & 4 & -3 & 0 \\ 5 & -2 & 1 & 7 \\ 0 & 2 & -6 & 4 \\ -5 & 1 & 0 & 2 \end{pmatrix}.

Решение

Пример 6 Найти определитель матрицы 4-го порядка \begin{pmatrix} 7 & 9 & 12 & 0 \\ 4 & 5 & -3 & 1 \\ 0 & 2 & 4 & -5 \\ 11 & -7 & 9 & 8 \end{pmatrix}.

Решение

Пример 7 Найти определитель матрицы 4-го порядка \begin{pmatrix} -5 & 7 & 12 & 0 \\ 11 & -2 & 6 & 10 \\ 2 & 15 & 1 & -3 \\ 4 & -1 & 14 & 5 \end{pmatrix}.

Решение

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

  1. А. И. Кострикин Введение в алгебру М.: Наука, 1994, Глава 3, §3, «Упражнения» (стр. 150)
  2. Курош А.Г. Курс высшей алгебры М.: Наука, 1968, Глава 1, §6, «Вычисление определителей» (стр. 51)
  3. Личный конспект, составленный на основе лекций Г. С. Белозерова.

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

Тест на проверку знаний о теореме Лапласа и определений, необходимых для формулировки данной теоремы.