Определитель 2×2 как площадь

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

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

Из всех чисел, которые можно извлечь из матрицы, определитель — самое геометричное. Он отвечает на вопрос: что преобразование делает с площадью? Растягивает вдвое — определитель 2. Схлопывает в линию — определитель 0. Переворачивает плоскость — определитель отрицательный.

Формула

$$\det \begin{bmatrix} a & b \\ c & d \end{bmatrix} = ad - bc$$

Если столбцы матрицы — векторы $(a, c)$ и $(b, d)$, то $ad - bc$ — это (со знаком) площадь параллелограмма, который они образуют. Единичная матрица даёт $1 \cdot 1 - 0 = 1$: площадь единичного квадрата не меняется, что логично — это «ничего не делать».

Что значит знак

Положительный определитель — преобразование сохраняет ориентацию (правая тройка остаётся правой). Отрицательный — ориентация переворачивается, как отражение в зеркале. Нулевой — параллелограмм вырождается в отрезок, площадь равна нулю, преобразование «сплющивает» плоскость.

def det2(M):
    return M[0][0] * M[1][1] - M[0][1] * M[1][0]

print("единичная:", det2([[1, 0], [0, 1]]))      # 1
print("растяжение x2,x3:", det2([[2, 0], [0, 3]]))  # 6
print("сдвиг:", det2([[1, 2], [0, 1]]))           # 1
print("вырожденная:", det2([[1, 2], [2, 4]]))     # 0
print("отражение:", det2([[1, 0], [0, -1]]))      # -1

Вывод:

единичная: 1
растяжение x2,x3: 6
сдвиг: 1
вырожденная: 0
отражение: -1

Читаем числа

Растяжение по $x$ вдвое и по $y$ втрое умножает площадь на $2 \cdot 3 = 6$. Сдвиг (shear) площадь сохраняет — определитель 1, хотя картинка наклоняется. Вырожденная матрица даёт 0: её столбцы коллинеарны, и плоскость схлопывается. Отражение по оси $x$ даёт $-1$: площадь та же, но ориентация перевернулась.

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

Формула $ad - bc$ — это площадь параллелограмма, выведенная через векторное произведение в 2D. Можно проверить: для перпендикулярных векторов длины $p$ и $q$ вдоль осей определитель даст $pq$ — площадь прямоугольника. Связь определителя с площадью объясняет сразу несколько фактов: почему $\det = 0$ означает линейную зависимость (нулевая площадь), почему $\det(AB) = \det(A)\det(B)$ (растяжения площади перемножаются) и почему преобразование обратимо ровно тогда, когда определитель не ноль.

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

Путать знаки: определитель — это $ad - bc$, а не $ab - cd$. Перемножаются элементы по диагоналям.
Игнорировать знак. Отрицательный определитель — не ошибка, а указание на смену ориентации (отражение).
Думать, что нулевой определитель значит «нет матрицы». Это значит, что преобразование вырождено и необратимо.

Итог

$\det = ad - bc$ — ориентированная площадь параллелограмма на столбцах.
Модуль определителя — коэффициент изменения площади; знак — сохранение/смену ориентации.
$\det = 0$ ⇔ столбцы зависимы, преобразование схлопывает плоскость и необратимо.
$\det(AB) = \det(A)\det(B)$: коэффициенты растяжения перемножаются.