Grade 11 → Vectors and Matrices → Matrices ↓
Cramer's Rule
Cramer's rule is a mathematical theorem used to solve systems of linear equations that contain equivalent equations for the unknowns, provided that the system has a unique solution. It gives an explicit formula for the solution in terms of determinants. Cramer's rule is named after the Swiss mathematician Gabriel Cramer.
Basics of determinants
Before understanding Cramer's rule, let us understand determinants, which are an important component.
For a 2x2 matrix:
|ab| |cd|
The determinant is calculated as follows:
det = ad - bc
For a 3x3 matrix:
|abc| |def| |ghi|
The determinant is calculated as follows:
det = a(ei - fh) - b(di - fg) + c(dh - eg)
Understanding Cramer's rule
Consider a system of n linear equations with n unknowns. In matrix form, the system can be written as:
AX = B
Where:
- A is an nxn matrix of coefficients
- X is a column matrix containing variables
[x1, x2, ..., xn]
- B is a column matrix of constants
[b1, b2, ..., bn]
If the determinant of the matrix A (denoted as det(A)
) is not zero, then the system has a unique solution. Cramer's rule provides the solution as follows:
xi = det(Ai) / det(A) for i = 1, 2, ..., n
where Ai
is the matrix A, but its i-th column is replaced by the matrix B.
Step-by-step example
Example 1: Solving a 2x2 system
Consider the following system of equations:
2x + 3y = 8 x - y = 1
In matrix form:
A = | 2 3 | | 1 -1 | X = | x | | y | B = | 8 | | 1 |
To find det(A)
:
det(A) = (2)(-1) - (3)(1) = -2 - 3 = -5
Now, calculate the matrices A1
and A2
:
A1 = | 8 3 | | 1 -1 |
det(A1) = (8)(-1) - (3)(1) = -8 - 3 = -11
A2 = | 2 8 | | 1 1 |
det(A2) = (2)(1) - (8)(1) = 2 - 8 = -6
Use of Cramer's Rule:
x = det(A1)/det(A) = -11 / -5 = 2.2 y = det(A2)/det(A) = -6 / -5 = 1.2
Example 2: Solving a 3x3 system
Consider these equations:
x + 2y + 3z = 9 2x + 3y + z = 8 3x + y + 2z = 7
Matrix form:
A = | 1 2 3 | | 2 3 1 | | 3 1 2 | X = | x | | y | | z | B = | 9 | | 8 | | 7 |
Calculate the determinant of A
:
det(A) = 1(3*2 - 1*2) - 2(2*2 - 1*3) + 3(2*1 - 3*3) = 1(6 - 2) - 2(4 - 3) + 3(2 - 9) = 1*4 - 2*1 + 3*(-7) = 4 - 2 - 21 = -19
Let's calculate the matrices A1
, A2
and A3
:
A1 = | 9 2 3 | | 8 3 1 | | 7 1 2 |
det(A1) = 9(3*2 - 1*2) - 2(8*2 - 1*7) + 3(8*1 - 3*7) = 9(6 - 2) - 2(16 - 7) + 3(8 - 21) = 9*4 - 2*9 + 3*(-13) = 36 - 18 - 39 = -21
A2 = | 1 9 3 | | 2 8 1 | | 3 7 2 |
det(A2) = 1(8*2 - 1*7) - 9(2*2 - 1*3) + 3(2*1 - 3*7) = 1(16 - 7) - 9(4 - 3) + 3(2 - 21) = 1*9 - 9*1 + 3*(-19) = 9 - 9 - 57 = -57
A3 = | 1 2 9 | | 2 3 8 | | 3 1 7 |
det(A3) = 1(3*7 - 8*1) - 2(2*7 - 8*3) + 9(2*1 - 3*3) = 1(21 - 8) - 2(14 - 24) + 9(2 - 9) = 13 + 20 + (-63) = -30
Solve using Cramer's rule:
x = det(A1)/det(A) = -21 / -19 = 1.105 y = det(A2)/det(A) = -57 / -19 = 3 z = det(A3)/det(A) = -30 / -19 = 1.579
Important aspects of Cramer's rule
Cramer's rule is beautiful and clear, suitable for educational purposes and for small systems of equations. However, it is not efficient for large systems due to the computational intensity of the determinant calculations as the matrix size grows.
Applying to large matrices
Though theoretically applicable to any nxn system, the computational burden is apparently impractical for n > 3. For n = 4, or larger, standard methods such as Gaussian elimination or LU decomposition are preferred, mainly in practical applications.
Determinant cancellation
If det(A) = 0
, then Cramer's rule cannot be applied because division by zero is undefined. Such cases often suggest infinite solutions or no solutions at all. Alternative methods will explore these aspects by considering row minimization techniques or matrix rank.
Visualization of examples
Assuming det(A)
on nxn is non-zero, imagine solving via row operations so that the conjugation X
is equivalent to Euclidean normalization.
The visual elements guide understanding the geometric perspective of the solutions, where different colored lines represent equations, and the intersection indicates the equality of the solutions.
While Cramer's Rule provides formulaic solutions, alternative visual representations add cognitive engagement for conceptual depth.