Свойства определителя и объём в 3D

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

Определитель $n \times n$-матрицы равен ориентированному объёму $n$-мерного параллелепипеда, натянутого на её столбцы.

Площадь в 2D обобщается до объёма в 3D и «гиперобъёма» в $n$ измерениях. Понимание свойств определителя избавляет от заучивания громоздких формул: вместо них работают несколько простых правил, прямо вытекающих из геометрии объёма.

Определитель 3×3

$$\det \begin{bmatrix} a & b & c \\ d & e & f \\ g & h & i \end{bmatrix} = a(ei - fh) - b(di - fg) + c(dh - eg)$$

Это разложение по первой строке. Геометрически результат — объём параллелепипеда на трёх столбцах-векторах. Нулевой объём (векторы лежат в одной плоскости) даёт нулевой определитель — трёхмерный аналог коллинеарности.

Ключевые свойства

• Определитель треугольной (и диагональной) матрицы — произведение элементов диагонали.
• Перестановка двух строк меняет знак определителя.
• Прибавление к строке кратной другой строки определитель не меняет — именно поэтому метод Гаусса годится для его вычисления.
• $\det(AB) = \det(A)\det(B)$ и $\det(A^{-1}) = 1/\det(A)$.

def det3(M):
    a, b, c = M[0]
    d, e, f = M[1]
    g, h, i = M[2]
    return (a * (e * i - f * h)
            - b * (d * i - f * g)
            + c * (d * h - e * g))

I3 = [[1, 0, 0], [0, 1, 0], [0, 0, 1]]
box = [[1, 0, 0], [0, 2, 0], [0, 0, 3]]
flat = [[1, 2, 3], [2, 4, 6], [0, 1, 1]]  # 2-я строка = 2 x 1-й
print("единичная:", det3(I3))
print("коробка 1x2x3:", det3(box))
print("плоские векторы:", det3(flat))

Вывод:

единичная: 1
коробка 1x2x3: 6
плоские векторы: 0

Объём подтверждается

Диагональная матрица $\text{diag}(1, 2, 3)$ задаёт коробку со сторонами $1, 2, 3$, её объём $1 \cdot 2 \cdot 3 = 6$ — ровно определитель. А матрица, где вторая строка вдвое больше первой, имеет зависимые векторы: они умещаются в плоскость, объём нулевой, определитель ноль.

Как работает под капотом

Для больших матриц разложение по строке слишком дорого (число операций растёт как факториал). На практике определитель считают методом Гаусса: приводят матрицу к треугольному виду (что определитель не меняет, кроме знака при перестановках), а затем перемножают диагональ. Это превращает экспоненциальную задачу в кубическую. Свойство $\det(AB) = \det(A)\det(B)$ — прямое следствие того, что объёмы при композиции преобразований перемножаются: если $A$ удваивает объём, а $B$ утраивает, то вместе — в шесть раз.

Частые ошибки

• Путать знаки в разложении $3 \times 3$: знаки чередуются $+\,-\,+$, средний член идёт с минусом.
• Думать, что прибавление строк меняет определитель. Прибавление кратной строки его сохраняет (а вот перестановка — меняет знак).
• Считать определитель больших матриц прямым разложением. Это непрактично — нужен метод Гаусса.

Итог

• Определитель $3 \times 3$ — объём параллелепипеда; нулевой объём ⇒ зависимые векторы.
• Определитель треугольной матрицы = произведение диагонали.
• Прибавление кратной строки не меняет определитель, перестановка строк меняет его знак.
• $\det(AB) = \det(A)\det(B)$; на практике определитель ищут методом Гаусса.