Как понимать определитель
Значение определителя имеет прямой геометрический и алгебраический смысл.
| Определитель | Значение |
|---|---|
| det != 0 | Матрица обратима; линейная система Ax = b имеет единственное решение |
| det = 0 | Матрица вырожденна; обратной не существует; строки/столбцы линейно зависимы |
| |det| > 1 | Преобразование увеличивает площади (2x2) или объёмы (3x3) в |det| раз |
| |det| < 1 | Преобразование уменьшает площади или объёмы |
| det < 0 | Преобразование меняет ориентацию на противоположную (содержит отражение) |
- Обратная матрица выводится для матриц 2x2 с ненулевым определителем. У вырожденной матрицы (определитель 0) обратной не существует; в режиме 3x3 выводятся только определитель и след.
- Элементы нужно вводить в построчном порядке, и их количество должно точно соответствовать выбранному размеру: 4 элемента для 2x2 и 9 для 3x3.
- След равен сумме собственных значений, а определитель — их произведению: два стандартных тождества линейной алгебры.
- Умножение матриц в общем случае некоммутативно, но равенство A x A^-1 = A^-1 x A = I выполняется всегда для обратимой A.
Что такое определитель, след и обратная матрица?
Матрица — это прямоугольная таблица чисел; у квадратной матрицы число строк равно числу столбцов. Определитель — одно число, вычисляемое по квадратной матрице, которое показывает, обратима ли матрица и как она изменяет масштаб пространства: линейное преобразование с определителем d умножает площади (2x2) или объёмы (3x3) на |d|, а отрицательный определитель означает отражение (смену ориентации).
Матрица обратима (невырожденна) тогда и только тогда, когда её определитель отличен от нуля. Обратная матрица A^-1 отменяет действие A: произведение A на A^-1 даёт единичную матрицу. Если определитель равен нулю, матрица вырожденна — она сжимает пространство в прямую или плоскость — и обратной матрицы не существует. Определитель также показывает, имеет ли линейная система Ax = b единственное решение.
След — это сумма элементов на главной диагонали (от левого верхнего угла к правому нижнему). Он равен сумме собственных значений матрицы и встречается по всей линейной алгебре и физике. Для матрицы 2x2 характеристический многочлен полностью определяется следом и определителем: lambda^2 - trace x lambda + det = 0.
Как пользоваться калькулятором матриц
- Выберите размер матрицы: 2 x 2 (ровно 4 элемента) или 3 x 3 (ровно 9 элементов).
- Введите элементы в построчном порядке — сначала первая строка слева направо, затем вторая и так далее. Для матрицы со строками (4, 7) и (2, 6) введите: 4; 7; 2; 6.
- Посмотрите определитель и след.
- Для матрицы 2 x 2 с ненулевым определителем посмотрите обратную матрицу, которая выводится построчно в виде [a, b; c, d]. У вырожденных матриц (определитель 0) обратной не существует, а в режиме 3 x 3 выводятся только определитель и след.
Формулы определителя, следа и обратной матрицы
Определитель 2x2: для матрицы со строками (a, b) и (c, d) det = ad - bc. Разбор примера со строками (4, 7) и (2, 6): det = 4 x 6 - 7 x 2 = 24 - 14 = 10. След равен a + d = 4 + 6 = 10.
Обратная матрица 2x2: при ненулевом определителе A^-1 = (1/det) x [d, -b; -c, a] — поменяйте местами диагональные элементы, смените знак у побочных и разделите всё на определитель. Для примера: (1/10) x [6, -7; -2, 4] = [0.6, -0.7; -0.2, 0.4]. Проверка: произведение исходной матрицы на эту обратную даёт единичную матрицу.
Определитель 3x3 (разложение по первой строке): для строк (a, b, c), (d, e, f), (g, h, i) det = a(ei - fh) - b(di - fg) + c(dh - eg). Разбор примера со строками (1, 2, 3), (4, 5, 6), (7, 8, 10): det = 1 x (5 x 10 - 6 x 8) - 2 x (4 x 10 - 6 x 7) + 3 x (4 x 8 - 5 x 7) = 1 x 2 - 2 x (-2) + 3 x (-3) = 2 + 4 - 9 = -3. След равен 1 + 5 + 10 = 16.
Типичные ошибки
- Ввод значений по столбцам — этот калькулятор читает элементы построчно, поэтому [4, 7, 2, 6] означает строки (4, 7) и (2, 6).
- Вычисление определителя 2x2 как ad + bc вместо ad - bc.
- Пропуск чередования знаков при разложении 3x3: средний член вычитается, det = a(ei - fh) - b(di - fg) + c(dh - eg).
- Попытка обратить матрицу с определителем 0 — у вырожденных матриц обратной не существует.
- В формуле обратной матрицы 2x2 меняют местами не ту пару: местами меняются диагональные элементы a и d, а b и c остаются на своих местах, но меняют знак.
Часто задаваемые вопросы
Как вычислить определитель матрицы 2x2?
Для матрицы со строками (a, b) и (c, d) определитель равен ad - bc: перемножьте элементы главной диагонали, перемножьте элементы побочной и вычтите второе из первого. Для строк (4, 7) и (2, 6) det = 4 x 6 - 7 x 2 = 24 - 14 = 10.
Как найти обратную матрицу 2x2?
Если определитель ad - bc не равен нулю, поменяйте местами диагональные элементы, смените знак у побочных и разделите каждый элемент на определитель: A^-1 = (1/(ad - bc)) x [d, -b; -c, a]. Для строк (4, 7) и (2, 6) с определителем 10 обратная матрица равна [0.6, -0.7; -0.2, 0.4]. Если определитель равен нулю, обратной матрицы не существует.
Что означает нулевой определитель?
Нулевой определитель означает, что матрица вырожденна: её строки (и столбцы) линейно зависимы, задаваемое ею преобразование сжимает пространство в меньшую размерность, и обратной матрицы у неё нет. Линейная система с вырожденной матрицей коэффициентов либо не имеет решений, либо имеет их бесконечно много, но никогда ровно одно.
Что такое след матрицы?
След — это сумма элементов главной диагонали, от левого верхнего угла к правому нижнему. Для строк (4, 7) и (2, 6) след равен 4 + 6 = 10. След равен сумме собственных значений матрицы, что делает его удобным инвариантом в линейной алгебре, геометрии и физике.
Как вычисляется определитель 3x3?
Разложением по первой строке: det = a(ei - fh) - b(di - fg) + c(dh - eg) для строк (a, b, c), (d, e, f), (g, h, i). Каждый элемент первой строки умножается на определитель матрицы 2x2, остающейся после вычёркивания его строки и столбца, со знаками, чередующимися как +, -, +. Для строк (1, 2, 3), (4, 5, 6), (7, 8, 10) получаем 2 + 4 - 9 = -3.
Почему калькулятор не показывает обратную матрицу 3x3?
Для обращения матрицы 3x3 нужна полная присоединённая матрица (транспонированная матрица алгебраических дополнений), делённая на определитель, — девять вычислений дополнений, что выходит за рамки этого инструмента. Калькулятор выводит определитель и след для матриц 3x3 и полную обратную матрицу для невырожденных матриц 2x2.
Источники
- Strang G. Introduction to Linear Algebra. Wellesley-Cambridge Press (determinants, inverses and the trace).
- Weisstein, Eric W. "Determinant" and "Matrix Inverse." MathWorld — A Wolfram Web Resource. mathworld.wolfram.com.
- Anton H, Rorres C. Elementary Linear Algebra. Wiley (cofactor expansion and the adjugate formula).