Worked solution
Detect an inconsistent overdetermined system
Solve , , , .
CJC · Lecture · Example 4
Enter four equations and three unknowns
Use columns and the right-hand constant. In the second row the missing term has coefficient zero. The source’s displayed augmented matrix is
The printed calculator screen reads NO SOLUTION FOUND. The following elimination explains why this is an inconsistency rather than an entry error.
Find the only candidate from the first three equations
Label the equations (1)–(4). From (1)−(2), (5). From (2), (6). Subtract (6) from (3): (7). Then (7)−(5) gives , so . Equations (5) and (6) give and .
Check the unused fourth equation
None of the preceding steps used (4). At the only candidate, its left side is , whereas its right side is . Since , no triple satisfies all four equations. A system can have no solution, one unique solution or infinitely many solutions. The latter two are consistent; no solution means inconsistent.
Common mistakes
Four equations in three unknowns do not automatically mean no solution. The contradiction, not the count, proves inconsistency.
Solution notes
Student and Teacher copies compared at PDF pages 6, printed pages 166. No marks are printed.