Как не вычисляя доказать что определитель равен нулю
spiruk
Сайт групп СПИ Саранского кооперативного института
4.Определители. Свойства определителей.
Квадратной матрице А порядка n можно сопоставить число det А (или |A|, или ), называемое ее определителем, следующим образом:
Определитель матрицы A также называют ее детерминантом. Правило вычисления детерминанта для матрицы порядка N является довольно сложным для восприятия и применения. Однако известны методы, позволяющие реализовать вычисление определителей высоких порядков на основе определителей низших порядков. Один из методов основан на свойстве разложения определителя по элементам некоторого ряда (свойство 7). При этом заметим, что определители невысоких порядков (1, 2, 3) желательно уметь вычислять согласно определению.
Вычисление определителя 2-го порядка иллюстрируется схемой:
Пример 4.1. Найти определители матриц
При вычислении определителя 3-го порядка удобно пользоваться правилом треугольников (или Саррюса), которое символически можно записать так:
Пример 4.2. Вычислить определитель матрицы
Сформулируем основные свойства определителей, присущие определителям всех порядков. Некоторые из этих свойств поясним на определителях 3-го порядка.
Свойство 1 («Равноправность строк и столбцов»). Определитель не изменится, если его строки заменить столбцами, и наоборот. Иными словами,
В дальнейшем строки и столбцы будем просто называть рядами определителя.
Свойство 2. При перестановке двух параллельных рядов определитель меняет знак.
Свойство 3. Определитель, имеющий два одинаковых ряда, равен нулю.
Свойство 4. Общий множитель элементов какого-либо ряда определителя можно вынести за знак определителя.
Из свойств 3 и 4 следует, что если все элементы некоторого ряда пропорциональны соответствующим элементам параллельного ряда, то такой определитель равен нулю.
Свойство 5. Если элементы какого-либо ряда определителя представляют собой суммы двух слагаемых, то определитель может быть разложен на сумму двух соответствующих определителей.
Свойство 6. («Элементарные преобразования определителя»). Определитель не изменится, если к элементам одною ряда прибавить соответствующие элементы параллельного ряда, умноженные па любое число.
Пример 4.3. Доказать, что
Решение: Действительно, используя свойства 5, 4 и 3 подучим
Дальнейшие свойства определителей связаны с понятиями минора и алгебраического дополнения.
Минором некоторого элемента а ij определителя n-го порядка называется определитель n — 1-го порядка, полученный из исходного путем вычеркивания строки и столбца, па пересечении которых находится выбранный элемент. Обозначается m ij
Алгебраическим дополнением элемента a ij определителя называется его минор, взятый со знаком «плюс», если сумма i + j четное число, и со знаком «минус», если эта сумма нечетная. Обозначается A ij :
Свойство 7 («Разложение определителя по элементам некоторого ряда»). Определитель равен сумме произведений элементов некоторого ряда на соответствующие им алгебраические дополнения.
Проиллюстрируем и одновременно докажем свойство 7 на примере определителя 3-его порядка. В этом случае свойство 7 означает, что
В самом деле, имеем
Свойство 7 содержит в себе способ вычисления определителей высоких порядков.
Пример 4.4. Вычислите определитель матрицы
Решение: Для разложения определителя обычно выбирают гот ряд, где есть нулевые элементы, т. к. соответствующие им слагаемые в разложении будут равны нулю.
Свойство 8. Сумма произведений элементов какого-либо ряда определителя на алгебраические дополнения соответствующих элементов параллельного ряда равна нулю.
Так, например,
Помощь в написании ответов на билеты
Решение. Вычтем из второй строки первую, получим определитель , равный исходному. Если из третьей строки также вычесть первую, то получится определитель , в котором две строки пропорциональны. Такой определитель равен нулю.
Решение. Разложим определитель по элементам второго столбца:
D = a12A12 + a22A22+a32A32=
= .
Пример 1.6. Вычислить определитель
A = ,
в котором все элементы по одну сторону от главной диагонали равны
Решение. Разложим определитель А по первой строке:
A = a11 A11 = .
Определитель, стоящий справа, можно снова разложить по первой строке, тогда получим:
A = .
И так далее. После n шагов придем к равенству A = а11 а22. ann.
2) Операция перемножения матриц ассоциативна, т.е. если определены произведения АВ и (АВ)С, то определены ВС и А(ВС), и выполняется равенство:
3) Операция умножения матриц дистрибутивна по отношению к сложению, т.е. если имеют смысл выражения А(В+С) и (А+В)С, то соответственно:
4) Если произведение АВ определено, то для любого числа a верно соотношение:
a (AB) = ( a A)B = A( a B).
индексом Т обозначается транспонированная матрица.
6) Заметим также, что для любых квадратных матриц det (AB) = detA × detB.
Понятие det (определитель, детерминант) будет рассмотрено ниже.
Инструменты сайта
Основное
Навигация
Информация
Действия
Содержание
Определитель
Определение
Области использования понятия определителя:
1. (исторически первоначальная) с помощью этой функции устанавливаются условия существования и единственности решения системы линейных уравнений от нескольких переменных; более того, эта функция позволяет компактно записать решение;
2. эта функция позволяет анализировать свойства отображений (функций) одного многомерного множества в другое, см. ☞ ЗДЕСЬ;
3. определитель имеет также ряд геометрических приложений.
Пользуясь только определением, вычислить определитель
Доказательство ☞ ЗДЕСЬ.
Последний результат дает основание для альтернативного определения определителя — симметричного относительно его строк и столбцов.
Определитель матрицы есть сумма всевозможных произведений элементов матрицы, взятых по одному из каждой строки и каждого столбца, и такому произведению приписывается знак согласно теореме.
Элементарные свойства определителя
3. Определитель матрицы равен нулю если она имеет две одинаковые строки (два одинаковых столбца).
Доказательства свойств ☞ ЗДЕСЬ.
Миноры и алгебраические дополнения
Доказательство ☞ ЗДЕСЬ.
Пример. Разложение определителя третьего порядка по первому столбцу:
Для этого в нашем распоряжении имеется такое средство, как преобразования строк или столбцов. В самом деле, на основании общего свойства 6 определителя, к любой его строке можно прибавить любую другую строку, домноженную на произвольное число — определитель от этого не изменится; аналогичное свойство справедливо и для столбцов. Но тогда мы можем упомянутые множители подбирать так, чтобы добиться появления как можно большего количества нулей в отдельной строке (или столбце).
Пример. Вычислить
Систематическое развитие идеи, использованной при решении последнего примера, приводит к основному методу вычисления определителя — методу Гаусса.
Следующий результат имеет исключительно теоретическое значение: используется для доказательства некоторых результатов.
Доказательство ☞ ЗДЕСЬ.
Теорема Лапласа
Имеет место равенство
Пользуясь теоремой Лапласа, вычислить определитель, предварительно преобразовав его:
Биографические заметки о Лапласе ☞ ЗДЕСЬ.
Теорема [Бине, Коши].
Показать, что для квадратных матриц одинакового порядка имеют место равенства
Биографические заметки о Коши ☞ ЗДЕСЬ.
Методы вычисления определителей
Метод приведения к треугольному виду (метод Гаусса)
Пример. Вычислить
Содержание:
Определители II и III порядка
Определение: Определителем порядка n называется число (выражение), записанное в виде квадратной таблицы, имеющей n строк и n столбцов, которая раскрывается по определенному правилу.
Числа
Определение: Определителем II порядка называется число (выражение), записанное в виде квадратной таблицы размером 2×2, т.е. имеющая 2 строки и 2 столбца.
Определение: Определитель II порядка вычисляется по правилу: из произведения элементов, стоящих на главной диагонали, надо вычесть произведение элементов, стоящих на побочной диагонали:
Пример:
Определение: Определителем III порядка называется число (выражение), записанное в виде квадратной таблицы размером 3×3, то есть имеющей 3 строки и 3 столбца.
Определитель III порядка вычисляется по правилу Саррюса: за определителем выписывают первый и второй столбцы, затем из суммы произведений элементов, стоящих на главной диагонали ей параллельных диагоналях, надо вычесть сумму произведений элементов, стоящих на побочной диагонали и ей параллельных:
Пример:
Определение: Минором элемента называется определитель порядка (n-1), который получается из исходного определителя порядка n путем вычеркивания строки i и столбца j, на пересечении которых стоит элемент
Пример:
Найти миноры элементов и определителя из Примера 2. Вычеркивая в определителе строку 1 и столбец 2: получим минор Поступая аналогично со строкой 3 и столбцом 3, получим минор
Пример:
Найти миноры элементов и определителя Исходя из определения минора получаем аналогично найдем минор
Определение: Алгебраическим дополнением элемента называется произведение минора этого элемента на т.е.
Замечание: Из определения алгебраического дополнения следует, что алгебраическое дополнение совпадает со своим минором, если сумма является четным числом, и противоположно ему по знаку, если сумма — нечетное число.
Определение: Транспонированным определителем n-го порядка называется определитель порядка n, полученный из исходного определителя путем замены строк на соответствующие столбцы, а столбцов на соответствующие строки.
Если
Пример:
Найти определитель, транспонированный к определителю Из определения транспонированного определителя
Свойства определителей
1. Величина транспонированного определителя равна величине исходного определителя. Пусть Отсюда видно, что
2. Перестановка местами двух строк (столбцов) изменяет знак определителя на противоположный. Пусть
Если поменять местами строки (столбцы) четное число раз, то величина и знак определителя не меняется. Нечетная перестановка местами строк (столбцов) не меняет величину определителя, но изменяет его знак на противоположный.
3. Определитель, содержащий две (или более) одинаковых строки (столбца), равен нулю. Если определитель содержит два одинаковых столбца, то
4. Для того чтобы умножить определитель на число k, достаточно умножить на это число все элементы какой-либо одной строки (столбца). Обратно: если все элементы какой-либо строки (столбца) имеют общий множитель k, то его можно вынести за знак определителя.
Докажем это свойство:
5. Если две каких-либо строки (столбца) пропорциональны, то определитель равен нулю.
Пусть в определителе II порядка первая и вторая строки пропорциональны, тогда
6. Если все элементы какой-либо строки (столбца) равны нулю, то определитель равен нулю.
Пусть в определителе II порядка все элементы первой строки равны нулю, тогда
7. Если элементы какой-либо строки (или столбца) можно представить в виде двух слагаемых, то сам определитель можно представить в виде суммы двух определителей. Если Доказать самостоятельно.
8. Если все элементы какой-либо строки (столбца) умножить на вещественное число к и прибавить k соответствующим элементам другой строки (соответственно, столбца), то величина определителя не изменится.
Умножим элементы второго столбца на вещественное число k и прибавим результат умножения к соответствующим элементам первого столбца, получим
Второй определитель равен нулю по свойству 5.
Замечание: Данное свойство применяется для обнуления всех элементов какой-либо строки (столбца) за исключением одного (метод обнуления), что существенно снижает трудоемкость вычисления определителей порядка выше 3 (см. также свойство 9.).
9. [Метод раскрытия определителя по элементам какой-либо строки (или столбца); универсальный способ вычисления определителя любого порядка]. Определитель любого порядка равен сумме произведений элементов какой-либо строки (столбца) на их алгебраические дополнения:
Пример:
Вычислить определитель по элементам 3 строки и по элементам 2 столбца.
Решение:
Воспользуемся свойством 9.: раскроем определитель по элементам 3 строки Вычислим определитель по элементам 2 столбца
Из полученных результатов видно, что свойство 9. является универсальным методом вычисления любых определителей по элементам любой строки или столбца.
Используя свойство 8. можно обнулить все элементы какой-либо строки (столбца) за исключением одного (метод обнуления), а затем раскрыть определитель по элементам этой строки, воспользовавшись свойством 9.
Пример:
Вычислить определитель
Решение:
Обнулим элементы в третьей строке, для чего выполним следующие действия: (по свойству 4. из третьей строки вынесем множитель 2) используя свойство 8., умножим все элементы второго столбца на 1.5 и прибавим к соответствующим элементам третьего столбца, получим)
(по свойству 4. из третьего столбца вынесем множитель 0,5, тогда множитель перед определителем станет равным 1)
(раскроем определитель по элементам третьей строки: выше из определителя третьего порядка вычеркнута третья строка с нулями и второй столбец, т.е. показан необходимый для дальнейших вычислений минор Таким образом, метод обнуления позволяет значительно ускорить процесс вычисления любого определителя.
Пример:
Решить уравнение
Решение:
Вычислим определители второго и третьего порядков согласно вышеописанным правилам:
Найденные величины подставим в исходное уравнение
Пример:
Решить неравенство
Решение:
Вычислим определители второго и третьего порядков согласно вышеописанным правилам:
Найденные величины подставим в исходное неравенство
Пример:
Вычислить определитель четвертого порядка (аналогично выполнить такие же действия с определителем третьего порядка), преобразовав его так, чтобы три элемента некоторого ряда равнялись нулю, и вычислить полученный определитель по элементам этого ряда:
Решение:
Во второй строке исходного определителя присутствуют 1 и 0, поэтому обнуление элементов будем производить в этой строке (при обнулении элементов в строке действия производят со столбцами и наоборот): — строка обнуления; — столбцы, с которыми производят действия)=
(по методу обнуления раскроем определитель по элементам 2-ой строки ( — цифры, с которыми производятся действия))
(по универсальному методу раскроем определитель по элементам третьей строки)
Определители
Перестановкой чисел 1, 2. n называется любое расположение этих чисел в определенном порядке. В элементарной алгебре доказывается, что число всех перестановок, которые можно образовать из n чисел, равно 12. n = n!. Например, из трех чисел 1, 2, 3 можно образовать 3!=6 перестановок: 123, 132, 312, 321, 231, 213. Говорят, что в данной перестановке числа i и j составляют инверсию (беспорядок), если i>j, но i стоит в этой перестановке раньше j, то есть если большее число стоит левее меньшего.
Перестановка называется четной (или нечетной), если в ней соответственно четно (нечетно) общее число инверсий. Операция, посредством которой от одной перестановки переходят к другой, составленной из тех же n чисел, называется подстановкой n-ой степени.
Подстановка, переводящая одну перестановку в другую, записывается двумя строками в общих скобках, причем числа, занимающие одинаковые места в рассматриваемых перестановках, называются соответствующими и пишутся одно под другим. Например, символ обозначает подстановку в которой 3 переходит в
Подстановка называется четной (или нечетной), если общее число инверсий в обеих строках подстановки четно (нечетно). Всякая подстановка n-ой степени может быть записана в виде т.е. с натуральным расположением чисел в верхней строке.
Пусть нам дана квадратная матрица порядка n
Рассмотрим все возможные произведения по n элементов этой матрицы, взятых по одному и только по одному из каждой строки и каждого столбца, т.е. произведений вида:
Определителем n-го порядка, соответствующим матрице (4.3), называется алгебраическая сумма n! членов вида (4.4). Для записи определителя употребляется символ (детерминант, или определитель, матрицы А).
Свойства определителей:
Замечание. Все свойства остаются справедливыми, если вместо строк взять столбцы.
Минором элемента определителя d n-го порядка называется определитель порядка n-1, который получается из d вычеркиванием строки и столбца, содержащих данный элемент.
Алгебраическим дополнением элемента определителя d называется его минор взятый со знаком Алгебраическое дополнение элемента будем обозначать Таким образом,
Способы практического вычисления определителей, основанные на том, что определитель порядка n может быть выражен через определители более низких порядков, дает следующая теорема.
Теорема (разложение определителя по строке или столбцу).
Определитель равен сумме произведений всех элементов произвольной его строки (или столбца) на их алгебраические дополнения. Иначе говоря, имеет место разложение d по элементам i-й строки или j- го столбца
В частности, если все элементы строки (или столбца), кроме одного, равны нулю, то определитель равен этому элементу, умноженному на его алгебраическое дополнение.
Пример:
Не вычисляя определителя показать, что он равен нулю.
Решение:
Вычтем из второй строки первую, получим определитель равный исходному. Если из третьей строки также вычесть первую, то получится определитель в котором две строки пропорциональны.
Такой определитель равен нулю.
Пример:
Вычислить определитель разложив его по элементам второго столбца.
Решение:
Разложим определитель по элементам второго столбца:
Пример:
Вычислить определитель в котором все элементы по одну сторону от главной диагонали равны нулю.
Решение:
Разложим определитель А по первой строке:
Определитель, стоящий справа, можно снова разложить по первой строке, тогда получим:
И так далее. После n шагов придем к равенству
Пример:
Вычислить определитель
Решение:
Если к каждой строке определителя, начиная со второй, прибавить первую строку, то получится определитель, в котором все элементы, находящиеся ниже главной диагонали, будут равны нулю. А именно, получим определитель: равный исходному.
Рассуждая, как в предыдущем примере найдем, что он равен произведению элементов главной диагонали, т.е. n!. Способ, с помощью которого вычислен данный определитель, называется способом приведения к треугольному виду.
Определители. Алгебраические дополнения
Внимание! Понятие определителя вводится только для квадратной матрицы.
Матрица называется квадратной порядка n, если количество ее строк совпадает с количеством столбцов и равно n.
Элементы квадратной матрицы, имеющие одинаковые значения индексов, составляют главную диагональ. Элементы квадратной матрицы порядка n, сумма индексов каждого из которых равна n+1, составляют побочную диагональ.
Определитель матрицы обозначается одним из следующих символов:
Определитель матрицы второго порядка равен разности элементов главной и побочной диагоналей соответственно:
Определитель матрицы третьего порядка равен сумме элементов главной диагонали и элементов, расположенных в вершинах треугольников с основаниями, параллельными главной диагонали, а также разности элементов побочной диагонали и элементов, расположенных в вершинах треугольников с основаниями, параллельными побочной диагонали.
Схематично это правило изображается так (правило треугольника):
Квадратная матрица называется верхней (нижней) треугольной, если все элементы, стоящие под (над) главной диагональю равны нулю.
Отметим некоторые свойства определителя.
Минором элемента определителя n-го порядка называется определитель (n-l)-ro порядка, получаемый вычеркиванием i-й строки и j-ro столбца, на пересечении которых стоит этот элемент. Обозначение:
Алгебраическим дополнением элемента называется его минор, умноженный на Обозначение:
Теорема разложения.
Определитель матрицы равен сумме произведений элементов любого ряда на их алгебраические дополнения.
Пример №2
Вычислить определитель, разлагая его по элементам первой строки:
Решение:
По теореме разложения
Найдем алгебраические дополнения элементов матрицы А:
Для вычисления определителя порядка выше третьего удобно пользоваться теоремой разложения (метод понижения порядка) или методом приведения определителя к треугольному виду.
Пример №3
Вычислить определитель, приведя его к треугольному виду:
Решение:
Применяя свойство 6 определителей, преобразуем последовательно второй, третий, четвертый столбцы матрицы.
При копировании любых материалов с сайта evkova.org обязательна активная ссылка на сайт www.evkova.org
Сайт создан коллективом преподавателей на некоммерческой основе для дополнительного образования молодежи
Сайт пишется, поддерживается и управляется коллективом преподавателей
Whatsapp и логотип whatsapp являются товарными знаками корпорации WhatsApp LLC.
Cайт носит информационный характер и ни при каких условиях не является публичной офертой, которая определяется положениями статьи 437 Гражданского кодекса РФ. Анна Евкова не оказывает никаких услуг.