들어가며
행렬식을 처음 배울 때 이런 의문이 생깁니다.
"2×2 행렬에서 왜 하필 ad에서 bc를 빼는 거지? 이 공식은 어디서 나온 건가?"
결론부터 말하면 — 행렬식은 임의로 정해진 계산 규칙이 아닙니다. 행렬의 두 열(세로줄)을 화살표(벡터)로 보면, 그 두 화살표가 평면에 그리는 평행사변형의 넓이가 바로 \(ad - bc\)입니다. 공식을 먼저 외우는 대신, 넓이를 구하는 과정을 따라가면 공식이 자연스럽게 나옵니다.
행렬의 두 열을 벡터로 보기
2×2 행렬
$$A = \begin{pmatrix} a & b \\ c & d \end{pmatrix}$$의 각 열을 평면 위의 화살표, 즉 열벡터(column vector) 로 읽겠습니다.
- 첫째 열 → 화살표 \(\mathbf{v}_1 = (a,\, c)\)
- 둘째 열 → 화살표 \(\mathbf{v}_2 = (b,\, d)\)
원점에서 두 화살표를 그리면 평행사변형 하나가 만들어집니다. 이 평행사변형의 두 변이 v₁과 v₂이고, 나머지 두 꼭짓점은 v₁ + v₂와 원점입니다.
ad − bc가 어떻게 넓이가 되나
두 화살표 v₁ = (a, c), v₂ = (b, d)가 만드는 평행사변형의 넓이를 계산합니다.
직관: 평행사변형 넓이 = 밑변 × 높이. 그런데 화살표가 기울어져 있을 때 "높이"를 직접 재는 것보다 더 편한 방법이 있습니다 — 2차원 외적(cross product)을 이용하면 바로 나옵니다.
3차원으로 잠깐 확장해서 생각합니다. v₁과 v₂를 평면 위 벡터 (a, c, 0)와 (b, d, 0)으로 보면 두 벡터의 외적은
$$\mathbf{v}_1 \times \mathbf{v}_2 = \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ a & c & 0 \\ b & d & 0 \end{vmatrix}$$이고, z성분만 남아 \(ad - bc\)가 됩니다. 외적의 크기가 평행사변형 넓이이므로
$$\text{넓이} = |ad - bc|$$세 가지 경우로 확인합니다.
경우 1 — 단위 정사각형
$$\mathbf{v}_1 = (1,\, 0),\quad \mathbf{v}_2 = (0,\, 1)$$$$\text{넓이} = |1 \cdot 1 - 0 \cdot 0| = 1 \checkmark$$경우 2 — 2배 확대 정사각형
$$\mathbf{v}_1 = (2,\, 0),\quad \mathbf{v}_2 = (0,\, 2)$$$$\text{넓이} = |2 \cdot 2 - 0 \cdot 0| = 4 \checkmark$$경우 3 — 기울어진 평행사변형
$$\mathbf{v}_1 = (2,\, 0),\quad \mathbf{v}_2 = (1,\, 2)$$$$\text{넓이} = |2 \cdot 2 - 1 \cdot 0| = 4$$밑변이 2, 높이가 2 — 기울어도 넓이는 그대로입니다.
부호의 의미
\(ad - bc\)는 음수가 될 수도 있습니다. 절댓값이 넓이라면 부호는 무엇을 나타낼까요?
부호는 두 벡터의 방향 관계, 즉 v₂가 v₁에서 봤을 때 어느 쪽에 있는가를 나타냅니다.
- 양수 (+): v₂가 v₁의 반시계 방향에 있음 — 공간의 방향을 보존하는 변환
- 음수 (−): v₂가 v₁의 시계 방향에 있음 — 공간을 뒤집는 변환
- 0: 두 벡터가 평행 — 평행사변형이 납작해짐
쉽게 말해, 행렬식의 부호는 "이 행렬이 거울처럼 공간을 뒤집는가?"를 알려줍니다. 양수면 방향 보존, 음수면 방향 반전입니다.
det = 0이면 납작해짐
행렬식이 0이 된다는 것은 두 열벡터가 같은 직선 위에 있다는 뜻입니다. 예를 들어
$$\mathbf{v}_1 = (2,\, 1),\quad \mathbf{v}_2 = (4,\, 2) = 2\mathbf{v}_1$$일 때
$$ad - bc = 2 \cdot 2 - 4 \cdot 1 = 0$$v₂가 v₁의 두 배이므로 두 화살표는 같은 방향을 가리킵니다. 평행사변형이 선분 하나로 납작해집니다.
공간의 관점에서 보면, 이 행렬은 2차원 평면 전체를 1차원 직선으로 압축합니다. 압축된 것을 되돌리는 방법은 없습니다 — 직선만 보고 원래 평면을 복원할 수 없으니까요. 그래서 행렬식이 0이면:
- 역행렬이 존재하지 않는다
- 이 행렬이 들어간 연립방정식은 해가 없거나 무수히 많다
행렬식 하나가 "이 변환을 되돌릴 수 있는가"를 바로 판별해 줍니다.
직접 체험하기
아래 인터랙티브에서 슬라이더로 행렬 원소 a, b, c, d를 조절하면, 열벡터 v₁ = (a, c)과 v₂ = (b, d)가 만드는 평행사변형과 행렬식 값이 실시간으로 바뀝니다.
납작해지기 프리셋을 눌러 det = 0 순간을 확인하고, 방향 뒤집기 프리셋으로 행렬식이 음수가 되는 경우도 살펴보세요.
3×3 행렬식은 부피
같은 논리가 3차원으로 이어집니다. 3×3 행렬의 세 열벡터
$$\mathbf{v}_1,\quad \mathbf{v}_2,\quad \mathbf{v}_3$$이 3차원에서 만드는 도형은 평행육면체(parallelepiped) 입니다. 그 부피가 3×3 행렬식입니다.
이 역시 det = 0이면 세 벡터가 한 평면에 눌려 부피가 0이 됩니다. 2차원이 3차원으로 바뀌어도 핵심은 같습니다 — 행렬식은 "열벡터들이 펼쳐놓는 공간의 크기" 입니다.
크라메르 공식과의 연결
크라메르 공식에서 나오는 해
$$x = \frac{D_x}{D}, \quad y = \frac{D_y}{D}$$를 보면, 분모 \(D = ad - bc\)는 원래 평행사변형 넓이이고, 분자 \(D_x\)는 해당 열을 상수로 바꾼 새 평행사변형의 넓이입니다. 즉 크라메르 공식은 넓이의 비율로 해를 구하는 방법입니다. 이 연결을 알면 두 공식이 따로따로 외울 필요 없이 하나의 기하학적 그림으로 보입니다.
핵심 정리
| 상황 | 의미 |
|---|---|
| det(A) > 0 | v₂가 v₁의 반시계 방향, 공간 방향 보존 |
| det(A) < 0 | v₂가 v₁의 시계 방향, 공간 방향 반전 |
| det(A) = 0 | 두 벡터 평행 → 납작해짐, 역행렬 없음 |
| det(A)의 절댓값 | 열벡터가 만드는 평행사변형(또는 평행육면체)의 넓이(부피) |
AI로 이런 걸 공부할 때
행렬식 계산 자체는 AI가 즉시 처리합니다. "왜 그 공식인가"를 파고들 때 유용한 질문 예시:
- "두 행을 서로 교환하면 행렬식 부호가 왜 바뀌나? 평행사변형 넓이로 설명해줘."
- "3×3 행렬식을 여인수 전개(cofactor expansion)로 계산하는 이유를 부피와 연결해서 설명해줘."
- "행렬식이 0이 아닌데 연립방정식의 해가 무수히 많을 수 있나? 왜 없나?"
마치며
\(ad - bc\)는 임의로 정해진 공식이 아닙니다. 행렬의 두 열벡터가 평면에 펼쳐놓는 평행사변형의 넓이가 그 값입니다. 넓이가 0이면 역행렬이 없고, 넓이가 클수록 변환이 공간을 크게 늘린다는 것을 기억하면 행렬식의 여러 성질 — 행 교환 시 부호 변화, 스칼라 배, 전치행렬과의 동치 — 이 모두 기하학적으로 납득됩니다.
함께 보면 좋은 글 — 먼저 읽으면 좋은 글: 행렬 곱셈은 왜 그렇게 이상하게 곱하나 · 크라메르 공식은 왜 그 모양일까 → 이어서: i를 곱하면 왜 90° 회전인가 (곧 공개)