Example 1 — Solve and stay equivalent
EasyProblem
Solve , justifying each step preserves meaning.
Solution
-
Each step must keep the solution set identical, so only reversible moves are allowed.
Name the structure before touching arithmetic — that is what makes the right method obvious.
-
Ask the recognition question: Does this step leave the statement true in exactly the same cases as before?
If the answer is yes, the concept applies; the cue, not a keyword, decides the method.
-
Add 6 to both sides (reversible), then divide by 2 (nonzero, reversible).
The rule is chosen only after the structure matches, so the steps mean something.
-
, then .
Keep units, shape, or answer form tied to the story so the work does not become symbol pushing.
-
Check the answer against the original question.
It should fit the mental model — change the form, never the content. If it does not, revisit the recognition step before changing the arithmetic.
Answer
Takeaway: Every step was reversible, so the solution set never changed.