Using Counterexamples — I can use counterexamples to show a claim is false in a supported task. - Grade 9 Math

SECTION 1

Historical Context & Motivation

Mathematics has always been about distinguishing what is true from what merely seems true. Throughout history, mathematicians have made bold claims — some turned out to be correct, while others were toppled by a single example that showed the claim was wrong. That single example is called a counterexample, and it is one of the most powerful tools in mathematical reasoning. Understanding how counterexamples work will sharpen your ability to evaluate claims, spot flawed arguments, and think critically — skills that extend far beyond math class.

~300 BCE • Euclid's Elements

Euclid established the tradition of rigorous proof in geometry, showing that claims must be justified logically — and that assumptions without proof could lead to errors.

1769 • Euler's Conjecture Challenged

Leonhard Euler conjectured that three fourth powers could never sum to a fourth power. Nearly 200 years later, a counterexample was found, disproving the conjecture with a single set of numbers.

1848 • Formal Logic Advances

George Boole developed symbolic logic, formalizing how universal statements ("all," "every") could be disproved by finding just one case where the statement fails.

1966 • Euler's Conjecture Disproved

Lander and Parkin used a computer to find 27⁵ + 84⁵ + 110⁵ + 133⁵ = 144⁵, a counterexample disproving a related Euler conjecture that had stood for nearly two centuries.

The central question that counterexamples address is deceptively simple: How do you prove that a claim is false? You might test a few cases and find the claim works every time — but that does not mean it always works. Conversely, finding just one case where the claim fails is enough to destroy it entirely. This asymmetry — easy to disprove, hard to prove — is one of the most important ideas in mathematical reasoning.

SECTION 2

Core Principles & Definitions

Before you can use counterexamples effectively, you need to understand a few foundational ideas. A conjecture is a mathematical statement that someone believes to be true but has not yet been proven. A universal claim is a statement that says something is true for all members of a set — for example, "all prime numbers are odd" or "the square of every number is positive." These are the types of claims most vulnerable to counterexamples.

Counterexample

A specific case or example that satisfies the conditions of a claim but makes the conclusion false. One counterexample is sufficient to disprove a universal statement.

Universal Claim

A statement asserting that something is true for every member of a group. Look for words like "all," "every," "always," or "no" — these signal universal claims.

Conjecture vs. Theorem

A conjecture is an unproven claim; a theorem is a claim that has been rigorously proven. Counterexamples turn conjectures into known falsehoods.

One Is Enough

You only need a single counterexample to disprove a universal claim. However, no number of supporting examples can prove a universal claim — that requires a formal proof.

✦

KEY TAKEAWAY

Think of a universal claim like a chain with thousands of links. A counterexample is like finding one broken link — it does not matter how strong the other links are, the chain is broken. Similarly, no matter how many examples support a claim, a single counterexample proves it false.

SECTION 3

Visual Explanation

The diagram below illustrates the fundamental logic of counterexamples. A universal claim asserts that every element in a set satisfies a property. When we find even one element that does not satisfy the property, the entire claim collapses. The visual shows how a set of tested examples may all support the claim (shown in green), but a single counterexample (shown in red) is enough to disprove it.

The diagram shows that while supporting examples (green check marks) cannot prove a universal claim, a single counterexample (red X) is sufficient to disprove it completely. This asymmetry is central to mathematical reasoning.

Notice the key difference between the two outcomes in the diagram. On the left, four supporting examples might make you feel confident the claim is true, but feeling confident and having a proof are not the same thing. On the right, a single failure destroys the claim with certainty. This is why mathematicians say that examples can suggest truth, but only a counterexample can establish falsehood.

SECTION 4

The Logic Behind Counterexamples

Counterexamples are grounded in formal logic. When someone makes a universal claim, they are asserting that a certain property holds for every element in a domain. In mathematical language, a universal claim has the form: For all x in set S, property P(x) is true. To disprove such a claim, you need to show that the negation is true — that is, there exists at least one x in set S for which P(x) is false.

UNIVERSAL CLAIM

For all x ∈ S, P(x) is true

This asserts that every element x in the set S satisfies property P. Words like "all," "every," and "always" signal this type of claim.

NEGATION (COUNTEREXAMPLE)

There exists x ∈ S such that P(x) is false

To disprove the universal claim, find at least one specific value of x in S where the property P fails. That specific value is the counterexample.

Let's see this in action with a concrete example. Consider the claim: "For all integers n, n² > n." This sounds reasonable if you test n = 2 (since 4 > 2) or n = 5 (since 25 > 5). But if you try n = 1, you get 1² = 1, which is not greater than 1. Since 1 is an integer where the property fails, n = 1 is a counterexample, and the claim is false.

EXAMPLE: TESTING THE CLAIM

Claim: n² > n for all integers n. n = 1 → 1² = 1, and 1 > 1 is FALSE. Counterexample: n = 1

We do not need to check n = 0 or negative values (though n = 0 also fails). A single counterexample at n = 1 is sufficient to disprove the claim.

⚠

Important Distinction

A counterexample must satisfy the conditions of the claim but violate the conclusion. If a claim says "for all positive integers," then your counterexample must be a positive integer — using a negative number would not count because it does not meet the original conditions.

SECTION 5

Strategies for Finding Counterexamples

Finding a counterexample sometimes requires creative thinking. Rather than testing random cases, experienced problem solvers focus on specific types of numbers or situations that tend to break claims. The diagram below maps out a strategy for systematically searching for counterexamples.

This flowchart shows a systematic strategy for finding counterexamples. Start by identifying the domain, then test boundary and special values — zero, one, negatives, fractions, and edge cases — before trying random values.

The most common "tricky" values that break mathematical claims are 0, 1, −1, fractions between 0 and 1, and the number 2 (the only even prime). When you encounter a claim like "all prime numbers are odd," the number 2 immediately comes to mind as a counterexample — it is prime, but it is not odd. Similarly, claims involving exponents often fail at 0 or 1 because these numbers behave differently under exponentiation than most people expect.

Zero — Often overlooked; it is neither positive nor negative and has unique multiplication properties (anything × 0 = 0).
One — The multiplicative identity; 1² = 1 and 1ⁿ = 1 for any n, so exponent-based claims often fail here.
Negative numbers — Squaring a negative number gives a positive result, which can violate claims about sign or ordering.
Fractions between 0 and 1 — Squaring a fraction like ½ gives ¼, which is smaller, not larger — the opposite of what happens with whole numbers.

SECTION 6

Worked Example

Let's work through a complete example, step by step, to see the process of evaluating a claim and finding a counterexample.

Disproving: "For all real numbers x, x² ≥ x"

1
Step 1 — Understand the Claim

The claim says that for every real number x, the square of x is greater than or equal to x. The domain is all real numbers, and the conclusion is x² ≥ x.
2
Step 2 — Test Supporting Cases

Let's first try some "normal" values to see if the claim seems reasonable. For x = 3: 3² = 9 ≥ 3 ✓. For x = −2: (−2)² = 4 ≥ −2 ✓. For x = 0: 0² = 0 ≥ 0 ✓. For x = 1: 1² = 1 ≥ 1 ✓. These all work, which might tempt us to believe the claim.

x = 3, −2, 0, 1 all satisfy x² ≥ x
3
Step 3 — Try "Tricky" Values

Now let's try a fraction between 0 and 1. For x = ½: (½)² = ¼. Is ¼ ≥ ½? No — ¼ is less than ½. This means x = ½ is a value where the conclusion fails.

x = ½ → x² = ¼, but ¼ < ½, so x² ≥ x is FALSE
4
Step 4 — Verify It's a Valid Counterexample

We need to confirm that x = ½ is in the domain. The claim says "for all real numbers x," and ½ is a real number, so it qualifies. Since ½ is in the domain and the conclusion x² ≥ x fails at x = ½, this is a valid counterexample.

x = ½ is a valid counterexample — the claim is disproved.
5
Step 5 — State the Conclusion

The claim "for all real numbers x, x² ≥ x" is false. The counterexample x = ½ demonstrates that squaring a number between 0 and 1 produces a result smaller than the original number. In fact, any value 0 < x < 1 would serve as a counterexample.

Claim is FALSE. Counterexample: x = ½ (since (½)² = ¼ < ½)

SECTION 7

Strengths & Limitations of Counterexamples

Counterexamples are incredibly useful, but they are only one tool in the mathematical reasoning toolkit. It is important to understand both what they can and cannot do.

Aspect	Strengths	Limitations
Power	A single counterexample conclusively disproves a universal claim — no further argument is needed.	Counterexamples cannot prove a claim is true. Even millions of supporting examples do not constitute a proof.
Efficiency	You only need to find one example that fails. This can be faster than constructing a full proof.	If no counterexample exists (the claim is true), you could search forever without finding one.
Scope	Works for any universal claim in math, science, or everyday reasoning.	Only works against universal claims ("all," "every," "always"). Cannot disprove existential claims ("there exists...").
Insight	A counterexample often reveals why a claim fails, helping you understand the concept more deeply.	A counterexample does not tell you what the correct claim should be — you must revise the claim yourself.

Comparing what counterexamples can and cannot accomplish

✦

KEY TAKEAWAY

Think of a counterexample like a detective finding a single piece of evidence that disproves an alibi. The suspect might have ten witnesses saying they were home, but one security camera showing them elsewhere is enough to shatter the alibi. In math, a counterexample is that security camera — undeniable proof that a claim does not hold.

SECTION 8

Connection to Proof & Advanced Reasoning

Counterexamples are your first step into the world of mathematical proof. As you advance in mathematics, you will encounter various proof techniques — and counterexamples connect directly to one of the most important: proof by contradiction. In a proof by contradiction, you assume the opposite of what you want to prove is true, and then show that this assumption leads to a logical impossibility. A counterexample is essentially a concrete version of this idea — you find a specific instance that contradicts the claim.

Feature	Counterexample	Proof by Contradiction
Goal	Show a claim is false by providing a specific failing case	Show a claim is true by showing its negation leads to impossibility
Method	Find one concrete example where the claim fails	Assume the negation is true, then derive a contradiction
Outcome	The original claim is disproved	The original claim is proved true
When Used	Grade 9 and beyond — your current tool	Geometry proofs, Algebra 2, and higher math courses

Counterexamples vs. Proof by Contradiction

As you progress through geometry and beyond, you will also encounter conditional statements of the form "if P, then Q." To disprove such a statement, you need a counterexample where P is true but Q is false. For instance, to disprove "if a number is a perfect square, then it is even," you would note that 9 = 3² is a perfect square but is odd. Mastering counterexamples now will give you a strong foundation for these more advanced reasoning tasks.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Explain in your own words why a single counterexample is enough to disprove a universal claim, but a single supporting example is not enough to prove one.

Show answer

A universal claim asserts that something is true for every case in a set. If even one case fails, the word "every" is violated, and the claim is false — that one failing case is the counterexample. On the other hand, a single supporting example only shows the claim works in that particular instance. There could be other cases where it fails that you haven't tested yet. To prove a universal claim is true, you would need a formal proof that covers all possible cases, not just one or a few examples.

Question 2: BASIC CALCULATION

Consider the claim: "For all positive integers n, 2n > n²." Find a counterexample to disprove this claim.

Show answer

Try n = 3: 2(3) = 6 and 3² = 9. Since 6 < 9, the inequality 2n > n² is false at n = 3. Therefore, n = 3 is a counterexample. You can also verify that the claim holds for n = 1 (2 > 1) and barely fails at n = 2 (4 = 4, not strictly greater), so n = 2 also works as a counterexample since 2(2) = 4 is not greater than 2² = 4. Either n = 2 or n = 3 is a valid counterexample.

Question 3: INTERMEDIATE

A student claims: "The sum of any two odd numbers is odd." Determine whether this claim is true or false. If false, provide a counterexample and explain why it works.

Show answer

This claim is false. Consider the two odd numbers 3 and 5. Their sum is 3 + 5 = 8, which is even, not odd. Therefore, the pair (3, 5) is a counterexample. In fact, the sum of any two odd numbers is always even because each odd number can be written as 2k + 1, so (2a + 1) + (2b + 1) = 2a + 2b + 2 = 2(a + b + 1), which is always a multiple of 2 and therefore even. Any pair of odd numbers would serve as a counterexample here.

Question 4: APPLIED

A classmate says: "If a quadrilateral has four equal sides, then it must be a square." Is this claim true or false? If false, describe a specific counterexample with enough detail to show why the claim fails.

Show answer

This claim is false. A rhombus has four equal sides but is not necessarily a square. For example, consider a rhombus with side length 5 where the angles are 60°, 120°, 60°, and 120°. This shape satisfies the condition (four equal sides) but fails the conclusion (it is not a square) because its angles are not all 90°. A square is a special case of a rhombus where all angles happen to be right angles. This counterexample shows that the condition of having four equal sides is not sufficient to guarantee that a quadrilateral is a square.

Question 5: CRITICAL THINKING

Consider this claim: "For all real numbers a and b, if a² = b², then a = b." Find a counterexample, and then determine what the correct, revised version of the claim should be.

Show answer

This claim is false. Let a = 3 and b = −3. Then a² = 9 and b² = 9, so a² = b². However, 3 ≠ −3, so the conclusion a = b fails. The counterexample works because squaring a number erases the sign — both positive and negative versions of a number produce the same square. The correct revised claim would be: "For all real numbers a and b, if a² = b², then a = b or a = −b" (equivalently, |a| = |b|). This revision accounts for the fact that squaring is not a one-to-one function, meaning two different inputs can produce the same output.

SUMMARY

Lesson Summary

Summary

A counterexample is a specific instance that satisfies the conditions of a universal claim but makes the conclusion false. Because universal claims assert that something is true for every member of a set, finding just one failing case is enough to disprove the entire claim. This is the fundamental asymmetry of mathematical reasoning: many supporting examples cannot prove a claim, but a single counterexample can disprove it.

To find counterexamples efficiently, use a systematic strategy: test boundary values like 0, 1, −1, and fractions between 0 and 1, as well as special cases relevant to the claim's domain. Always verify that your counterexample actually belongs to the stated domain. Mastering counterexamples builds the foundation for more advanced proof techniques like proof by contradiction and strengthens your critical thinking across all areas of mathematics.