July 24, 2026 · Theory · LibreTimes
Cramer's Rule and Gaussian Elimination
The two main practical methods for solving systems of linear equations are Cramer's rule (via determinants) and Gaussian elimination (successively eliminating unknowns). Cramer's rule applies only to square, nonsingular systems; Gaussian elimination is universal.
For illustration, take the same system throughout:
Cramer's Rule
Theorem (Cramer). If the determinant of a square system is nonzero, , then the system is determinate (has a unique solution), and
where is the determinant obtained from by replacing the -th column with the column of constant terms .
Proof. When , the inverse matrix exists, and . Expanding the product of the adjugate matrix with row by row, the -th coordinate is
and the numerator is exactly the expansion of the determinant along its -th column (the column of ).
Example. For our system,
Replacing the columns in turn with :
Hence
Limitations. Cramer's rule works only for a square system with , and requires computing determinants of order — expensive for large . In practice, Gaussian elimination is used more often.
Gaussian Elimination
The idea: use elementary row transformations on the augmented matrix to bring the system to row-echelon (triangular) form — the forward pass — and then successively find the unknowns from the bottom up — the back substitution. Elementary transformations do not change the solution set.
Example (the same system). Forward pass:
Back substitution:
We get the same solution .
The Gauss–Jordan method. If we continue the transformations and also zero out the entries above the leading ones, reducing the left-hand side to the identity matrix (reduced row-echelon form), the solution can be read off directly — no back substitution needed.
The general case. Gaussian elimination works for any system. As the transformations proceed, the rank and type of the system become apparent immediately (cf. the Kronecker–Capelli theorem):
- a row with — the system is inconsistent;
- after discarding zero rows, rows remain: if the solution is unique; if , we express basic unknowns through free ones and obtain the general solution (infinitely many solutions).
Comparing the Methods
| Cramer's Rule | Gaussian Elimination | |
|---|---|---|
| Applicability | only square, | any |
| What it gives | a unique solution by formula | full analysis + all solutions |
| Cost | determinants of order (expensive) | operations (efficient) |
No comments yet
Be the first to share your thoughts.