Linear Algebra, Interactive EditionXYZ Homework Edition

⇩ Download ▾

1.3 Row Operations Preserve the Solution

Elimination — the algorithm you use to solve systems — rewrites equations aggressively: it scales them, adds them to each other, and throws the originals away. It feels like it ought to be dangerous. Why is it legal to replace an equation with some combination of equations and still claim you are solving the same problem?

The answer is geometric, and you can watch it. The figure below starts with the system z=x+yz = x + y and z=2x−y+1z = 2x - y + 1: two planes crossing along the amber solution line. The figure also draws two more planes, fainter than the first two. The gray one is built from the sum of the two equations; the one drawn as an open mesh of fine lines is built from twice the first minus the second. They are genuinely different planes — different tilts, different appearance — and yet each contains the very same amber line.

Four planes crossing along one amber line. Two semi-transparent shaded planes are the original equations: one shaded from blue at its low end to red at its high end, the other from purple to yellow. A fainter gray plane is their sum, and a plane drawn as an open mesh of fine lines is twice the first minus the second; each of these different-looking combination planes still passes exactly through the same amber line. There are no sliders.Explore in 3D (opens in a new tab)

Four planes crossing along one amber line. Two semi-transparent shaded planes are the original equations: one shaded from blue at its low end to red at its high end, the other from purple to yellow. A fainter gray plane is their sum, and a plane drawn as an open mesh of fine lines is twice the first minus the second; each of these different-looking combination planes still passes exactly through the same amber line. There are no sliders.

The planes of E1E_1 and E2E_2 meet along the amber solution line. The fainter gray plane is E1+E2E_1 + E_2 and the open mesh is 2E1−E22E_1 - E_2 — each is a combination of E1E_1 and E2E_2, and each passes through the same line.

Explore the figure

  1. Find the two original planes first: E1E_1, the plane z=x+yz = x + y, is shaded from blue at its low end to red at its high end, and E2E_2, the plane z=2x−y+1z = 2x - y + 1, from purple to yellow. Orbit until the amber line reads clearly as their intersection.
  2. Now find the gray plane, E1+E2E_1 + E_2. It is tilted differently from both originals — yet watch how it threads the amber line exactly.
  3. Look at just the pair E1E_1 and the gray plane, setting E2E_2 aside. Their intersection is the same line as before. This pair is a legal replacement for the original system.
  4. Find the open mesh, 2E1−E22E_1 - E_2, and check it too contains the line. Press the figure's yz view button to look straight along the xx-axis: the mesh shows edge-on, as a thin line, because it does not tilt in the xx direction at all.

Why combinations are safe

Suppose a point (x,y,z)(x, y, z) satisfies both E1E_1 and E2E_2, written in standard form as x+y−z=0x + y - z = 0 and 2x−y−z=−12x - y - z = -1. Then it automatically satisfies any combination: adding the equations gives

3 x − 2 z = − 1 3x - 2z = -1

and forming twice the first minus the second gives

3 y − z = 1 3y - z = 1

A point on both original planes has no choice but to lie on both new planes. And the reverse holds when we keep one original around: from E1E_1 and E1+E2E_1 + E_2 you can recover E2E_2 by subtraction, so no solutions sneak in either. Replacing E2E_2 by E1+E2E_1 + E_2 neither loses nor gains a single point. That is the entire legality of elimination: every row operation is reversible, so the intersection — the thing we are solving for — never moves. What the three operations do to the planes differs, and only one of them can put a new plane on the page. Swapping two equations reorders the same two planes. Multiplying by a nonzero constant leaves a plane exactly where it was, since 2x+2y=42x + 2y = 4 and x+y=2x + y = 2 have identical solution sets. Adding a multiple of one equation to another is the operation that can produce a plane you did not start with — as E1+E2E_1 + E_2 does here — though not always: adding zero times E1E_1 changes nothing, and if E2E_2 were already a multiple of E1E_1 the sum could collapse to 0=00 = 0, which is no plane at all. Reversibility is what does the work in every case; the new plane is a bonus the third operation usually brings.

Look at what the two combination planes accomplish. The plane 3x−2z=−13x - 2z = -1 has no yy in it: yy has been eliminated, and the plane is correspondingly slack in the yy direction. The plane 3y−z=13y - z = 1 has no xx. Elimination is not just legal — each step is chosen to produce a plane so simply oriented that you can read information straight off it.

[10−23−1301−1313]\begin{bmatrix}1 & 0 & -\frac{2}{3} & -\frac{1}{3} \\ 0 & 1 & -\frac{1}{3} & \frac{1}{3}\end{bmatrix}
The system, fully reduced ✓ Computed · mojocas 0.1.0 ✓ Agrees with the text The system, fully reduced, computed exactly by mojocas 0.1.0, and confirmed to agree with the result stated in the text.

Elimination run all the way to the end by a computer algebra system: the augmented matrix of E1E_1 and E2E_2 — the standard forms x+y−z=0x + y - z = 0 and 2x−y−z=−12x - y - z = -1 — reduced until each surviving equation is as simply oriented as a plane can be. The rows read x−23z=−13x - \tfrac{2}{3}z = -\tfrac{1}{3} and y−13z=13y - \tfrac{1}{3}z = \tfrac{1}{3}: solve each for its leading variable and the amber line reappears, parameterized by zz.

An original work of XYZ Homework, built around interactive XYZ 3D figures. Chapters 1–6 follow the topic sequence of Interactive Linear Algebra (Margalit & Rabinoff, Georgia Tech, GNU FDL). Chapter 0's scope (its topics, their order, and the idea each figure shows) follows the Vectors chapter of Ximera's Linear Algebra: An Interactive Introduction. The prose, worked examples and figures were written for this book, which is not affiliated with or endorsed by the authors of either work. License: CC-BY-NC-SA-4.0.

These eBooks are a prerelease and are not yet certified conformant with WCAG 2.1 AA or any other accessibility standard. Every page is built against an automated accessibility gate, and our target for the published editions is WCAG 2.2 Level AA. If something is unusable, please tell us.