📚 IB Mathematics: Methods of Disproving Propositions with Counterexamples | IB数学：用反例否定命题的方法
In mathematics, a universal statement claims that a property holds for all elements of a given set. To disprove such a statement, it is enough to find a single exception — a counterexample. This is one of the most powerful and elegant methods of logical reasoning, and IB Mathematics questions often require students to distinguish between proof and disproof.
在数学中，全称命题声称某一性质对给定集合中的所有元素都成立。要否定这样的命题，只需找到一个例外——即一个反例。这是逻辑推理中最有力且最优雅的方法之一，IB数学考试常常要求学生区分“证明”与“否定”的区别。
1. Understanding Universal Statements | 理解全称命题
A universal statement is usually phrased as “for all” or “for every”. Symbolically, it is written as \(\forall x, P(x)\), meaning property \(P\) holds for every \(x\) in a certain domain. To disprove it, one must find an object \(a\) in the domain such that \(P(a)\) is false.
全称命题通常以“对于所有”或“对于每一个”来表述。符号上写作 \(\forall x, P(x)\)，表示性质 \(P\) 对某一范围内的每一个 \(x\) 都成立。要否定它，必须在该范围内找到一个对象 \(a\)，使得 \(P(a)\) 为假。
For example, the statement “all prime numbers are odd” is universal. The number 2 is prime but even, so 2 is a counterexample that disproves the statement.
例如，“所有质数都是奇数”是一个全称命题。数字2是质数但它是偶数，因此2就是否定该命题的一个反例。
2. The Logic of Counterexamples | 反例的逻辑基础
In classical logic, the negation of a universal statement \(\forall x, P(x)\) is an existential statement \(\exists x, \neg P(x)\). Therefore, to disprove a universal claim, you do not need to show that it is false everywhere; you only need to show that it fails somewhere.
在经典逻辑中，全称命题 \(\forall x, P(x)\) 的否定是一个存在命题 \(\exists x, \neg P(x)\)。因此，否定一个全称断言时，你不需要证明它在所有地方都为假；你只需要证明它在某个地方不成立。
This logical asymmetry is important: a single counterexample completely destroys a universal statement, while no finite number of examples can prove one. This is why IB examiners often ask students to “disprove” rather than “prove” — it tests whether students understand the structure of quantification.
这种逻辑上的不对称性非常重要：一个反例足以彻底摧毁一个全称命题，而任何有限数量的例子都不能证明一个全称命题。这就是为什么IB考官常常要求“否定”而不是“证明”——这考查学生是否理解量词的结构。
3. Finding a Counterexample: Trial and Insight | 寻找反例：尝试与洞察
There is no universal recipe for finding a counterexample, but common strategies include testing boundary cases, small numbers, zero, negative values, or special objects that are often overlooked. Sometimes, drawing a diagram can reveal an exception.
寻找反例没有通用的配方，但常见策略包括测试边界情况、小数字、零、负值，或者那些常常被忽略的特殊对象。有时，画一张图也能揭示出一个例外。
Consider the claim: “For all real numbers \(x\), if \(x>0\), then \(x^2>x\).” This is false because if \(0
考虑这样一个论断：“对于所有实数 \(x\)，如果 \(x>0\)，那么 \(x^2>x\)。”这个论断是错的，因为当 \(0
4. Counterexamples in Number Theory | 数论中的反例
Number theory is a rich source of false conjectures. A classic example is the statement: “Every positive integer can be expressed as the sum of two squares.” The number 3 cannot be written as the sum of two integer squares, since 0² + 1² = 1, 1² + 1² = 2, and no combination yields 3.
数论是错误猜想的一个丰富来源。一个经典的例子是：“每个正整数都可以表示为两个平方数之和。”数字3不能写成两个整数平方之和，因为0² + 1² = 1，1² + 1² = 2，没有任何组合能得到3。
Another famous case is Euler’s conjecture that a sum of two fourth powers cannot be a fourth power. This was disproved in 1988 by Noam Elkies, who found that 95800⁴ + 217519⁴ + 414560⁴ = 422481⁴. However, IB questions usually involve simpler counterexamples, not such extreme numbers.
另一个著名例子是欧拉的猜想：两个四次方数之和不可能是一个四次方数。1988年，诺姆·埃尔基斯找到了反例：95800⁴ + 217519⁴ + 414560⁴ = 422481⁴。不过，IB题目通常涉及更简单的反例，而不是如此极端的数字。
5. Counterexamples in Algebra | 代数中的反例
In algebraic identities, students often assume that operations commute or distribute in ways that are not true. For instance, consider the claim: “For all real numbers \(a\) and \(b\), \(\sqrt{a^2+b^2} = a+b\).” If we set \(a=3\) and \(b=4\), then \(\sqrt{9+16}=5\), while \(a+b=7\), so 5 ≠ 7. This single pair is a counterexample.
在代数恒等式中，学生常常假设运算可以交换或分配，但事实并非如此。例如，考虑论断：“对于所有实数 \(a\) 和 \(b\)，\(\sqrt{a^2+b^2} = a+b\)。”如果我们设 \(a=3\)，\(b=4\)，那么 \(\sqrt{9+16}=5\)，而 \(a+b=7\)，所以5 ≠ 7。这一对数值就是一个反例。
Another common algebraic falsehood is “log\(_a (x+y) = \log_a x + \log_a y\)”. Actually, the correct rule is \(\log_a(xy) = \log_a x + \log_a y\). A counterexample: \(x=1, y=1, a=10\) gives left side \(\log_{10}2 \approx 0.301\), right side 0, so the statement is false.
另一个常见的代数谬误是“\(\log_a (x+y) = \log_a x + \log_a y\)”。实际上，正确的规则是 \(\log_a(xy) = \log_a x + \log_a y\)。一个反例：\(x=1, y=1, a=10\)，左边是 \(\log_{10}2 \approx 0.301\)，右边是0，因此该命题为假。
6. Counterexamples in Geometry | 几何中的反例
Geometric claims often hide exceptions involving degenerate cases or special shapes. For example, the statement “All triangles have at least two equal sides” is immediately disproved by a scalene triangle, such as one with sides 3, 4, and 5.
几何命题常常隐藏涉及退化情形或特殊形状的例外。例如，“所有三角形至少有两条边相等”这个命题，可以被一个不等边三角形立即否定，例如三边分别为3、4和5的三角形。
Another example: “If a quadrilateral has equal diagonals, then it is a rectangle.” This is false. An isosceles trapezoid can have equal diagonals without being a rectangle. For instance, an isosceles trapezoid with bases 6 and 10 and legs 4 has equal diagonals.
另一个例子：“如果一个四边形的对角线相等，那么它是矩形。”这是错误的。等腰梯形可以具有相等的对角线，但它不是矩形。例如，上底6、下底10、腰为4的等腰梯形，其两条对角线相等。
7. Counterexamples in Trigonometry | 三角函数中的反例
Trigonometric identities are often misremembered. A common false statement is “\(\sin(2x) = 2\sin x\) for all \(x\).” Let \(x = 45°\). Then \(\sin 90° = 1\), while \(2\sin 45° = \sqrt{2} \approx 1.414\), so the statement fails.
三角恒等式常常被记错。一个常见的错误命题是“对所有 \(x\)，\(\sin(2x) = 2\sin x\)。”令 \(x = 45°\)，则 \(\sin 90° = 1\)，而 \(2\sin 45° = \sqrt{2} \approx 1.414\)，因此该命题不成立。
Another false claim is “\(\cos(a+b) = \cos a + \cos b\)”. Taking \(a=b=60°\), we have \(\cos 120° = -0.5\), while \(\cos 60° + \cos 60° = 1\). Thus a single pair of values disproves the claim.
另一个错误论断是“\(\cos(a+b) = \cos a + \cos b\)”。取 \(a=b=60°\)，则 \(\cos 120° = -0.5\)，而 \(\cos 60° + \cos 60° = 1\)。因此一对数值就足以否定该论断。
8. Counterexamples in Calculus | 微积分中的反例
In calculus, one must be careful with statements about limits and derivatives. For instance, the statement “If a function is continuous at a point, then it is differentiable at that point” is false. The absolute value function \(f(x)=|x|\) is continuous at \(x=0\) but not differentiable there because the left and right derivatives differ.
在微积分中，必须小心有关极限和导数的命题。例如，“如果函数在某点连续，那么它在该点可导”是错的。绝对值函数 \(f(x)=|x|\) 在 \(x=0\) 处连续，但不可导，因为左导数和右导数不同。
Another example is “If \(f'(x)>0\) for some \(x\), then \(f\) is increasing on an interval containing that \(x\)”. This is a local statement and can be misleading; a function may have a positive derivative at a point but not be monotonic on any interval if the derivative is not continuous. However, a simpler counterexample is the claim “If \(f'(c)=0\), then \(c\) is a local maximum or minimum”. The function \(f(x)=x^3\) has \(f'(0)=0\), but \(x=0\) is neither a local maximum nor a local minimum.
另一个例子是：“如果 \(f'(x)>0\) 对某个 \(x\) 成立，那么 \(f\) 在包含该 \(x\) 的区间上递增。”这是一个局部说法，可能误导；当导数不连续时，函数可能在某个点具有正导数，但在任何区间上都不是单调的。不过，一个更简单的反例是论断“如果 \(f'(c)=0\)，那么 \(c\) 是局部最大值或最小值”。函数 \(f(x)=x^3\) 有 \(f'(0)=0\)，但 \(x=0\) 既不是局部最大值也不是局部最小值。
9. Counterexamples in Probability and Statistics | 概率与统计中的反例
In statistics, incorrect intuitions about independence and correlation can be exposed by counterexamples. For example, the statement “If two events are mutually exclusive, then they are independent” is false. Suppose a fair die is rolled. Let A be “roll an odd number” and B be “roll a 4”. Then \(P(A)=1/2\), \(P(B)=1/6\), and \(P(A \cap B)=0\), which is not equal to \(P(A)P(B)=1/12\). Thus A and B are not independent.
在统计学中，关于独立性与相关性的错误直觉可以通过反例来揭示。例如，“如果两个事件互斥，那么它们独立”是错的。假设掷一枚公平骰子。设A为“掷出奇数”，B为“掷出4”。那么 \(P(A)=1/2\)，\(P(B)=1/6\)，且 \(P(A \cap B)=0\)，不等于 \(P(A)P(B)=1/12\)。因此A和B不独立。
Another common statistical misconception is “If two variables are uncorrelated, they are independent.” A simple counterexample: let \(X\) be \(-1, 0, 1\) each with probability 1/3, and \(Y = X^2\). Then \(E(X)=0\), \(E(Y)=2/3\), \(E(XY)=E(X^3)=0\), so covariance is 0, but \(Y\) is fully determined by \(X\), hence not independent.
另一个常见的统计误解是“如果两个变量不相关，那么它们独立。”一个简单的反例：设 \(X\) 以等概率1/3取 \(-1, 0, 1\)，而 \(Y = X^2\)。那么 \(E(X)=0\)，\(E(Y)=2/3\)，\(E(XY)=E(X^3)=0\)，因此协方差为0，但 \(Y\) 完全由 \(X\) 决定，因此不独立。
10. Counterexamples in Set Theory and Logic | 集合论与逻辑中的反例
Set-theoretic statements also benefit from counterexamples. Consider the claim: “For all sets \(A\), \(B\), and \(C\), if \(A \cap B = A \cap C\), then \(B = C\).” This is false. Let \(A = \{1\}\), \(B = \{1,2\}\), \(C = \{1,3\}\). Then \(A \cap B = \{1\}\) and \(A \cap C = \{1\}\), but \(B \neq C\).
集合论中的命题同样受益于反例。考虑论断：“对于所有集合 \(A\)、\(B\) 和 \(C\)，如果 \(A \cap B = A \cap C\)，那么 \(B = C\)。”这是错的。设 \(A = \{1\}\)，\(B = \{1,2\}\)，\(C = \{1,3\}\)。那么 \(A \cap B = \{1\}\)，\(A \cap C = \{1\}\)，但 \(B \neq C\)。
In logic itself, the statement “If a conditional statement and its converse are both true, then the statement is a definition” is not always true. A counterexample is a biconditional theorem, which is true in both directions but still not a definition.
在逻辑本身中，“如果一个条件命题及其逆命题都为真，那么这个命题就是一个定义”并不总是正确的。反例是双条件定理：它在两个方向上都为真，但仍然不是定义。
11. How to Present a Counterexample in IB Exams | 如何在IB考试中呈现反例
When an IB question asks you to disprove a statement, you must provide a clear counterexample and demonstrate why it works. A good response includes: (1) state the chosen counterexample explicitly, (2) verify that it satisfies the conditions of the statement, (3) show that the conclusion fails, and (4) write a concluding sentence such as “Therefore, the statement is false.”
当IB题目要求你否定一个命题时，你必须给出一个清晰的反例并说明它为什么有效。一个好的回答包括：（1）明确写出所选反例；（2）验证它满足命题的条件；（3）证明结论不成立；（4）写出结论句，例如“因此，该命题为假。”
For example, to disprove “Every prime number is odd”, you could write: “Let \(p=2\). Then \(p\) is prime but it is even, so it is not odd. Hence the statement is false.” This concise format demonstrates both understanding and rigor.
例如，为否定“每个质数都是奇数”，你可以这样写：“令 \(p=2\)。则 \(p\) 是质数但它是偶数，因此它不是奇数。所以该命题为假。”这种简洁的格式既展示了理解又展示了严谨性。
12. Common Mistakes and Tips | 常见错误与建议
One common mistake is trying to prove a universal statement by providing many examples. No matter how many examples you check, you cannot prove a universal statement without a general proof. Another mistake is using an example that does not satisfy the hypothesis; this is not a valid counterexample.
一个常见错误是想通过提供许多例子来证明全称命题。无论你检验了多少个例子，没有一般证明就不能证明全称命题。另一个错误是使用一个不满足假设条件的例子；这不能算作有效的反例。
Tips for success: always consider edge cases such as zero, negative numbers, 1, fractions, and empty sets. Also ensure that your counterexample is within the domain specified in the statement. Practice writing short, logical disproofs that are easy for an examiner to follow.
成功建议：始终考虑边界情况，如零、负数、1、分数和空集。同时确保你的反例在命题指定的范围内。练习写出简短、逻辑清晰、易于考官阅读的否定证明。
Published by TutorHao | IB Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导Cancel reply