Метод Гаусса

Определение. Метод Гаусса — метод решения системы линейных алгебраических уравнений (СЛАУ). Он заключается в решении системы уравнений, приведением её к ступенчатому виду, путем исключения неизвестных. В отличии от метода Крамера и матричного метода, метод немецкого математика подходит для системы уравнений с бесконечным количеством решений.

Метод Гаусса построен на элементарных преобразованиях СЛАУ.

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

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

Алгоритм решения методом Гаусса заключается в следующих действиях:

  1. Прямой ход. Допустим, нам дана СЛАУ из $k$ уравнений с $n$ неизвестными $$\begin{equation}\left\{\begin{aligned}
    a_{11}x_1+a_{12}x_2+a_{13}x_3+\ldots+a_{1n}x_{n}=b_1,\\
    a_{21}x_1+a_{22}x_2+a_{23}x_3+\ldots+a_{2n}x_{n}=b_2,\\
    a_{31}x_1+a_{32}x_2+a_{33}x_3+\ldots+a_{3n}x_{n}=b_3,\\
    \cdots\qquad\cdots\qquad\cdots\qquad\cdots\qquad\cdots\qquad\\
    a_{k1}x_1+a_{k2}x_2+a_{k3}x_3+\ldots+a_{kn}x_n=b_k.\\
    \end{aligned}\right.
    \end{equation}$$
    Сначала исключим неизвестное $x_1$ из уравнений ниже первого. Предположим $a_{11} \ne 0$ (в обратном случае — можно записать первым уравнение с коэффициентом при $x_1$, отличным от нуля). Теперь умножим обе части первого уравнения системы на $\frac{a_{21}}{a_{11}}$ и вычтем его из второго уравнения, затем обе части первого уравнения умножим на $\frac{a_{31}}{a_{11}}$ и вычтем из третьего и так пока не исключим во всех уравнениях ниже первого переменную $x_1$ (то есть пока коэффициенты при $x_1$ не будут равны нулю). Получаем эквивалентную системе (1) систему: $$\begin{equation}\left\{\begin{aligned}
    a_{11}x_1+a_{12}x_2+a_{13}x_3+\ldots+a_{1n}x_{n}=b_1,\\
    \bar a_{22}x_2+\bar a_{23}x_3+\ldots+\bar a_{2n}x_{n}=\bar b_2,\\
    \bar a_{32}x_2+\bar a_{33}x_3+\ldots+\bar a_{3n}x_{n}=\bar b_3,\\
    \cdots\qquad\cdots\qquad\cdots\qquad\cdots\qquad\\
    \bar a_{k2}x_2+\bar a_{k3}x_3+\ldots+\bar a_{kn}x_n=\bar b_k.\\
    \end{aligned}\right.
    \end{equation}$$
    Далее делаем аналогичные действия со СЛАУ (2) (исключаем неизвестное $x_2$), но с уравнениями ниже второго при $a_{22} \ne 0$. Получим следующую эквивалентную системе (2) (значит и системе (1)) систему: $$\begin{equation}\left\{\begin{aligned}
    a_{11}x_1+a_{12}x_2+a_{13}x_3+\ldots+a_{1n}x_{n}=b_1,\\
    \bar a_{22}x_2+\bar a_{23}x_3+\ldots+\bar a_{2n}x_{n}=\bar b_2,\\
    \tilde a_{33}x_3+\ldots+\tilde a_{3n}x_{n}=\tilde b_3,\\
    \cdots\qquad\cdots\qquad\cdots\qquad\\
    \tilde a_{k3}x_3+\ldots+\tilde a_{kn}x_n=\tilde b_k.\\
    \end{aligned}\right.
    \end{equation}$$ Все эти действия нужно сделать, пока не получим систему ступенчатого вида.
  2. Обратный ход. Второй этап решения системы уравнений заключается в решении полученной нами системы ступенчатого вида. Количество уравнений в преобразованной системе может быть меньше, чем в изначальной. Получаем систему с $t (t\leqslant k)$ уравнениями и $n$ переменными. Выражаем через последнее уравнение неизвестную переменную $x_t$. И через неё выражаем остальные переменные. Получим решение, которое содержит зависимые (слева) и свободные (справа) переменные: $$\begin{equation}\left\{\begin{aligned}
    x_t=c_{tt+1}x_{t+1}+a_{tt+2}x_{t+2}+\ldots+c_{tn}x_{n,}\\
    \cdots\qquad\cdots\qquad\cdots\qquad\cdots\qquad\cdots\qquad\\
    x_3=c_{3t+1}x_{t+1}+a_{3t+2}x_{t+2}+\ldots+c_{3n}x_{n},\\
    x_2=c_{2t+1}x_{t+1}+a_{2t+2}x_{t+2}+\ldots+c_{2n}x_{n},\\
    x_1=c_{1t+1}x_{t+1}+a_{1t+2}x_{t+2}+\ldots+c_{1n}x_{n}.\\
    \end{aligned}\right.
    \end{equation}$$ Для получения решения, в свободные переменные $x_{t+1} \ldots x_n$ мы подставляем произвольные значения в систему уравнений. Из чего находим зависимые переменные $x_1 \ldots x_t$.
Замечания

  • Если система уравнений получается треугольной (или же количество уравнений равно количеству переменных), то решение у этой системы одно (система называется определенной). Если система имеет несколько ответов, то система называется неопределенной.
  • Система есть несовместная, если она не имеет решений. Это можно понять по тому, если преобразованная нами система имеет уравнений больше, чем переменных (или мы можем получить уравнение, в котором все коэффициенты равны нулю, но свободный член отличен от нуля). В обратном случае — эта система совместная.
  • Обычно выполняют преобразования не с самой системой, а с матрицей системы: выписывают матрицу из коэффициентов системы с присоединенным к ней столбцом из свободных членов. Тогда стоит заметить, что такие элементарные преобразования можно выполнять только с матрицами системы. С обычными матрицами, которые просто даны в условии, так делать запрещается.
  • При вычитании одной строки из другой меняется только та строка, от которой отнимают. Аналогично и со сложением: меняется та строка, к которой прибавляют.
  • Если в ходе преобразований мы получаем нулевую строку (все коэффициенты и свободный член будут равны 0), то такую строку можно убрать.

Примеры решений

Пример 1. Решить систему уравнений методом Гаусса:$$\begin{equation}\left\{\begin{aligned}
3x_1-2x_2-5x_3+x_4=3,\\
2x_1-3x_2+x_3+5x_4=-3,\\
x_1+2x_2-4x_4=-3,\\
x_1-x_2-4x_3+9x_4=22.\end{aligned}\right.
\end{equation}$$

Запишем матрицу из коэффициентов системы уравнений и преобразуем (если переменной нет в уравнении, то коэффициент равен нулю) $$\left(\left.\begin{array}{rrrr}3 & -2 & -5 & 1 \\
2 & -3 & 1 & 5 \\
1 & 2 & 0 & -4 \\
1 & -1 & -4 & 9\end{array}\right|\begin{array}{r}3 \\ -3 \\ -3 \\ 22 \end{array}\right).$$ Поменяем местами первое уравнение с последним для удобства вычислений: $$\left(\left.\begin{array}{rrrr}1 & -1 & -4 & 9\\
2 & -3 & 1 & 5 \\
1 & 2 & 0 & -4\\
3 & -2 & -5 & 1 \end{array}\right|\begin{array}{r}22 \\ -3 \\ -3 \\ 3 \end{array}\right).$$ Умножим теперь первое уравнение на 2 и вычтем из второго уравнения. Затем, умножив на 1, вычтем из третьего. И умножив на 3, вычтем из четвертого. Получаем: $$\left(\left.\begin{array}{rrrr}1 & -1 & -4 & 9 \\
0 & -1 & 9 & -13 \\
0 & 3 & 4 & -13 \\
0 & 1 & 7 & -26\end{array}\right|\begin{array}{r}22 \\ -47 \\ -25 \\ -63 \end{array}\right).$$ Далее умножаем второе уравнение на -3, затем вычтем из третьего. Теперь второе уравнение умножаем на -1 из четвертого: $$\left(\left.\begin{array}{rrrr}1 & -1 & -4 & 9 \\
0 & -1 & 9 & -13 \\
0 & 0 & 31 & -52 \\
0 & 0 & 16 & -39\end{array}\right|\begin{array}{r}22 \\ -47 \\ -166 \\ -110 \end{array}\right).$$ Итак, последние действия прямого хода. Умножаем третье уравнение на $-\frac{16}{31}$ и вычитаем из четвертого. Получаем:$$\left(\left.\begin{array}{rrrr}1 & -1 & -4 & 9 \\
0 & -1 & 9 & -13 \\
0 & 0 & 31 & -52 \\
0 & 0 & 0 & -\frac{377}{31}\end{array}\right|\begin{array}{r}22 \\ -47 \\ -166 \\ -\frac{754}{31} \end{array}\right).$$ Получаем систему уравнений с новыми коэффициентами, которую будем решать обратным ходом: $$\begin{equation}\left\{
\begin{aligned}
x_1-x_2-4x_3+9x_4=22,\\
-x_2+9x_3-13x_4=-47,\\
31x_3-52x_4=-166,\\
-\frac{377}{31}x_4=-\frac{754}{31}.
\end{aligned}\right.
\end{equation}$$ Решение получается одно. Находим его: $$x_4=2,\\
x_3=\frac{-166+104}{31}=-2,\\
x_2=-(-47+18+26)=3,\\
x_1=22+3-8-18=-1.$$

Пример 2. Решить систему уравнений методом Гаусса:$$\begin{equation}\left\{
\begin{aligned}
4x_1-3x_2+x_3+5x_4-7=0,\\
x_1-2x_2-2x_3-3x_4-3=0,\\
3x_1-x_2+2x_3+1=0,\\
2x_1+3x_2+2x_3-8x_4+7=0.
\end{aligned}\right.
\end{equation}$$

Решение

Сначала перенесем все свободные члены вправо и выпишем расширенную матрицу. Преобразуем её: $$\left(\left.\begin{array}{rrrr}4 & -3 & 1 & 5\\
1 & -2 &-2 & -3\\
3 & -1 & 2 & 0\\
2 & 3 & 2 & -8\end{array}\right|\begin{array}{r}7\\3\\-1\\-7\end{array}\right).$$ Поменяем местами первую строку со второй: $$\left(\left.\begin{array}{rrrr}1 & -2 &-2 & -3\\
4 & -3 & 1 & 5\\
3 & -1 & 2 & 0\\
2 & 3 & 2 & -8\end{array}\right|\begin{array}{r}3\\7\\-1\\-7\end{array}\right)\sim~$$ $$\sim~\left(\left.\begin{array}{rrrr}1 & -2 &-2 & -3\\
0 & 5 & 9 & 17\\
0 & 5 & 8 & 9\\
0 & 7 & 6 & -2\end{array}\right|\begin{array}{r}3\\-5\\-10\\-13\end{array}\right)\sim~$$ $$\sim~\left(\left.\begin{array}{rrrr}1 & -2 &-2 & -3\\
0 & 5 & 9 & 17\\
0 & 0 & -1 & -8\\
0 & 0 & -\frac{33}{5} & -\frac{129}{5}\end{array}\right|\begin{array}{r}3\\-5\\-5\\20\end{array}\right)\sim~$$ $$\sim~\left(\left.\begin{array}{rrrr}1 & -2 &-2 & -3\\
0 & 5 & 9 & 17\\0
& 0 & -1 & -8\\
0 & 0 & 0 & 27\end{array}\right|\begin{array}{r}3\\-5\\-5\\27\end{array}\right).$$ Получаем ответ: $$x_4=1,$$ $$x_3=-3,$$ $$x_2=1,$$ $$x_1=2.$$

[свернуть]

Пример 3. Решить систему уравнений методом Гаусса: $$\begin{equation}\left\{
\begin{aligned}
3x_1-7x_2+4x_3+5x_4=-11,\\
2x_1+5x_2+x_3-2x_4=5,\\
x_1+2x_2-3x_3+4x_4=7,\\
7x_1+2x_2-x_3+11x_4=6.
\end{aligned}\right.
\end{equation}$$

Решение

Записываем матрицу системы и преобразуем её: $$\left(\left
.\begin{array}{rrrr}3 & -7 & 4 & 5\\
2 & 5 & 1 & -2\\
1 & 2 & -3 & 4\\
7 & 2 & -1 & 11\end{array}\right|\begin{array}{r}-11\\5\\7\\6\end{array}\right)\sim~$$ $$\sim~\left(\left.\begin{array}{rrrr}1 & 2 & -3 & 4\\
2 & 5 & 1 & -2\\
3 & -7 & 4 & 5\\
7 & 2 & -1 & 11\end{array}\right|\begin{array}{r}7\\5\\-11\\6\end{array}\right)\sim~$$ $$\sim~\left(\left.\begin{array}{rrrr}1 & 2 & -3 & 4\\
0 & 1 & 7 & -10\\
0 & -13 & 13 &-7\\
0 & -12 & 20 & -17\end{array}\right|\begin{array}{r}7\\-9\\-32\\-43\end{array}\right)\sim~$$ $$\sim~\left(\left.\begin{array}{rrrr}1 & 2 & -3 & 4\\0 & 1 & 7 & -10\\
0 & 0 & 104 & -137\\
0 & 0 & 104 & -137\end{array}\right|\begin{array}{r}7\\-9\\-149\\-151\end{array}\right)\sim~$$ $$\sim~\left(\left.\begin{array}{rrrr}1 & 2 & -3 & 4\\
0 & 1 & 7 & -10\\
0 & 0 & 104 & -137\\
0 & 0 & 0 & 0\end{array}\right|\begin{array}{r}7\\-9\\-149\\-2\end{array}\right).$$ Видим, что у нас получилось уравнение с нулевыми коэффициентами при ненулевом свободном члене, значит тут мы можем уже остановиться — система несовместна, то есть решений не имеет.

[свернуть]

Пример 4. Решите систему уравнений методом Гаусса: $$\begin{equation}\left\{\begin{aligned}7x_1+3x_2-2x_3+4x_4=0,\\
-6x_1-x_2-x_3+x_4=1,\\
9x_1+7x_2-8x_3+14x_4=2,\\
x_1+2x_2-3x_3+5x_4=1.\end{aligned}\right.\end{equation}$$

Решение

Записываем матрицу системы уравнений и преобразуем: $$\left(\left.\begin{array}{rrrr}7 & 3 & -2 & 4\\
-6 & -1 & -1 &1 \\
9 & 7 & 8 & 14 \\
1 & 2 & -3 & 5\end{array}\right|\begin{array}{r}0\\1\\2\\1\end{array}\right)\sim~$$ $$\sim~\left(\left.\begin{array}{rrrr}1 & 2 & -3 & 5\\
-6 & -1 & -1 &1 \\
9 & 7 & 8 & 14 \\
7 & 3 & -2 & 4\end{array}\right|\begin{array}{r}1\\1\\2\\0\end{array}\right)\sim~$$ $$\sim~\left(\left.\begin{array}{rrrr}1 & 2 & -3 & 5\\
0 & 11 & -19 & 31\\
0 & -11 & 35 & -31\\
0 & -11 & 19 &-31\end{array}\right|\begin{array}{r}1\\7\\-7\\-7\end{array}\right)\sim~$$$$\sim~\left(\left.\begin{array}{rrrr}1 & 2 & -3 & 5\\
0 & 11 & -19 & 31\\
0 & 0 & 16 & 0\\
0 & 0 & 0 & 0\end{array}\right|\begin{array}{r}1\\7\\0\\0\end{array}\right)$$ Видим, что у нас появилась нулевая строка. Это значит, что это уравнение можно убрать. Так как мы получили систему, в которой количество уравнений меньше, чем количество переменных, значит система неопределённая, то есть имеет бесконечное множество решений. Количество зависимых переменных определяем по рангу матрицы. У нас получается 3 зависимых переменных. Возьмем $x_4$ за свободную переменную. Выражаем остальные 3 переменные через свободную и получаем общее решение: $$x_3=0$$ $$x_2=\frac{7-31x_4}{11}$$ $$x_1=1-2\times\frac{7-31x_4}{11}-5x_4.$$ Теперь можем подставить любое значение в переменную $x_4$ и получить один из бесконечного множества ответов, например: $$x_4=0,$$ $$x_3=0,$$ $$x_2=\frac{7}{11},$$ $$x_1=-\frac{3}{11}.$$

[свернуть]

Пример 5. Решить систему уравнений методом Гаусса: $$\begin{equation}\left\{
\begin{aligned}
2x_1-x_2+2x_4=0,\\
x_1+2x_2-x_3=0,\\
5x_1+x_2-x_3+2x_4=0,\\
x_1+x_2+x_3+x_4=1.
\end{aligned}\right.
\end{equation}$$

Решение

Запишем матрицу системы: $$\left(\left.\begin{array}{rrrr}2 & -1 &0 &2\\
1 & 2 &-1 & 0\\
5 & 1 &-1 & 2\\
1 & 1 & 1 & 1\end{array}\right|\begin{array}{r}0\\0\\0\\1\end{array}\right)\sim~$$ $$\sim~\left(\left.\begin{array}{rrrr}1 & 1 & 1 & 1\\
1 & 2 & -1 & 0\\
5 & 1 & -1 & 2\\
2 & -1 & 0 & 2\end{array}\right|\begin{array}{r}1\\0\\0\\0\end{array}\right)\sim~$$ $$\sim~\left(\left.\begin{array}{rrrr}1 & 1 & 1 &1\\
0 & 1 & -2 & -1\\
0 & -4 & -6 & -3\\
0 & -3 & -2 & 0\end{array}\right|\begin{array}{r}1\\-1\\-5\\-2\end{array}\right)\sim~$$ $$\sim~\left(\left.\begin{array}{rrrr}1 & 1 & 1 & 1\\
0 & 1 & -2 & -1\\
0 & 0 & -14 & -7\\
0 & 0 & -8 & -3\end{array}\right|\begin{array}{r}1\\-1\\-9\\-5\end{array}\right)\sim~$$ $$\sim~\left(\left.\begin{array}{rrrr}1 & 1 & 1 & 1\\
0 & 1 & -2 & -1\\
0 & 0 & -14 & -7\\
0 & 0 & 0 & 1\end{array}\right|\begin{array}{r}1\\-1\\-9\\\frac{1}{7}\end{array}\right).$$ Получаем ответ: $$x_4=\frac{1}{7},$$ $$x_3=\frac{4}{7},$$ $$x_2=\frac{2}{7},$$ $$x_1=0.$$

[свернуть]

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

Метод Гаусса

Пройдите тест, чтобы проверить насколько точно вы поняли материал.

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

Определение. Пусть задана матрица $A\in M_{n\times m}\left(P\right).$ Выберем произвольно $k$ строк и $k$ столбцов $\left(1\leqslant k\leqslant \min\left\{n,m\right\}\right).$ Минором $k-$го порядка называют определитель матрицы, состоящей из элементов, которые стоят на пересечении выбранных строк и столбцов.

Определение. Пусть задана матрица $A\in M_{n}\left(P\right).$ Выберем произвольно минор $k-$го порядка $\left(1\leqslant k\leqslant n-1\right).$ Дополнительным минором называют определитель матрицы порядка $n-k,$ которая получена путем вычеркивания строк и столбцов, в которых расположен выбранный минор.

Определение. Алгебраическим дополнением называют дополнительный минор, умноженный на число $\left(-1\right)^{\left(s_{1}+s_{2}\right)},$ где $s_{1}\;-$ сумма номеров строк, а $s_{2}\;-$ сумма номеров столбцов, в которых расположен минор.

Теорема о разложении определителя по строке. Определитель (детерминант) $n-$го порядка квадратной матрицы $A$ равен сумме произведений элементов какой-либо его строки (столбца) на их алгебраические дополнения. То есть:$$\det\;A=\underset{k=1}{\overset{n}{\sum}}a_{kj}A_{kj}$$ — разложение определителя по элементам столбца;$$\det\;A=\underset{k=1}{\overset{n}{\sum}}a_{ik}A_{ik}$$ — разложение определителя по элементам строки, где $\left(i,\;j\;\in\left\{1,2,…,n\right\}\right).$

Пусть задан определитель $n-$го порядка:$$\det\;A=\begin{vmatrix}a_{11}&a_{12}&\dots&a_{1n}\\a_{21}&a_{22}&\dots&a_{2n}\\\cdots&\cdots&\cdots&\cdots\\a_{n1}&a_{n2}&\dots&a_{nn}\end{vmatrix}.$$ Возьмем $j-$й столбец матрицы $A$ и представим его в виде суммы:$$\begin{bmatrix}a_{1j}\\a_{2j}\\\vdots\\a_{nj}\end{bmatrix}=\begin{bmatrix}a_{1j}\\0\\\vdots\\0\end{bmatrix}+\begin{bmatrix}0\\a_{2j}\\\vdots\\0\end{bmatrix}+\dots+\begin{bmatrix}0\\0\\\vdots\\a_{nj}\end{bmatrix}.$$ Таким же образом запишем наш определитель: $$\det\;A=\begin{vmatrix}a_{11}&a_{12}&\cdots&a_{1j}&\cdots&a_{1n}\\a_{21}&a_{22}&\cdots&a_{2j}&\cdots&a_{2n}\\\cdots&\cdots&\cdots&\cdots&\cdots&\cdots\\a_{n1}&a_{n2}&\cdots&a_{nj}&\cdots&a_{nn}\end{vmatrix}=$$$$=\begin{vmatrix}a_{11}&a_{12}&\cdots&a_{1j}&\cdots&a_{1n}\\a_{21}&a_{22}&\cdots&0&\cdots&a_{2n}\\\cdots&\cdots&\cdots&\cdots&\cdots&\cdots\\a_{n1}&a_{n2}&\cdots&0&\cdots&a_{nn}\end{vmatrix}+\begin{vmatrix}a_{11}&a_{12}&\cdots&0&\cdots&a_{1n}\\a_{21}&a_{22}&\cdots&a_{2j}&\cdots&a_{2n}\\\cdots&\cdots&\cdots&\cdots&\cdots&\cdots\\a_{n1}&a_{n2}&\cdots&0&\cdots&a_{nn}\end{vmatrix}+\dots$$$$\dots+\begin{vmatrix}a_{11}&a_{12}&\cdots&0&\cdots&a_{1n}\\a_{21}&a_{22}&\cdots&0&\cdots&a_{2n}\\\cdots&\cdots&\cdots&\cdots&\cdots&\cdots\\a_{n1}&a_{n2}&\cdots&a_{nj}&\cdots&a_{nn}\end{vmatrix}.$$ Данную сумму можем записать более кратко:$$\det\;A=\underset{k=1}{\overset{n}{\sum}}\begin{vmatrix}\begin{array}{c}a_{11}\end{array}&a_{12}&\cdots&a_{1,j-1}&0&a_{1,j+1}&\cdots&a_{1n}\\\cdots&\cdots&\cdots&\cdots&\cdots&\cdots&\cdots&\cdots\\a_{k1}&a_{k2}&\cdots&a_{k,j-1}&0&a_{k,j+1}&\cdots&a_{kn}\\\cdots&\cdots&\cdots&\cdots&\cdots&\cdots&\cdots&\cdots\\a_{n1}&a_{n2}&\cdots&a_{n,j-1}&0&a_{n,j+1}&\cdots&a_{nn}\end{vmatrix}.$$

Переместим элемент $a_{kj}$ в левый верхний угол матрицы. Для этого переставим $k-$ю строку на первое место, последовательно переставляя ее со строками, стоящими выше. Исходя из этого потребуется $k-1$ транспозиций. По свойствам определителей, каждая транспозиция двух строк (столбцов) приводит к определителю, у которого изменены все знаки его членов на противоположные. То есть при каждой транспозиции определитель умножается на $-1$:$$\det\;A=$$$$\underset{k=1}{\overset{n}{\sum}}\left(-1\right)^{k-1}\begin{vmatrix}a_{k1}&a_{k2}&\cdots&a_{k,j-1}&a_{kj}&a_{k,j+1}&\cdots&a_{kn}\\a_{11}&a_{12}&\cdots&a_{1,j-1}&0&a_{1,j+1}&\cdots&a_{1n}\\\cdots&\cdots&\cdots&\cdots&\cdots&\cdots&\cdots&\cdots\\a_{k-1,1}&a_{k-1,2}&\cdots&a_{k-1,j-1}&0&a_{k-1,j+1}&\cdots&a_{k-1,n}\\a_{k+1,1}&a_{k+1,2}&\cdots&a_{k+1,j-1}&0&a_{k+1,j+1}&\cdots&a_{k+1,n}\\\cdots&\cdots&\cdots&\cdots&\cdots&\cdots&\cdots&\cdots\\a_{n1}&a_{n2}&\cdots&a_{n,j-1}&0&a_{n,j+1}&\cdots&a_{nn}\end{vmatrix}.$$Затем переместим $j-$й столбец на первое место, последовательно переставляя со столбцами, стоящими левее $j-$го. На это потребуется $j-1$ транспозиций:$$\det\;A=$$$$\underset{k=1}{\overset{n}{\sum}}\left(-1\right)^{\left(k-1\right)+\left(j-1\right)}\begin{vmatrix}a_{kj}&a_{k1}&a_{k2}&\cdots&a_{k,j-1}&a_{k,j+1}&\cdots&a_{kn}\\0&a_{11}&a_{12}&\cdots&a_{1,j-1}&a_{1,j+1}&\cdots&a_{1n}\\\cdots&\cdots&\cdots&\cdots&\cdots&\cdots&\cdots&\cdots\\0&a_{k-1,1}&a_{k-1,2}&\cdots&a_{k-1,j-1}&a_{k-1,j+1}&\cdots&a_{k-1,n}\\0&a_{k+1,1}&a_{k+1,2}&\cdots&a_{k+1,j-1}&a_{k+1,j+1}&\cdots&a_{k+1,n}\\\cdots&\cdots&\cdots&\cdots&\cdots&\cdots&\cdots&\cdots\\0&a_{n1}&a_{n2}&\cdots&a_{n,j-1}&a_{n,j+1}&\cdots&a_{nn}\end{vmatrix}.$$В итоге мы получаем определитель, отличающийся от искомого знаком $\left(-1\right)^{\left(k+j\right)}:$$$\det\;A=\underset{k=1}{\overset{n}{\sum}}\left(-1\right)^{\left(k+j\right)}\begin{vmatrix}a_{kj}&a_{k1}&a_{k2}&\cdots&a_{kn}\\0&a_{11}&a_{12}&\cdots&a_{1n}\\\cdots&\cdots&\cdots&\cdots&\cdots\\0&a_{n1}&a_{n2}&\cdots&a_{nn}\end{vmatrix}.$$

Теперь пусть $$\det\;A^\prime=\begin{vmatrix}a_{kj}&a_{k1}&a_{k2}&\cdots&a_{kn}\\0&a_{11}&a_{12}&\cdots&a_{1n}\\\cdots&\cdots&\cdots&\cdots&\cdots\\0&a_{n1}&a_{n2}&\cdots&a_{nn}\end{vmatrix}.$$ Так как все элементы первого столбца, кроме $a_{kj},$ равны нулю, можем записать полученный определитель как сумму:$$\det\;A^\prime=\underset{s=2}{\overset{n}{\sum}}\left(-1\right)^{\left[1,s_2,\dots,s_n\right]}a_{kj} a_{s2}\dots a_{sn},$$ где суммирование производится по всем перестановкам длины $n.$

Множитель $a_{kj}$ является общим для всех слагаемых. Единица, стоящая на первом месте, не образует никаких инверсий (перестановок), что не влияет на знак: $\left[1,s_2,\dots,s_n\right]=\left[s_2,\dots,s_n\right].$ Исходя из этого, можем вынести за знак суммы множитель $a_{kj}:$$$\det\;A^\prime=a_{kj}\underset{s=2}{\overset{n}{\sum}}\left(-1\right)^{\left[s_2,\dots,s_n\right]}a_{s2}\dots a_{sn}.$$

Сумма $$\underset{s=2}{\overset{n}{\sum}}\left(-1\right)^{\left[s_2,\dots,s_n\right]}a_{s2}\cdot\dots\cdot a_{sn}$$ равна определителю $\left(n-1\right)-$го порядка. Этот определитель получается путем вычеркивания первой строки и первого столбца и является дополнительным минором искомого определителя. Следовательно, определитель матрицы $A$ равен:$$\det\;A=\underset{k=1}{\overset{n}{\sum}}\left(-1\right)^{\left(k+j\right)}a_{kj}M_{kj}.$$

Согласно определению, дополнительный минор, умноженный на число $\left(-1\right)^{\left(k+j\right)},$ где $k-$ номер строки, а $j-$ номер столбца, в которых расположен минор первого порядка, равен алгебраическому дополнению. Таким образом, мы получаем, что исходный определитель равен сумме произведений элементов $j-$го столбца на их алгебраическое дополнение:$$\det\;A=\underset{k=1}{\overset{n}{\sum}}a_{kj}A_{kj}.$$ Разложение по столбцу доказано.

Аналогично докажем разложение определителя по строке: $$\det\;A=\begin{vmatrix}a_{11}&a_{12}&\dots&a_{1n}\\a_{21}&a_{22}&\dots&a_{2n}\\\cdots&\cdots&\cdots&\cdots\\a_{n1}&a_{n2}&\dots&a_{nn}\end{vmatrix}=$$$$=\begin{vmatrix}a_{11}&a_{12}&\dots&a_{1n}\\a_{21}&a_{22}&\dots&a_{2n}\\\cdots&\cdots&\cdots&\cdots\\a_{i1}&0&\dots&0\\\cdots&\cdots&\cdots&\cdots\\a_{n1}&a_{n2}&\dots&a_{nn}\end{vmatrix}+\begin{vmatrix}a_{11}&a_{12}&\dots&a_{1n}\\a_{21}&a_{22}&\dots&a_{2n}\\\cdots&\cdots&\cdots&\cdots\\0&a_{i2}&\dots&0\\\cdots&\cdots&\cdots&\cdots\\a_{n1}&a_{n2}&\dots&a_{nn}\end{vmatrix}+\cdots$$$$\cdots+\begin{vmatrix}a_{11}&a_{12}&\dots&a_{1n}\\a_{21}&a_{22}&\dots&a_{2n}\\\cdots&\cdots&\cdots&\cdots\\0&0&\dots&a_{in}\\\cdots&\cdots&\cdots&\cdots\\a_{n1}&a_{n2}&\dots&a_{nn}\end{vmatrix}=$$$$=\underset{k=1}{\overset{n}{\sum}}\begin{vmatrix}a_{11}&a_{12}&\cdots&a_{1k}&\cdots&a_{1n}\\a_{21}&a_{22}&\cdots&a_{2k}&\cdots&a_{2n}\\\cdots&\cdots&\cdots&\cdots&\cdots&\cdots\\a_{i-1,1}&a_{i-1,2}&\cdots&a_{i-1,k}&\cdots&a_{i-1,n}\\0&0&\cdots&a_{ik}&\cdots&0\\a_{i+1,1}&a_{i+1,2}&\cdots&a_{i+1,k}&\cdots&a_{i+1,n}\\\cdots&\cdots&\cdots&\cdots&\cdots&\cdots\\a_{n1}&a_{n2}&\cdots&a_{nk}&\cdots&a_{nn}\end{vmatrix}.$$Элемент $a_{ik}$ перемещаем в левый верхний угол матрицы, последовательно меняя $i-$ю строку с выше стоящими строками и $k-$й столбец со стоящими слева столбцами. Потребуется $i+k$ транспозиций. Это означает, что определитель будет отличаться от искомого знаком $\left(-1\right)^{\left(i+k\right)}:$$$\det\;A=\underset{k=1}{\overset{n}{\sum}}\left(-1\right)^{\left(i+k\right)}\begin{vmatrix}a_{ik}&a_{i1}&a_{i2}&\cdots&a_{in}\\0&a_{11}&a_{12}&\cdots&a_{1n}\\\cdots&\cdots&\cdots&\cdots&\cdots\\0&a_{n1}&a_{n2}&\cdots&a_{nn}\end{vmatrix}=$$$$=\underset{k=1}{\overset{n}{\sum}}\left(-1\right)^{\left(i+k\right)}a_{ik}M_{ik}=\underset{k=1}{\overset{n}{\sum}}a_{ik}A_{ik}.$$ Таким образом, разложение по строке доказано.

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

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

  1. Выполнив разложение по первой строке, вычислить определитель: $$\det\;A=\begin{vmatrix}2&-5&3\\8&4&-1\\0&3&2\end{vmatrix}.$$
    Решение

    Перед нами определитель $3-$го порядка. Разложим данный определитель по элементам первой строки:$$\det\;A=\begin{vmatrix}2&-5&3\\8&4&-1\\0&3&2\end{vmatrix}=2A_{11}+\left(-5\right)A_{12}+3A_{13}.$$ Воспользуемся формулой нахождения алгебраического дополнения: $$A_{ij}=\left(-1\right)^{i+j}M_{ij},$$ где $M_{ij}\;-$ дополнительный минор к элементу $a_{ij}.$ Найдем алгебраическое дополнение к элементу $a_{11}$ согласно формуле: $$A_{11}=\left(-1\right)^{1+1}M_{11}=\left(-1\right)^2M_{11}=M_{11}.$$ Для того чтобы найти дополнительный минор к элементу, нужно мысленно вычеркнуть строку и столбец, в которых расположен данный элемент, и записать оставшиеся элементы в виде определителя: $$A_{11}=M_{11}=\begin{vmatrix}4&-1\\3&2\end{vmatrix}=4\cdot2-3\cdot\left(-1\right)=8+3=11.$$ Аналогично вычисляем оставшиеся алгебраические дополнения:$$A_{12}=\left(-1\right)^{1+2}M_{12}=\left(-1\right)^3M_{12}=-M_{12}=-\begin{vmatrix}8&-1\\0&2\end{vmatrix}=$$$$=-\left(8\cdot2-0\cdot\left(-1\right)\right)=-16;$$$$A_{13}=\left(-1\right)^{1+3}M_{12}=\left(-1\right)^4M_{12}=M_{12}=\begin{vmatrix}8&4\\0&3\end{vmatrix}=$$$$=8\cdot3-0\cdot\left(4\right)=24.$$ Следовательно, наш определитель равен:$$\det\;A=2\cdot11+\left(-5\right)\cdot\left(-16\right)+3\cdot24=22+80+72=174.$$

    Для проверки воспользуемся другим методом вычисления определителя $3-$го порядка — правилом Саррюса. Согласно этому правилу, определитель матрицы $3-$го порядка равен:$$\det\;A=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=2\cdot4\cdot2+\left(-5\right)\cdot\left(-1\right)\cdot0+3\cdot8\cdot3-3\cdot4\cdot0-$$$$-2\cdot\left(-1\right)\cdot3-\left(-5\right)\cdot8\cdot2=16+0+72-0+6+80=174.$$ Ответ совпал. Проверка выполнена.

  2. Выполнив разложение по первому столбцу, вычислить определитель: $$\det\;A=\begin{vmatrix}3&5&-2\\-1&8&4\\0&-7&-3\end{vmatrix}.$$
    Решение

    Разложим данный определитель $3-$го порядка по элементам первого столбца:$$\det\;A=\begin{vmatrix}3&5&-2\\-1&8&4\\0&-7&-3\end{vmatrix}=3A_{11}+\left(-1\right)A_{21}+0A_{31}=$$$$=3A_{11}+\left(-1\right)A_{21}.$$ Вспомним формулу нахождения алгебраического дополнения: $$A_{ij}=\left(-1\right)^{i+j}M_{ij},$$ где $M_{ij}\;-$ дополнительный минор к элементу $a_{ij}.$ Найдем алгебраические дополнения к каждому элементу:$$A_{11}=\left(-1\right)^{1+1}M_{11}=M_{11}=\begin{vmatrix}8&4\\-7&-3\end{vmatrix}=8\cdot\left(-3\right)-\left(4\cdot\left(-7\right)\right)=$$$$=-24+28=4;$$$$A_{21}=\left(-1\right)^{2+1}M_{21}=-M_{21}=-\begin{vmatrix}5&-2\\-7&-3\end{vmatrix}=$$$$=-\left(5\cdot\left(-3\right)-\left(\left(-2\right)\cdot\left(-7\right)\right)\right)=-\left(-15-14\right)=29.$$ Значит, наш определитель равен:$$\det\;A=3\cdot4+\left(-1\right)\cdot29=12-29=-17.$$

    Выполним проверку, используя правило Саррюса: $$\det\;A=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=3\cdot8\cdot\left(-3\right)+5\cdot4\cdot0+\left(-2\right)\cdot\left(-1\right)\cdot\left(-7\right)-$$$$-\left(-2\right)\cdot8\cdot0-3\cdot4\cdot\left(-7\right)-5\cdot\left(-1\right)\cdot\left(-3\right)=-17.$$ Проверка выполнена. Ответ совпал.

  3. Выполнив разложение по третьей строке, вычислить определитель матрицы $A=\left\|a_{ij}\right\|$ третьего порядка.
    Решение

    Разложим определитель по элементам третьей строки: $$\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. Личный конспект, составленный на основе лекций Белозерова Г.С.

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

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

Матрицы. Виды матриц. Равенство матриц. Операции над матрицами

Матрицы. Виды матриц

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

Нагляднее всего использование подобных таблиц демонстрируется в решении систем линейных алгебраических уравнений (СЛАУ), поскольку решение зависит именно от матриц системы. Например, исходная система имеет вид:
$$ \left.\begin{matrix}a_{11}x_{1}+&\ldots& +a_{1n}x_{n} & = &b_{1}\\ \cdot & \cdot &\cdot & \cdot &\cdot\\a_{m1}x_{1}+ &\ldots& +a_{mn}x_{n} & = & b_{m}\end{matrix}\right\}.$$ Как видим, в системе $m$ — количество уравнений, а $n$ — количество неизвестных. Матрицы этой системы выглядят так: $$A=\left(\begin{matrix}a_{11} & \cdots & a_{1n} \\\cdot & \cdot & \cdot\\ a_{m1} & \cdots & a_{mn} \end{matrix}\right),\,B=\left(\begin{matrix}b_{1} \\\vdots \\ b_{m} \end{matrix}\right).$$
Матрица системы вида:
$$A\mid B=\left(\left.\begin{matrix}a_{11} & \cdots & a_{1n} \\\cdot & \cdot & \cdot \\a_{m1} & \cdots &a_{mn}\end{matrix}\right|\begin{matrix}b_{1}\\ \cdot \\ b_{m}\end{matrix}\right),$$
считается расширенной матрицей системы.

Определение. Элементы поля расположенные на пересечении строк и столбцов матрицы называются ее элементами.

Что касается индексации элементов матрицы, сперва записывается номер строки, в которой стоит элемент, а следом номер столбца. Нумерация строк и столбцов матрицы происходит вполне логичным образом: строки нумеруются сверху вниз, а столбцы — слева направо.

Определение. Количество строк и столбцов матрицы называют размерами матрицы.

Множество матриц над полем $P$ размеров $m\times n$ обозначим $M_{m\times n}\left ( P\right ),$ а в случае $m=n$ — $M_{n}\left ( P \right ).$ Традиционно матрицы обозначают большими латинскими буквами. Если надо указать, из каких элементов состоит матрица, то пишут $A=\left (a_{ij}\right )\in M_{m\times n}\left ( P \right ).$

Определение. Матрица, у которой одинаковое количество строк и столбцов, называется квадратной. Размер такой матрицы называют порядком.

Пример$$A=\left(\begin{array}{rrr}2 & -5 & 4 \\3 & 1 & 0 \\ 12 & 7 & 0 \end{array}\right),$$ $A$ — квадратная матрица третьего порядка.

Определение. Совокупность элементов квадратной матрицы, расположенных вдоль диагонали, идущей из левого верхнего угла в правый нижний, называется главной диагональю матрицы, а вторая диагональ — побочной (см. рис.1).

Рис. 1

Определение. Матрица $A=\left(
a_{ij}\right )\in M_{n}\left ( P \right )$ называется верхней (нижней) треугольной, если $a_{ij}=0$ для $i>j$ $(i<j).$ Иными словами, верхняя (нижняя) треугольная матрица — это матрица, у которой все элементы, расположенные ниже (выше) главной диагонали, равны нулю.

Пример$$A=\left(\begin{matrix}1 & 8 & 1 \\0 & 4 & 7 \\ 0 & 0 & 2 \end{matrix}\right),\;B=\left(\begin{matrix}1 & 0 & 0 \\8 & 4 & 0 \\ 1 & 7 & 2 \end{matrix}\right),$$

$A$ — верхняя треугольная матрица третьего порядка, $B$ — нижняя треугольная матрица третьего порядка.

Определение. Если квадратная матрица является как нижней, так и верхней треугольной, то она называется диагональной. Иными словами, диагональная матрица — это матрица, у которой все элементы вне главной диагонали равны нулю.

Пример$$A=\left(\begin{matrix}1 & 0 & 0 \\0 & 2 & 0 \\ 0 & 0 & 3 \end{matrix}\right),$$

$A$ — диагональная матрица третьего порядка.

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

Пример$$A=\left(\begin{matrix}8 & 0 & 0 \\0 & 8 & 0 \\ 0 & 0 & 8 \end{matrix}\right),$$

$A$ — скалярная матрица третьего порядка.

Определение. Скалярная матрица, у которой диагональные элементы равны единице поля, называется единичной.

Пример$$A=\left(\begin{matrix}1 & 0 & 0 \\0 & 1 & 0 \\ 0 & 0 & 1 \end{matrix}\right),$$

$A$ — единичная матрица третьего порядка.

Определение. Матрица, все элементы которой равны нулю, называется нулевой.

Пример$$A=\left(\begin{matrix}0 & 0 & 0 \\0 & 0 & 0 \\ 0 & 0 & 0 \end{matrix}\right),$$

$A$ — нулевая матрица третьего порядка.

Определение. Матрица вида $$A=\left(\begin{matrix}A_{1}&& 0 \\ &\ddots & \\ 0 & &A_{s} \end{matrix}\right),$$ где $A_{1}…A_{s}$ — квадратные матрицы (блоки) произвольных порядков, расположенные таким образом, что их главные диагонали составляют главную диагональ матрицы $A,$ а остальные элементы, не входящие в блоки равны нулю, называется клеточнодиагональной или квазидиагональной.

Пример$$A=\left(\begin{matrix}2&5&0&0&0&0\\6&3&0&0&0&0\\0&0&1&4&5&0\\0&0&2&2&3&0\\0&0&9&1&7&0\\0&0&0&0&0&4\end{matrix}\right),$$

$A$ — клеточнодиагональная (квазидиагональная) матрица шестого порядка.

Равенство матриц. Операции над матрицами

Равенство матриц

Определение. Две матрицы одинаковых размеров называются равными, если совпадают их элементы с одинаковыми индексами.

Замечание. Для матриц $A=\left (a_{ij}\right ),$ $B=\left (b_{ij}\right )\in M_{m\times n}\left ( P \right )$ равенство $A=B,$ т.е. $\left (a_{ij}\right )=\left (b_{ij}\right )$ означает $a_{ij}=b_{ij}$ для всех $i=\overline{1,\,m}$ и $j=\overline{1,\,n}.$

Пример$$A=\left(\begin{matrix}2&3\\0&1\end{matrix}\right),\;B=\left(\begin{matrix}2&3\\0&1\end{matrix}\right).$$ Порядок матрицы $A$ совпадает с порядком матрицы $B,$ и элементы матриц с соотвествующими индексами равны, поэтому $A=B$.

Сложение матриц

Определение. Пусть заданы матрицы $A=\left(a_{ij}\right ),$ $B=\left(b_{ij}\right )\in M_{m\times n}\left ( P \right ).$ Их суммой называется матрица $C=\left (c_{ij}
\right ) = A+B=\left (a_{ij}\right )+\left (b_{ij}\right )=\left(a_{ij}+b_{ij}\right )\in M_{m\times n}\left ( P \right ).$

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

Пример$$A=\left(\begin{array}{rrr}5&-8\\2&0\\1&4\end{array}\right),\,B=\left(\begin{array}{rrr}1&9\\4&3\\-1&-5\end{array}\right),\;A+B-?$$

Решение

$$A+B=\left(\begin{array}{rrr}5&-8\\2&0\\1&4\end{array}\right)+\left(\begin{array}{rrr}1&9\\4&3\\-1&-5\end{array}\right)=$$ $$=\left(\begin{array}{rrr}5+1&-8+9\\2+4&0+3\\1-1&4-5\end{array}\right)=\left(\begin{array}{rrr}6&1\\6&3\\0&-1\end{array}\right).$$

[свернуть]

Умножение на элемент поля

Определение. Пусть задана матрица $A=\left (a_{ij}
\right )\in M_{m\times n}\left ( P \right )$ и элемент поля $\lambda \in P.$ Тогда произведением матрицы $A$ на элемент $\lambda$ называется матрица $$B=\left (b_{ij}\right )=\lambda \cdot A=\lambda \cdot \left (a_{ij}\right )=\left (\lambda \cdot a_{ij}\right )\in M_{m\times n}\left (P \right ).$$

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

Пример$$A=\left(\begin{array}{rrr}0 & -1 & 8 \\4 & 1/2 & 2 \\ -6 & 0 & 3 \end{array}\right),\;-\frac{1}{2}\cdot A-?$$

Решение

$$-\frac{1}{2}\cdot A=-\frac{1}{2}\cdot \left(\begin{array}{rrr}0 & -1 & 8 \\4 & 1/2 & 2 \\ -6 & 0 & 3 \end{array}\right)=$$ $$=\left(\begin{array}{rrr}-1/2\cdot 0 & -1/2\cdot \left (-1\right ) & -1/2\cdot 8 \\-1/2\cdot 4 & -1/2\cdot 1/2 & -1/2\cdot 2 \\ -1/2\cdot \left (-6\right ) & -1/2\cdot 0 & -1/2\cdot 3 \end{array}\right)=$$ $$=\left(\begin{array}{rrr}0 & 1/2 & -4 \\-2 & -1/4 & -1 \\ 3 & 0 & -3/2 \end{array}\right).$$

[свернуть]

Отметим простейшие свойства операции умножения на элемент поля. Именно:

  1. $1\cdot A=A,\;$ $\forall A\in M_{m\times n}\left ( P \right );$
  2. $\lambda \cdot \left ( \mu \cdot A \right )=\left ( \lambda \mu \right )\cdot A=\left ( \mu \lambda \right ) \cdot A,\;$ $\forall \lambda ,\mu \in P,$ $\forall A\in M_{m\times n}\left ( P\right );$
  3. $\left ( \lambda +\mu \right )\cdot A=\lambda \cdot A+\mu \cdot A,$ $\forall \lambda ,\mu \in P,\;$ $\forall A\in M_{m\times n}\left ( P\right );$
  4. $\lambda \cdot \left ( A+B \right )=\lambda \cdot A+\lambda \cdot B,$ $\forall \lambda \in P,\,$ $\forall A,B\in M_{m\times n}\left ( P \right ).$

Умножение матриц

Определение. Пусть заданы матрицы $A=\left (a_{ij}\right )\in M_{m\times n}\left ( P \right ),$ $B=\left (b_{ij}\right )\in M_{n\times s}\left ( P \right ).$ Произведением матрицы $А$ на матрицу $В$ называется матрица $C=A\cdot B,\,$ $C=\left (c_{ij}\right )\in M_{m\times s}\left ( P \right )$ такая, что $c_{ij}=\sum\limits_{k=1}^{n}a_{ik}\cdot b_{kj}$ для всех $i=\overline{1,\,m}$ и $j=\overline{1,\,s}.$

Из операций над матрицами умножение считается самой трудной. Рассмотрим эту операцию подробнее. На рис.2 используем вторую строку первой матрицы и третий столбец второй матрицы. $$1\cdot 2+2\cdot 2+0\cdot 5=6.$$ Получившийся элемент стоит в строке и столбце с теми же номерами (вторая строка, третий столбец).

Рис. 2

Аналогично находятся другие элементы. На рис.3 используем первую строку матрицы слева и четвертый столбец матрицы справа.$$2\cdot 3+3\cdot 2+4\cdot 1=16.$$ Как видим, получившийся элемент стоит в строке и столбце с соответствующими номерами.

Рис. 3

Пример$$A=\left(\begin{matrix}1 & 4 & 7 \\2 & 0 & 2\end{matrix}\right),\;B=\left(\begin{matrix}6 & 1 & 1\\7 & 3 & 2\\1&5&4\end{matrix}\right),\;A\cdot B-?$$

Решение

Количество стoлбцов матрицы $A$ совпадает с количеством строк матрицы $B$, поэтому существует произведение $A\cdot B.$

$$A\cdot B=\left(\begin{matrix}1 & 4 & 7 \\2 & 0 & 2\end{matrix}\right)\cdot \left(\begin{matrix}6 & 1 & 1\\7 & 3 & 2\\1&5&4\end{matrix}\right)=$$ $$=\left(\begin{matrix}1\cdot 6+4\cdot 7+7\cdot 1 & 1\cdot 1+4\cdot 3+7\cdot 5 & 1\cdot 1+4\cdot 2+ 7\cdot 4\\2\cdot 6+0\cdot 7+2\cdot 1 & 2\cdot 1+0\cdot 3+2\cdot 5& 2\cdot 1+0\cdot 2+2\cdot 4\end{matrix}\right)=$$ $$=\left(\begin{matrix}41 & 48 & 37\\14 & 12 & 10\end{matrix}\right).$$

[свернуть]

Легко заметить, что не любые матрицы можно перемножить. Требуется, чтобы число столбцов матрицы слева совпадало с количеством строк матрицы справа. Кроме того, если существуют оба произведения $A\cdot B$ и $B\cdot A,$ то, произведение $A\cdot B,$ вообще говоря, не равно произведению $B\cdot A,$ то есть операция умножения матриц не является коммутативной. Это объясняется несимметричностью использования строк и столбцов левого и правого сомножителей. Однако умножение матриц обладает свойством ассоциативности.

Пример

$$A=\left(\begin{matrix}3 & 6 \\4 & 10\\2&8\end{matrix}\right),\;B=\left(\begin{matrix}1 & 5&3\\7 &2&0\end{matrix}\right).$$ $$A\cdot B=\left(\begin{matrix}3 & 6 \\4 & 10\\2&8\end{matrix}\right)\cdot \left(\begin{matrix}1 & 5&3\\7 &2&0\end{matrix}\right)=\left(\begin{matrix}45 & 27&9 \\74 & 40&12\\58&26&6\end{matrix}\right);$$ $$B\cdot A=\left(\begin{matrix}1 & 5&3\\7 &2&0\end{matrix}\right)\cdot \left(\begin{matrix}3 & 6 \\4 & 10\\2&8\end{matrix}\right)=\left(\begin{matrix}29 & 80 \\29 & 62\end{matrix}\right).$$ $$\left(\begin{matrix}45 & 27&9 \\74 & 40&12\\58&26&6\end{matrix}\right)\neq \left(\begin{matrix}29 & 80 \\29 & 62\end{matrix}\right)\Rightarrow A\cdot B\neq B\cdot A.$$

[свернуть]

Примеры задач

Пример 1. Даны матрицы $A$, $B$ и $C$. Найти матрицу $D=-2\cdot A\cdot B\cdot E+C,\;$ $E$ — единичная матрица соответствующего порядка. $$A=\left(\begin{matrix}-2 & -3 & -5 \\-1 & -2 & -8\\ -4& -6 & -1\end{matrix}\right),\;B=\left(\begin{matrix}2 & 1 & 10\\7 & 3 & 3\\1&5&4\end{matrix}\right),\;C=\left(\begin{matrix}21 & 42 & 4\\-6 & 12 & 9\\14&10&1\end{matrix}\right).$$

Решение

Первое действие — умножение элемента поля на матрицу $A.$$$-2\cdot A=-2\cdot \left(\begin{matrix}-2 & -3 & -5 \\-1 & -2 & -8\\ -4& -6 & -1\end{matrix}\right)=\left(\begin{matrix}4 & 6 & 10 \\2 & 4 & 16\\ 8& 12 & 2\end{matrix}\right).$$

Второе действие — умножение полученной матрицы на матрицу $B.$ $$\left(\begin{matrix}4 & 6 & 10 \\2 & 4 & 16\\ 8& 12 & 2\end{matrix}\right)\cdot B=\left(\begin{matrix}4 & 6 & 10 \\2 & 4 & 16\\ 8& 12 & 2\end{matrix}\right)\cdot \left(\begin{matrix}2 & 1 & 10\\7 & 3 & 3\\1&5&4\end{matrix}\right)=$$ $$=\left(\begin{matrix}60 & 72 & 98 \\48 & 94 & 96\\ 102& 54 & 124\end{matrix}\right).$$

Третье действие — умножение полученной матрицы на единичную матрцу соответствующего порядка. Логично, что реультат умножения на единичную матрицу будет равен исходой матрице. $$\left(\begin{matrix}60 & 72 & 98 \\48 & 94 & 96\\ 102& 54 & 124\end{matrix}\right)\cdot \left(\begin{matrix}1 & 0 & 0 \\0 & 1 & 0\\ 0& 0 & 1\end{matrix}\right)=\left(\begin{matrix}60 & 72 & 98 \\48 & 94 & 96\\ 102& 54 & 124\end{matrix}\right).$$

И последнее — складывание полученной матрицы и матрицы $C.$ $$\left(\begin{matrix}60 & 72 & 98 \\48 & 94 & 96\\ 102& 54 & 124\end{matrix}\right)+\left(\begin{matrix}21 & 42 & 4\\-6 & 12 & 9\\14&10&1\end{matrix}\right)=\left(\begin{matrix}81 & 114 & 102 \\42 & 106 & 105\\ 116& 64 & 125\end{matrix}\right).$$ $$D=\left(\begin{matrix}81 & 114 & 102 \\42 & 106 & 105\\ 116& 64 & 125\end{matrix}\right).$$

[свернуть]

Пример 2. Дана матрица $A$. Найти $A^{3},$ $$A=\left(\begin{matrix}2 & 3 & 7 \\1 & 1 & 13\\ 0& 4 & 8\end{matrix}\right).$$

Решение

По определению возведение числа в степень $n$ — умножение числа на себя $n$ раз. Возведение матриц в степень происходит похожим образом. То есть $A^{3}=A\cdot A^{2} = A\cdot A\cdot A.$

Найдем $A^{2}.$ $$A^{2}=A\cdot A=\left(\begin{matrix}2 & 3 & 7 \\1 & 1 & 13\\ 0& 4 & 8\end{matrix}\right)\cdot \left(\begin{matrix}2 & 3 & 7 \\1 & 1 & 13\\ 0& 4 & 8\end{matrix}\right)=\left(\begin{matrix}7 & 37 & 109 \\3 & 56 & 124\\ 4& 36 & 116\end{matrix}\right);$$

Теперь найдем $A^{3}.$ $$A^{3}=A\cdot A^{2}=\left(\begin{matrix}2 & 3 & 7 \\1 & 1 & 13\\ 0& 4 & 8\end{matrix}\right)\cdot \left(\begin{matrix}7 & 37 & 109 \\3 & 56 & 124\\ 4& 36 & 116\end{matrix}\right) =\left(\begin{matrix}51 & 494 & 1402 \\62 & 561 & 1741\\ 44& 512 & 1424\end{matrix}\right).$$

$$A^{3}=\left(\begin{matrix}51 & 494 & 1402 \\62 & 561 & 1741\\ 44& 512 & 1424\end{matrix}\right).$$

[свернуть]

Матрицы. Виды матриц. Равенство матриц. Операции над матрицами

Для закрепления материала предлагается тест:

Литература

  1. Белозеров Г.С. Конспект лекций по линейной алгебре.
  2. Воеводин В.В. Линейная алгебра. М.: Наука, 1980.-400 с., стр. 194-197
  3. Фадеев Д.К. Лекции по алгебре. М.: Наука, 1984.-416 с., стр. 72-80
  4. Проскуряков И.В. Сборник задач по линейной алгебре. М.: Наука, 1984.-384 с., стр. 112-115

Простейшие задачи аналитической геометрии

Простейшие задачи аналитической геометрии заключаются в нахождении координат вектора, его длины, проекций и исследовании их свойств, вычислении угла между двумя векторами и т.п. В основе их решения лежит так называемый метод координат и использование декартовой прямоугольной системы координат. Этот метод состоит в том, что положение точки на плоскости или в пространстве однозначно определяется двумя или тремя координатами соответственно. В нашем случае это позволит определять положение вектора на прямой, плоскости или в пространстве. Все задачи будем рассматривать на примере трехмерного пространства и делать лишь некоторые оговорки для случая с двумерным пространством, т.к. отличия незначительны. Также будем считать, что имеется некоторая фиксированная декартова прямоугольная система координат с началом в точке $O(0, 0, 0).$

Итак, рассмотрим следующие задачи:

  1. Координаты вектора
  2. Координаты проекций вектора на оси координат и координатные плоскости
  3. Расстояние между двумя точками
  4. Угол между двумя векторами
  5. Деление отрезка в заданном соотношении
  6. Ортогональные проекции вектора на прямую и плоскость

Тест на знание темы «Простейшие задачи аналитической геометрии»

Pасстояние между двумя точками

Пусть заданы две точки $B_1\left(\alpha_1, \beta_1, \gamma_1\right)$ и $B_2\left(\alpha_2, \beta_2, \gamma_2\right).$ Попробуем интерпретировать понятие расстояния между двумя точками и изобразить это в трехмерной системе координат, чтобы понять геометрический смысл. Для этого построим параллелепипед, в котором вектор $\overline{B_1B_2}$ будет его главной диагональю.

Принцип проектирования точек на координатные оси показан на данном рисунке на примере точки $B_2.$ Для точки $B_1$ ситуация аналогична. Итак, найдя проекции точек $B_1$ и $B_2,$ мы тем самым нашли проекции вектора $\overline{B_1B_2}.$

Обозначим две вершины параллелепипеда точками $A$ и $C.$ Теперь видно, что вектор $\overline{B_1B_2}$ является гипотенузой прямоугольного треугольника $B_1CB_2,$ для нахождения которой необходимо вычислить длину катетов $B_1C$ и $B_2C.$ Рассмотрим треугольник $B_1AC$ гипотенуза которого является катетом $B_1C$ треугольника $B_1CB_2.$ По теореме Пифагора $B_1C = \sqrt{{AB_1}^2 + {AC}^2}.$ Значит, получаем итоговую формулу: $$B_1B_2 = \sqrt{{B_1C}^2 + {B_2C}^2}.$$ Теперь, подставляя координаты точек $B_1$ и $B_2,$ имеем: $$\rho\left(B_1, C\right) = \sqrt{\left(\alpha_2 — \alpha_1\right)^2 + \left(\beta_2 — \beta_1\right)^2},$$ $$\rho\left(B_1, B_2\right) = \sqrt{\left(\alpha_2 — \alpha_1\right)^2 + \left(\beta_2 — \beta_1\right)^2 + \left(\gamma_2 — \gamma_1\right)^2},$$где за $\rho$ обозначено расстояние между точками. Подобным образом можно вычислить и длину вектора $\overline{B_1B_2}:$ $$\left|\overline{B_1B_2}\right| = \sqrt{\alpha^2 + \beta^2 + \gamma^2},$$ где $\alpha,$ $\beta,$ $\gamma$ координаты вектора. Для плоскости все рассуждения остаются аналогичными, а формулы выглядят следующим образом: $$\rho\left(B_1, B_2\right) = \sqrt{\left(\alpha_2 — \alpha_1\right)^2 + \left(\beta_2 — \beta_1\right)^2},$$ $$\left|\overline{B_1B_2}\right| = \sqrt{\alpha^2 + \beta^2}.$$

Пример

Пусть в пространстве даны две произвольные точки $A_1\left(5, 2, -6\right)$ и $A_2\left(\lambda + 5, -1, -3\right),$ где $\lambda$ — произвольное действительное число. Найти все значения $\lambda,$ при которых расстояние между точками $A_1$ и $A_2$ будет равно $10.$

Решение

По формуле для нахождения расстояния между точками, имеем: $$\sqrt{\left(\lambda + 5 — 5\right)^2 + \left(-1 — 3\right)^2 + \left(-3 + 4\right)^2} = 10.$$ Откуда получаем: $$\sqrt{\lambda^2 + 17} = 10,$$ $$\lambda^2 + 17 = 100,$$ $$\lambda^2 = 83,$$ $$\lambda = \pm\sqrt{83}.$$Ответ: $\lambda = \pm\sqrt{83}.$

[свернуть]

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

  1. Воеводин В.В. Линейная алгебра. М.: Наука, 1994, Глава 3, $§$ 25, «Некоторые задачи» (стр. 80-81)
  2. Виноградов И.М. Аналитическая геометрия. М.: Наука, 1986, Глава 6, $§$ 8 «Выражение длины вектора через координаты концов. Расстояние между двумя точками» (стр. 137)
  3. Ефимов Н.В. Краткий курс аналитической геометрии. М.: ФИЗМАТЛИТ, 2005, Глава 7, $§$ 47 «Расстояние между двумя точками» (стр. 133)
  4. Ильин В.А., Позняк Э.Г. Аналитическая геометрия. М.: ФИЗМАТЛИТ, 2004, $§$ 3, пункт 2, «Простейшие задачи аналитической геометрии» (стр. 17)