Gram-Schmidt Process in Plane and Space: Visual Orthonormalization
The Story: Building an Orthonormal World from Arbitrary Directions The Gram-Schmidt Process is an algorithm …
The determinant of a $3 \times 3$ matrix measures the signed volume scaling factor of the parallelepiped spanned by its column vectors in $\mathbb{R}^3$. If $\det(A) = 0$, the transformation collapses 3D space onto a flat plane or line, rendering the matrix non-invertible.
Computing this volume algebraically requires evaluating $3! = 6$ distinct permutation products. In this 2-part masterclass, we explore how two classic techniques—Laplace’s First Row Expansion and Sarrus’ Rule—tackle the exact same computation from two fundamentally different angles.
Given an arbitrary $3 \times 3$ matrix $A$:
$$ A = \begin{pmatrix} a & b & c \\ d & e & f \\ g & h & i \end{pmatrix} $$Laplace expansion decomposes the determinant along any row or column into smaller $(n-1) \times (n-1)$ sub-determinants (called minors $M_{ij}$), weighted by cofactors $C_{ij} = (-1)^{i+j} M_{ij}$.
Expanding along the first row ($i = 1$):
Element $a$ (row 1, col 1 $\to +$): Cross out row 1 and column 1:
$$+a \cdot \begin{vmatrix} e & f \\ h & i \end{vmatrix} = a(ei - fh)$$Element $b$ (row 1, col 2 $\to -$): Cross out row 1 and column 2:
$$-b \cdot \begin{vmatrix} d & f \\ g & i \end{vmatrix} = -b(di - fg)$$Element $c$ (row 1, col 3 $\to +$): Cross out row 1 and column 3:
$$+c \cdot \begin{vmatrix} d & e \\ g & h \end{vmatrix} = c(dh - eg)$$Combining these three pieces yields the complete expanded polynomial:
$$ \det(A) = aei - afh - bdi + bfg + cdh - ceg $$Reordering positive terms first and negative terms second:
$$ \det(A) = (aei + bfg + cdh) - (afh + bdi + ceg) $$In 1846, French mathematician Pierre Frédéric Sarrus discovered that the reordered 6 terms can be read off the matrix visually without calculating sub-matrices.
By augmenting the matrix with copies of its first two columns:
$$ \begin{array}{c|ccc|c} c & a & b & c & a\\ f & d & e & f & d\\ i & g & h & i & g \end{array} $$The terms naturally group into two sets of three diagonals:
Tracing top-left to bottom-right:
Tracing bottom-left to top-right:
| Term in Expansion | Laplace Origin | Sarrus Diagonal | Sign |
|---|---|---|---|
| $+aei$ | From $a(ei - fh)$ | Downward diagonal $(a \cdot e \cdot i)$ | $+$ |
| $+bfg$ | From $-b(di - fg) \to +bfg$ | Downward diagonal $(b \cdot f \cdot g)$ | $+$ |
| $+cdh$ | From $c(dh - eg)$ | Downward diagonal $(c \cdot d \cdot h)$ | $+$ |
| $-afh$ | From $a(ei - fh) \to -afh$ | Upward diagonal $(h \cdot f \cdot a)$ | $-$ |
| $-bdi$ | From $-b(di - fg) \to -bdi$ | Upward diagonal $(i \cdot d \cdot b)$ | $-$ |
| $-ceg$ | From $c(dh - eg) \to -ceg$ | Upward diagonal $(g \cdot e \cdot c)$ | $-$ |
Part 1 — Laplace Cofactor Expansion along the First Row: Decomposes the $3 \times 3$ matrix into three $2 \times 2$ sub-determinants with alternating signs ($+ - +$):
$$\det(A) = a \begin{vmatrix} e & f \\ h & i \end{vmatrix} - b \begin{vmatrix} d & f \\ g & i \end{vmatrix} + c \begin{vmatrix} d & e \\ g & h \end{vmatrix} = a(ei-fh) - b(di-fg) + c(dh-eg)$$
Part 2 — Sarrus’ Geometric Shortcut: Pierre Sarrus’ visual mnemonic writes the first two columns to the right, grouping the expansion into 3 positive downward diagonals and 3 negative upward diagonals:
$$\det(A) = \underbrace{(aei + bfg + cdh)}_{\text{Downward Diagonals (+)}} - \underbrace{(ceg + afh + bdi)}_{\text{Upward Diagonals (-)}}$$Both techniques compute the exact same 6 polynomial terms, but Sarrus bypasses the need to write out $2 \times 2$ minors!
