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

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

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

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

Почему теорема важна

Непосредственные формулы удобны лишь для определителей второго и третьего порядков. При увеличении размера количество произведений быстро возрастает. Теорема Лапласа вводит управляемое понижение порядка: определитель n-го порядка выражается через определители порядка n − 1. Особенно эффективна она после элементарных преобразований, создающих нули в выбранной строке или столбце.

Кроме вычислительной роли, разложение помогает понимать устройство детерминанта. Каждый коэффициент a_ij действует вместе со своим дополнением A_ij, а знак определяется положением элемента. Поэтому точность решения зависит от трёх вещей: правильного минора, верного знака и аккуратного суммирования.

Минор элемента

Минором M_ij элемента a_ij называется определитель, полученный после удаления из исходной матрицы i-й строки и j-го столбца. Если исходная матрица имеет порядок 3, то минор каждого элемента является определителем второго порядка. Например, для элемента a₂₃ нужно вычеркнуть вторую строку и третий столбец, а из оставшихся четырёх чисел составить определитель 2 × 2.

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

Алгебраическое дополнение

Алгебраическим дополнением A_ij элемента a_ij называется число A_ij = (−1)^i+jM_ij. Множитель (−1)^i+j задаёт знак. Если сумма индексов i + j чётна, знак положительный; если нечётна - отрицательный. Удобно запомнить шахматную таблицу знаков, начинающуюся с плюса в левом верхнем углу.

Для матрицы 3 × 3 знаки располагаются так: первая строка «+ − +», вторая «− + −», третья «+ − +». Знак относится ко всему минору. Например, A₂₃ = −M₂₃, поэтому после вычисления минора его значение нужно взять с противоположным знаком.

Простой пример

Пусть требуется найти дополнение элемента a₁₂ в матрице, строки которой равны (2, 3, 1), (0, 4, 5), (7, 1, 6). После удаления первой строки и второго столбца остаётся определитель |0 5; 7 6| = 0·6 − 5·7 = −35. Поскольку 1 + 2 нечётно, A₁₂ = −M₁₂ = 35.

Обобщённый смысл

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

Связь обозначений

В некоторых учебниках алгебраическое дополнение называют кофактором. Обозначения A_ij и C_ij могут использоваться как равноправные. Независимо от буквы правило остаётся одним: сначала вычисляется минор, затем учитывается знак (−1)^i+j.

Формулировка теоремы Лапласа

Определитель квадратной матрицы равен сумме произведений элементов любой выбранной строки на их алгебраические дополнения. Для i-й строки формула записывается так: det A = a_i1A_i1 + a_i2A_i2 + … + a_inA_in. Аналогично, при разложении по j-му столбцу: det A = a_1jA_1j + a_2jA_2j + … + a_njA_nj.

Слово «любой» принципиально: какой бы ряд ни был выбран, результат должен совпасть. Разные разложения отличаются объёмом вычислений, но не значением определителя. Это свойство можно использовать для проверки: если два независимых разложения дали разные числа, в одном из вычислений допущена ошибка.

Идея обоснования

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

Знак (−1)^i+j появляется из числа перестановок, необходимых для перемещения выбранного элемента в условную первую позицию. Поэтому шахматное чередование знаков не является отдельной договорённостью: оно отражает знаковую структуру самого определителя.

Таблица 1. Основные элементы теоремы Лапласа
 

Разложение определителя третьего порядка

Для первой строки определителя 3 × 3 получаем: D = a₁₁M₁₁ − a₁₂M₁₂ + a₁₃M₁₃. Для второй строки знаки меняются: D = −a₂₁M₂₁ + a₂₂M₂₂ − a₂₃M₂₃. Запись через дополнения короче: D = a₂₁A₂₁ + a₂₂A₂₂ + a₂₃A₂₃.

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

Основные случаи применения

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

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

Таблица 2. Выбор выгодного направления разложения
 

Алгоритм применения теоремы Лапласа

• Определить порядок матрицы и внимательно переписать все элементы.
• Сравнить строки и столбцы; выбрать ряд с наибольшим количеством нулей или наиболее простыми числами.
• Для каждого ненулевого элемента выбранного ряда построить минор: удалить его строку и столбец.
• Определить знак дополнения по формуле (−1)^i+j или по шахматной таблице.
• Вычислить алгебраические дополнения и составить сумму произведений a_ijA_ij.
• Аккуратно раскрыть скобки и сложить полученные числа.
• Проверить ответ другим разложением, свойствами определителя или вычислительным преобразованием.

Как сократить вычисления

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

Рациональное решение часто состоит из двух этапов: сначала упрощение матрицы, затем разложение по созданному ряду с нулями. Это быстрее и надёжнее, чем вычисление всех миноров без предварительного анализа.

Правильные действия и характерные ошибки

Таблица 3. Проверка отдельных шагов
 

Как проверить вычисление

Первая проверка - повторить разложение по другой строке или столбцу. Полученные суммы должны совпасть. Вторая проверка - оценить знак и порядок величины результата: при небольших элементах чрезмерно большое число часто указывает на арифметическую ошибку. Третья проверка - использовать элементарные преобразования и довести матрицу до треугольного вида.

Для определителя третьего порядка можно дополнительно сравнить результат с правилом Саррюса. Совпадение двух независимых методов повышает уверенность, но не заменяет проверку промежуточных знаков.

Последовательное разложение

При вычислении определителя четвёртого порядка каждый минор имеет порядок 3. Его также можно раскрыть по теореме Лапласа, снова выбрав удобную строку или столбец. Процесс продолжают, пока не останутся определители второго порядка. Важно на каждом уровне заново определять индексы внутри текущего минора, а не переносить механически номера из исходной матрицы.

Связь с элементарными преобразованиями

Теорема Лапласа особенно эффективна вместе со свойствами детерминанта. Прибавление кратной строки создаёт нули без изменения значения; перестановка двух строк меняет знак; вынесение общего множителя из строки умножает определитель на этот множитель. Грамотное сочетание правил превращает громоздкое вычисление в короткую последовательность понятных операций.

Выбор между строкой и столбцом

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

Мини-шпаргалка по теме

• M_ij - минор элемента: удалить i-ю строку и j-й столбец.
• A_ij = (−1)^i+jM_ij - алгебраическое дополнение.
• Знаки располагаются шахматно и начинаются с «+» в позиции (1, 1).
• По строке: det A = Σ a_ijA_ij; по столбцу используется такая же идея.
• Нулевой элемент даёт нулевое слагаемое, поэтому его минор вычислять не нужно.
• Лучший ряд для разложения обычно содержит больше всего нулей.
• После разложения порядок каждого минора уменьшается на единицу.
• Результат не зависит от выбранной строки или столбца.

Типичные ошибки и способы их предупреждения

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

Ошибка 2. Потеря позиционного знака. Минор M_ij может быть вычислен правильно, но дополнение A_ij получено с неверным знаком. Следует отдельно записывать знак клетки и только после этого умножать его на значение минора.

Ошибка 3. Автоматическое чередование знаков с плюса. Если разложение начинается, например, с элемента второй строки первого столбца, первый знак будет отрицательным. Чередование зависит от координат клеток, а не от того, какое слагаемое записывается первым.

Ошибка 4. Вычисление миноров для нулевых элементов. Такое действие не меняет ответ, но делает решение длиннее и повышает риск арифметических ошибок. Слагаемое 0·A_ij сразу равно нулю.

Ошибка 5. Смешение индексов после понижения порядка. При раскрытии минора третьего порядка он становится самостоятельным определителем. Его локальные строки и столбцы нумеруются заново для определения знаков нового разложения.

Ошибка 6. Неучтённые преобразования. Если строки переставлялись или из строки выносился множитель, соответствующее изменение детерминанта должно быть отражено в итоговой формуле. Прибавление кратной строки значения не меняет, но другие операции имеют последствия.

Практическое применение

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

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

Сорок практических упражнений

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

Упражнение 1. Что нужно удалить, чтобы получить минор M₂₃?
Решение. Нужно удалить вторую строку и третий столбец исходной матрицы.

Упражнение 2. Определите знак дополнения A₁₂.
Решение. 1 + 2 = 3 - нечётное число, поэтому знак отрицательный: A₁₂ = −M₁₂.

Упражнение 3. Определите знак дополнения A₃₃.
Решение. 3 + 3 = 6 - чётное число, поэтому A₃₃ = M₃₃.

Упражнение 4. Запишите знаки дополнений в первой строке матрицы 3 × 3.
Решение. Знаки: «+ − +».

Упражнение 5. Почему выгодно раскладывать по строке с двумя нулями?
Решение. Потому что два произведения равны нулю и вычисляется только один минор.

Упражнение 6. Вычислите минор M₁₁ для матрицы [[2,1,0],[3,4,5],[1,2,6]].
Решение. После удаления первой строки и первого столбца получаем |4 5; 2 6| = 24 − 10 = 14.

Упражнение 7. Найдите A₁₁ в матрице из упражнения 6.
Решение. Знак положительный, поэтому A₁₁ = M₁₁ = 14.

Упражнение 8. Вычислите M₁₂ для матрицы [[2,1,0],[3,4,5],[1,2,6]].
Решение. Удаляем первую строку и второй столбец: |3 5; 1 6| = 18 − 5 = 13.

Упражнение 9. Найдите A₁₂ для той же матрицы.
Решение. Позиция (1,2) имеет отрицательный знак, поэтому A₁₂ = −13.

Упражнение 10. Вычислите определитель [[2,1,0],[3,4,5],[1,2,6]] по первой строке.
Решение. D = 2·14 + 1·(−13) + 0·A₁₃ = 28 − 13 = 15.

Упражнение 11. Вычислите определитель [[1,0,0],[4,2,3],[5,6,7]] по первой строке.
Решение. Остаётся M₁₁ = |2 3; 6 7| = 14 − 18 = −4. Следовательно, D = −4.

Упражнение 12. Вычислите определитель [[2,3,1],[0,4,5],[0,0,6]].
Решение. Это верхняя треугольная матрица. Последовательное разложение даёт 2·4·6 = 48.

Упражнение 13. Определите знак A₂₁.
Решение. 2 + 1 = 3, поэтому знак отрицательный: A₂₁ = −M₂₁.

Упражнение 14. Определите знак A₂₂.
Решение. 2 + 2 = 4, поэтому знак положительный: A₂₂ = M₂₂.

Упражнение 15. Вычислите D = |3 0 0; 2 5 1; 4 7 2|.
Решение. Разложим по первой строке: D = 3·|5 1; 7 2| = 3·(10 − 7) = 9.

Упражнение 16. Вычислите D = |1 2 3; 0 4 5; 0 0 6|.
Решение. Определитель треугольный: D = 1·4·6 = 24.

Упражнение 17. Как изменится удобство решения, если в строке нет нулей?
Решение. Можно выбрать другой столбец либо сначала создать нули прибавлением кратной строки.

Упражнение 18. Верно ли, что разложение по разным строкам даёт разные определители?
Решение. Нет. При правильных вычислениях любое разложение даёт одно и то же значение det A.

Упражнение 19. Вычислите D = |1 2; 3 4|.
Решение. Для определителя второго порядка D = 1·4 − 2·3 = −2.

Упражнение 20. Найдите M₂₃ для матрицы [[1,2,3],[4,5,6],[7,8,9]].
Решение. Удаляем вторую строку и третий столбец: |1 2; 7 8| = 8 − 14 = −6.

Упражнение 21. Найдите A₂₃ для матрицы из упражнения 20.
Решение. Знак позиции (2,3) отрицательный, поэтому A₂₃ = −(−6) = 6.

Упражнение 22. Вычислите D = |1 2 3; 4 5 6; 7 8 9| по второй строке.
Решение. Дополнения дают сумму −4·(−6) + 5·(−12) − 6·(−6) = 24 − 60 + 36 = 0.

Упражнение 23. Почему определитель из упражнения 22 равен нулю?
Решение. Строки линейно зависимы: разности соседних строк одинаковы, поэтому детерминант равен нулю.

Упражнение 24. Вычислите D = |0 2 0; 1 3 4; 5 6 7| по первой строке.
Решение. D = 2A₁₂. M₁₂ = |1 4; 5 7| = 7 − 20 = −13, A₁₂ = 13, значит D = 26.

Упражнение 25. Вычислите D = |2 0 1; 0 3 0; 4 0 5| по второй строке.
Решение. D = 3A₂₂ = 3·|2 1; 4 5| = 3·(10 − 4) = 18.

Упражнение 26. Вычислите D = |1 0 2; 0 1 3; 0 0 4|.
Решение. Матрица треугольная, поэтому D = 1·1·4 = 4.

Упражнение 27. Найдите A₃₁ для матрицы [[1,2,0],[3,4,5],[6,7,8]].
Решение. M₃₁ = |2 0; 4 5| = 10. Знак положительный, поэтому A₃₁ = 10.

Упражнение 28. Найдите A₃₂ для той же матрицы.
Решение. M₃₂ = |1 0; 3 5| = 5. Знак отрицательный, поэтому A₃₂ = −5.

Упражнение 29. Вычислите определитель [[1,2,0],[3,4,5],[6,7,8]] по третьей строке.
Решение. A₃₁ = 10, A₃₂ = −5, M₃₃ = |1 2; 3 4| = −2. D = 6·10 + 7·(−5) + 8·(−2) = 60 − 35 − 16 = 9.

Упражнение 30. Что произойдёт с определителем при перестановке двух строк перед разложением?
Решение. Его знак изменится на противоположный; это нужно учесть в итоговом ответе.

Упражнение 31. Что произойдёт, если к строке прибавить другую строку, умноженную на число?
Решение. Значение определителя не изменится. Операцию можно использовать для создания нулей.

Упражнение 32. Вычислите D = |1 1 1; 1 2 3; 1 3 6|.
Решение. Вычтем первую строку из второй и третьей: получим |1 1 1; 0 1 2; 0 2 5|. По первому столбцу D = |1 2; 2 5| = 5 − 4 = 1.

Упражнение 33. Вычислите D = |2 2 2; 1 3 4; 0 0 5| по третьей строке.
Решение. D = 5A₃₃ = 5·|2 2; 1 3| = 5·(6 − 2) = 20.

Упражнение 34. Вычислите D = |0 0 4; 2 1 3; 5 6 7| по первой строке.
Решение. D = 4A₁₃. M₁₃ = |2 1; 5 6| = 12 − 5 = 7; знак положительный. D = 28.

Упражнение 35. Найдите определитель диагональной матрицы diag(2, −3, 4, 5).
Решение. Последовательное разложение даёт произведение диагональных элементов: 2·(−3)·4·5 = −120.

Упражнение 36. Почему при разложении определителя четвёртого порядка возникают определители третьего порядка?
Решение. Удаление одной строки и одного столбца уменьшает порядок матрицы на единицу: 4 → 3.

Упражнение 37. Можно ли использовать теорему Лапласа для матрицы 2 × 3?
Решение. Нет, определитель и теорема разложения определены для квадратных матриц.

Упражнение 38. Сформулируйте разложение по j-му столбцу.
Решение. det A = a_1jA_1j + a_2jA_2j + … + a_njA_nj.

Упражнение 39. Какой ряд лучше выбрать: строку (1,0,0,5) или столбец (2,3,4,5)?
Решение. Лучше строку (1,0,0,5), потому что в ней два нуля и потребуется только два минора.

Упражнение 40. Составьте краткий план проверки ответа.
Решение. Проверить миноры, знаки дополнений и арифметику; затем выполнить разложение по другому ряду или привести матрицу к треугольному виду.

Контрольные вопросы для самопроверки

• Чем минор отличается от алгебраического дополнения?
• Как определяется знак A_ij?
• Почему строка с нулями удобна для разложения?
• Зависит ли значение определителя от выбранного ряда?
• Какие преобразования строк изменяют определитель?
• Как проверить вычисление независимым способом?

Заключение

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

Уверенное владение разложением формирует не только вычислительный навык, но и понимание внутренней структуры детерминанта. Проверка по другому ряду, аккуратная работа с индексами и осмысленный выбор метода делают решение коротким, прозрачным и надёжным.