Historical Context & Motivation
People have been solving equations for thousands of years, long before anyone used the letter x. Ancient civilizations figured out how to find unknown quantities — but they also realized that knowing why a method works is just as important as getting the right answer. The story of algebra is really a story about building logical arguments, step by step.
Throughout all of this history, one question persisted: How do we know that a solution method actually gives us the correct answer? Standard A-REI.1 asks you to answer that question every time you solve an equation. You need to explain why each step is valid, not just show what you did.
Core Principles & Definitions
Before we can justify our solving steps, we need to understand the foundational ideas that make those steps legal. Think of these principles as the rules of the game. Every move you make when solving an equation must be backed by one of these properties.
Addition Property of Equality
Multiplication Property of Equality
Distributive Property
Combining Like Terms
Assumption of a Solution
Visual Explanation — The Balance Model
The diagram below shows how the equation 2x + 3 = 11 is solved step by step. Each row represents one transformation of the equation. Notice how the same operation is applied to both sides every time, and the justification (the property used) is labeled on the right.
Notice the pattern: at every step, we name the property that allows us to make that move. This is the heart of A-REI.1. You are building a logical chain where each link depends on the one before it. If any link breaks — if you use an invalid operation — the whole chain falls apart and your answer might be wrong.
Mathematical Framework — Properties of Equality
Let's formalize the properties you'll use to justify your steps. Each property is like a tool in your toolbox. When you write your justification, you pick the right tool and name it.
Here is the key idea: when you solve an equation, you are producing a chain of equivalent equations. Each equation has the exact same solution set as the one before it. The properties above guarantee that no solutions are gained or lost (as long as you don't multiply both sides by zero or do something else that's not allowed). So if you start with an equation that has a solution, and every step is justified by one of these properties, then the final equation — usually something like x = (some number) — must also be true.
Writing a Justification — Step-by-Step Breakdown
Now let's look at what a full, properly justified solution looks like. The diagram below maps out a more complex equation and shows the reasoning structure you should follow when writing your own justifications.
| Step | What You Write | Why It's Valid |
|---|---|---|
| 0 | 3(x − 2) + 4 = 16 | Given equation |
| 1 | 3x − 6 + 4 = 16 → 3x − 2 = 16 | Distributive Property, then combine like terms |
| 2 | 3x = 18 | Addition Property of Equality (add 2 to both sides) |
| 3 | x = 6 | Multiplication Property of Equality (divide both sides by 3) |
| ✓ | 3(6 − 2) + 4 = 16 → 16 = 16 ✓ | Substitution into original equation confirms the solution |
Worked Example — Full Justified Solution
Let's work through a complete example with variables on both sides. Pay close attention to how every single step is named and justified.
Common Mistakes vs. Correct Reasoning
Understanding what not to do is just as important as knowing the correct steps. Here are some common errors students make when solving equations, along with explanations of why these moves break the logical chain.
| Common Mistake | Why It's Wrong | Correct Approach |
|---|---|---|
| Performing an operation on only one side of the equation | This violates the properties of equality. If you add 5 to only the left side, the two sides are no longer equal — the balance is broken. | Always perform the same operation on both sides, then name the property. |
| Dividing both sides by 0 (or by a variable that could be 0) | Division by zero is undefined. If you divide by a variable expression, you might lose a solution where that expression equals zero. | Never divide by zero. If dividing by a variable, note the restriction and check for lost solutions. |
| Saying 'move the 3 to the other side' | Numbers don't 'move.' This language hides the actual operation. You're really adding −3 to both sides, justified by the Addition Property of Equality. | Say: 'Subtract 3 from both sides (Addition Property of Equality).' |
| Distributing incorrectly: 3(x + 2) = 3x + 2 | The Distributive Property says you multiply 3 by every term inside the parentheses. Forgetting to distribute to the second term creates a false equation. | 3(x + 2) = 3x + 6. Multiply 3 by x AND by 2. |
| Skipping the check step | Without checking, you've only shown what the answer MUST be IF a solution exists. You haven't confirmed it actually works. Errors in arithmetic can slip through undetected. | Always substitute your answer back into the original equation to verify. |
Connection to Advanced Reasoning
The reasoning skills you develop through A-REI.1 are not just for simple linear equations. They form the foundation for everything you will encounter in higher mathematics. Let's see how this standard connects to more advanced topics.
| What You Learn in A-REI.1 | How It Extends Later |
|---|---|
| Justify each step with a named property | In Geometry, you write two-column proofs. In college math, you write formal proofs. The structure is identical: claim → justification. |
| Assume a solution exists, then derive what it must be | This is the logical structure of proof by assumption. In advanced algebra, you'll encounter equations with no solution or extraneous solutions — and this careful reasoning helps you detect them. |
| Check by substitution | When you solve radical or rational equations, checking is essential because squaring both sides or multiplying by variable expressions can introduce extraneous (false) solutions. |
| Properties of equality for linear equations | The same properties apply to quadratic equations, systems of equations, and inequalities (with modifications for inequality direction when multiplying by negatives). |
Think of A-REI.1 as your training ground for mathematical argumentation. The habit of asking 'Why is this step valid?' will serve you in every math course you take from here on. In Algebra 2, you'll justify steps when solving quadratic, exponential, and logarithmic equations. In calculus, you'll justify the rules you use to find derivatives and integrals. The logic is always the same: start from something you know is true, apply a valid operation, and arrive at something new that must also be true.
Practice Problems
Now it's your turn. For each problem below, don't just find the answer — name the property that justifies each step. Try solving each one on your own before reading the answer.
Lesson Summary
Standard A-REI.1 asks you to do more than solve equations — it asks you to explain and justify each step in the process. You start by assuming the original equation has a solution. Then, at every step, you apply a valid mathematical property — the Addition Property of Equality, the Multiplication Property of Equality, or the Distributive Property — and name it explicitly. Each new equation in the chain is guaranteed to have the same solution as the one before it, creating a logical chain of equivalent equations from the original to the final answer.
Remember: the check step (substituting back into the original equation) completes the argument by confirming the solution actually works. Avoid vague language like 'move the number over' — instead, name the exact property. Common mistakes include performing operations on only one side, dividing by zero, and distributing incorrectly. The reasoning skills you build here extend directly into geometric proofs, advanced algebra, and beyond. Master this standard and you'll have a foundation for mathematical argumentation that lasts for years.