Porisma

Worked solution

Detect an inconsistent overdetermined system

Solve x+2y−2z=3x+2y-2z=3, x+3z=−6x+3z=-6, 5x+3y−z=25x+3y-z=2, 3x−2y+z=03x-2y+z=0.

CJC · Lecture · Example 4

Enter four equations and three unknowns

Use columns x,y,zx,y,z and the right-hand constant. In the second row the missing yy term has coefficient zero. The source’s displayed augmented matrix is

[12−23103−653−123−210].\left[\begin{array}{ccc|c}1&2&-2&3\\1&0&3&-6\\5&3&-1&2\\3&-2&1&0\end{array}\right].

The printed calculator screen reads NO SOLUTION FOUND. The following elimination explains why this is an inconsistency rather than an entry error.

How did this part go?

Find the only candidate from the first three equations

Label the equations (1)–(4). From (1)−(2), 2y−5z=92y-5z=9 (5). From 5×5\times(2), 5x+15z=−305x+15z=-30 (6). Subtract (6) from (3): 3y−16z=323y-16z=32 (7). Then (7)−32\tfrac32(5) gives −172z=372-\tfrac{17}{2}z=\tfrac{37}{2}, so z=−37/17z=-37/17. Equations (5) and (6) give y=−16/17y=-16/17 and x=9/17x=9/17.

How did this part go?

Check the unused fourth equation

None of the preceding steps used (4). At the only candidate, its left side is 3(9/17)−2(−16/17)+(−37/17)=22/173(9/17)-2(-16/17)+(-37/17)=22/17, whereas its right side is 00. Since 22/17≠022/17\ne0, 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.

How did this part go?

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.

Read the hint