Разложение определителя по строке.
Определение1. 7. Минором элемента определителя называется определитель, полученный из данного путем вычеркивания строки и столбца, в которых стоит выбранный элемент.
Обозначение: выбранный элемент определителя, его минор.
Пример. Для
Определение1. 8. Алгебраическим дополнением элемента определителя называется его минор, если сумма индексов данного элемента i+j есть число четное, или число, противоположное минору, если i+j нечетно, т.е.
Рассмотрим еще один способ вычисления определителей третьего порядка – так называемое разложение по строке или столбцу. Для этого докажем следующую теорему:
Теорема 1.1. Определитель равен сумме произведений элементов любой его строки или столбца на их алгебраические дополнения, т.е. где i=1,2,3. Доказательство. Докажем теорему для первой строки определителя, так как для любой другой строки или столбца можно провести аналогичные рассуждения и получить тот же результат. Найдем алгебраические дополнения к элементам первой строки: Тогда
Таким образом, для вычисления определителя достаточно найти алгебраические дополнения к элементам какой-либо строки или столбца и вычислить сумму их произведений на соответствующие элементы определителя.
Пример. Вычислим определитель с помощью разложения по первому столбцу. Заметим, что при этом искать не требуется, так как следовательно, и Найдем и Следовательно, =
Определители более высоких порядков.
Определение1. 9. Определитель n-го порядка есть сумма n! членов каждый из которых соответствует одному из n! упорядоченных множеств полученных r попарными перестановками элементов из множества 1,2,…,n.
Замечание 1. Свойства определителей 3-го порядка справедливы и для определителей n-го порядка.
Замечание 2. На практике определители высоких порядков вычисляют с помощью разложения по строке или столбцу. Это позволяет понизить порядок вычисляемых определителей и в конечном счете свести задачу к нахождению определителей 3-го порядка.
Пример. Вычислим определитель 4-го порядка с помощью разложения по 2-му столбцу. Для этого найдем и : Следовательно,
|