Свойства определителей и их вычисление

Свойства определителей

2.1.1. Теорема. Справедливы следующие свойства определителей:

1^о. При транспонировании квадратной матрицы её определитель не меняется.

Например, =4 и =4 (убедитесь!), то есть = .

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

Например,

= =(-2)× =(-2)×4=-8

и =2× =2×2 (убедитесь!) или =2× =2×2 (убедитесь!).

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

Например, если из последней строки вычесть первую, то определитель не иеняется:

= =4 (убедитесь!).

Также определитель не изменится, если последний столбец, умноженный на 3, прибавим к первому:

= =4 (убедитесь!).

4^о. Если поменять местами любые две строки или два столбца определителя, то определитель изменит знак на противоположный, а по абсолютной величине не изменится.

=- =-4.

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

Например, в следующем определителе второй столбец является суммой первого, умноженного на 2, и последнего, умноженного на (-1), а его значение равно нулю (убедитесь!):

=0.

А в следующем определителе вторая строка пропорциональна первой, определитель равен нулю (убедитесь!):

=0.

6^о. Определитель равен сумме произведений элементов i-го столбца (i-й строки) на их алгебраические дополнения:

detA=a_1i A_1i+a_2i A_2i+…+a_ni A_ni (detA=a_i1 A_i1+a_i2 A_i2+…+a_in A_in).

Это значит, что, например, определитель 3-го порядка равен сумме произведений элементов, например, 1-го столбца, на их алгебраические дополнения:

detA =a₁₁A₁₁+a₂₁A₂₁+a₃₁A₃₁;

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

detA =a₂₁ A₂₁+a₂₂ A₂₂+a₂₃A₂₃.

Например, непосредственно проверяется (проверьте!) равенство

=a₁₂ A₁₂+a₂₂ A₂₂+a₃₂ A₃₂=

=-a₁₂ +a₂₂ -a₃₂ .

7^о. Сумма произведений элементов i-го столбца (i-й строки) определителя на алгебраические дополнения соответствующих элементов другого столбца (строки) равна нулю:

a_1i A_1j+a_2i A_2j+…+a_ni A_nj=0 (a_i1 A_j1+a_i2 A_j2+…+a_in A_jn=0).

Это значит, что, например, сумма произведений элементов 1-го столбца определителя четвёртого порядка на алгебраические дополнения соответствующих элементов, например, 2-го столбца равна нулю:

a₁₁A₁₂+a₂₁A₂₂+a₃₁A₃₂+a₄₁A₄₂=0,

или сумма произведений элементов 2-й строки на алгебраические дополнения соответствующих элементов третьей строки равна нулю:

a₂₁ A₃₁+a₂₂ A₃₂+a₂₃A₃₃+a₂₄ A₃₄=0.

8^о. Определитель «треугольного» вида

равен произведению диагональных элементов a₁₁a₂₂… a_nn.

=a₁₁a₂₂a₃₃.

Заметим, что свойство 6^о определителя является обобщением его определения.

2.2. Методы вычисления определителей. При вычислении определителей порядков, больших, чем 3, использование определения является не лучшим подходом. Действительно, если действовать по определению, то при вычислении определителя 4-го порядка, возможно, придётся вычислять 4 определителя 3-го порядка, при вычислении определителя 5-го порядка это число может возрасти до 20! Поэтому при вычислении определителей больших порядков используют специальные методы, которые основываются на их свойствах.

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

Пример. Вычислить определитель D:

1) D= ; 2) D= ; 3) D= .

Решение. 1) Вычтем из каждой строки первую (при этом по свойству 3^о значение определителя не меняется):

D= .

Мы привели D к треугольному виду. Согласно свойству 8^о он равен произведению диагональных элементов:

D=1×1×2×3=6.

2) D - - -2×

2× 2× 2× 2×(-1)×1×(-1)×10=20.

á(1) Поменяли местами первую и вторую строки. По свойству 4^о определитель изменил знак на противоположный, сохранив абсолютную величину.

(2) Первую строку прибавили к третьей и четвёртой строке и её же, умноженную на 4, прибавили ко второй. По свойству 3^о значение определителя не изменилось.

(3) Общий множитель 2 третьей строки вынесли за знак определителя (свойство 2^о).

(4) Поменяли местами вторую и третью строку. Знак определителя изменился.

(5) Вторую строку, умноженную на 7 и 3, вычли соответственно из третьей и четвёртой.

(6) Третью строку прибавили к четвёртой.

(7) Треугольный определитель равен произведению диагональных элементов.ñ

3) D=- - 0.

á(1) Первую строку, умноженную на 3, 5 и 4, вычли соответственно из второй, третьей и четвёртой строк.

(2) Определитель с одинаковыми строками равен нулю (свойство 5^о).ñ

Ответ: 1) 6; 2) 20; 3) 0.

2.3.2. Разложение определителя по строке или столбцу основано на свойстве 6^о, и заключается в том, что если в какой-либо строке или столбце определителя достаточно много нулевых элементов, то к этой строке, соответственно к столбцу, применяется данное свойство.

Пример. Вычислить определитель D:

1) D= ; 2) D= .

Решение. 1) Так как в третьем столбце только один элемент ненулевой, то разлагаем определитель по этому столбцу:

D=a₁₃A₁₃+a₂₃A₂₃+a₃₃A₃₃+a₄₃A₄₃=0× A₁₃+(-2)× A₂₃+0×A₃₃+0× A₄₃=

=(-2)×(-1)²⁺³ 4× 4×(-3)× (-1)²⁺³ =12×(-1)=-12.

á(1) Из последнего столбца вычли второй, умноженный на 2, и из второго столбца вынесли 2 за знак определителя.

(2) Разложили определитель по последнему столбцу.ñ

2) Предварительно преобразуем определитель, вычитая второй столбец из четвёртого, и его же, умноженного на 2, из третьего:

D= 1×(-1)⁴⁺⁴ 1×(-1)⁴⁺³ .

á(1) Разложили определитель по четвёртому столбцу.

(2) Разложили определитель по третьему столбцу.ñ

Мы свели вычисление определителя 5-го порядка к вычислению определителя 3-го порядка, что не составляет труда и предоставляется читателю.

Упражнения.

2.4.1. Вычислить определители приведением к треугольному виду:

1) ; 2) ; 3) ;

4) .

2.4.4. Вычислить определители разложением по строке или столбцу:

1) ; 2) ; 3) ;

4) .

2.4.3. Вычислить определители:

1) ; 2) ;

3) ; 4) .

2.4.4. Доказать свойства для определителей 2-го и 3-го порядков.

Решение. Докажем, например свойство 3^о: Определитель не меняется, если ко всем элементам какой-либо строки (столбца) прибавить соответствующие элементы другой строки (столбца), умноженные на одно и то же число.

Действительно, допустим, что ко всем элементам второй строки прибавлены соответствующие элементы первой, умноженные на число a. Тогда:

D= =

=a₁₁(a₂₂+aa₁₂)a₃₃+(a₂₁+aa₁₁)a₃₂a₁₃+a₃₁a₁₂(a₂₃+aa₁₃)-

-a₃₁(a₂₂+aa₁₂)a₁₃-(a₂₁+aa₁₁)a₁₂a₃₃-a₁₁a₃₂(a₂₃+aa₁₃)=Ä

После раскрытия скобок и перегруппировки слагаемых соответствующим образом, получаем

Ä=(a₁₁a₂₂a₃₃+a₂₁a₃₂a₁₃+a₃₁a₁₂a₂₃-a₃₁a₂₂a₁₃-a₂₁a₁₂a₃₃-a₁₁a₃₂a₂₃)+

+a(a₁₁a₁₂a₃₃+a₁₁a₃₂a₁₃+a₃₁a₁₂a₁₃-a₃₁a₁₂a₁₃-a₁₁a₁₂ a₃₃-a₁₁a₃₂a₁₃)= ,

так как сумма во второй скобке равна нулю.