Systems with More Variables
Learning goals
- Write and solve for ordered triples
- Eliminate the same variable from two different pairs
- Reduce to a two-variable system, then back-substitute
- Explain why each round removes an unknown and terminates
- Picture each equation as a plane meeting at a point
- Read a false or always-true leftover as the special cases
From two unknowns to three
A linear equation in three variables can be written in the standard form
where , , , and are numbers and each variable appears only to the first power. Its solutions are no longer pairs but ordered triples : three numbers, one for each variable, that make the equation true. A system of three linear equations stacks three such equations and asks for the triple that satisfies all three at the same time.
Take the system
The triple solves it, because , and , and are all true. A single three-variable equation, like a single two-variable equation, has far too many solutions to pin the unknowns down. It takes three independent equations to fix three unknowns, one condition for each degree of freedom.
The plan is to shrink the system one variable at a time. You already own the tool that removes a variable: elimination, from two lessons ago. Adding or subtracting two equations to cancel a variable worked no matter what the other letters were. So that same move works just as well when a third letter is riding along. The new idea in this lesson is purely organizational. You will run elimination twice, on two different pairs of the three equations, and both times you must cancel the same variable. Cancelling the same variable is what leaves you two equations sharing the same two remaining unknowns.
The reduction strategy step by step
Every three-variable system yields to the same routine.
- Choose a variable to eliminate. Pick whichever one has the friendliest coefficients, often a variable that already appears with matching or opposite coefficients somewhere.
- Eliminate it from one pair of equations. Combine two of the three equations, by adding or subtracting (scaling first if needed), so that variable cancels. You now have one equation in the other two unknowns.
- Eliminate the same variable from a second pair. Combine a different pair, being sure to use the equation you have not touched yet, and cancel the same variable again. This gives a second equation in the same two unknowns.
- Solve the two-variable system. Those two new equations form an ordinary system in two unknowns. Solve it by substitution or elimination.
- Back-substitute for the third variable. Put the two values you found into any one of the three original equations and solve for the variable you eliminated.
- Check the triple in all three original equations. A genuine solution satisfies every one of them, not just the two you happened to use.
The one step people get wrong is step 3. If you eliminate from the first pair but then eliminate from the second, your two leftover equations do not share the same unknowns. Without the same two unknowns, those two leftover equations cannot be solved together. Cancel the same variable both times.
Worked example 1 Solve , , and
Number the equations so the bookkeeping stays clear:
Choose to eliminate . Look at the terms: equations and both have , while equation has . That makes equation the convenient partner, because adding it to either of the others cancels on the spot.
Eliminate from the first pair, equations and . Add them:
Now eliminate the same variable from a second pair, equations and , using the equation not yet touched. Add them:
Equations and form an ordinary two-variable system. Solve it by substitution: equation gives , so replace in :
Then . Back-substitute and into equation to recover :
The candidate is . Check it in all three originals, not just the two pairs you combined:
All three hold, so the solution is .
Check your understanding
You want to eliminate from the pair and . What do you get by adding the two equations?
The terms are and , opposites, so adding the equations cancels .
What remains is a single equation in and , which you would pair with a second such equation to finish.
Why the reduction works and always finishes
The routine trades a big system for a smaller one and repeats. Two things need to be true for that to be trustworthy: each step must keep exactly the same set of solutions, and the shrinking must actually stop. Both follow from what you already proved for two equations.
Why eliminating a variable preserves the solution set and terminates#
A solution of a three-equation system is a triple that satisfies all three equations at once, and the solution set is the collection of every such triple. The reduction must not lose any of those triples or invent new ones, and it must reach an answer in finitely many moves.
Recall the guarantee proved in the elimination lesson. Suppose you keep one equation untouched. Suppose you also replace a second equation by that second equation plus a multiple of the kept one. Then the new pair has exactly the same solutions as the old pair. That guarantee holds in both directions, because the addition and multiplication properties of equality let you build the combination and then undo it. Nothing in that argument counted the variables, so it stays true word for word when the equations carry three letters instead of two.
Now run the reduction on the system, assuming the first equation contains the variable you want to remove (if it does not, reorder the equations so it does). Keep the first equation. Replace the second equation by the second minus the right multiple of the first, choosing the multiple so the target variable cancels. By the guarantee, the solution set is unchanged. Replace the third equation the same way, subtracting a multiple of the first so its copy of the target variable cancels too; again the solution set is unchanged. The system now reads: the untouched first equation, still carrying all three unknowns, together with two equations that contain only the other two unknowns. Every triple that solves the whole system must have its two-variable part solving those last two equations.
So the work splits into stages, and each stage is strictly smaller than the one before. The two leftover equations are an ordinary two-variable system, and you proved in the last lessons that such a system resolves. Eliminate again to reach one equation in one unknown. Solve that equation, then back-substitute for the second unknown. With two of the three values in hand, the untouched first equation becomes a single equation in the last unknown, which you solve directly. Each round removes one variable, so three unknowns fall to two and then to one. The process therefore cannot run forever. It halts after as many rounds as there are variables. The identical bookkeeping applies to a system of equations in unknowns. That bookkeeping drives the system down to equations, then , and onward to a single equation. The method is therefore not special to three unknowns; it scales to any number.
Because every step preserves the solution set, the strange endings carry a clear meaning. If a stage ever collapses to a false statement such as , then the original system had no triple satisfying it, so the system has no solution. Suppose instead a stage collapses to an always-true statement such as . That stage carried nothing new, so the triples were never narrowed down to one. Whatever equations survive then decide the outcome: infinitely many triples solve the system, or none do. With only two equations there is nothing left to decide, and the answer is infinitely many. A third equation can still contradict the others. Consider paired with , which collapses to . Now add to that pair: eliminating against the first equation leaves as well, so the enlarged system has no solution at all.
Check your understanding
After eliminating and solving the resulting two-variable system, you find and . How do you find ?
Eliminating only set it aside; it still has a definite value. Put the two knowns back into any original equation that contains .
That is the back-substitution step, and it recovers the variable you removed.
A three-variable word problem
Three-variable systems earn their keep on problems with three unknowns and three facts. A clean example is recovering unknown prices from several receipts, where each receipt is one equation.
Worked example 2 Unknown prices from three receipts
At a snack stand the popcorn, pretzels, and drinks each have a fixed price. Three customers pay:
- one popcorn, one pretzel, and one drink cost dollars,
- two popcorns, one pretzel, and three drinks cost dollars,
- one popcorn, two pretzels, and four drinks cost dollars.
Find the price of each item.
Name the unknowns. Let , , and be the price in dollars of a popcorn, a pretzel, and a drink. Each receipt becomes one equation:
Eliminate , whose coefficient is in the first equation. Subtract twice equation from equation :
Eliminate the same variable from the untouched equation by subtracting equation :
Add and to cancel :
From , , so . Back-substitute into equation : , so .
The prices are dollar for popcorn, dollars for a pretzel, and dollars for a drink. Check the third receipt, the one held back the longest: , correct. The other two receipts check the same way.
The geometry: three planes in space
Two variables live on a flat page, and a linear equation there draws a line. Three variables live in space, and a linear equation draws a flat sheet stretching out forever, a plane. A system of three equations is then three planes, and a solution triple is a point lying on all three at once.
In the ordinary case the three planes tilt in different directions and meet at exactly one point, the single triple that solves the system. This is the picture behind almost every example in this lesson.
Special arrangements break that single crossing, and they match the same two exceptions you met with lines. If the planes never share a common point, the system is inconsistent and has no solution. That happens when two of them are parallel, or when the three enclose a hollow like the sides of a triangular tent. If the three planes instead share a whole common line, or even coincide as one plane, then endlessly many points lie on all three. In that case the system has infinitely many solutions. The algebra flags each case for you: eliminating variables leaves a false statement in the first situation and an always-true statement in the second.
When the reduction hits no solution or infinitely many
Worked example 3 A system with no solution
Solve
Eliminate using the first equation. Subtract equation from equation :
Now clear the same variable from equation by subtracting times equation :
Equations and read and . The same expression cannot equal both and . Subtract from to see it plainly:
This is false, so no triple satisfies all three equations, and the system has no solution. Geometrically the three planes fail to share any common point.
Worked example 4 A system with infinitely many solutions
Solve
Eliminate again with the first equation. Subtract equation from equation :
Subtract equation from equation :
Equation is exactly twice equation , so it says nothing new. Subtract times from :
The statement is always true, so the third condition was not independent, and the system has infinitely many solutions. To describe them, let be free. From , , and from equation , . So every triple
solves the system, one for each value of . The three planes meet along this whole line rather than at a single point.
Check your understanding
Reducing a system of three equations in three unknowns, you eliminate a variable from two pairs and arrive at . What does this tell you?
When a step collapses to a false numerical statement, no triple can satisfy every equation.
The three planes share no common point. An always-true ending like would instead say that one equation repeated another, leaving the surviving equations to decide between infinitely many solutions and none.