← Back to modules

Determinants

Cofactor expansion, properties, Cramer's rule, and geometric interpretation.

The determinant is a single number that encodes the most essential properties of a square matrix: whether it is invertible, how it scales volumes, and whether it preserves or reverses orientation. Despite appearing as an arcane formula, it has deep geometric meaning.

The central fact: AA is invertible if and only if det(A)0\det(A)\neq 0. A zero determinant means the matrix collapses space to a lower dimension — information is permanently lost and the transformation cannot be undone.

We compute determinants by cofactor expansion, exploit transformation properties to simplify calculations, and connect the result to Cramer's Rule and geometry.

Cofactor expansion

For 2×22\times 2: det(abcd)=adbc\det\begin{pmatrix}a&b\\c&d\end{pmatrix} = ad-bc. Main diagonal minus anti-diagonal.

For n×nn\times n, expand along any row or column. Along row ii: det(A)=j=1n(1)i+jaijMij\det(A) = \sum_{j=1}^{n}(-1)^{i+j}\,a_{ij}\,M_{ij}, where the (i,j)(i,j) minor MijM_{ij} is the determinant of the (n1)×(n1)(n-1)\times(n-1) submatrix obtained by deleting row ii and column jj. The factor (1)i+j(-1)^{i+j} is the cofactor sign.

Sign pattern: (1)i+j(-1)^{i+j} creates a checkerboard starting with ++ at (1,1)(1,1): (+++++)\begin{pmatrix}+&-&+\\-&+&-\\+&-&+\end{pmatrix}. Always expand along the row or column with the most zeros to minimise computation.

For a triangular matrix (upper or lower), the determinant is simply the product of the diagonal entries. Row reducing to triangular form is often faster than cofactor expansion for large matrices.

Helpful?

Properties of determinants

Row operations have predictable effects: swapping two rows multiplies det\det by 1-1; scaling a row by cc multiplies det\det by cc; adding a scalar multiple of one row to another leaves det\det unchanged. These three rules make row reduction a fast alternative to cofactor expansion.

Product rule: det(AB)=det(A)det(B)\det(AB)=\det(A)\det(B). Composition scales volumes multiplicatively. Consequences: det(A1)=1/det(A)\det(A^{-1})=1/\det(A) and det(Ak)=det(A)k\det(A^k)=\det(A)^k.

Transpose rule: det(AT)=det(A)\det(A^T)=\det(A). Rows and columns play symmetric roles in the determinant.

Scaling: det(cA)=cndet(A)\det(cA) = c^n\det(A) for an n×nn\times n matrix, because each of the nn rows is scaled by cc.

A matrix has det=0\det=0 whenever: two rows are equal, a row is all zeros, a row is a linear combination of the others (i.e., the rows are linearly dependent). All of these are equivalent to the columns being linearly dependent.

Helpful?

Cramer's Rule

For an invertible system Ax=bA\mathbf{x}=\mathbf{b}, Cramer's Rule gives each variable explicitly: xi=det(Ai)/det(A)x_i = \det(A_i)/\det(A), where AiA_i is the matrix AA with its ii-th column replaced by b\mathbf{b}.

Cramer's Rule is elegant but computationally expensive — computing n+1n+1 determinants of n×nn\times n matrices is O(n!)O(n!) for each determinant via cofactor expansion, far slower than O(n3)O(n^3) Gaussian elimination.

Its primary value is theoretical. The formula shows that solutions are rational functions of the entries of AA and b\mathbf{b}, which is useful in sensitivity analysis and proofs involving matrix calculus (e.g., the derivative of the inverse).

Helpful?

Geometric interpretation

For a 2×22\times 2 matrix AA, det(A)|\det(A)| equals the area of the parallelogram spanned by the columns (or rows) of AA. For 3×33\times 3, it equals the volume of the parallelepiped.

If det(A)>0\det(A)>0, the transformation preserves orientation (counterclockwise goes to counterclockwise). If det(A)<0\det(A)<0, orientation is reversed (a reflection is involved).

If det(A)=0\det(A)=0, the columns are linearly dependent and the transformation collapses the full-dimensional space to a lower-dimensional one — it maps Rn\mathbb{R}^n onto a proper subspace.

The determinant is multilinear and alternating in the columns: scaling one column by cc scales det\det by cc; swapping two columns flips the sign. The parallelogram area interpretation makes this geometric: scaling a side scales the area; reflecting a side flips orientation.

Helpful?