Systems of Linear Equations is the gateway HL-only topic that links algebra, geometry of planes, and matrix methods. Sitting in AHL 1.16, it appears reliably on Paper 1 (full row-reduction shown) and Paper 2 (GDC rref()), and frequently as a Section B 8–12 mark question with a parametric twist. The topic itself is procedural, but the trap density is high: a single sign error in a multiplier wrecks the rest of the elimination, "no unique solution" is regularly confused with "no solution", and students forget to write the explicit parametric form when there are infinite solutions.
This cheatsheet condenses every method, scenario, and trap from AHL 1.16 into one page you can revise from. For the printable PDF, full notes, the tutorial booklet, and the marked-up solutions, scroll to the bottom for the download links and the gated full library.
§1 — Augmented Matrix & Row Operations AHL 1.16
From system to matrix
$$\begin{cases} a_1 x + b_1 y + c_1 z = d_1 \\ a_2 x + b_2 y + c_2 z = d_2 \\ a_3 x + b_3 y + c_3 z = d_3 \end{cases} \;\longrightarrow\; \left[\begin{array}{ccc|c} a_1 & b_1 & c_1 & d_1 \\ a_2 & b_2 & c_2 & d_2 \\ a_3 & b_3 & c_3 & d_3 \end{array}\right]$$
The bar separates coefficients (left) from constants (right). A missing variable on either side $\Rightarrow$ write 0, never blank.
Example setup
$3x - y + 2z = 7$; $x + 4z = -1$ (no $y$: put 0); $2x - 3y = 5$ (no $z$: put 0).
$$\left[\begin{array}{ccc|c} 3 & -1 & 2 & 7 \\ 1 & 0 & 4 & -1 \\ 2 & -3 & 0 & 5 \end{array}\right]$$
The three legal row operations
- Swap: $R_i \leftrightarrow R_j$
- Scale: $R_i \to k R_i$ ($k \neq 0$)
- Replace: $R_i \to R_i + k R_j$
None of these change the solution set.
IB notation: $R_2 \to R_2 - 2R_1$ means the new $R_2$ equals the old $R_2$ minus $2 \times R_1$. Similarly $R_1 \to \tfrac{1}{3} R_1$ means divide row 1 by 3.
§2 — RREF Definition & Algorithm AHL 1.16
RREF — the four conditions
- Leading entry (pivot) $= 1$.
- The pivot is the only nonzero entry in its column.
- Pivots move right going down.
- Zero rows are at the bottom.
RREF algorithm — 5 steps
- Write the augmented matrix.
- Pivot (1,1): swap if needed; scale to get a 1; eliminate column 1 below.
- Pivot (2,2): scale to 1; eliminate column 2 above and below.
- Pivot (3,3): scale to 1; eliminate column 3 above and below.
- Read the bottom row $\to$ classify the solution.
Bottom row diagnostic
| Bottom row | Verdict |
|---|---|
| $[\,0\;0\;1\;|\;r\,]$ | Unique solution |
| $[\,0\;0\;0\;|\;0\,]$ | Infinite solutions |
| $[\,0\;0\;0\;|\;k\,]$, $k \neq 0$ | No solution |
Always inspect the bottom row first.
§3 — Scenario 1: Unique Solution AHL 1.16
Bottom row $[\,0\;0\;1\;|\;r\,]$. The full RREF is
$$\left[\begin{array}{ccc|c} 1 & 0 & 0 & p \\ 0 & 1 & 0 & q \\ 0 & 0 & 1 & r \end{array}\right]$$
Read off directly: $x = p,\; y = q,\; z = r$. IB term: consistent, independent. Geometry: three planes meet at one point.
Mini-example
$x + y + z = 6,\; 2x - y + z = 3,\; x + 2y - z = 2$. After RREF:
$$\left[\begin{array}{ccc|c} 1 & 0 & 0 & 1 \\ 0 & 1 & 0 & 2 \\ 0 & 0 & 1 & 3 \end{array}\right] \;\Rightarrow\; (x, y, z) = (1, 2, 3).$$
Check: $1 + 2 + 3 = 6$ ✓.
§4 — Scenario 2: Infinite Solutions AHL 1.16
Bottom row $[\,0\;0\;0\;|\;0\,]$. The RREF looks like
$$\left[\begin{array}{ccc|c} 1 & 0 & a & p \\ 0 & 1 & b & q \\ 0 & 0 & 0 & 0 \end{array}\right]$$
Let $z = t,\; t \in \mathbb{R}$ (free parameter). Back-substitute: $y = q - bt,\; x = p - at$. Write the general solution as
$$(x, y, z) = (p - at,\; q - bt,\; t).$$
IB term: consistent, dependent. Geometry: three planes share a line.
General solution as a line of intersection
$$\begin{pmatrix} x \\ y \\ z \end{pmatrix} = \begin{pmatrix} p \\ q \\ 0 \end{pmatrix} + t \begin{pmatrix} -a \\ -b \\ 1 \end{pmatrix}, \quad t \in \mathbb{R}.$$
This links to AHL 3.14: this is the vector equation of the line of intersection of the planes.
Mini-example
After RREF of a $2 \times 3$ system:
$$\left[\begin{array}{ccc|c} 1 & 0 & \tfrac{1}{2} & \tfrac{17}{4} \\ 0 & 1 & -\tfrac{3}{2} & \tfrac{3}{4} \end{array}\right]$$
Let $z = t$: $x = \tfrac{17}{4} - \tfrac{1}{2} t,\; y = \tfrac{3}{4} + \tfrac{3}{2} t$.
§5 — Scenario 3: No Solution AHL 1.16
Bottom row $[\,0\;0\;0\;|\;k\,]$ with $k \neq 0$. The row reads $0 = k$ — a contradiction.
IB term: inconsistent. State: "The system has no solution" or "The system is inconsistent."
Geometric configurations
- The line of intersection of $\pi_1 \cap \pi_2$ is parallel to $\pi_3$.
- Two planes are parallel (and not coincident).
- The three planes form a triangular prism — pairwise intersections are three distinct parallel lines.
§6 — Parametric Systems AHL 1.16
The system contains an unknown $a$ or $b$ in its coefficients. Strategy:
- Carry out RREF with $a, b$ as symbols.
- Bottom row reduces to $[\,0\;0\;g(a)\;|\;h(b)\,]$.
- "No unique solution" $\Rightarrow$ set $g(a) = 0$.
- If $h(b) = 0$ $\Rightarrow$ infinite solutions; if $h(b) \neq 0$ $\Rightarrow$ no solution.
Classic IB structure: (a) Find $a$ for which there is no unique solution [4 marks]; (b) Find $b$ for consistency [1]; (c) State the general solution [3].
§7 — GDC: rref() on Paper 2 Paper 2
| GDC | Path / syntax |
|---|---|
| TI-Nspire CX II | Matrix & Vector $\to$ Reduce $\to$ rref |
| Casio fx-CG50 | RUN-MAT $\to$ F3 MAT $\to$ Rref(MatA) |
Enter the matrix as a $3 \times 4$ augmented matrix. Always include the constants column.
Paper 2: show the rref output in your working. Paper 1: show every row operation in IB notation — rref() alone scores zero on Paper 1.
§8 — Exam Attack Plan All sections
When you see this in the question — reach for that:
| Question trigger | First move |
|---|---|
| $3 \times 3$ system | Build augmented matrix, then RREF |
| "No unique solution" | Set $g(a) = 0$ from the bottom row |
| "General solution" | Let $z = t$ and back-substitute |
| "Inconsistent?" | Bottom row $[\,0\;0\;0\;|\;k\,]$, $k \neq 0$ |
| "Geometric description" | Name the configuration: meet at a point / share a line / parallel / triangular prism |
| Paper 2, messy numbers | GDC rref() |
| "Verify your solution" | Substitute into all three original equations |
| Two-parameter system | Find $a$ first (left side $= 0$), then split on $b$ (right side) |
Eight big exam traps
- A missing variable means write 0, not blank.
- Sign error in the multiplier (negate then add).
- Only the target row changes — never $R_1$ when targeting $R_2$.
- "No unique" $\neq$ "no solution".
- The general solution must be explicit with a parameter $t$.
- GDC matrix must be $3 \times 4$, not $3 \times 3$ — include the constants column.
- Verify by substituting back into all three equations.
- Memorise the three geometric configurations for the no-solution case.
Worked Example — IB-Style Parametric System
Question (HL Paper 2 style — 9 marks)
Consider the system $\begin{cases} x + 2y - z = 1 \\ 2x + 5y + z = 3 \\ 3x + 7y + a z = b \end{cases}$ where $a, b \in \mathbb{R}$.
(a) Find the value of $a$ for which the system does not have a unique solution. (b) For this value of $a$, find the value of $b$ for which the system is consistent. (c) For these values, state the general solution.
Solution
- Augmented matrix: $\left[\begin{array}{ccc|c} 1 & 2 & -1 & 1 \\ 2 & 5 & 1 & 3 \\ 3 & 7 & a & b \end{array}\right]$. (M1)
- $R_2 \to R_2 - 2R_1$: $[\,0\;1\;3\;|\;1\,]$.
$R_3 \to R_3 - 3R_1$: $[\,0\;1\;a + 3\;|\;b - 3\,]$. (M1) - $R_3 \to R_3 - R_2$: $[\,0\;0\;a\;|\;b - 4\,]$. (A1)
- (a) No unique solution $\Rightarrow$ $a = 0$. (R1)(A1)
- (b) With $a = 0$, the bottom row is $[\,0\;0\;0\;|\;b - 4\,]$. Consistency requires $b - 4 = 0$, so $b = 4$. (R1)(A1)
- (c) Let $z = t,\; t \in \mathbb{R}$. From row 2: $y + 3t = 1 \Rightarrow y = 1 - 3t$. From row 1: $x + 2(1 - 3t) - t = 1 \Rightarrow x = -1 + 7t$. So $(x, y, z) = (-1 + 7t,\; 1 - 3t,\; t)$. (M1)(A1)
Examiner's note: The most common error is stopping at part (a) without realising part (b) needs you to revisit the bottom row with the value of $a$ substituted in. The bottom-row diagnostic is the only way to distinguish infinite solutions from no solution.
Common Student Questions
Is "no unique solution" the same as "no solution"?
Can I just use rref() on the GDC for Paper 2 systems?
rref; Casio fx-CG50: RUN-MAT $\to$ F3 MAT $\to$ Rref(MatA). Enter the augmented matrix as $3 \times 4$ (3 rows, 4 columns including the constants column). Always include the constants column. On Paper 1 you must show every row operation in IB notation: $R_2 \to R_2 - 2R_1$. rref() alone scores zero on Paper 1.How do I write the general solution when the system has infinite solutions?
What does "no solution" mean geometrically for three planes?
I keep making sign errors in row operations. What's the trick?
Get the printable PDF version
Same cheatsheet, formatted for A4 print — keep it next to your study desk. Free for signed-in users.