Example 1 — Choose the technique
EasyProblem
You must prove: 'For every integer , .' Which technique fits?
Solution
-
The claim is indexed by all integers with each case built from the previous sum.
Name the structure before touching arithmetic — that is what makes the right method obvious.
-
Ask the recognition question: Have I matched the strategy to the claim's form before starting to write the proof?
If the answer is yes, the concept applies; the cue, not a keyword, decides the method.
-
Recognize 'for all integers ' plus a self-referential running total as the induction signature.
The rule is chosen only after the structure matches, so the steps mean something.
-
Select mathematical induction: verify , then show the formula for forces it for .
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 — match the argument tool to the claim's shape. If it does not, revisit the recognition step before changing the arithmetic.
Answer
Use induction
Takeaway: The phrase 'for all integers ' over a step-built quantity points to induction before you write anything.