The method has four moves. Solve one of the equations for one of its variables. Substitute the resulting expression into the other equation, which then contains one variable. Solve it. Put that value back into the isolated equation to get the partner, and check the pair in both originals.
Theorem · Substitution preserves the solution setLet a system consist of x = E, where E is an expression in y, together with a second equation. Replacing every x in the second equation by E produces a system with exactly the same solutions, provided x = E is kept.
Take a pair (x, y) satisfying both original equations. It satisfies x = E, so x and E are the same number, and putting one in place of the other in a true equation leaves a true equation. So the pair satisfies the substituted equation as well.
Now take a pair satisfying x = E and the substituted equation. The same argument, run with E replaced by x, returns the original second equation. Neither direction loses a pair, so the two systems have the same solution set.
□
The proviso is not decoration. The isolated equation stays part of the system, and it is what produces the value of x at the end. Dropping it once the substitution is made leaves a single equation in one variable, which has a different solution set from the system you started with.
Choosing what to isolate
Look for a coefficient of 1 or −1. In 5x − 2y = 4 and 3x + y = 9, the y in the second equation has coefficient 1, so y = 9 − 3x arrives without a division. If no coefficient is 1 or −1, pick whichever looks smallest and accept the fraction.
3x + 2y = 4 no coefficient is 1 or −1; isolate x below
2x − 5y = 9 → x = (9 + 5y)/2
3(9 + 5y)/2 + 2y = 4 substitute into the FIRST equation
3(9 + 5y) + 4y = 8 × 2, clearing the denominator
27 + 15y + 4y = 8
19y = −19 → y = −1
x = (9 + 5(−1))/2 = 4/2 = 2
check 3(2) + 2(−1) = 6 − 2 = 4 ✓
2(2) − 5(−1) = 4 + 5 = 9 ✓
Substituting into the first equation is not a preference. Putting x = (9 + 5y)/2 back into 2x − 5y = 9 gives 9 = 9: true, and completely uninformative, because that equation was used to build the expression in the first place. Information comes from the equation that has not yet been spent.
When the variable disappears
Sometimes the substitution removes both variables and leaves a statement about numbers. Linear Equations and Inequalities met these as contradictions and identities, and they mean here exactly what they meant there: a false statement means no pair works, a true one means the equation placed no new restriction and the whole line survives.
x − 2y = 3 → x = 2y + 3
2x − 4y = 1 2(2y + 3) − 4y = 1 → 4y + 6 − 4y = 1 → 6 = 1
FALSE → no solution; the lines are parallel
x − 2y = 3 → x = 2y + 3
2x − 4y = 6 2(2y + 3) − 4y = 6 → 6 = 6
TRUE for every y → infinitely many
solution set {(2t + 3, t) : t real}
Example · Reading a parameter form{(2t + 3, t)} is a recipe: choose t, get a pair. t = 0 gives (3, 0), t = 1 gives (5, 1), t = 5 gives (13, 5). Each satisfies x − 2y = 3 and 2x − 4y = 6.
The letter is arbitrary and the description is not unique: {(s, (s − 3)/2)} describes the same line. Any correct description of the set is a correct answer.
The check at the end is a check of both original equations. This is the same discipline as “Systems of Two Linear Equations” and for the same reason: an arithmetic slip in the substitution produces a pair that fits the equation it came out of.