Cofactors and the Two Expansion Formulas
Laplace expansion writes a determinant as a sum of entries multiplied by their cofactors along any one row or column. Each cofactor contains the determinant of a matrix that is one size smaller.
Choose a row or column with many zero entries. Its zero terms vanish, so fewer smaller determinants need to be calculated.
Expanding a Determinant Along a Row or Column
For matrix , the determinant can be calculated in two ways:
Let be the matrix obtained by deleting row and column from . The minor determinant with its alternating sign is the cofactor
This sign pattern for three rows and columns shows that each step right or down reverses the sign.
| j = 1 | j = 2 | j = 3 | |
|---|---|---|---|
| i = 1 | + | − | + |
| i = 2 | − | + | − |
| i = 3 | + | − | + |
Expanding along any chosen column gives
The column-expansion formula holds for every .
The determinant can also be calculated based on row :
The row-expansion formula holds for every .
Cofactor Expansion by Matrix Size
The expansion rule works the same way at every size, but the number of terms grows quickly, so the cases below show how the work changes as the matrix gets larger.
Two by Two Matrix
For a matrix of size :
Expansion based on the first row:
Three by Three Matrix
For a matrix of size :
Expansion based on the first row:
After calculating the determinants:
If we expand it fully:
Sarrus Rule
The expansion above gives the same expression as Sarrus Rule. For a matrix, the rule adds the products along three downward diagonals and subtracts the products along three upward diagonals.
Sarrus formula for matrices:
Sarrus rule uses diagonal patterns to determine which terms are added and which are subtracted.
Sarrus rule applies only to matrices. For larger matrices, use cofactor expansion or a factorization-based method. Extending the diagonal pattern gives an invalid rule.
Computational Complexity
For a dense matrix, a direct recursive implementation evaluates determinants of size at each level. Its work therefore follows the recurrence
The factorial growth makes recursive Laplace expansion impractical for large dense matrices. Gaussian elimination or an factorization computes a determinant in arithmetic operations.
Using Zero Entries
When a matrix has many zero entries, choose a row or column containing as many zeros as possible. Every term whose selected coefficient is zero vanishes, so its minor never needs to be evaluated.
Choosing a Row with Zero Entries
Suppose we have a matrix:
Expansion based on the first row:
Since the first element is zero, the calculation becomes:
By choosing rows or columns that have many zeros, we can save calculations.
Determinant of the Transpose
Laplace expansion also gives the following property:
This means the determinant of a matrix equals the determinant of its transpose.
Consequences for Rows and Columns
Due to this transpose property, all determinant properties that apply to rows of matrix also apply to columns of matrix .
For example:
- If two rows are identical then the determinant is zero, likewise if two columns are identical
- Swapping two rows changes the sign of the determinant, so does swapping two columns
- The corresponding elementary row and column operations obey analogous determinant rules