Historical Context & Motivation
Mathematics has always depended on logical reasoning, and one of the oldest tools in a mathematician's toolkit is the counterexample — a single specific case that disproves a general statement. The idea is deceptively simple: if someone claims that every number with a certain property behaves in a certain way, you only need to find one number that doesn't to prove the claim false. This technique stretches back to the earliest days of Greek logic, and it remains just as powerful today.
Throughout history, mathematicians have used counterexamples to challenge assumptions, refine theories, and push the boundaries of knowledge. Sometimes a counterexample arrives as a surprise, overturning a belief held for centuries. Other times, searching for a counterexample helps clarify exactly when and why a rule works. Understanding how to use counterexamples is essential for developing strong reasoning skills in any branch of mathematics.
The central question this lesson addresses is: How do you use a single counterexample to prove that a universal claim is false? By the end of this lesson, you will be able to identify claims that can be disproved, construct appropriate counterexamples, and clearly communicate why your counterexample works.
Core Principles & Definitions
Before diving into examples, you need to understand the key ideas that make counterexamples work. A counterexample isn't just any random number or case — it's a carefully chosen instance that satisfies all the conditions of a claim but violates the conclusion. Let's break down the essential vocabulary and principles.
Universal Claim (Conjecture)
Counterexample
One Is Enough
Conditions Must Be Met
Visual Explanation
The diagram below illustrates how a counterexample works. On the left, you see a universal claim being tested against several cases. Most cases support it, but the one case that fails — the counterexample — is enough to break the entire claim. The visual emphasizes that logical truth is not about "most of the time" but about "all of the time."
Notice how the diagram separates the two sides of the argument. The green-bordered boxes represent cases that support the claim, while the red-bordered box is the single counterexample that breaks it. No matter how many green boxes you stack up, the one red box makes the universal claim false. This asymmetry — where disproving requires only one case but proving requires checking every case — is one of the most important ideas in mathematical reasoning.
The Logical Framework
Counterexamples rely on a formal logical structure. Understanding the underlying logic will help you recognize when a counterexample applies and how to construct one correctly. The key concept is the difference between a universal statement and its negation.
The Three-Step Counterexample Method
- Step 1 — Identify the claim. Write out the universal statement clearly. What set S is it about? What property P is being claimed?
- Step 2 — Find a candidate. Choose a specific value x₀ that belongs to set S. Make sure it meets all the conditions stated in the claim.
- Step 3 — Show the property fails. Demonstrate that P(x₀) is false. Explain why this specific example violates the conclusion of the claim.
Types of Claims & Their Counterexamples
Universal claims show up in many forms across mathematics. The diagram below categorizes common types of false claims you might encounter and illustrates what a good counterexample looks like for each. Recognizing these patterns will help you quickly identify where to look for a counterexample.
| Claim Type | Example Claim | Counterexample | Why It Works |
|---|---|---|---|
| Number property | "x² > x for all x" | x = 0.5 | 0.5² = 0.25, which is less than 0.5 |
| Divisibility | "If n is divisible by 2 and 6, then n is divisible by 12" | n = 6 | 6 ÷ 2 = 3 ✓, 6 ÷ 6 = 1 ✓, but 6 ÷ 12 ≠ integer |
| Function behavior | "Every function with f(0) = 0 passes through (1, 1)" | f(x) = 2x | f(0) = 0 ✓, but f(1) = 2 ≠ 1 |
| Geometric | "All rectangles are squares" | A 3 × 5 rectangle | It is a rectangle but has unequal sides, so it's not a square |
Worked Example
Let's work through a complete example from start to finish. We'll use the three-step method to systematically disprove a claim.
Strengths & Limitations of Counterexamples
Counterexamples are a powerful reasoning tool, but they have clear limits. Understanding what they can and cannot do will prevent common mistakes and help you choose the right approach for any problem.
| Strengths | Limitations |
|---|---|
| Definitively disproves universal claims — the result is certain, not probabilistic. | Cannot prove a universal claim is true. No number of supporting examples constitutes a proof. |
| Often requires only simple calculations with small or boundary values. | Cannot disprove existential claims ("there exists…"). A different method is needed. |
| Builds critical thinking — forces you to question assumptions rather than accept them. | Sometimes a counterexample is hard to find, even if one exists. Not finding one doesn't mean the claim is true. |
| Applicable across all areas of math: algebra, geometry, number theory, and beyond. | Doesn't explain why the claim fails in general — it just shows that it does. |
Connection to Proof & Advanced Reasoning
Counterexamples are your entry point into the broader world of mathematical proof. As you advance, you'll encounter several proof techniques, and understanding how counterexamples fit alongside them gives you a more complete reasoning toolkit. The table below shows how this lesson connects to ideas you'll see in later courses.
| Technique | Purpose | When You'll Use It |
|---|---|---|
| Counterexample | Disprove a universal claim by finding one case where it fails. | Math 1 and beyond — any time you suspect a claim is false. |
| Direct Proof | Prove a claim true by logically deriving the conclusion from the hypotheses. | Geometry proofs, Algebra 2, and upper-level math courses. |
| Proof by Contradiction | Assume the opposite of what you want to prove, then show that leads to an impossibility. | Pre-Calculus and beyond — e.g., proving √2 is irrational. |
| Mathematical Induction | Prove a claim for all natural numbers by showing a base case and an inductive step. | Pre-Calculus, Discrete Math, and college-level courses. |
Notice that counterexamples are the only technique on this list designed to disprove claims. The other methods are used to prove claims true. Mastering counterexamples now gives you a critical piece of the reasoning puzzle: the ability to distinguish between claims that seem true and claims that actually are true. When you encounter a conjecture in a future class, your first instinct should be to ask, "Can I find a counterexample?" If you can't, that's a clue the claim might be true — and then you can try a formal proof.
Practice Problems
Put your skills to the test. For each problem, determine whether the claim is true or false. If it's false, provide a specific counterexample and explain why it disproves the claim.
Lesson Summary
A counterexample is a specific case that satisfies the conditions of a universal claim but shows that the conclusion is false. Because universal claims assert that something is true for all members of a set, a single counterexample is sufficient to disprove the entire claim. To construct a valid counterexample, follow the three-step method: identify the claim, choose a candidate that meets the conditions, and demonstrate that the conclusion fails.
When searching for counterexamples, start with simple and boundary values like 0, 1, −1, fractions, or special geometric shapes. Remember that supporting examples never prove a universal claim true, while a single counterexample definitively proves it false. This asymmetry is a cornerstone of mathematical reasoning and prepares you for the formal proof techniques — including direct proof, proof by contradiction, and mathematical induction — that you'll encounter in future courses.