A solution of a linear system is an ordered pair that satisfies every equation in the system. That single definition connects all three standard methods: graphing finds a point common to two lines, substitution replaces a quantity by an equal expression, and elimination combines equations without changing their common solution set.
This editable US Algebra I lesson develops that connection before procedural practice. It includes concise proofs, fourteen worked examples, exact and approximate solutions, dependent and inconsistent systems, two checked diagrams, eight modeling contexts, forty sequenced exercises, and a separate fully worked teacher edition. The final section deliberately prepares students for the existing Cramer’s-rule lesson without introducing determinant computation too early.
Why an intersection solves the system
The graph of an equation is the set of all ordered pairs that satisfy it. If a point solves two equations, it belongs to both graphs and therefore lies at their intersection. Conversely, a point at an intersection belongs to both graphs and satisfies both equations. Thus a graphical intersection and an algebraic common solution are the same mathematical object.
For example,
$$y=x+1\quad\text{and}\quad y=-x+5$$
intersect at $(2,3)$. The coordinate is not accepted merely because it looks correct on the graph:
$$3=2+1,\quad 3=-2+5.$$
Both checks hold.
Three outcomes, not just one
Two lines can intersect once, remain distinct and parallel, or coincide. These are the only possibilities for a pair of linear equations in two variables.
| Outcome | Graph | Algebraic evidence |
|---|---|---|
| One solution | Different slopes; one intersection | Solving gives one ordered pair |
| No solution | Equal slopes; different intercepts | Valid operations give a contradiction such as $0=5$ |
| Infinitely many solutions | The same line | Valid operations give an identity such as $0=0$ |
A system with at least one solution is consistent. A system whose equations describe the same line is dependent. A pair of distinct parallel lines is inconsistent.
The distinction is easy to lose if students see only examples engineered to have one integer solution. This lesson places dependent and inconsistent systems inside every method. Students must explain that an identity leaves the common line as the solution set, whereas a contradiction leaves no ordered pair at all.
Why substitution is valid
Suppose one equation is $y=f(x)$. Every common solution has that value of $y$, so replacing $y$ by $f(x)$ in the other equation retains every system solution. The converse also holds: if $x=p$ solves the substituted equation and $y=f(p)$, the pair satisfies both originals. This two-direction argument proves that substitution preserves the solution set.
For
$$y=3x-4,\quad x+y=8,$$
substitution gives
$$x+(3x-4)=8,\quad 4x=12.$$
Hence $x=3$ and $y=5$. The check $3+5=8$ matters as much as the arithmetic that produced the pair.
Why elimination is valid
Replacing an equation $E_2$ by $E_2+kE_1$, while retaining $E_1$, does not change the system’s solutions. Any old solution satisfies the linear combination. Any solution of the new system recovers the old equation by
$$(E_2+kE_1)-kE_1=E_2.$$
The operation is reversible. This is the exact justification requested by CCSS HSA-REI.C.5, and it makes elimination a theorem rather than a memorized instruction.
For example,
$$3x+2y=16,\quad 5x-2y=16$$
can be added directly. The result $8x=32$ gives $x=4$, and either original equation gives $y=2$. Substitution confirms that $(4,2)$ satisfies both equations.
The packet also includes cases requiring one or two scaled equations, fractional coefficients that cancel cleanly, and proportional equations that reduce to an identity.
A model carries meanings and units
A word problem requires more than extracting numbers. Students define variables, identify two independent constraints, interpret every coefficient, solve, and test whether the result is feasible.
Suppose a school sells $120$ concert tickets. Adult tickets cost $12$ dollars, student tickets cost $7$ dollars, and revenue is $1,040$ dollars. If $a$ and $s$ denote the ticket counts, then
$$a+s=120,\quad 12a+7s=1040.$$
Solving gives $a=40$ and $s=80$. These values are nonnegative integers, total $120$, and reproduce the stated revenue.
Other contexts cover dimes and quarters, solution concentration, walking and biking rates, break-even analysis, rectangle dimensions, digit reversal, and museum admissions. Each is selected to make both equations mathematically meaningful rather than supplying superficial story decoration.
Representative practice
The forty exercises are organized into five sets of eight:
- meaning, verification, and classification;
- graphing exact and approximate intersections;
- substitution, including identities and contradictions;
- elimination with integer, decimal, and fractional structure;
- modeling with money, mixture, rate, geometry, and digit constraints.
Representative prompts include:
- Classify $3x+2y=8$ and $6x+4y=17$ by comparing coefficients and constants.
- Graph $3x-y=6$ and $6x-2y=10$, then explain the solution count.
- Solve $y=2x+5$ and $4x-2y=-10$ by substitution and describe the complete solution set.
- Solve $2x-3y=-4$ and $5x+2y=19$ exactly by elimination.
- Model a jar containing $38$ dimes and quarters worth $6.65$ dollars.
- Explain why a hand-drawn graph may classify a system reliably without revealing an exact non-grid coordinate.
The teacher edition solves every question, supplies parameter forms for dependent systems, verifies each unique pair, and includes misconception responses and a four-point scoring guide.
Adapt it for a class
The lesson and teacher edition are separate project files. Teachers can use the opening sections as direct instruction, assign one method at a time, reserve classification for a formative check, or use the full packet as a compact unit. School identity, pacing, calculator policy, standards language, contexts, numbers, problem selection, and answer space are editable.
The included authoring workflow also demonstrates how a teacher can extend the resource with an AI assistant: first specify the mathematical arc, then request proofs, checked examples, sequenced practice, and a separate key in small passes. Each graph, equation, and answer still requires human verification before classroom use.
Sources and boundaries
- Common Core State Standards for Mathematics, HSA-REI, especially HSA-REI.C.5 and HSA-REI.C.6, for equivalent-system reasoning and exact or approximate solution of two-variable systems.
- OpenStax Elementary Algebra 2e, Chapter 5, CC BY 4.0, consulted for modern US instructional scope and method selection.
- Ankit Kumar Chauhan, “System of Linear Equations,” Matherama, author-owned material reused with permission, for consistency terminology and the transition toward determinant methods.
This lesson treats pairs of linear equations in two variables. Three-variable systems, matrix methods, and Cramer’s rule belong in the related follow-on resource. Independent mathematics-teacher review and classroom trial remain outstanding.