Determinant of a Matrix

⚡ Key Takeaways

The determinant is a single number computed from a square matrix that tells you whether the matrix is invertible (nonzero determinant) or singular (zero determinant), and measures how the matrix scales area or volume. One-line statement: $\det(A)$ is a scalar function of a square matrix encoding invertibility and signed volume scaling. Applies to: solving linear systems, finding inverses, computing areas/volumes, eigenvalues, and changes of variables. Origin: developed by Leibniz, Cramer, Laplace, Cauchy, and others from the 1690s to the 1810s.

💡 The Core Insight

A matrix represents a linear transformation of space. The determinant measures how much that transformation stretches or squashes area (2D) or volume (3D), including a sign for orientation. If the determinant is zero, the transformation flattens space — losing a dimension — which is exactly why such a matrix cannot be undone (inverted). Everything else about determinants follows from this single geometric idea.

DefinitionDeterminant — Small Cases

For a $2\times 2$ matrix, the determinant is defined directly:

1

\quad \det\begin{pmatrix} a & b \\ c & d \end{pmatrix} = ad - bc

Derivation hint: This is the signed area of the parallelogram with edge vectors $(a,c)$ and $(b,d)$ ; the cross-product-like formula $ad-bc$ arises from base times height with orientation. For a $3\times 3$ matrix, expand along the first row using $2\times 2$ minors:

2

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

Derivation hint: Each entry of the top row is multiplied by the determinant of the $2\times 2$ matrix left after deleting its row and column, with alternating $+,-,+$ signs.

Symbols: $a,b,c,\dots$ are real (or complex) matrix entries; $\det(A)$ or $|A|$ denotes the determinant; a minor $M_{ij}$ is the determinant of the submatrix obtained by deleting row $i$ and column $j$ ; the cofactor is $C_{ij} = (-1)^{i+j}M_{ij}$ .

DefinitionDeterminant — General Cofactor (Laplace) Expansion

For an $n\times n$ matrix $A = (a_{ij})$ , the determinant can be computed by expanding along any row $i$ :

3

\quad \det(A) = \sum_{j=1}^{n} a_{ij}\,(-1)^{i+j}\,M_{ij}

Derivation hint: This recursive definition reduces an $n\times n$ determinant to a sum of $n$ determinants of size $(n-1)\times(n-1)$ ; the alternating sign $(-1)^{i+j}$ creates a checkerboard pattern. Equivalently, the Leibniz formula defines it as a sum over all permutations $\sigma$ of $\{1,\dots,n\}$ :

4

\quad \det(A) = \sum_{\sigma \in S_n} \operatorname{sgn}(\sigma) \prod_{i=1}^{n} a_{i,\sigma(i)}

Derivation hint: Each term picks exactly one entry from every row and column; $\operatorname{sgn}(\sigma) = \pm 1$ counts whether the permutation is built from an even or odd number of swaps.

TheoremKey Properties of the Determinant

For square matrices $A,B$ of the same size: 1. Multiplicativity: $\det(AB) = \det(A)\det(B)$ . 2. Invertibility: $A$ is invertible if and only if $\det(A)\neq 0$ , and then $\det(A^{-1}) = 1/\det(A)$ . 3. Transpose: $\det(A^{T}) = \det(A)$ . 4. Triangular matrices: the determinant equals the product of the diagonal entries. 5. Row operations: swapping two rows multiplies $\det$ by $-1$ ; scaling a row by $k$ multiplies $\det$ by $k$ ; adding a multiple of one row to another leaves $\det$ unchanged.

5

\quad \det(AB) = \det(A)\,\det(B)

Derivation hint: Geometrically, applying $B$ then $A$ scales volume by $\det(B)$ then by $\det(A)$ , so the combined scaling factor multiplies.

ProofThe 2×2 Determinant as Signed Area

We show $\det\begin{pmatrix} a & b \\ c & d \end{pmatrix} = ad - bc$ is the signed area of the parallelogram spanned by $\mathbf{u}=(a,c)$ and $\mathbf{v}=(b,d)$ .

Step 1. The area of a parallelogram with edge vectors $\mathbf{u},\mathbf{v}$ equals $|\mathbf{u}||\mathbf{v}|\sin\theta$ , where $\theta$ is the angle between them.

Step 2. Recall the 2D cross product magnitude: $\mathbf{u}\times\mathbf{v} = a\,d - c\,b$ (the $z$ -component when vectors lie in the $xy$ -plane).

Step 3. Since $|\mathbf{u}\times\mathbf{v}| = |\mathbf{u}||\mathbf{v}|\sin\theta$ , we get $ad - bc = |\mathbf{u}||\mathbf{v}|\sin\theta$ , the signed area.

Step 4. The sign distinguishes orientation: if $\mathbf{v}$ is counterclockwise from $\mathbf{u}$ , the result is positive; if clockwise, negative. When $\mathbf{u}$ and $\mathbf{v}$ are parallel ( $\theta = 0$ ), the area is zero — and indeed $ad - bc = 0$ , meaning the columns are linearly dependent and the matrix is singular. $\blacksquare$

∎

ProofWhy

\det(A)=0

Implies Non-Invertibility

Step 1. Suppose $A$ is invertible, so $A A^{-1} = I$ .

Step 2. By multiplicativity (equation [5]), $\det(A)\det(A^{-1}) = \det(I) = 1$ .

Step 3. A product equalling $1$ requires both factors nonzero, so $\det(A)\neq 0$ .

Step 4. Contrapositive: if $\det(A) = 0$ , then $A$ cannot be invertible. Geometrically, $\det(A)=0$ means the transformation collapses volume to zero — it flattens space into a lower dimension, so no inverse can recover the lost dimension. $\blacksquare$

∎

mathematician · Augustin-Louis Cauchy | 1789–1857

Cauchy gave the determinant much of its modern form. In an influential 1812 memoir he provided the first systematic, general treatment, proved the multiplication theorem $\det(AB)=\det(A)\det(B)$ rigorously, and standardized the notation and terminology (he popularized the word "determinant" in its current sense). Though the concept appears earlier in the work of Leibniz, Cramer, and Vandermonde, it was Cauchy who unified the scattered results into a coherent theory, connecting determinants to the emerging field of linear algebra and to the study of quadratic forms.

🧠 Intuition

Picture the unit square (in 2D) with corners at $(0,0),(1,0),(0,1),(1,1)$ , area exactly $1$ . A matrix $A$ transforms this square into a parallelogram. The determinant is the area of that new parallelogram. If $\det(A) = 3$ , areas triple; if $\det(A) = 0.5$ , they halve; if $\det(A) = 0$ , the square is squashed flat onto a line (area zero). A negative determinant means the square got flipped over — like looking at it in a mirror — so orientation reversed. In 3D the same story holds with the unit cube and volume. This is why determinants appear in the change-of-variables formula for integrals: when you stretch a region, you must multiply by the local area/volume scaling factor, which is exactly a determinant (the Jacobian).

Figure

The determinant as the area-scaling factor of a linear transformation

ExampleA 2×2 Determinant and Inverse

Given: $A = \begin{pmatrix} 3 & 1 \\ 2 & 4 \end{pmatrix}$ . Find $\det(A)$ and use it to find $A^{-1}$ .

Step 1. Apply equation [1]: $\det(A) = (3)(4) - (1)(2) = 12 - 2 = 10$ .

Step 2. Since $\det(A) = 10 \neq 0$ , the matrix is invertible.

Step 3. Use the $2\times 2$ inverse formula:

A^{-1} = \frac{1}{\det(A)}\begin{pmatrix} d & -b \\ -c & a \end{pmatrix} = \frac{1}{10}\begin{pmatrix} 4 & -1 \\ -2 & 3 \end{pmatrix}.

Step 4. So $A^{-1} = \begin{pmatrix} 0.4 & -0.1 \\ -0.2 & 0.3 \end{pmatrix}$ .

\boxed{\det(A) = 10,\qquad A^{-1} = \begin{pmatrix} 0.4 & -0.1 \\ -0.2 & 0.3 \end{pmatrix}}

(Determinants are dimensionless scalars; no physical units here.)

ExampleA 3×3 Determinant by Cofactor Expansion

Given: $B = \begin{pmatrix} 2 & 0 & 1 \\ 3 & 1 & 4 \\ 1 & 2 & 0 \end{pmatrix}$ . Compute $\det(B)$ .

Step 1. Expand along the first row using equation [2] with $a=2,b=0,c=1$ :

\det(B) = 2\underbrace{(1\cdot 0 - 4\cdot 2)}_{ei-fh} - 0\,(\dots) + 1\underbrace{(3\cdot 2 - 1\cdot 1)}_{dh-eg}.

Step 2. First minor: $1\cdot 0 - 4\cdot 2 = 0 - 8 = -8$ .

Step 3. The middle term vanishes because $b=0$ .

Step 4. Third minor: $3\cdot 2 - 1\cdot 1 = 6 - 1 = 5$ .

Step 5. Combine: $\det(B) = 2(-8) + 1(5) = -16 + 5 = -11$ .

\boxed{\det(B) = -11}

The negative sign indicates this transformation reverses orientation in 3D; its magnitude $11$ is the volume-scaling factor.

⚠️ Common mistake

The determinant is NOT additive. In general $\det(A+B)\neq\det(A)+\det(B)$ . For example, $\det(I)=1$ but $\det(I+I)=\det(2I)=4$ for a $2\times 2$ matrix, not $2$ . Multiplicativity holds ( $\det(AB)=\det(A)\det(B)$ ); additivity does not. Also note: scaling an entire $n\times n$ matrix by $k$ gives $\det(kA)=k^{n}\det(A)$ , not $k\det(A)$ , because every one of the $n$ rows is scaled.

Counterexample

Claim (false): "A matrix with all nonzero entries always has a nonzero determinant."

Counterexample: $A = \begin{pmatrix} 1 & 2 \\ 2 & 4 \end{pmatrix}$ has every entry nonzero, yet $\det(A) = (1)(4)-(2)(2) = 4 - 4 = 0$ . The second row is exactly twice the first (linearly dependent), so the matrix is singular. Having nonzero entries says nothing about invertibility; linear dependence of rows or columns is what forces the determinant to zero.

connection

The determinant ties together many areas. With Cramer's Rule it directly produces solutions to linear systems via ratios of determinants. It defines the Characteristic Polynomial $\det(A-\lambda I)=0$ whose roots are the Eigenvalues and Eigenvectors. The condition $\det(A)\neq 0$ is equivalent to the rows forming a Linearly Independent set and to $A$ having full Rank of a Matrix. In calculus, the Jacobian Determinant governs the change-of-variables formula for multiple integrals. The sign of the determinant connects to Orientation and the Cross Product in geometry.

🔬 Where this appears

⏳ History

- 1683: The Japanese mathematician Seki Takakazu describes a method essentially equivalent to determinants for solving systems of equations — predating European work.

- 1693: Gottfried Wilhelm Leibniz writes to L'Hôpital describing determinants for solving linear systems, introducing index notation for coefficients.

- 1750: Gabriel Cramer publishes Cramer's Rule, expressing solutions of linear systems as ratios of determinants.

- 1772: Pierre-Simon Laplace introduces cofactor (Laplace) expansion, generalizing the computation to any size.

- 1773: Joseph-Louis Lagrange uses

3\times 3

determinants to study volumes (tetrahedra) and quadratic forms.

- 1812: Augustin-Louis Cauchy publishes a comprehensive memoir, proves the multiplication theorem, and fixes the modern meaning of the term "determinant."

- 1841: Carl Gustav Jacob Jacobi systematizes determinants and develops the functional determinant — now called the Jacobian — central to calculus of several variables.

- 1858: Arthur Cayley founds matrix theory proper, treating determinants as functions of matrices and proving the Cayley–Hamilton theorem.

- 1880s–1900s: Determinant theory matures into the foundations of modern linear algebra and is connected to abstract vector spaces and exterior algebra.

open-problem

The cofactor expansion (equation [3]) is elegant but computationally catastrophic: computing an $n\times n$ determinant this way requires roughly $n!$ multiplications — astronomically slow for large matrices. In practice, one uses Gaussian elimination (LU decomposition) to reduce a matrix to triangular form, computing the determinant as the product of pivots in only about $n^3$ operations. A subtler theoretical question concerns numerical stability: for large or ill-conditioned matrices, the determinant can underflow or overflow floating-point limits, and a tiny computed determinant may be the result of rounding rather than true singularity. Researchers continue to study how to detect near-singularity reliably (via the condition number rather than the raw determinant) and how to compute determinants efficiently and stably for the enormous matrices arising in machine learning and scientific computing.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also