Свойства определителей. Свойство 1.Величина определителя не изменится, если строки и столбцы определителя поменять местами, т.е

Свойство 1. Величина определителя не изменится, если строки и столбцы определителя поменять местами, т.е.

(1.15)

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

Свойство 2. Перестановка двух строк (или двух столбцов) определителя равносильна умножению его на число .

Доказывается вычислением по формуле (1.13).

Свойство 3. Если определитель имеет две одинаковые сроки (или два одинаковых столбца), то он равен нулю.

В самом деле, при перестановке двух одинаковых срок опреде-литель не изменится, а согласно свойству 2, изменит знак, т.е. .

Свойство 4. Умножение всех элементов некоторой строки (или некоторого столбца) определителя на число равносильно умножению определителя на это число.

Иными словами, общий множитель всех элементов строки (или столбца) определителя можно вынести за знак определителя.

Для доказательства этого свойства достаточно заметить, что число войдёт в каждое произведение формулы (1.13), так как элементы определителя, входящие в произведения, выбираются «по одному из каждой стоки и каждого столбца матрицы».

Свойство 5. Ели все элементы некоторой строки (или столбца) определителя равны нулю, то и сам определитель равен нулю.

Это свойство вытекает из предыдущего (при ).

Свойство 6. Если элементы двух строк (или двух столбцов) определителя пропорциональны, то определитель равен нулю.

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

Свойство 7. Если каждый элемент к-го столбца определителя является суммой двух слагаемых, то определитель может быть представлен в виде суммы двух определителей, первый из которых в к-ом столбце содержит первые слагаемые упомянутых сумм, а в к-ом столбце второго стоят вторые слагаемые, остальные же столбцы определителей совпадают со столбцами исходного определителя. Аналогичное утверждение справедливо для строк определителя. Например,

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

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

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

Например,

Используя преобразования, не изменяющие величину определителя (согласно свойству 8), можно существенно упростить его вычисление. Полезным оказывается приведение определителя к треугольной форме, в которой все элементы, расположенные ниже главной диагонали, равны нулю. В этом случае вычисление определителя по формуле (1.13) упрощается, так как все её слагаемые, кроме первого, равного произведению элементов главной диагонали, оказываются равными нулю.

Числовой пример позволит пояснить суть метода.

Пример 1. Вычислить определитель, приведя его к треугольной форме:

Чтобы получить нули в первом столбце определителя, из второй строки вычитаем удвоенную первую, и записываем результаты во второй строке. Затем из третьей строки вычитаем утроенную первую, и записываем результаты в третьей строке. Первая строка не изменяется.

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

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

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

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

Для формулирования ещё одного свойства нам потребуется ввести понятия алгебраического дополнения и минора.