LightMySky

Counterexamples and Testing a Conjecture

Before proving a statement, spend real effort trying to break it. A counterexample settles the question outright, and a failed attempt usually shows which hypothesis the proof will need.

No account needed. Progress saves in this browser.

What a learner can do afterwards

  • Construct a counterexample to a plausible but false statement
  • Turn a failed counterexample into the hypothesis the theorem was missing
  • Test a conjecture on the smallest cases and the most awkward ones first

1 · Read

Many conjectures claim something about all members of a set: all primes, all continuous functions, all groups with some property. One counterexample defeats such a claim: a single object meeting the hypotheses but breaking the conclusion. The denial of all A are B is some A is not B, so build exactly that object. For if P then Q, hunt the single falsifying row: true hypothesis with false conclusion.

Try it together

Claim: all prime numbers are odd. The number 2 is prime and even, so it meets the setup but breaks the result, and the claim falls. Note that 9, 15, and 1 cannot break it, since none of them is prime at all. Claim: the product of any two irrationals is irrational. Root 2 times root 2 equals 2, which is rational, so that pair breaks it while root 2 times root 3 stays irrational.

A failed attempt is still useful: it usually shows which hypothesis the proof will need. Trying hard to break the claim that differentiability forces continuity always collapses at the same place, since every candidate turns out continuous. That pattern signals the hypothesis is doing the real work. Likewise, pairs that cancel like g equals minus f show why the sum of two discontinuous functions can be continuous, and the repaired claim is: a continuous plus a discontinuous function is discontinuous there.

Good to know

Test conjectures on the smallest cases and the most awkward ones first: zero, one, empty, discontinuous, extreme. For n squared plus n plus 41, try 0 giving 41, then 1 giving 43, then the awkward 40 giving 1681, which is 41 times 41. Large random cases usually behave well and rarely expose the flaw, so cheap small tests find the most breaks.

One good counterexample settles a universal claim, and near misses reveal the missing hypothesis.

2 · Watch

Take it off screen

Print a worksheetA4 with an answer key page for grown-ups. No screen, no internet.

Where it sits

Where this leads

Jobs that lean on this skill. Follow one to see everything it is built on.

Then practise

8 questions wait behind this lesson, each with its answer explained. Every answer feeds the sky: stars light as they are learned, and dim when it is time to come back.

Spotted a problem on this page? Tell us
Counterexamples and Testing a Conjecture · Mathematics, ages 22 to 24 · LightMySky