Материал из MachineLearning.
Перейти к: навигация, поиск
Содержание
- 1 Постановка задачи
- 2 Основные определения и простейшие свойства
- 2.1 Определитель
- 2.2 Обратная матрица
- 2.3 Вычисление определителя и обратной матрицы с помощью метода Гаусса
- 3 Формулы для определителя
- 4 Объем параллелепипеда
- 5 Литература
- 6 См. также
Постановка задачи
Задание подразумевает знакомство пользователя с основными понятиями численных методов, такими как определитель и обратная матрица, и различными способами их вычислений. В данном теоретическом отчете простым и доступным языком сначала вводятся основные понятия и определения, на основании которых проводится дальнейшее исследование. Пользователь может не иметь специальных знаний в области численных методов и линейной алгебры, но с легкостью сможет воспользоваться результатами данной работы. Для наглядности приведена программа вычисления определителя матрицы несколькими методами, написанная на языке программирования C++. Программа используется как лабораторный стенд для создания иллюстраций к отчету. А также проводится исследование методов для решения систем линейных алгебраических уравнений. Доказывается бесполезность вычисления обратной матрицы, поэтому в работе приводится более оптимальные способы решения уравнений не вычисляя ее. Рассказывается почему существует такое количество различных методов вычисления определителей и обратных матриц и разбираются их недостатки. Также рассматриваются погрешности при вычислении определителя и оценивается достигнутая точность. Помимо русских терминов в работе используются и их английские эквиваленты для понимания, под какими названиями искать численные процедуры в библиотеках и что означают их параметры.
Основные определения и простейшие свойства
Определитель
Введем определение определителя квадратной матрицы любого порядка. Это определение будет рекуррентным, то есть чтобы установить, что такое определитель матрицы порядка , нужно уже знать, что такое определитель матрицы порядка . Отметим также, что определитель существует только у квадратных матриц.
Определитель квадратной матрицы будем обозначать или det .
Определение 1. Определителем квадратной матрицы второго порядка называется число .
Определителем квадратной матрицы порядка , , называется число
где – определитель матрицы порядка , полученной из матрицы вычеркиванием первой строки и столбца с номером .
Для наглядности запишем, как можно вычислить определитель матрицы четвертого порядка:
Замечание. Реальное вычисление определителей для матриц выше третьего порядка на основе определения используется в исключительных случаях. Как правило, вычисление ведется по другим алгоритмам, которые будут рассмотрены позже и которые требуют меньше вычислительной работы.
Замечание. В определении 1 было бы точнее сказать, что определитель есть функция, определенная на множестве квадратных матриц порядка и принимающая значения в множестве чисел.
Замечание. В литературе вместо термина “определитель” используется также термин “детерминант”, имеющий тот же самый смысл. От слова “детерминант” и появилось обозначение det .
Рассмотрим некоторые свойства определителей, которые сформулируем в виде утверждений.
Утверждение 1. При транспонировании матрицы определитель не меняется, то есть .
Утверждение 2. Определитель произведения квадратных матриц равен произведению определителей сомножителей, то есть .
Утверждение 3. Если в матрице поменять местами две строки, то ее определитель сменит знак.
Утверждение 4. Если матрица имеет две одинаковые строки, то ее определитель равен нулю.
В дальнейшем нам потребуется складывать строки и умножать строку на число. Эти действия над строками (столбцами) мы будем выполнять так же, как действия над матрицами-строками (матрицами-столбцами), то есть поэлементно. Результатом будет служить строка (столбец), как правило, не совпадающая со строками исходной матрицы. При наличии операций сложения строк (столбцов) и умножения их на число мы можем говорить и о линейных комбинациях строк (столбцов), то есть суммах с числовыми коэффициентами.
Утверждение 5. Если строку матрицы умножить на число , то ее определитель умножится на это число.
Утверждение 6. Если матрица содержит нулевую строку, то ее определитель равен нулю.
Утверждение 7. Если одна из строк матрицы равна другой, умноженной на число (строки пропорциональны), то определитель матрицы равен нулю.
Утверждение 8. Пусть в матрице i-ая строка имеет вид . Тогда , где матрица получается из матрицы заменой i-ой строки на строку , а матрица – заменой i-ой строки на строку .
Утверждение 9. Если к одной из строк матрицы добавить другую, умноженную на число, то определитель матрицы не изменится.
Утверждение 10. Если одна из строк матрицы является линейной комбинацией других ее строк, то определитель матрицы равен нулю.
Определение 2. Алгебраическим дополнением к элементу матрицы называется число, равное , где – определитель матрицы, полученной из матрицы вычеркиванием i-ой строки и j-ого столбца.
Алгебраическое дополнение к элементу матрицы обозначается .
Пример.
Пусть .
Тогда
Замечание. Используя алгебраические дополнения, определение 1 определителя можно записать так:
Утверждение 11. Разложение определителя по произвольной строке.
Для определителя матрицы справедлива формула
Пример.
Вычислите .
Решение. Воспользуемся разложением по третьей строке, так выгоднее, поскольку в третьей строке два числа из трех – нули. Получим
Утверждение 12. Для квадратной матрицы порядка при выполнено соотношение .
Утверждение 13. Все свойства определителя, сформулированные для строк (утверждения 1 – 11), справедливы и для столбцов, в частности, справедливо разложение определителя по j-ому столбцу и равенство при .
Утверждение 14. Определитель треугольной матрицы равен произведению элементов ее главной диагонали.
Следствие. Определитель единичной матрицы равен единице, .
Вывод. Перечисленные выше свойства позволяют находить определители матриц достаточно высоких порядков при сравнительно небольшом объеме вычислений. Алгоритм вычислений следующий.
Алгоритм создания нулей в столбце.
Пусть требуется вычислить определитель порядка . Если , то поменяем местами первую строку и любую другую, в которой первый элемент не нуль. В результате определитель , будет равен определителю новой матрицы с противоположным знаком. Если же первый элемент каждой строки равен нулю, то матрица имеет нулевой столбец и по утверждениям 1, 13 ее определитель равен нулю.
Итак, считаем, что уже в исходной матрице . Первую строку оставляем без изменений. Прибавим ко второй строке первую строку, умноженную на число . Тогда первый элемент второй строки будет равен .
Остальные элементы новой второй строки обозначим , . Определитель новой матрицы по утверждению 9 равен .
Первую строку умножим на число и прибавим к третьей. Первый элемент новой третьей строки будет равен
Остальные элементы новой третьей строки обозначим , . Определитель новой матрицы по утверждению 9 равен .
Процесс получения нулей вместо первых элементов строк продолжим дальше. Наконец, первую строку умножим на число и прибавим к последней строке. В результате получается матрица, обозначим ее , которая имеет вид
причем . Для вычисления определителя матрицы используем разложение по первому столбцу
Так как , то
В правой части стоит определитель матрицы порядка . К нему применим тот же алгоритм, и вычисление определителя матрицы сведется к вычислению определителя матрицы порядка . Процесс повторяем до тех пор, пока не дойдем до определителя второго порядка, который вычисляется по определению.
Если матрица не обладает какими-то специфическими свойствами, то заметно уменьшить объем вычислений по сравнению с предложенным алгоритмом не удается. Еще одна хорошая сторона этого алгоритма – по нему легко составить программу для компьютера для вычисления определителей матриц больших порядков. В стандартных программах вычисления определителей используется этот алгоритм с не принципиальными изменениями, связанными с минимизацией влияния ошибок округления и погрешностей входных данных при вычислениях компьютера.
Пример. Вычислите определитель матрицы .
Решение. Первую строку оставляем без изменения. Ко второй строке прибавляем первую, умноженную на число :
Определитель не меняется. К третьей строке прибавляем первую, умноженную на число :
Определитель не меняется. К четвертой строке прибавляем первую, умноженную на число :
Определитель не меняется. В результате получаем
По тому же алгоритму считаем определитель матрицы порядка 3, стоящий справа. Первую строку оставляем без изменений, ко второй строке прибавляем первую, умноженную на число :
К третьей строке прибавляем первую, умноженную на число :
В результате получаем
Ответ. .
Замечание. Хотя при вычислениях использовались дроби, результат оказался целым числом. Действительно, используя свойства определителей и то, что исходные числа – целые, операций с дробями можно было бы избежать. Но в инженерной практике числа крайне редко бывают целыми. Поэтому, как правило, элементы определителя будут десятичными дробями и применять какие-то ухищрения для упрощения вычислений нецелесообразно.
Обратная матрица
Определение 3. Матрица называется обратной матрицей для квадратной матрицы , если .
Из определения следует, что обратная матрица будет квадратной матрицей того же порядка, что и матрица (иначе одно из произведений или было бы не определено).
Обратная матрица для матрицы обозначается . Таким образом, если существует, то .
Из определения обратной матрицы следует, что матрица является обратной для матрицы , то есть . Про матрицы и можно говорить, что они обратны друг другу или взаимно обратны.
Если определитель матрицы равен нулю, то обратная к ней не существует.
Так как для нахождения обратной матрицы важно, равен ли определитель марицы нулю или нет, то введем следующие определения.
Определение 4. Квадратную матрицу назовем вырожденной или особенной матрицей, если , и невырожденной или неособенной матрицей, если .
Утверждение. Если обратная матрица существует, то она единственна.
Утверждение. Если квадратная матрица является невырожденной, то обратная для нее существует и (1)
где – алгебраические дополнения к элементам .
Теорема.
Обратная матрица для квадратной матрицы существует тогда и только тогда, когда матрица – невырожденная, обратная матрица единственна, и справедлива формула (1).
Замечание. Следует обратить особое внимание на места, занимаемые алгебраическими дополнениями в формуле обратной матрицы: первый индекс показывает номер столбца, а второй – номер строки, в которые нужно записать вычисленное алгебраическое дополнение.
Пример. Найдите обратную матрицу для матрицы .
Решение. Находим определитель
Так как , то матрица – невырожденная, и обратная для нее существует.
Находим алгебраические дополнения:
Составляем обратную матрицу, размещая найденные алгебраические дополнения так, чтобы первый индекс соответствовал столбцу, а второй – строке: (2)
Полученная матрица (2) и служит ответом к задаче.
Замечание. В предыдущем примере было бы точнее ответ записать так: (3)
Однако запись (2) более компактна и с ней удобнее проводить дальнейшие вычисления, если таковые потребуются. Поэтому запись ответа в виде (2) предпочтительнее, если элементы матриц – целые числа. И наоборот, если элементы матрицы – десятичные дроби, то обратную матрицу лучше записать без множителя впереди.
Замечание. При нахождении обратной матрицы приходится выполнять довольно много вычислений и необычно правило расстановки алгебраических дополнений в итоговой матрице. Поэтому велика вероятность ошибки. Чтобы избежать ошибок следует делать проверку: вычислить произведение исходной матрицы на итоговую в том или ином порядке. Если в результате получится единичная матрица, то обратная матрица найдена правильно. В противном случае нужно искать ошибку.
Пример. Найдите обратную матрицу для матрицы .
Решение.
– существует.
Ответ: .
Вывод. Нахождение обратной матрицы по формуле (1) требует слишком много вычислений. Для матриц четвертого порядка и выше это неприемлемо. Реальный алгоритм нахождения обратной матрицы будет приведен позже.
Вычисление определителя и обратной матрицы с помощью метода Гаусса
Метод Гаусса можно использовать для нахождения определителя и обратной матрицы [5, стр.316-317].
Именно, определитель матрицы равен det .
Обратная матрица находится решением систем линейных уравнений методом исключения Гаусса:
, где есть j-тый столбец единичной матрицы , – искомый вектор.
Полученные векторы решений – образуют, очевидно, столбцов матрицы , поскольку .
Формулы для определителя
1. Если матрица невырожденная, то и
(произведение ведущих элементов).
Знак плюс или минус дается определителем матрицы (или ) и зависит от того, является число перестановок строк в приведении четным или нечетным. Для треугольных сомножителей имеем и
2. Определитель матрицы может быть вычислен разлоразложением по алгебраическим дополнениям i-й строки:
.
Алгебраическое дополнение есть определитель подподматрицы
, взятый с нужным знаком:
.
Подматрица образуется вычеркиванием i-й строки и j-го столбца матрицы .
3. Правило Крамера: j-й элемент вектора равен
, где
В – вектор заменяет собой j-й столбец матрицы .
Пример.
Решение системы
4. Формула для ведущих элементов.
Если матрица представляется в виде , то левые верхние углы удовлетворяют соотношению
Для разных разложения подматриц «согласованы» друг с другом.
Объем параллелепипеда
Связь между определителем и объемом не очевидна, однако мы можем предположить для начала, что все углы прямые, т. е. грани взаимно перпендикулярны, и мы имеем дело с прямоугольным параллелепипедом. Тогда объем его равен просто произведению длин ребер .
Мы хотим получить ту же самую формулу с помощью определителя. С этой целью вспомним, что ребра параллелепипеда представляются строками матрицы . В нашем случае эти строки
взаимно ортогональны, так что
Величины суть квадраты длин строк матрицы, т. е. квадраты длин ребер, и нули вне диагонали получаются вследствие ортогональности строк. Переходя к определителям, получаем
Извлекая корень, мы и приходим к требуемому соотношению:
определитель равняется объему. Знак при будет зависеть от того, образуют ребра правостороннюю систему координат вида или левостороннюю .
Если область не прямоугольна, то объем уже не равен произведению длин ребер. В плоском случае «объем» параллелограмма равен произведению длины основания на высоту .
Вектор длины есть разность между вектором второй строки и его проекцией на вектор первой строки.
Площадь паралелограмма равна .
Площади квадрата и параллелограмма.
Первый представляет собой единичный квадрат, и его площадь, равна 1. Второй есть параллелограмм с единичными основанием и высотой; его площадь не зависит от «сдвига», даваемого коэффициентом , и равна 1.
Литература
- http://e-lib.gasu.ru/eposobia/metody/
- http://www.exponenta.ru/educat/systemat/slivina/lection/lection2/lection2.asp
- http://elib.ispu.ru/library/math/sem1/index.html
- Вычисление матриц Якоби и Гессе
- Киселёв В.Ю., Пяртли А.С., Калугина Т.Ф. Высшая математика.
- Боглаев Ю.П. Вычислительная математика и программирование. – М., Высшая школа, 1990, 544 с.
- Стренг Г. Линейная алгебра и ее приминения / Под ред. Г. И. Марчука. М.: Мир, 1980. 453 c.
См. также
- Практикум ММП ВМК, 4й курс, осень 2008
Как найти обратную матрицу
- Быстрый способ для матриц $2 times 2$
- Пример 1
- Пример 2
- Нахождение с помощью метода Гаусса
- Пример 3
- Пример 4
- Метод союзной матрицы(алгебраические дополнения)
- Пример 5
Обратная матрица обозначается $ A^{-1} $ и существует только для матриц, у которых определитель не равен нулю $ det A neq 0 $.
Быстрый способ для матриц $2 times 2$
Пусть задана матрица $A = begin{pmatrix} a&b\c&d end{pmatrix}$. Для быстрого способа нахождения обратной матрицы необходимо поменять местами элементы стоящие на главной диагонали, а для оставшихся элементов поменять знак на противоположный. Затем каждый элемент разделить матрицы разделить на определитель исходной матрицы. Математическая формула выглядит следующим образом $$A^{-1} = frac{1}{det A} begin{pmatrix} d&-b \ -c&a end{pmatrix} = frac{1}{ad-bc} begin{pmatrix} d&-b \ -c&a end{pmatrix}.$$
Пример 1 |
Найти обратную матрицу для $A = begin{pmatrix} 3&4 \ 5&9 end{pmatrix}$. |
Решение |
Первым делом вычисляем определитель и убеждаемся, что он не равен нулю $$det A = begin{vmatrix} 3&4 \ 5&9 end{vmatrix} = 3cdot9 – 4cdot5 = 27 – 20 = 7.$$ Итак, определитель не равен нулю, значит, обратная матрица существует. Продолжаем наш алгоритм. Меняем элементы на главной диагонали местами, а у оставшихся элементов меняем знак на противоположный. $$A^{-1} = frac{1}{7} begin{pmatrix} 9&-4 \ -5&3 end{pmatrix} = begin{pmatrix} frac{9}{7}&frac{-4}{7} \ frac{-5}{7}&frac{3}{7} end{pmatrix}.$$ |
Ответ |
$$A^{-1} = begin{pmatrix} frac{9}{7}&frac{-4}{7} \ frac{-5}{7}&frac{3}{7} end{pmatrix}$$ |
Пример 2 |
Вычислить обратную матрицу для $A = begin{pmatrix} 2&-1 \ 4&-6 end{pmatrix}$. |
Решение |
Находим определитель $$det A = begin{vmatrix} 2&-1 \ 4&-6 end{vmatrix} = 2cdot(-6) – 4cdot(-1) = -12 + 4 = -8.$$ Меняем местами элементы главной диагонали, а остальным меняем знак на противоположный. Не забываем затем каждый элемент разделить на определитель. $$A^{-1} = frac{1}{-8} begin{pmatrix} -6&1 \ -4&2 end{pmatrix} = begin{pmatrix} frac{-6}{-8}&frac{1}{-8} \ frac{-4}{-8}&frac{2}{-8} end{pmatrix} = begin{pmatrix} frac{3}{4}&-frac{1}{8} \ frac{1}{2}&-frac{1}{4} end{pmatrix}$$ |
Ответ |
$$A^{-1} = begin{pmatrix} frac{3}{4}&-frac{1}{8} \ frac{1}{2}&-frac{1}{4} end{pmatrix}$$ |
Нахождение с помощью метода Гаусса
На практике чаще всего метод Гаусса используется как способ нахождения обратной матрицы. Суть метода в том, что к основной матрице добавляется дополнительная единичная матрица с такой же размерностью.
$$ Bigg (begin{matrix} a_{11}&a_{12}&a_{13}\a_{21}&a_{22}&a_{23}\a_{31}&a_{32}&a_{33} end{matrix} Bigg | begin{matrix} 1&0&0\0&1&0\0&0&1 end{matrix} Bigg ) $$
Далее нужно путем простейших элементарных преобразований привести левую матрицу к единичной, а одновременно с ней справа получится обратная матрица:
$$ Bigg (begin{matrix} 1&0&0\0&1&0\0&0&1 end{matrix} Bigg | begin{matrix} b_{11}&b_{12}&b_{13}\b_{21}&b_{22}&b_{23}\b_{31}&b_{32}&b_{33} end{matrix} Bigg ) $$
$$A^{-1} = begin{pmatrix} b_{11}&b_{12}&b_{13}\b_{21}&b_{22}&b_{23}\b_{31}&b_{32}&b_{33} end{pmatrix}$$
Пример 3 |
Найти обратную матрицу элементарными преобразованиями $$A = begin{pmatrix} 2&-1&0 \ 0&2&-1 \ -1&-1&1 end{pmatrix}.$$ |
Решение |
Вычисляем определитель матрицы, чтобы убедиться что он не равен нулю $$det A = begin{vmatrix} 2&-1&0 \ 0&2&-1 \ -1&-1&1 end{vmatrix} = 4-1+0-0-2-0=1 neq 0.$$ Выписываем основную матрицу и добавляем справа единичную матрицу. $$begin{pmatrix} 2&-1&0 &|& 1&0&0 \ 0&2&-1 &|& 0&1&0 \ -1&-1&1 &|& 0&0&1 end{pmatrix}$$ Проводим элементарные преобразования над строками матриц таким образом, чтобы слева получилась единичная матрица. В то же время как справа получим обратную матрицу. Умножаем третью строку на 2 и прибавляем первую. $$begin{pmatrix} 2&-1&0 &|& 1&0&0 \ 0&2&-1 &|& 0&1&0 \ 0&-3&2 &|& 1&0&2 end{pmatrix}$$ Умножаем третью строку на 2 и прибавляем к ней вторую строку, умноженную на 3. $$begin{pmatrix} 2&-1&0 &|& 1&0&0 \ 0&2&-1 &|& 0&1&0 \ 0&0&1 &|& 2&3&4 end{pmatrix}$$ Теперь запускаем обратный ход преобразований снизу вверх. Ко второй строке прибавляем третью. $$begin{pmatrix} 2&-1&0 &|& 1&0&0 \ 0&2&0 &|& 2&4&4 \ 0&0&1 &|& 2&3&4 end{pmatrix}$$ Умножаем первую строку на 2 и прибавляем к ней вторую строчку матрицы. $$begin{pmatrix} 4&0&0 &|& 4&4&4 \ 0&2&0 &|& 2&4&4 \ 0&0&1 &|& 2&3&4 end{pmatrix}$$ Теперь, чтобы слева получилась единичная матрица нужно первую строку разделить на 4, вторую на 2. $$begin{pmatrix} 1&0&0 &|& 1&1&1 \ 0&1&0 &|& 1&2&2 \ 0&0&1 &|& 2&3&4 end{pmatrix}$$ Справа как видим получилась обратная матрица $$A^{-1} = begin{pmatrix} 1&1&1 \ 1&2&2 \ 2&3&4 end{pmatrix}.$$ Если не получается решить свою задачу, то присылайте её к нам. Мы предоставим подробное решение онлайн. Вы сможете ознакомиться с ходом вычисления и почерпнуть информацию. Это поможет своевременно получить зачёт у преподавателя! |
Ответ |
$$A^{-1} = begin{pmatrix} 1&1&1 \ 1&2&2 \ 2&3&4 end{pmatrix}$$ |
Пример 4 |
Дана матрица, найти обратную $$A = begin{pmatrix} 3&2&1 \ 1&0&2 \ 4&1&3 end{pmatrix}.$$ |
Решение |
Первым делом вычисляем определитель, чтобы убедиться в существовании обратной матрицы $$det A = begin{vmatrix} 3&2&1 \ 1&0&2 \ 4&1&3 end{vmatrix} = 0+16+1-0-6-6=5.$$ Теперь справа от матрицы дописываем единичную матрицу $$begin{pmatrix} 3&2&1 &|& 1&0&0 \ 1&0&2 &|& 0&1&0 \ 4&1&3 &|& 0&0&1 end{pmatrix}.$$ Теперь с помощью элементарных преобразований делаем так, чтобы слева стояла единичная матрица. А справа получим одновременно обратную матрицу. Умножаем вторую строку на 3 и вычитаем из неё первую. Умножаем третью строчку на 3 и вычитаем первую, умноженную на 4. $$begin{pmatrix} 3&2&1 &|& 1&0&0 \ 0&-2&5 &|& -1&3&0 \ 0&-5&5 &|& -4&0&3 end{pmatrix}$$ Умножаем третью строку на 2 и вычитаем вторую, умноженную на 5. $$begin{pmatrix} 3&2&1 &|& 1&0&0 \ 0&-2&5 &|& -1&3&0 \ 0&0&-15 &|& -3&-15&6 end{pmatrix}$$ Третью строку можно разделить на 3, чтобы уменьшить числа для дальнейшего удобства. Сделаем это. $$begin{pmatrix} 3&2&1 &|& 1&0&0 \ 0&-2&5 &|& -1&3&0 \ 0&0&-5 &|& -1&-5&2 end{pmatrix}$$ Начинаем проводить преобразования над строками теперь снизу вверх. Умножаем первую строку на 5 и прибавляем к ней третью. Ко второй строке просто прибавляем третью. $$begin{pmatrix} 15&10&0 &|& 4&-5&2 \ 0&-2&0 &|& -2&-2&2 \ 0&0&-5 &|& -1&-5&2 end{pmatrix}$$ К первой строке прибавляем вторую, умноженную на 5. $$begin{pmatrix} 15&0&0 &|& -6&-15&12 \ 0&-2&0 &|& -2&-2&2 \ 0&0&-5 &|& -1&-5&2 end{pmatrix}$$ Осталось разделить первую строку на 15, вторую на (-2), а третью на (-5). $$begin{pmatrix} 1&0&0 &|& -frac{2}{5}&-1&frac{4}{5} \ 0&1&0 &|& 1&1&-1 \ 0&0&1 &|& frac{1}{5}&1&-frac{2}{5} end{pmatrix}$$ |
Ответ |
$$begin{pmatrix} 1&0&0 &|& -frac{2}{5}&-1&frac{4}{5} \ 0&1&0 &|& 1&1&-1 \ 0&0&1 &|& frac{1}{5}&1&-frac{2}{5} end{pmatrix}$$ |
Метод союзной матрицы(алгебраические дополнения)
Формула нахождения обратной матрицы через алгебраические дополнения выглядит следующим образом
$$A^{-1} = frac{1}{|A|} (A^*)^T. $$
Матрица $A^*$ называется союзной (присоединенной) матрицей и представляет собой набор алгебраических дополнений матрицы $ A $:
$$ A^* = begin{pmatrix} A_{11}&A_{12}&A_{13}\A_{21}&A_{22}&A_{23}\A_{31}&A_{22}&A_{33} end{pmatrix}, text{ где } A_{ij}=(-1)^{i+j} M_{ij} $$
$M_{ij} $ называется минором матрицы, который получается путем вычеркивания $ i $-ой строки и $ j $-того столбца из матрицы.
Пример 5 |
Найти обратную матрицу методом алгебраических дополнений $$ A = begin{pmatrix} 3&1&2\-1&3&-2\0&-1&4 end{pmatrix} $$ |
Решение |
Итак, пользуемся формулой $ A^{-1} = frac{1}{|A|} (A^*)^T $ Первым делом вычисляем определитель матрицы $ A $, так как необходимым условием существование обратной матрицы является неравенство его к нулю: $$ |A| = begin{vmatrix} 3&1&2\-1&3&-2\0&-1&4 end{vmatrix} = 36 + 0 + 2 – 0 – 6 + 4 = 36 neq 0 $$ Находим алгебраические дополнения матрицы $ A $. Для этого удаляем все элементы стоящие в i-ой строке и в j-ом столбце. Оставшиеся элементы матрицы переписываем в определитель и проводим его вычисление. Вычеркиваем первую строку и первый столбец: $$ A_{11} = (-1)^{1+1} cdot begin{vmatrix} 3&-2\-1&4 end{vmatrix} = 12 – 2 = 10 $$ Убираем первую строку и второй столбец: $$ A_{12} = (-1)^{1+2} cdot begin{vmatrix} -1&-2\0&4 end{vmatrix} = -(-4 – 0) = 4 $$ Оставшиеся алгебраические дополнения находим по аналогии с предыдущими двумя. $$ A_{13} = (-1)^{1+3} cdot begin{vmatrix} -1&3\0&-1 end{vmatrix} = 1 – 0 = 1 $$ $$ A_{21} = (-1)^{2+1} cdot begin{vmatrix} 1&2\-1&4 end{vmatrix} = -(4 + 2) = -6 $$ $$ A_{22} = (-1)^{2+2} cdot begin{vmatrix} 3&2\0&4 end{vmatrix} = 12 – 0 = 12 $$ $$ A_{23} = (-1)^{2+3} cdot begin{vmatrix} 3&1\0&-1 end{vmatrix} = -(-3 – 0) = 3 $$ $$ A_{31} = (-1)^{3+1} cdot begin{vmatrix} 1&2\3&-2 end{vmatrix} = -2 – 6 = -8 $$ $$ A_{32} = (-1)^{3+2} cdot begin{vmatrix} 3&2\-1&-2 end{vmatrix} = -(-6 + 2) = 4 $$ $$ A_{33} = (-1)^{3+3} cdot begin{vmatrix} 3&1\-1&3 end{vmatrix} = 9+1 = 10 $$ Составляем союзную (присоединенную) матрицу $ A^* $ из алгебраических дополнений: $$ A^* = begin{pmatrix} 10&4&1\-6&12&3\-8&4&10 end{pmatrix}. $$ Транспонируем её и обозначаем $ (A^*)^T $: $$ (A^*)^T = begin{pmatrix} 10&-6&-8\4&12&4\1&3&10 end{pmatrix} $$ В итоге находим обратную матрицу $ A^{-1} $: $$ A^{-1} = frac{1}{36} begin{pmatrix} 10&-6&-8\4&12&4\1&3&10 end{pmatrix} $$ Делим каждый элемент матрицы на 36 и получаем следующее: $$begin{pmatrix} frac{5}{18}&-frac{1}{6}&-frac{2}{9}\ frac{1}{9}&frac{1}{3}&frac{1}{9}\frac{1}{36}&frac{1}{12}&frac{5}{18} end{pmatrix}.$$ |
Ответ |
$$A^{-1} =begin{pmatrix} frac{5}{18}&-frac{1}{6}&-frac{2}{9}\ frac{1}{9}&frac{1}{3}&frac{1}{9}\frac{1}{36}&frac{1}{12}&frac{5}{18} end{pmatrix}$$ |
Обра́тная
ма́трица —
такая матрица
(А-1),
что их умножение (с любой стороны) даст
в результате единичную матрицу
Свойства
обратной матрицы
Способы
нахождения обратной матрицы
-
Нахождение обратной
матрицы с помощью присоединенной
(АǀЕ) ̴ (ЕǀА-1)
Пример.
С помощью элементарных преобразований
строк найти обратную матрицу к матрице
A.
Определитель
равен –2, следовательно существует
обратная матрица. Припишем к исходной
матрице единичную, и будем преобразовывать
матрицу A, к виду единичной матрицы.
Тогда единичная матрица преобразуется
в обратную к матрице A.
-
Нахождение обратной
матрицы по формуле:
Пример.
Найдите обратную матрицу для
матрицы
Решение.
Находим определитель
Так
как
то
матрица А – невырожденная, и обратная
для нее существует. Находим алгебраические
дополнения:
Составляем
обратную матрицу, размещая найденные
алгебраические дополнения так, чтобы
первый индекс соответствовал столбцу,
а второй – строке:
Полученная
матрица и служит ответом к задаче.
Билет 7. Решение систем линейных уравнений с помощью формул Крамера и с помощью обратной матрицы.
АХ=В
Умножим на А-1
обе части уравнения
А-1 * А * Х = А-1
*В
ЕХ = А-1В
Х
= А-1В
5х1 + 10х2 =
4
3х1 – х2 =
1
А
;
В =
;
Х =
Метод Крамера
(правило Крамера) — способ решения
квадратных систем линейных алгебраических
уравнений (СЛАУ) с ненулевым определителем
основной матрицы (причём для таких
уравнений решение существует и оно
единственно)
Билет 8. Векторы и линейные операции над ними. Арифметическое n-мерное векторное пространство Rn. Геометрический смысл пространств r2 и r1
Вектором называется
направленный отрезок.
Линейными
операциями
называются операции сложения и
вычитания векторов и умножения
вектора на число.
1. Сумма
векторов
и
находится
по правилу
треугольника
или
по правилу
параллелограмма
— эти
правила равносильны.
Сложение
векторов
коммутативно и ассоциативно:
2.
Разность векторов
можно
определить как сумму
,
т. е. вычитание заменяется прибавлением
противоположного вектора.
Удобно
также правило
треугольника:
векторы
и
откладывают
от общего начала, тогда разность
есть
вектор, начало которого совпадает с
концом
,
а конец — с концом
3.
Произведением
(или
)
вектора
на
действительное число λ называется
вектор
,
коллинеарный вектору
,
имеющий длину, равную
,
и то же направление, что и вектор
,
если λ >
0, и направление, противоположное
направлению вектора
,
если λ <
0.
Так, например,
есть
вектор, имеющий то же направление, что
и вектор
,
а длину, вдвое большую, чем вектор
(рис.
108).
В
случае, когда λ = 0 или
,
произведение
представляет
собой нулевой вектор.
Противоположный
вектор
можно
рассматривать как результат умножения
вектора
на
λ = -1:
.
Очевидно, что
.
Множество
всех векторов размерности n называется
арифметическим n-мерным векторным
пространством и обозначается Rn.
Геометрический смысл
имеют лишь пространства R1, R2, R3 . Для R1 –
это прямая, для R2 – плоскость, для R3 –
трехмерное пространство.
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]
- #
- #
- #
- #
- #
- #
- #
- #
- #
- #
- #
Загрузить PDF
Загрузить PDF
Как правило, обратные операции используются для упрощения сложных алгебраических выражений. Например, если в задаче присутствует операция деления на дробь, можно заменить ее операцией умножения на обратную дробь, что является обратной операцией. Более того, матрицы делить нельзя, поэтому нужно умножать на обратную матрицу. Вычислять матрицу, обратную матрице размером 3х3, довольно утомительно, но нужно уметь делать это вручную. Также обратную величину можно найти с помощью хорошего графического калькулятора.
-
1
Проверьте определитель матрицы. Сначала вычислите определитель матрицы. Если определитель равен 0, то обратную матрицу вычислить нельзя. Определитель матрицы М обозначается как det(М).[1]
- В случае матрицы размером 3х3 сначала обязательно вычислите определитель.
- Чтобы получить подробную информацию, прочитайте статью Как найти определитель матрицы 3х3.
-
2
Транспонируйте исходную матрицу. Транспонирование – это замена строк на столбцы относительно главной диагонали матрицы, то есть нужно поменять местами элементы (i,j) и (j,i). При этом элементы главной диагонали (начинается в верхнем левом углу и заканчивается в нижнем правом углу) не меняются.[2]
- Чтобы поменять строки на столбцы, запишите элементы первой строки в первом столбце, элементы второй строки во втором столбце, а элементы третьей строки в третьем столбце. Порядок изменения положения элементов показан на рисунке, на котором соответствующие элементы обведены цветными кружками.
-
3
Найдите определить каждой матрицы размером 2х2. Каждый элемент любой матрицы, включая транспонированную, связан с соответствующей матрицей 2х2. Чтобы найти матрицу 2х2, которая соответствует определенному элементу, зачеркните строку и столбец, в которых находится данный элемент, то есть нужно зачеркнуть пять элементов исходной матрицы 3х3. Незачеркнутыми останутся четыре элемента, которые являются элементами соответствующей матрицы 2х2.[3]
- Например, чтобы найти матрицу 2х2 для элемента, который расположен на пересечении второй строки и первого столбца, зачеркните пять элементов, которые находятся во второй строке и первом столбце. Оставшиеся четыре элемента являются элементами соответствующей матрицы 2х2.
- Найдите определитель каждой матрицы 2х2. Для этого произведение элементов второстепенной диагонали вычтите из произведения элементов главной диагонали (смотрите рисунок).
- Подробную информацию о матрицах 2х2, соответствующих определенным элементам матрицы 3х3, можно найти в интернете.
-
4
Создайте матрицу кофакторов. Результаты, полученные ранее, запишите в виде новой матрицы кофакторов. Для этого найденный определитель каждой матрицы 2х2 напишите там, где располагался соответствующий элемент матрицы 3х3. Например, если рассматривается матрица 2х2 для элемента (1,1), ее определитель запишите в позиции (1,1). Затем поменяйте знаки соответствующих элементов согласно определенной схеме, которая показана на рисунке.[4]
- Схема изменения знаков: знак первого элемента первой строки не меняется; знак второго элемента первой строки меняется на противоположный; знак третьего элемента первой строки не меняется и так далее построчно. Обратите внимание, что знаки «+» и «-», которые показаны на схеме (смотрите рисунок), не свидетельствуют о том, что соответствующий элемент будет положительным или отрицательным. В данном случае знак «+» говорит о том, что знак элемента не меняется, а знак «-» свидетельствует об изменении знака элемента.
- Подробную информацию о матрицах кофакторов можно найти в интернете.
- Так вы найдете присоединенную матрицу исходной матрицы. Иногда ее называют комплексно-сопряженной матрицей. Такая матрица обозначается как adj(M).
-
5
Разделите каждый элемент присоединенной матрицы на определитель. Определитель матрицы М был вычислен в самом начале, чтобы проверить, что обратная матрица существует. Теперь разделите каждый элемент присоединенной матрицы на этот определитель. Результат каждой операции деления запишите там, где находится соответствующий элемент. Так вы найдете матрицу, обратную исходной.[5]
- Определитель матрицы, которая показана на рисунке, равен 1. Таким образом, здесь присоединенная матрица является обратной матрицей (потому что при делении любого числа на 1 оно не меняется).
- В некоторых источниках операция деления заменяется операцией умножения на 1/det(М). При этом конечный результат не меняется.
Реклама
-
1
Единичную матрицу напишите рядом с исходной матрицей. Запишите исходную матрицу М, справа от нее нарисуйте вертикальную черту, а затем справа от черты запишите единичную матрицу. Получится матрица с тремя строками и шестью столбцами (большая матрица).[6]
- Напомним, что единичной матрицей является матрица, где элементами главной диагонали являются единицы, а остальными элементами являются нули. Подробную информацию о единичных матрицах можно найти в интернете.
-
2
Выполните элементарные преобразования, чтобы из исходной матрицы получить единичную. Наша цель заключается в том, чтобы создать единичную матрицу на левой половине большой матрицы. Элементарные преобразования, выполняемые на левой половине большой матрицы, нужно выполнять и на ее правой половине (напомним, что правой половиной большой матрицы является единичная матрица).[7]
- Помните, что элементарные преобразования включают в себя операции скалярного умножения, а также сложения и вычитания строк, чтобы обособить определенные элементы. Подробную информацию об элементарных преобразованиях матриц можно найти в интернете.
-
3
Продолжайте преобразовывать большую матрицу до тех пор, пока ее левая половина (то есть исходная матрица) не превратится в единичную матрицу. Напомним, что единичной матрицей является матрица, где элементами главной диагонали являются единицы, а остальными элементами являются нули. Когда исходная матрица станет единичной, на правой половине большой матрицы вы получите матрицу, обратную исходной.[8]
-
4
Запишите обратную матрицу. Запишите элементы, расположенные на правой половине большой матрицы, в виде отдельной матрицы, которая является обратной матрицей.[9]
Реклама
-
1
Выберите калькулятор, который работает с матрицами. С помощью простых калькуляторов нельзя найти обратную матрицу, но это можно сделать на хорошем графическом калькуляторе, таком как Texas Instruments TI-83 или TI-86.[10]
-
2
Введите исходную матрицу в память калькулятора. Для этого нажмите кнопку Matrix (Матрица), если она есть. В случае калькулятора Texas Instruments, возможно, понадобится нажать кнопки 2nd и Matrix.
-
3
Выберите меню Edit (Редактирование). Сделайте это с помощью кнопок со стрелками или соответствующей функциональной кнопки, которая находится в верхней части клавиатуры калькулятора (расположение кнопки зависит от модели калькулятора).[11]
-
4
Введите обозначение матрицы. Большинство графических калькуляторов умеет работать с 3-10 матрицами, которые можно обозначить буквами А-J. Как правило, просто выберите [A], чтобы обозначить исходную матрицу. Затем нажмите кнопку Enter (Ввод).[12]
-
5
Введите размер матрицы. В данной статье говорится о матрицах 3х3. Но графические калькуляторы умеют работать с матрицами больших размеров. Введите количество строк, нажмите кнопку Enter, затем введите количество столбцов и еще раз нажмите кнопку Enter.[13]
-
6
Введите каждый элемент матрицы. На экране калькулятора отобразится матрица. Если ранее в калькулятор уже вводилась матрица, она появится на экране. Курсор выделит первый элемент матрицы. Введите значение первого элемента и нажмите Enter. Курсор автоматически переместится к следующему элементу матрицы.[14]
- Чтобы ввести отрицательное значение элемента, нажмите специальную кнопку со знаком «минус», а не кнопку операции вычитания; в противном случае калькулятор не сможет правильно обработать это число.
- Чтобы перейти к определенному элементу матрицы, воспользуйтесь кнопками со стрелками.
-
7
Выйдите из режима введения матрицы. Введя значения всех элементов матрицы, нажмите кнопку Quit (Выход). (Или, если необходимо, нажмите кнопки 2nd и Quit.) Так вы выйдете из режима введения матрицы и перейдете на основной экран калькулятора.[15]
-
8
Воспользуйтесь специальной кнопкой, чтобы найти обратную матрицу. Во-первых, войдите в режим ввода матрицы (нажмите кнопку Matrix) и нажмите кнопку Names (Обозначения), чтобы выбрать обозначение матрицы, которое вы указали ранее (скорее всего, [A]). Затем нажмите кнопку выполнения обратной операции, которая помечена как (возможно, сначала придется нажать кнопку 2nd). На экране отобразится . Нажмите Enter, чтобы вывести на экран обратную матрицу.[16]
- Не пользуйтесь кнопкой ^ (кнопка для возведения в степень), чтобы ввести A^-1 посредством нажатия нескольких клавиш. Калькулятор не поймет эту операцию.
- Если после нажатия на кнопку обратной операции на экране отобразилось сообщение об ошибке, скорее всего, обратная матрица не существует. Чтобы убедиться в этом, вычислите определить матрицы.
-
9
Преобразуйте значения элементов обратной матрицы в обыкновенные дроби. По умолчанию калькулятор отображает значения элементов обратной матрицы в виде десятичных дробей; в большинстве случаев такую матрицу нельзя записать в ответе. Поэтому десятичные значения элементов обратной матрицы необходимо преобразовать в обыкновенные дроби (в редчайших случаях все элементы обратной матрицы будут целыми числами).[17]
- Во многих графических калькуляторах есть кнопка, позволяющая преобразовывать десятичные дроби в обыкновенные. Например, на калькуляторе TI-86 нажмите Math (Математика), выберите Misc (Другое), затем выберите Frac (Дробь) и нажмите Enter. Десятичные дроби будут автоматически преобразованы в обыкновенные.
Реклама
Советы
- Описанные методы можно применять к матрицам, элементами которых являются не только числа, но и переменные, неизвестные и даже алгебраические выражения.
- Вычисления записывайте на бумаге, так как найти обратную матрицу в уме крайне сложно.
- Существуют компьютерные программы, которые умеют работать с любыми матрицами[18]
, включая матрицы 30х30. - Проверьте ответ, полученный с помощью любого из описанных в этой статье методов. Для этого перемножьте исходную (М) и обратную (М1) матрицы. Помните, что М*М1 = М1*М = 1. Единичная матрица – это матрица, где элементами главной диагонали являются единицы, а остальными элементами являются нули. Если результат перемножения не равен 1, проверьте ваши вычисления.
Реклама
Предупреждения
- Не все матрицы 3×3 обратимы. Если определитель матрицы равен 0, обратная матрица не существует. (Обратите внимание, что в вычислениях присутствует деление на определитель, а на 0 делить нельзя.)
Реклама
Об этой статье
Эту страницу просматривали 89 818 раз.
Была ли эта статья полезной?
Методы вычисления определителей
При вычислении определителей высокого порядка (больше 3-го) определение, как правило, не используется, так как это приводит к громоздким выражениям и требует большого количества арифметических операций. Гораздо эффективнее использовать свойства определителей. Наиболее важными для вычисления определителей являются свойства 3, 6, 9. Эти свойства можно назвать элементарными преобразованиями определителя, что соответствует элементарным преобразованиям матрицы.
I. Перестановка двух столбцов (строк) определителя приводит к изменению его знака на противоположный.
II. Умножение всех элементов одного столбца (строки) определителя на одно и то же число, отличное от нуля, приводит к умножению определителя на это число.
III. Прибавление к элементам одного столбца (строки) определителя соответствующих элементов другого столбца, умноженных на одно и то же число, не изменяет определитель.
При помощи элементарных преобразований можно упростить определитель, т.е. привести его к виду, удобному для вычислений.
Метод приведения определителя к треугольному виду
При помощи элементарных преобразований любую матрицу можно привести к верхнему (или нижнему) треугольному виду (метод Гаусса). Отсюда следует, что любой определитель, используя перечисленные выше элементарные преобразования, можно привести к треугольному виду, а затем вычислить согласно п.3 замечаний 2.2.
Итак, метод состоит из двух шагов.
1. При помощи элементарных преобразований привести определитель к треугольному виду.
2. Вычислить определитель треугольного вида, перемножая его элементы, стоящие на главной диагонали.
Пример 2.12. Вычислить определитель четвёртого порядка
приводя его к треугольному виду.
Решение. 1. При помощи элементарных преобразований приведем матрицу к треугольному виду. Взяв элемент первой строки в качестве ведущего, все остальные элементы первого столбца сделаем равными нулю. Для этого ко второй строке прибавим первую, умноженную на (-2), к третьей строке прибавим первую, умноженную на (-3), а к четвертой строке прибавим первую, умноженную на (-4):
Заметим, что при использовании этих элементарных преобразований III типа определитель не изменяется.
Умножим элементы второй строки на (-1), а элементы третьей строки — на 0,5, при этом, чтобы не нарушить равенство, надо полученный определитель разделить на , т.е. умножить на (-2):
В полученной матрице нужно сделать равными нулю элементы и второго столбца, стоящие ниже главной диагонали. Для этого берем в качестве ведущего элемента и прибавляем к третьей и четвертой строкам вторую строку, умноженную на 1 и на 7 соответственно:
Осталось сделать равным нулю элемент . К четвертой строке прибавим третью, умноженную на 2 (определитель при этом не изменится):
Получили определитель треугольного вида.
2. Вычислим определитель верхней треугольной матрицы, перемножая элементы, стоящие на главной диагонали:
Метод понижения порядка определителя
Этот метод также основан на элементарных преобразованиях определителя.
1. При помощи элементарного преобразования III типа нужно в одном столбце (или одной строке) сделать равными нулю все элементы, за исключением одного.
2. Разложить определитель по этому столбцу (строке) и получить определитель меньшего порядка, чем исходный. Если его порядок больше 1, то следует перейти к п. 1, иначе вычисления закончить.
Пример 2.13. Вычислить определитель четвёртого порядка методом понижения порядка.
Решение. 1. В качестве ведущего элемента возьмем , а все остальные элементы второй строки при помощи элементарных преобразований сделаем равными нулю. Для этого ко второму столбцу прибавим четвертый, умноженный на (-3):
2. Разложим определитель по второй строке
Получили определитель третьего порядка.
Вынесем за знак определителя множитель (2) из второго столбца (точнее все элементы второго столбца умножим на 0,5 , а получившийся определитель умножим на 2):
Прибавим ко второму столбцу первый
Полученный определитель разложим по второму столбцу
Получили определитель 2-го порядка.
Прибавим ко второй строке первую, умноженную на (-2)
Разложим определитель по второй строке и заменим определитель первого порядка единственным его элементом
Результат совпадает с полученным в примере 2.7.
Метод изменения всех элементов определителя
При вычислении определителей бывает полезно изменить все его элементы, умножив их на одно и то же число, не равное нулю, либо прибавить к каждому элементу одно и то же число. Найдем формулы изменения определителя при этих преобразованиях.
Пусть дана квадратная матрица n-го порядка. Из свойства 6 следует, что при умножении всех элементов определителя n-го порядка на число определитель умножается на число .
Рассмотрим теперь определитель матрицы , элементы которой получены из соответствующих элементов матрицы прибавлением числа
Применяя свойство 7 к первому столбцу этого определителя, получаем сумму определителей
То же свойство применяем к каждому определителю (“раскладывая” второй столбец) и т.д. В итоге получим сумму определителей n-го порядка, причем определители, имеющие по два и более столбцов из элементов, равных , равны нулю (по свойству 4). Поэтому в сумме остаются только слагаемых: определитель матрицы и определителей вида
отличающихся от определителя матрицы только j-м столбцом. Раскладывая этот определитель по j-му столбцу, получаем сумму алгебраических дополнений элементов этого столбца, умноженную на
Следовательно, сумма всех таких определителей равна сумме алгебраических дополнений всех элементов матрицы , умноженной на
Окончательно получаем, что при увеличении всех элементов определителя на число , определитель увеличивается на сумму всех алгебраических дополнений, умноженную на число
Пример 2.14. Вычислить определитель n-го порядка
Решение. Рассмотрим определитель диагональной матрицы
Искомый определитель получается прибавлением к каждому элементу определителя матрицы числа . Поэтому
Определитель диагональной матрицы равен произведению диагональных элементов:
Осталось вычислить сумму алгебраических дополнений всех элементов матрицы . Заметим, что алгебраическое дополнение недиагонального элемента равно нулю ( при , так как дополнительный минор содержит нулевой столбец). Дополнительный минор диагонального элемента — это определитель диагональной матрицы, т.е.
Поэтому
Вычисление определителей с помощью рекуррентных уравнений
Этот метод заключается в том, что исходный определитель n-го порядка выражается через определители того же вида, но меньшего порядка. Получается рекуррентное уравнение
Решая это уравнение, находим формулу, выражающую определитель через определители и порядок
В последнюю формулу подставляем определители невысокого порядка, которые нетрудно вычислить каким-либо другим способом.
Замечание 2.6. Рекуррентным уравнением называется равенство вида , выражающее n-й член искомой числовой последовательности через её предыдущих членов . Методы решения таких уравнений рассматриваются в разд.
Пример 2.15. Вычислить определитель n-го порядка
Решение. Разложим определитель по первой строке
Первый из полученных определителей (n-l)-ro порядка обозначим , так как он имеет такой же вид, что и . Разложив последний определитель по первому столбцу, получим определитель того же вида, что и , но (n-2)-го порядка
Следовательно, искомый определитель удовлетворяет рекуррентному уравнению
Решение этого уравнения будем искать в виде , где и — неизвестные коэффициенты. Заметим, что эта формула дает решение рекуррентного уравнения при любых коэффициентах и . В самом деле, подставляя в уравнение, получаем тождество
Подберем теперь коэффициенты и в формуле так, чтобы при и она давала правильные результаты, т.е.
Решая систему уравнений получаем . Следовательно, искомый определитель равен
Пример 2.16. Вычислить определитель Вандермонда
где — действительные числа.
Решение. Рассмотрим определитель
который отличается от определителя Вандермонда последним столбцом, но совпадает с ним при . Раскладывая определитель по последнему столбцу, получаем многочлен (n-1)-й степени действительной переменной
где старший коэффициент равен алгебраическому дополнению элемента
т.е. определителю — определителю Вандермонда (n-l)-ro порядка. Заметим, что при определитель равен нулю, так как он имеет два одинаковых столбца (свойство 4). Следовательно, — корень многочлена . То же самое можно сказать про числа . Все они являются корнями многочлена . Следовательно, этот многочлен имеет вид:
Подставляя в это равенство и учитывая, что , получаем рекуррентное уравнение
Записывая аналогичным образом и учитывая, что , получаем
Таким образом, определитель Вандермонда равен произведению всех разностей при .
Математический форум (помощь с решением задач, обсуждение вопросов по математике).
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.