ASCENTLEARNING
Join a weekly class
Skip to learning content
YEAR 11 · PROOF AND CIRCLE GEOMETRY · 18 MIN

Counterexamples

Use one carefully chosen example to disprove a universal claim, while recognising what examples cannot prove.

In this lesson

Before you start
  • Implications and numerical substitution
01 / LEARN

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 P⇒Q, check two things: your example makes P true and Q false. An input where P 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.

02 / WORKED EXAMPLES

See the method in action.

EXAMPLE 01

A fraction breaks a familiar pattern

Disprove: for every positive real x, x2>x.

Worked solution

  1. 1

    Choose a permitted fractional input.

    x=12>0

    The claim includes positive real numbers below one, not only positive integers.

  2. 2

    Square the input exactly.

    x2=(12)2=14

    Squaring a fraction squares its numerator and denominator.

  3. 3

    Compare with the proposed inequality.

    14<12

    The claimed x2>x fails at this positive input, so the universal statement is false.

Answer

x=12 is a counterexample.

EXAMPLE 02

An integer outside a tested range

A student tests n=1,2,3 and claims n2+n+11 is prime for every positive integer n. Disprove the claim.

Worked solution

  1. 1

    Choose an input related to the constant term.

    n=11

    Eleven is a positive integer, and this choice makes every term divisible by eleven.

  2. 2

    Evaluate and factor the output.

    n2+n+11=121+11+11=143=11×13

    The output has two integer factors greater than one, so it is composite.

  3. 3

    Draw the logical conclusion.

    The permitted value n=11 produces a non-prime output. Success at n=1,2,3 cannot prove the universal claim.

Answer

n=11 disproves the claim.

03 / YOUR TURN

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 3cm by 2cm 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
  1. Disprove: every even integer is divisible by 4.
    2 marks
  2. Disprove: for every real x, x2=x.
    2 marks
  3. Disprove: the sum of any two irrational numbers is irrational.
    2 marks
  4. Disprove: if a⁢b=0, then both a and b are zero.
    2 marks
  5. A claim concerns positive integers. Why does n=0 not disprove it?
    2 marks
  6. For integer n, the first four values of n2−n+5 are prime. Find a positive-integer counterexample.
    3 marks
Read the worked solutions

Equivalent correct methods earn the corresponding marks. Include units where asked.

  1. Disprove: every even integer is divisible by 4.
    2 marks

    6 is even, but 64 is not an integer.

    6.
  2. Disprove: for every real x, x2=x.
    2 marks

    (−3)2=3≠−3. The correct general identity is x2=∣⁢x⁢∣.

    x=−3.
  3. Disprove: the sum of any two irrational numbers is irrational.
    2 marks

    Both numbers are irrational; their sum is 0, which is rational.

    2 and −2.
  4. Disprove: if a⁢b=0, then both a and b are zero.
    2 marks

    The product is zero although b≠0. The valid conclusion is that at least one factor is zero.

    a=0, b=5.
  5. A claim concerns positive integers. Why does n=0 not disprove it?
    2 marks

    A counterexample must satisfy all of the original assumptions, including positivity.

    0 is outside the domain.
  6. For integer n, the first four values of n2−n+5 are prime. Find a positive-integer counterexample.
    3 marks

    52−5+5=25=5×5, so the universal prime claim is false.

    n=5, giving 25.
Checking saved progress…
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 ↗

Save your next step.

Create a free account to save your learning progress. Lessons and downloads stay free, with or without an account.

Create free account