Introduction
We are taught to find the solution of a system of equations with a formula like this.
$$ x = \frac{\begin{vmatrix} c_1 & b_1 \\ c_2 & b_2 \end{vmatrix}}{\begin{vmatrix} a_1 & b_1 \\ a_2 & b_2 \end{vmatrix}}, \qquad y = \frac{\begin{vmatrix} a_1 & c_1 \\ a_2 & c_2 \end{vmatrix}}{\begin{vmatrix} a_1 & b_1 \\ a_2 & b_2 \end{vmatrix}} $$I always got stuck right here. Why do \(x\) and \(y\) come out in that determinant shape? What is the reason behind that formula? It was impossible to memorize, and the determinant felt like it had suddenly fallen out of the sky.
The conclusion first: the determinant is not a new concept. If you push the elimination method — the very thing we have been doing since middle school — all the way to the end, that shape comes out by itself.
1. Let's Just Solve It by Hand (Elimination)
Look at the following system of equations.
$$ a_1 x + b_1 y = c_1 $$$$ a_2 x + b_2 y = c_2 $$To get rid of \(y\), multiply the first equation by \(b_2\) and the second by \(b_1\).
$$ a_1 b_2\, x + b_1 b_2\, y = c_1 b_2 $$$$ a_2 b_1\, x + b_1 b_2\, y = c_2 b_1 $$Since the \(y\) terms have become identical at \(b_1 b_2 y\), subtracting one from the other makes \(y\) disappear.
$$ (a_1 b_2 - a_2 b_1)\, x = c_1 b_2 - c_2 b_1 $$$$ \therefore\ x = \frac{c_1 b_2 - c_2 b_1}{a_1 b_2 - a_2 b_1} $$Look — the denominator inevitably produces an "X-shaped cross-multiplication" \(a_1 b_2 - a_2 b_1\). Eliminating \(x\) the same way gives \(y\) as well, and the denominator is exactly the same.
$$ y = \frac{a_1 c_2 - a_2 c_1}{a_1 b_2 - a_2 b_1} $$2. The Determinant Is Just "Shorthand" for That Cross-Multiplication
Since writing \(a_1 b_2 - a_2 b_1\) every single time is tedious, we make one convention.
$$ \begin{vmatrix} a_1 & b_1 \\ a_2 & b_2 \end{vmatrix} = a_1 b_2 - a_2 b_1 $$This is the determinant. Top-left times bottom-right minus top-right times bottom-left — it is just a symbol that writes that X-shaped cross-multiplication compactly. (Much like writing 1000 in the short form \(10^3\).)
Then the results above tidy up like this.
- Denominator \(D\) = the determinant built only from the coefficients, \(\begin{vmatrix} a_1 & b_1 \ a_2 & b_2 \end{vmatrix}\)
- Numerator of x = the determinant with the \(a\)-column (the coefficients of x) replaced by the constants \(c\)
- Numerator of y = the determinant with the \(b\)-column (the coefficients of y) replaced by the constants \(c\)
Here lies the answer to "why is \(c\) slotted into exactly that spot?" — replacing the column of the variable you want to solve for with the right-hand-side constants is a rule that arose naturally during the derivation.
Try It Yourself
Change the coefficients \(a_1, b_1, c_1, a_2, b_2, c_2\) directly. The intersection point of the two lines (the orange dot) is exactly the solution \((x, y)\), and the panel below computes \(D, D_x, D_y\) and \(x = D_x/D,\ y = D_y/D\) in real time.
Why Can't D = 0
If the denominator \(D\) is 0, the formula collapses (division by zero). What does this mean?
\(D = a_1 b_2 - a_2 b_1 = 0\) means the two lines have the same slope — that is, the two lines are either parallel or completely overlapping.
- Parallel → no point of intersection → no solution
- Overlapping → every point is a solution → infinitely many solutions
Either way, you do not get "exactly one solution." A zero denominator is a signal that "the solution is not unique." Check it directly with the parallel preset in the interactive above.
Wrapping Up
- Cramer's rule is just the result of pushing elimination all the way to the end — no new magic.
- Determinant = a convention that shortens the X-shaped cross-multiplication.
- The numerator is the determinant with the column of the variable you want replaced by the constants.
- D = 0 is the signal for "the two lines are parallel/overlapping → the solution is not unique."
Once you derive it by hand, there is nothing left to memorize afterward.
Related reading — Why Does the Arctangent Appear · Why Are Direction Cosines a "Direction" · Verify the computation: Wolfram Alpha