DWG NO. 02.1 — Lesson 1 of 5

Inductive Reasoning and Conjectures

Unit 2: Reasoning and Proof · ~15–30 min

Objective

Use inductive reasoning to spot a pattern in a set of examples, state it as a conjecture, and test the conjecture with a counterexample.

Inductive reasoning

Inductive reasoning starts with specific examples — numbers, figures, measurements — and looks for a pattern among them. Once a pattern seems to hold, you state it as a general rule, called a conjecture. Inductive reasoning is how most mathematical ideas get discovered in the first place. But spotting a pattern isn't the same as proving it always works — that's the job of deductive reasoning, which is coming up in Lesson 2.3.

Making a conjecture

To form a conjecture: gather several examples, look for what stays the same or changes in a predictable way, write the pattern as a general statement, and test it against a few more cases before you trust it.

n = 1 n = 2 n = 3 1 3 6

Dot counts 1, 3, 6, … grow by one more each stage — the pattern behind the conjecture dots(n) = n(n+1)÷2.

Counterexamples

A conjecture only needs to fail once to be disproved. A single case that breaks the pattern is called a counterexample, and finding one is enough to reject the whole conjecture — no matter how many earlier cases it worked for.

Worked Example 1 · Extending a pattern
ProblemThe diagram above shows dot counts 1, 3, 6 for stages 1, 2, 3. Conjecture a formula for the number of dots at stage n, then predict stage 4.
1.Look at the differences between consecutive counts: 3−1=2, 6−3=3. Each stage adds one more dot than the last increase — consistent with adding a new, longer row each time.
2.Following that pattern, stage 4 should add a row of 4 dots to the 6 already there: 6+4=10.
3.Test a general formula: dots(n) = n(n+1)÷2. Check n=3: 3×4÷2=6 ✓. Check n=4: 4×5÷2=10 ✓, matching the prediction.
Stage 4 has 10 dots  •  conjecture: dots(n) = n(n+1)÷2
Worked Example 2 · Disproving with a counterexample
ProblemTest the conjecture: “The sum of two prime numbers is always even.”
1.Try a few cases: 3+5=8 (even), 5+7=12 (even), 3+7=10 (even) — the pattern seems to hold so far.
2.But 2 is also prime, and it's the only even prime. Try 2+3=5, which is odd.
3.That single case breaks the pattern, so it's a valid counterexample — the conjecture is false as stated.
Counterexample: 2+3=5 (odd)  •  conjecture is false

Guided practice