LibreTimes

July 24, 2026 · Theory · LibreTimes

Cramer's Rule and Gaussian Elimination

Two methods for solving a SLAE — Cramer's rule via determinants and the universal Gaussian elimination method, with examples.

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 RuleGaussian Elimination
Applicabilityonly square, any
What it givesa unique solution by formulafull analysis + all solutions
Cost determinants of order (expensive) operations (efficient)
0

No comments yet

Be the first to share your thoughts.