Exercises — Systems of linear equations — matrix form Ax = b
Before we start, one shared picture. Every system we meet is one of exactly three geometric situations in the plane. Keep this figure in your head for the whole page.

- One crossing point (left): the two lines meet once → unique solution.
- Same line drawn twice (middle): every point on it works → infinitely many solutions.
- Parallel, never touching (right): no common point → no solution.
The whole art is deciding which picture you are in without drawing it — using rank, determinant and the Rouché–Capelli rule from the parent note.
Level 1 — Recognition
Here you only need to classify: unique, infinite, or none. No full solving yet.
Recall Solution L1.1
What we do: compare the two lines' slopes via the determinant of the coefficient matrix. Why the determinant? For a square system, means the columns point in genuinely different directions, so the transformation hits every target exactly once — a unique solution (parent note: invertible-matrix shortcut). Answer: unique solution. Left picture of the figure above.
Recall Solution L1.2
What we do: check if one equation is a scalar multiple of the other. Row 1 is exactly Row 2 (LHS: ; RHS: ). So , and the augmented right-hand side agrees too. Why this matters: kills the invertible shortcut, so we drop to rank. Here , but . Answer: infinitely many solutions — the same line drawn twice (middle picture).
Recall Solution L1.3
What we do: same left side, different right side. The left sides give ; but the augmented matrix has two independent rows ( forces a contradiction), so . Why this is "no solution": rank of the augmented matrix jumped above rank of . The right-hand side demands a direction the columns cannot supply — . Answer: no solution — parallel lines (right picture).
Level 2 — Application
Now actually produce the solution.
Recall Solution L2.1
From L1.1, , so the inverse exists. Step 1 — build . For the inverse is (swap diagonal, negate off-diagonal, divide by determinant). Step 2 — multiply by . Why left-multiply? Because isolates the unknown. Answer: . Check (column view): . ✓
Recall Solution L2.2
Step 1 — eliminate from row 3. Row3 Row3 Row1: System now: . Step 2 — eliminate from row 3. Row3 Row3 Row2: So . Step 3 — back-substitute. From row 2: . From row 1: . Answer: . Check: . ✓
Recall Solution L2.3
What we notice: Row 2 Row 1, so , . Free parameters . Why homogeneous is always solvable: always works, so we never ask existence — only how big is the null space. Solve the one real equation . Let : Answer: the null space is (a plane through the origin).
Level 3 — Analysis
Now reason about why systems behave as they do — usually with a parameter.
Recall Solution L3.1
, . (a) Unique when , i.e. . (For every such the lines cross once.) (b)/(c) The knife-edge . Then the system is and — same left side, different right sides → contradiction → no solution. Is there ANY giving infinitely many? We'd need and consistent RHS, i.e. and the second equation multiple of the first. But at the RHS is , so consistency fails. Hence no value of gives infinitely many here. Answer: unique for ; no solution for ; never infinitely many.
Recall Solution L3.2
Step 1 — eliminate . Row2Row1: . Row3Row1: . Step 2 — eliminate . Row3(new Row2): , i.e. Reasoning about the last pivot:
- If : a genuine pivot on → unique solution.
- If and : , a contradiction → no solution (augmented rank jumps).
- If and : , one equation vanishes, → infinitely many (one free parameter). Answer: .
Level 4 — Synthesis
Combine several tools in one problem.
Recall Solution L4.1
Step 1 — spot dependence. Row 2 Row 1 (RHS too: ). So , and free parameters → infinitely many. Step 2 — one particular solution . Set the free variables in : . So . Step 3 — the null space . This is exactly L2.3's answer: . Step 4 — assemble using the parent's rule (valid because ): Check with : , and . ✓
Recall Solution L4.2
Why column space? From the parent's existence condition, is solvable iff — must be a combination of the two columns. Step 1 — set up the combination. We need Rows 1 and 2 force . Step 2 — test the last row. It demands , but . Answer: the required row-3 condition fails, so and has no solution. (Here rank but rank.)
Level 5 — Mastery
Open-ended: prove or construct.
Recall Solution L5.1
Design logic: "one-parameter family" means , so with we need . Recipe: pick two genuinely independent equations, then make the third a consistent combination of them (so it adds no new rank). Construction. Take independent rows and . Force the third row to be Row1 Row2 so it is redundant and consistent: Verify rank. Row3 Row1 Row2 exactly (both LHS and RHS: ), so , giving free parameter. ✓ Solve to display the line. From Row2, ; from Row1, . Let , then : A genuine line of solutions — exactly one parameter, as required.
Recall Solution L5.2
Suppose has two different solutions , so and . Key step — subtract. By linearity of matrix multiplication (distributivity): So is a nonzero null-space vector. Manufacture infinitely many. For any scalar , consider : Every gives a solution, and since these are all distinct. Conclusion: the moment you have two solutions you automatically have infinitely many. Therefore "exactly two" is impossible — a linear system has , , or solutions.
Active recall
Recall One-line classifier
Given ranks , , unknowns — state the verdict. Verify: → none; → unique; → infinite ( free params).
Connections
- Gaussian elimination — the crank behind L2.2, L3.2.
- Determinant — the L1 / L3 unique-vs-degenerate test.
- Inverse of a matrix — in L2.1.
- Rank of a matrix — the L3 / L4 existence-and-uniqueness judge.
- Column space and null space — L2.3, L4.1, L4.2, L5.2 live here.
- Linear independence — why redundant rows drop rank.