Understand the idea.
What a counterexample must do
A counterexample defeats a claim about every member of a domain. Find one permitted input and show exactly how the proposed conclusion fails. Values outside the stated domain cannot disprove the claim.
For an implication , check two things: your example makes true and false. An input where is false does not test the promise being made.
Search strategically
Search where familiar patterns change: zero, negative values, fractions between zero and one, and boundary values are useful when allowed. Substitute exactly, then compare the result with the claimed property rather than relying on a decimal impression.
One valid failure settles a universal claim as false. Many successful trials cannot establish a claim over an infinite domain, and failing to find a counterexample is not a proof. A true universal statement needs a general argument.
See the method in action.
A fraction breaks a familiar pattern
Disprove: for every positive real , .
Worked solution
- 1
Choose a permitted fractional input.
The claim includes positive real numbers below one, not only positive integers.
- 2
Square the input exactly.
Squaring a fraction squares its numerator and denominator.
- 3
Compare with the proposed inequality.
The claimed fails at this positive input, so the universal statement is false.
is a counterexample.
An integer outside a tested range
A student tests and claims is prime for every positive integer . Disprove the claim.
Worked solution
- 1
Choose an input related to the constant term.
Eleven is a positive integer, and this choice makes every term divisible by eleven.
- 2
Evaluate and factor the output.
The output has two integer factors greater than one, so it is composite.
- 3
Draw the logical conclusion.
The permitted value produces a non-prime output. Success at cannot prove the universal claim.
disproves the claim.
Try it yourself.
Check your understanding
Disprove: every rectangle has four equal sides.
Show answer & reasoning
A rectangle with length 3 cm and width 2 cm.
A by rectangle satisfies the rectangle conditions but has unequal adjacent sides. It therefore disproves the claim that every rectangle has four equal sides.
Keep practising
6 worksheet questions · 13 marks
Read the questions online
- Disprove: every even integer is divisible by 4.2 marks
- Disprove: for every real , .2 marks
- Disprove: the sum of any two irrational numbers is irrational.2 marks
- Disprove: if , then both and are zero.2 marks
- A claim concerns positive integers. Why does not disprove it?2 marks
- For integer , the first four values of are prime. Find a positive-integer counterexample.3 marks
Read the worked solutions
Equivalent correct methods earn the corresponding marks. Include units where asked.
- Disprove: every even integer is divisible by 4.2 marks
6 is even, but is not an integer.
6. - Disprove: for every real , .2 marks
. The correct general identity is .
. - Disprove: the sum of any two irrational numbers is irrational.2 marks
Both numbers are irrational; their sum is 0, which is rational.
and . - Disprove: if , then both and are zero.2 marks
The product is zero although . The valid conclusion is that at least one factor is zero.
, . - A claim concerns positive integers. Why does not disprove it?2 marks
A counterexample must satisfy all of the original assumptions, including positivity.
0 is outside the domain. - For integer , the first four values of are prime. Find a positive-integer counterexample.3 marks
, so the universal prime claim is false.
, giving 25.
Curriculum reference & lesson scope
SACE Board of South Australia
Stage 1 Mathematics: geometric reasoning and real-number/proof material, regrouped into a school chapter; all exercises are original.
Official curriculum source ↗