AMKbook.Net Задачи должны иметь решение

Разложение определителя по строке (столбцу) с предварительным преобразованием определителя (метод эффективного понижения порядка).

Перед прочтением данной темы необходимо хотя бы бегло ознакомиться с предыдущей темой "Понижение порядка определителя. Разложение определителя по строке (столбцу)", так как мы будем использовать те же формулы, что и в упомянутой теме: для вычисления определителя квадратной матрицы \(\displaystyle{A_{n\times{n}}}\) станем применять разложение по строке (формула №1) или по столбцу (формула №2):

\[ \begin{equation} \Delta A=\sum\limits_{j=1}^{n}a_{ij}A_{ij}=a_{i1}A_{i1}+a_{i2}A_{i2}+\ldots+a_{in}A_{in} \end{equation} \]
\[ \begin{equation} \Delta A=\sum\limits_{i=1}^{n}a_{ij}A_{ij}=a_{1j}A_{1j}+a_{2j}A_{2j}+\ldots+a_{nj}A_{nj} \end{equation} \]

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

Для такого обнуления нам пригодятся свойства определителей, которые указаны в теме "Некоторые свойства определителей". Особенно будут кстати свойства №6 и №7. Впрочем, свойства №3, №4 и №5 также стоит иметь в виду: например, если в процессе преобразований появится нулевая строка или столбец, то мы сразу запишем, что определитель равен 0.

Буквами \(\displaystyle{r}\) (от слова "row") станем обозначать строки: \(\displaystyle{r_1}\) – первая строка, \(\displaystyle{r_2}\) – вторая строка и так далее. Буквами \(\displaystyle{c}\) (от слова "column") станем обозначать столбцы: \(\displaystyle{c_1}\) – первый столбец, \(\displaystyle{c_2}\) – второй стролбец и так далее.

Задача №1

Условие

Найти определитель \(\displaystyle{\Delta=\left|\begin{array} {ccc} 5 & 4 & -2 \\ 4 & 0 & -6 \\ -4 & -5 & 7\end{array}\right|}\), используя метод эффективного понижения порядка.

Решение

Конечно, определитель третьего порядка можно найти и по готовой формуле, однако сейчас нас будет интересовать не конкретное значение определителя, а рассмотрение той техники, которая применяется в методе эффективного понижения порядка.

Каким бы методом не вычислялся определитель, сперва полезно выполнить некоторую предварительную оценку его элементов. Как минимум, проверить, нет ли в определителе нулевой строки (или столбца) или же равных строк (или столбцов). Если проверка будет удачной, то определитель равен 0, и более никакого решения не потребуется. Однако в заданном определителе \(\displaystyle{\Delta}\) нет ничего из вышеперечисленного, поэтому пойдём далее.

Стоит также выполнить ещё одну предварительную проверку: не имеют ли все элементы некоей строки или столбца общего множителя, который можно вынести за знак определителя? И вот тут нас ожидает удача: все элементы второй строки нацело делятся на 2, т.е. можно вынести 2 за знак определителя:

\[ \Delta=\left|\begin{array} {ccc} 5 & 4 & -2 \\ 4 & 0 & -6 \\ -4 & -5 & 7\end{array}\right| =2\cdot\left|\begin{array} {ccc} 5 & 4 & -2 \\ 2 & 0 & -3 \\ -4 & -5 & 7\end{array}\right| \]

Обозначим полученный определитель как \(\displaystyle{\Delta_1}\) и приступим к его вычислению. Пока что мы не станем заботиться об оптимальности проводимых преобразований, так как нас будет интересовать лишь демонстрация методики вычислений. Про оптимизацию метода поговорим потом.

Выберем, для начала, какой-либо столбец: например, столбец №3. Далее выберем произвольный ненулевой элемент в этом столбце – например, -2 (этот элемент выделен красным цветом). Нам нужно обнулить остальные элементы третьего столбца, выделенные синим и зелёным цветами:

\[ \Delta_1 =\left|\begin{array} {ccc} 5 & 4 & \boldred{-2} \\ 2 & 0 & \normblue{-3} \\ -4 & -5 & \normgreen{7}\end{array}\right| \]

С этой целью выполним операции над второй и третьей строками определителя \(\displaystyle{\Delta_1}\). Для наглядности я запишу их отдельно:

\[ \begin{aligned} & r_2-\frac{\normblue{-3}}{\boldred{-2}}r_1 =r_2 - \frac{3}{2}r_1=\\ & =\left[\begin{array}{ccc} 2 & 0 & -3 \end{array}\right] - \frac{3}{2}\cdot\left[\begin{array}{ccc} 5 & 4 & -2 \end{array}\right] =\left[\begin{array}{ccc} 2 & 0 & -3 \end{array}\right] - \left[\begin{array}{ccc} \frac{15}{2} & 6 & -3 \end{array}\right] =\left[\begin{array}{ccc} -\frac{11}{2} & -6 & 0 \end{array}\right] \\ \end{aligned} \]
\[ \begin{aligned} & r_3 - \frac{\normgreen{7}}{\boldred{-2}}r_1 = r_3 + \frac{7}{2}r_1=\\ & =\left[\begin{array}{ccc} -4 & -5 & 7 \end{array}\right] + \frac{7}{2}\cdot\left[\begin{array}{ccc} 5 & 4 & -2 \end{array}\right] =\left[\begin{array}{ccc} -4 & -5 & 7 \end{array}\right] - \left[\begin{array}{ccc} \frac{35}{2} & 14 & -7 \end{array}\right] =\left[\begin{array}{ccc} \frac{27}{2} & 9 & 0 \end{array}\right] \end{aligned} \]

Разумеется, что столь подробно расписывать обычно нет нужды, поэтому все вышеперечисленные действия оформляют так:

\[ \left|\begin{array} {ccc} 5 & 4 & -2 \\ 2 & 0 & -3 \\ -4 & -5 & 7\end{array}\right| \begin{array} {l} \phantom{0} \\ r_2 - 3/2\cdot{r_1} \\ r_3 + 7/2\cdot{r_1}\end{array} =\left|\begin{array} {ccc} 5 & 4 & -2 \\ -11/2 & -6 & 0 \\ 27/2 & 9 & 0\end{array}\right| \]

Дальнейшее решение состоит в том, чтобы разложить полученный определитель по третьему столбцу, используя для этого формулу (2). В этом разложении будет ненулевым лишь одно слагаемое, а два остальных будут равны 0:

\[ \left|\begin{array} {ccc} 5 & 4 & -2 \\ -11/2 & -6 & 0 \\ 27/2 & 9 & 0\end{array}\right| =-2\cdot\left|\begin{array} {cc} -11/2 & -6 \\ 27/2 & 9 \end{array}\right| =-63 \]

Вспоминая, что \(\displaystyle{\Delta=2\Delta_1}\), получим \(\displaystyle{\Delta = 2\cdot(-63)=-126}\). Полное решение без пояснений и дополнительных обозначений будет выглядеть так:

\[ \left|\begin{array} {ccc} 5 & 4 & -2 \\ 4 & 0 & -6 \\ -4 & -5 & 7\end{array}\right| =2\cdot\left|\begin{array} {ccc} 5 & 4 & -2 \\ 2 & 0 & -3 \\ -4 & -5 & 7\end{array}\right| \begin{array} {l} \phantom{0} \\ r_2 - 3/2\cdot{r_1} \\ r_3 + 7/2\cdot{r_1}\end{array} =2\cdot\left|\begin{array} {ccc} 5 & 4 & -2 \\ -11/2 & -6 & 0 \\ 27/2 & 9 & 0\end{array}\right| =-4\cdot\left|\begin{array} {cc} -11/2 & -6 \\ 27/2 & 9 \end{array}\right| =-126 \]

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

Как вычислить \(\displaystyle{\Delta}\), обнуляя элементы первой строки?

Обнулим все элементы первой строки, кроме, например, числа 5. Выполним для этого операции со столбцами:

\[ \Delta =2\cdot\left|\begin{array} {ccc} 5 & 4 & -2 \\ 2 & 0 & -3 \\ -4 & -5 & 7\end{array}\right| =\left[\begin{aligned} & с_2 - \frac{4}{5}c_1\\ & c_3 + \frac{2}{5}c_1 \end{aligned}\right] =2\cdot\left|\begin{array} {ccc} 5 & 0 & 0 \\ 2 & -8/5 & -11/5 \\ -4 & -9/5 & 27/5 \end{array}\right| =10\cdot\left|\begin{array} {cc} -8/5 & -11/5 \\ -9/5 & 27/5 \end{array}\right| =-126 \]

Для наглядности я запишу преобразования со столбцами подробно:

\[ \begin{aligned} & c_2-\frac{4}{5}c_1 =\left[\begin{array}{c} 4 \\ 0\\ -5\end{array}\right] - \frac{4}{5}\cdot\left[\begin{array}{c} 5\\ 2\\ -4\end{array}\right] =\left[\begin{array}{c} 4 \\ 0\\ -5\end{array}\right] - \left[\begin{array}{c} 4\\ 8/5\\ -16/5 \end{array}\right] =\left[\begin{array}{c}0 \\ -8/5\\ -9/5\end{array}\right]\\ & c_3+\frac{2}{5}c_1 =\left[\begin{array}{c}-2 \\ -3\\ 7\end{array}\right] + \frac{2}{5}\cdot\left[\begin{array}{c} 5\\ 2\\ -4 \end{array}\right] =\left[\begin{array}{c} -2 \\ -3\\ 7\end{array}\right] + \left[\begin{array}{c} 2\\ 4/5\\ -8/5 \end{array}\right] =\left[\begin{array}{c} 0 \\ -11/5 \\ 27/5 \end{array}\right] \end{aligned} \]

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

В определителе \(\displaystyle{\Delta_1}\) есть ноль во второй строке и втором столбце, однако нет элементов, равных 1 или -1. Но ведь необходимый нам элемент недолго и сделать, выполнив, например, такое предварительное преобразование: \(\displaystyle{r_2+r_1}\). Запишем вычисление исходного определителя заново:

\[ \left|\begin{array} {ccc} 5 & 4 & -2 \\ 6 & 0 & -9 \\ -4 & -5 & 7\end{array}\right| =2\cdot\left|\begin{array} {ccc} 5 & 4 & -2 \\ 2 & 0 & -3 \\ -4 & -5 & 7\end{array}\right| \begin{array} {l} r_1 + r_2 \\ \phantom{0} \\ \phantom{0} \end{array} =2\cdot\left|\begin{array} {ccc} 1 & -1 & 5 \\ 2 & 0 & -3 \\ -4 & -5 & 7\end{array}\right| \]

Теперь выполним обнуление во втором столбце:

\[ 2\cdot\left|\begin{array} {ccc} 1 & -1 & 5 \\ 2 & 0 & -3 \\ -4 & -5 & 7\end{array}\right| \begin{array} {l} \phantom{0} \\ \phantom{0} \\ r_3-5r_1 \end{array} =2\cdot\left|\begin{array} {ccc} 1 & -1 & 5 \\ 2 & 0 & -3 \\ -9 & 0 & -18\end{array}\right| =2\cdot\left|\begin{array} {cc} 2 & -3 \\ -9 & -18 \end{array}\right| =-18\cdot\left|\begin{array} {cc} 2 & -3 \\ 1 & 2 \end{array}\right| =-126 \]

В конце мы вынесли общий множитель (число -9) из второй строки полученного определителя второго порядка. Записанные выше действия куда проще преобразований, которые мы выполняли до этого. По сути, мы осуществили всего две операции со строками: одну подготовительную и одну для обнуления.

Ответ:

\(\displaystyle{\Delta=-126}\).

Задача №2

Условие

Найти определитель \(\displaystyle{\Delta =\left|\begin{array} {cccc} -4 & 19 & 2 & -1\\ 7 & -30 & -3 & 17\\ -3 & 8 & 1 & -4\\ 2 & 1 & -1 & 8\end{array}\right|}\).

Решение

Предварительный анализ этого определителя ничего не даёт: нулевой строки или нулевого столбца нет; одинаковые строки и столбцы также отсутствуют.

Выберем какую-либо строку или столбец в данном определителе. Разумеется, что такой выбор ничем не ограничен, но из соображений упрощения решения можно выдвинуть такие критерии выбора: побольше нулей и хотя бы одна единица (или -1) в том столбце или строке, что мы выберем. Конечно, если элемента, равного 1 или -1, нет, то его можно и сделать, выполнив соответствующее преобразование над строками или столбцами (см. задачу №1). Однако для заданного определителя в этом нет нужды – мы сразу можем выделить два кандидата: четвёртую строку и третий столбец. Я предпочитаю работать со столбцами, поэтому выбираю третий столбец.

Итак, столбец выбран. В столбце №3 выбираем один ненулевой элемент: число 1 будет вполне удачным выбором. Цель: сделать так, чтобы все элементы третьего столбца (кроме избранного) стали равны нулю. Выбранный элемент, который будем использовать для обнуления остальных, выделен красным цветом. Элементы, подлежащие обнулению, для наглядности выделены иными цветами:

\[ \left|\begin{array} {cccc} -4 & 19 & \normgreen{2} & -1\\ 7 & -30 & \normblue{-3} & 17\\ -3 & 8 & \boldred{1} & -4\\ 2 & 1 & \normpurple{-1} & 8\end{array}\right| \]

Начнём обнуление. Преобразуем элементы столбца №3, выполнив во строками такие операции:

\[ \begin{aligned} & r_1-\frac{\normgreen{2}}{\boldred{1}}\cdot{r_3}=r_1-2r_3;\\ & r_2-\frac{\normblue{-3}}{\boldred{1}}\cdot{r_3}=r_2+3r_3;\\ & r_4-\frac{\normpurple{-1}}{\boldred{1}}\cdot{r_3}=r_4+r_3. \end{aligned} \]

Подчеркну, что выбранный элемент (число \(\displaystyle{\boldred{1}}\)) оказывается в знаменателях дробей \(\displaystyle{-\frac{\normgreen{2}}{\boldred{1}}}\), \(\displaystyle{\frac{\normblue{-3}}{\boldred{1}}}\) и \(\displaystyle{\frac{\normpurple{-1}}{\boldred{1}}}\). Помещая в знаменатели единицу мы избегаем работы с дробями. В результате всех осуществлённых преобразований со строками элементы исходного определителя будут изменены:

\[ \Delta = \left|\begin{array} {cccc} -4 & 19 & 2 & -1\\ 7 & -30 & -3 & 17\\ -3 & 8 & 1 & -4\\ 2 & 1 & -1 & 8\end{array}\right| \begin{array} {l} r_1-2r_3 \\ r_2+3r_3 \\ \phantom{0} \\ r_4+r_3 \end{array} =\left|\begin{array} {cccc} 2 & 3 & 0 & 7\\ -2 & -6 & 0 & 5\\ -3 & 8 & 1 & -4\\ -1 & 9 & 0 & 4\end{array}\right| \]

Разложим полученный нами определитель по третьему столбцу, используя для этого формулу (2). В третьем столбце все элементы, кроме одного, равны 0, посему в формуле останется лишь одно слагаемое:

\[ \left|\begin{array} {cccc} 2 & 3 & 0 & 7\\ -2 & -6 & 0 & 5\\ -3 & 8 & 1 & -4\\ -1 & 9 & 0 & 4\end{array}\right| =\left|\begin{array} {ccc} 2 & 3 & 7\\ -2 & -6 & 5\\ -1 & 9 & 4\end{array}\right| \]

Итак, от определителя четвёртого порядка мы пришли к вычислению определителя третьего порядка. Кстати, необходимо обратить внимание на то, что все элементы второго столбца полученного определителя нацело делятся на 3, поэтому эту тройку можно вынести за знак определителя:

\[ \left|\begin{array} {ccc} 2 & 3 & 7\\ -2 & -6 & 5\\ -1 & 9 & 4\end{array}\right| =3\cdot \left|\begin{array} {ccc} 2 & 1 & 7\\ -2 & -2 & 5\\ -1 & 3 & 4\end{array}\right| \]

В принципе, для нахождения определителя третьего порядка мы уже можем применить готовую формулу (см. формулу №2 из темы, посвящённой вычислению определителей второго и третьего порядков). Однако для ещё большего упрощения сведём полученный определитель третьего порядка к определителю второго порядка, а уж затем применим готовую формулу.

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

\[ \left|\begin{array} {ccc} \normblue{2} & 1 & 7\\ \normgreen{-2} & -2 & 5\\ \boldred{-1} & 3 & 4\end{array}\right| \]

Преобразования со строками аналогичны тем, что мы делали ранее:

\[ \begin{aligned} & r_1-\frac{\normblue{2}}{\boldred{-1}}\cdot{r_3}=r_1+2r_3;\\ & r_2-\frac{\normgreen{-2}}{\boldred{-1}}\cdot{r_3}=r_2-2r_3. \end{aligned} \]

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

\[ 3\cdot \left|\begin{array} {ccc} 2 & 1 & 7\\ -2 & -2 & 5\\ -1 & 3 & 4\end{array}\right| \begin{array} {l} r_1+2r_3 \\ r_2-2r_3 \\ \phantom{0} \end{array} =3\cdot \left|\begin{array} {ccc} 0 & 7 & 15\\ 0 & -8 & -3\\ -1 & 3 & 4\end{array}\right| \]

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

\[ 3\cdot\left|\begin{array} {ccc} 0 & 7 & 15\\ 0 & -8 & -3\\ -1 & 3 & 4\end{array}\right| =-3\cdot\left|\begin{array} {cc} 7 & 15\\ -8 & -3 \end{array}\right| =-297 \]

Ответ получен, \(\displaystyle{\Delta=-297}\). Полное решение без пояснений и промежуточных обозначений вылядит так:

\[ \Delta=\left|\begin{array} {cccc} -4 & 19 & 2 & -1\\ 7 & -30 & -3 & 17\\ -3 & 8 & 1 & -4\\ 2 & 1 & -1 & 8\end{array}\right| \begin{array} {l} r_1-2r_3 \\ r_2+3r_3 \\ \phantom{0} \\ r_4+r_3 \end{array}= \left|\begin{array} {cccc} 2 & 3 & 0 & 7\\ -2 & -6 & 0 & 5\\ -3 & 8 & 1 & -4\\ -1 & 9 & 0 & 4\end{array}\right|=\left|\begin{array} {ccc} 2 & 3 & 7\\ -2 & -6 & 5\\ -1 & 9 & 4\end{array}\right|=\\= 3\cdot \left|\begin{array} {ccc} 2 & 1 & 7\\ -2 & -2 & 5\\ -1 & 3 & 4\end{array}\right| \begin{array} {l} r_1+2r_3 \\ r_2-2r_3 \\ \phantom{0} \end{array} =3\cdot \left|\begin{array} {ccc} 0 & 7 & 15\\ 0 & -8 & -3\\ -1 & 3 & 4\end{array}\right| =-3\cdot \left|\begin{array} {cc} 7 & 15\\ -8 & -3 \end{array}\right| =-297 \]

К слову, не стоит пренебрегать мелкими упрощениями, которые могут немного облегчить работу. Например, можно обратить внимание, что элементы второй строки определителя \(\displaystyle{\left|\begin{array} {cc} 7 & 15\\ -8 & -3 \end{array}\right|}\) отрицательны, т.е. можно вынести -1 за знак определителя:

\[ -3\cdot \left|\begin{array} {cc} 7 & 15\\ -8 & -3 \end{array}\right| =3\cdot \left|\begin{array} {cc} 7 & 15\\ 8 & 3 \end{array}\right| =3\cdot\left(21-120\right) =-297 \]

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

Ответ:

\(\displaystyle{\Delta=-297}\).

Задача №3

Условие

Найти определитель \(\displaystyle{\Delta=\left|\begin{array} {cccc} -1 & 7 & -4 & 1 \\ -12 & 39 & 6 & 5 \\ -7 & 4 & 26 & 0 \\ 11 & -9 & -17 & -2\end{array}\right|}\).

Решение

Сразу обратим внимание на четвёртый столбец. В нём есть уже один ноль, а также присутствует единица. Сделаем так, чтобы в четвёртом столбце осталась лишь единица, а все остальные элементы стали нулями:

\[ \Delta=\left|\begin{array} {cccc} -1 & 7 & -4 & 1 \\ -12 & 39 & 6 & 5 \\ -7 & 4 & 26 & 0 \\ 11 & -9 & -17 & -2\end{array}\right| \begin{array} {l} \phantom{0} \\ r_2-5r_1 \\ \phantom{0} \\ r_4+2r_1 \end{array} =\left|\begin{array} {cccc} -1 & 7 & -4 & 1 \\ -7 & 4 & 26 & 0 \\ -7 & 4 & 26 & 0 \\ 9 & 5 & -25 & 0\end{array}\right| \]

Все элементы второй строки равны соответствующим элементам третьей строки. Следовательно, такой определитель равен нулю, т.е. \(\displaystyle{\Delta = 0}\).

Ответ:

\(\displaystyle{\Delta=0}\).