если к элементам какой либо строки определителя прибавить соответствующие элементы другой строки

Как вычислить определитель (детерминант) матрицы? Минор и алгебраическое дополнение

Без преобразования матрицы, определитель легко посчитать только для матриц размером 2×2 и 3×3. Это делается по формулам:

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

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

Для неё определитель равен:

Обратите внимание, что

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

Если привести матрицу к треугольному виду, то её определитель вычисляется как произведение цифр по диагонали. Например, для матрицы

Аналогично следует поступать с матрицами 5×5, 6×6 и другими больших размерностей.

Преобразования матриц нужно выполнять в соответствии со свойствами определителя. Но прежде чем перейти к практике по вычислению определителя для матриц 4×4, давайте вернёмся к матрицам 3×3 и подробно рассмотрим, как вычисляется определитель для них.

Минор

Определитель матрицы не очень прост для понимания, поскольку в его понятии присутствует рекурсия: определитель матрицы состоит из нескольких элементов, в том числе из определителя (других) матриц.

Чтобы не застрять на этом, давайте прямо сейчас (временно) примем, что определитель матрицы

Ещё разберёмся в условных обозначения и в таких понятиях как минор и алгебраическое дополнение.

Буквой i мы обозначаем порядковый номер стоки, буквой j – порядковый номер столбца.

a_ij означает элемент матрицы (цифру) на пересечении строки i и столбца j.

Представим себе матрицу, которая получена из исходной удалением строки i и столбца j. Определитель новой матрицы, которая получена из исходной удалением строки i и столбца j, называется минором M_ij элемента a_ij.

Проиллюстрируем сказанное. Предположим, дана матрица

Тогда для определения минора M₁₁ элемента a₁₁ нам нужно составить новую матрицу, которая получается из исходной удалением первой строки и первого столбца:

И вычислить для неё определитель: 2*1 — (-4)*0 = 2

Для определения минора M₂₂ элемента a₂₂ нам нужно составить новую матрицу, которая получается из исходной удалением второй строки и второго столбца:

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

Алгебраическим дополнением А_ij для элемента a_ij называется минор M_ij этого элемента, взятый со знаком «+», если сумма индексов строки и столбца (i + j), на пересечении которых стоит этот элемент, чётная, и со знаком «-», если сумма индексов нечётная.

Для матрицы из предыдущего примера

Вычисление определителя для матриц

Определителем порядка n, соответствующим матрице А, называется число, обозначаемое det A и вычисляемое по формуле:

В этой формуле нам всё уже знакомо, давайте теперь посчитаем определитель матрицы для

Каков бы ни был номер строки i=1,2,…, n или столбца j = 1, 2,…, n определитель n-го порядка равен сумме произведений элементов этой строки или этого столбца на их алгебраические дополнения, т. е.

Т.е. детерминант можно вычислить по любому столбцу или по любой строке.

Чтобы убедиться в этом, вычислим определитель для матрицы из последнего примера по второму столбцу

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

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

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

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

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

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

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

Так как элементы определителя, расположенные под его главной диагональю, равны 0, то, следовательно, определитесь равен произведению элементов, расположенных на главной диагонали:

Как видим, ответ совпал с полученными ранее.

Давайте вспомним формулу определителя матрицы:

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

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

Покажем пример на той же самой матрице:

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

Вычисление определителя для матриц 4×4, 5×5 и больших размерностей

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

Вычислить определитесь матрицы

Р е ш е н и е. Используя 7-е свойство определителя, вычтем из второй строки третью, из четвёртой строки — соответствующие элементы первой строки определителя, умноженные соответственно на 3, 4, 5. Эти действия сокращённо будем обозначать так: (2) — (1) * 3; (3) — (1) * 4; (4) — (1) * 5. Получим:

Далее, в соответствии с ведёнными обозначениями, выполним действия: (3) — (2) * 8; (4) — (2) * 9. Получаем

Так как элементы определителя, расположенные под его главной диагональю, равны 0, то, следовательно, определитесь равен произведению элементов, расположенных на главной диагонали:

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

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

(Затем мы вынесли сомножитель 2 первого столбца на основании свойства 4). Далее прибавим к элементам первого и второго столбца элементы определителя. Получим:

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

Здесь определитесь второго порядка вычислен в соответствии с его определением, по формуле

Вычисление определителя (детерминанта) матрицы wxMaxima и Maxima

В wxMaxima и Maxima для вычисления определителя используется функция determinant:

Для приведения матриц к треугольному виду можно воспользоваться функцией triangularize:

Источник

Если к элементам какой либо строки определителя прибавить соответствующие элементы другой строки

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

СВОЙСТВО 1. Величина определителя не изменится, если все его строки заменить столбцами, причем каждую строку заменить столбцом с тем же номером, то есть

.

.

СВОЙСТВО 3. Если определитель имеет два одинаковых столбца или две одинаковые строки, то он равен нулю.

.

СВОЙСТВО 5. Если все элементы некоторого столбца или некоторой строки равны нулю, то сам определитель равен нулю. Это свойство есть частный случае предыдущего (при k=0).

СВОЙСТВО 6. Если соответствующие элементы двух столбцов или двух строк определителя пропорциональны, то определитель равен нулю.

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

.

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

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

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

СВОЙСТВО 9. Определитель

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

Иначе говоря, имеют место следующие равенства:

, ,

, ,

, .

Источник

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

Понятие определителя n-го порядка

Пользуясь этой статьёй об определителях, вы обязательно научитесь решать задачи вроде следующей:

Решить уравнение:

и многих других, которые так любят придумывать преподаватели.

Понять логику записи определителей легко по следующей схеме. Возьмём знакомую вам со школьной скамьи систему из двух уравнений с двумя неизвестными:

Например, если дана система уравнений

,

то из коэффициентов при неизвестных формируется следующий определитель:

Итак, пусть дана квадратная таблица, состоящая из чисел, расположенных в n строках (горизонтальных рядах) и в n столбцах (вертикальных рядах). С помощью этих чисел по некоторым правилам, которые мы изучим ниже, находят число, которое и называют определителем n-го порядка и обозначают следующим образом:

(1)

Воображаемая прямая, соединяющая элементы определителя, у которых оба индекса одинаковы, т.е. элементы

называется главной диагональю, другая диагональ – побочной.

По теме «Определители» на сайте есть также отдельный урок по вычислению минора и алгебраического дополнения.

Вычисление определителей второго и третьего порядков

Покажем, как вычисляются определители первых трёх порядков.

Определитель первого порядка – это сам элемент т.е.

.

Определитель второго порядка есть число, получаемое следующим образом:

, (2)

где и

— произведение элементов, стоящих соответственно на главной и на побочной диагоналях.

Пример 1. Вычислить определители второго порядка:

Решение. По формуле (2) находим:

Определитель третьего порядка – это число, получаемое так:

(3)

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

На рис.1 главная диагональ и соответствующие ей основания треугольников и побочная диагональ и соответствующие ей основания треугольников выделены красным цветом.

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

Пример 2. Вычислить определитель третьего порядка:

Решение. Пользуясь правилом треугольников, получим

Вычисление определителей n-го порядка

Разложение определителя по строке или столбцу

Для вычисления определителя n-го порядка необходимо знать и использовать следующую теорему.

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

Определение. Если в определителе n-го порядка выбрать произвольно p строк и p столбцов (p

При разложении определителя часто используется следующее свойство определителя n-го порядка:

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

Пример 3

здесь разложение проведено по элементам первой строки.

Пример 4.

Предварительно вычтем из первой и третьей строк элементы четвёртой строки, тогда будем иметь

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

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

Вычтем из третьей строки элементы первой строки, а к элементам четвёртой строки прибавим элементы первой строки, тогда будем иметь

Приведение определителя к треугольному виду

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

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

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

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

Этот определитель равен произведению элементов главной диагонали:

Свойства определителя n-го порядка

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

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

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

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

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

Свойство 4. Если в определителе имеются два одинаковых параллельных ряда, то определитель равен нулю:

Свойство 5. Если в определителе два параллельных ряда пропорциональны, то определитель равен нулю:

Свойство 6. Если все элементы определителя, стоящие в одном ряду, умножить на одно и то же число, то значение определителя изменится в это число раз:

Следствие. Общий множитель, содержащийся во всех элементах одного ряда, можно вынести за знак определителя, например:

Свойство 7. Если в определителе все элементы одного ряда представлены в виде суммы двух слагаемых, то он равен сумме двух определителей:

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

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

Справедливость этого равенства вытекает из свойства 8.

Пример 7. Решить уравнение:

Шаг 1. Вычисляем определитель второго порядка, который находится в левой части уравнения. Элементы главной диагонали перемножаются, из этого произведения вычитается произведение элементов побочной диагонали:

Шаг 2. Вычисляем определитель третьего порядка, который образует правую часть уравнения. Делаем это по «правилу треугольников»:

Приравниваем обе части, получаем уравнение и решаем его:

Источник