Processing math: 100%

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

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

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

Пример 1 Пусть дан определитель четвертого порядка |8527139344195348|.

Выберем, например, 2-й и 4-й столбцы и 1-ю и 3-ю строки. Таким образом, элементы, стоящие на пересечении этих столбцов и строк образуют минор 2го порядка: |5749|=45+28=17.
Также мы можем выбрать любые строки и столбцы для получения миноров.

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

Пример 2 Возьмем определитель и его минор 2го порядка из первого примера. Дополнительным минором к нему будет |1954|=445=49.

Определение Пусть дана матрица AMm(P). Выберем в ней минор iго порядка, такой, что i>0 и i<m. Если мы умножим дополнительный к нему минор на число (1)S1+S2, в котором S1 — это сумма номеров строк, а S2 — это сумма номеров столбцов, в которых лежит исходный минор, то мы получим алгебраическое дополнение к этому минору.

Пример 3 Пусть дан определитель пятого порядка |7532698734011593224849511|.

Выберем в нем, к примеру 1ю и 4ю строки, а также 2й и 5й столбцы. Тогда на пересечении выбранных строк и столбцов образуется минор 2го порядка |5628|=4012=52.
Дополнительным минором к нему будет |973015451|=9+0140+12+0+225=106.
Наконец, алгебраическим дополнением к минору будет |973015451|(1)(1+4)+(2+5)=106(1)12=106,
где степени 1 являются таковыми, так как элементы минора исходного определителя располагаются в 1й и 4й строках и во 2м и в 5м столбцах.

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

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

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

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

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

Пример 4 Найти определитель матрицы 4го порядка (3569172504123650).

Разложим определитель этой матрицы по теореме Лапласа, выбрав 1ю и 3ю строки: |3569172504123650|=(1)(1+3)+(1+2)|3504||2550|+
+(1)(1+3)+(1+3)|3601||7560|+(1)(1+3)+(1+4)|3902||7265|+
+(1)(1+3)+(2+4)|5942||1235|+(1)(1+3)+(3+4)|6912||1736|+
+(1)(1+3)+(2+3)|5641||1530|=(1)7(120)(0+25)+
+(1)8(30)(030)+(1)9(60)(35+12)+
+(1)10(1036)(5+6)+(1)11(129)(6+21)+
+(1)9(524)(015)=(1225)330647261327
(1915)=300902822681285=1064.

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

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

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

Пример 5 Найти определитель матрицы 4го порядка (1430521702645102).

Решение

Пример 6 Найти определитель матрицы 4го порядка (791204531024511798).

Решение

Пример 7 Найти определитель матрицы 4го порядка (571201126102151341145).

Решение

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

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

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

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