📚 5C Disproof by Counterexample | 5C 反例否定法
In mathematics, a single counterexample can destroy a universal claim. This technique, known as disproof by counterexample, is powerful and elegant. It lies at the heart of logical reasoning and is a key skill in IB Mathematics. This article explores how to identify, construct, and use counterexamples, covering topics from number theory to functions and geometry.
在数学中，一个反例就足以推翻一个全称断言。这种技巧被称为反例否定法，既强大又优雅。它处于逻辑推理的核心，也是IB数学中的一项关键技能。本文将探讨如何识别、构造和使用反例，内容涵盖数论、函数和几何等多个主题。
1. Universal Statements and Their Negation | 全称命题及其否定
A universal statement claims that a property holds for all elements in a given set. It is often phrased as 'For all x in S, P(x) is true'. For example: 'All prime numbers are odd.' To disprove such a statement, we do not need to check every element; we need only one element in S for which P(x) is false.
全称命题宣称某个性质对给定集合中的所有元素均成立，通常表述为“对于S中的所有x，P(x)为真”。例如：“所有质数都是奇数”。要否定这样的命题，我们不必检查每一个元素，而只需要在S中找到一个使P(x)为假的元素。
The negation of a universal statement '∀ x, P(x)' is the existential statement '∃ x such that ¬P(x)'. This single exception is the counterexample. Understanding this logical equivalence is fundamental to disproof.
全称语句“∀ x, P(x)”的否定是存在性语句“∃ x 使得 ¬P(x)”。这个唯一的例外就是反例。理解这一逻辑等价性是反例否定的基础。
∀ x ∈ S, P(x) is false ⇔ ∃ x ∈ S such that ¬P(x)
2. What Is a Counterexample? | 什么是反例？
a statement but fails its conclusion. It need not be complicated. For instance, the claim 'All odd squares are even' which is odd. The existence of this single case immediately disproves the universal claim.
反例是一个具体的实例，它满足命题的前提条件，但结论却不成立。它不必复杂。例如，命题“所有奇数的平方都是偶数”是错误的，反例是1² = 1，结果为奇数。这一个实例的存在立即否定了全称断言。
Another classic example: 'For all real numbers x, x² > x.' = 1 (not greater). Using simple boundary values is often the quickest path to a disproof.
另一个经典例子：“对于所有实数x，都有x² > x”。0和1就是反例，因为0² = 0（不大于）且1² = 1（不大于）。使用简单的边界值往往是找到反例的最快途径。
3. The Logical Basis of Disproof | 反例否定的逻辑基础
In propositional logic, a statement of the form 'If P then Q' (P ⇒ Q) is false exactly when P is true and Q is false. A counterexample provides such a case: it demonstrates an instance where the hypothesis holds but the conclusion does not. Thus, one valid counterexample is sufficient to render the entire implication false.
在命题逻辑中，形如“若P则Q”（P ⇒ Q）的陈述，当且仅当P为真而Q为假时，该蕴涵式为假。反例就是提供了这样一种情形：它展示了一个前提成立但结论不成立的实例。因此，一个有效的反例就足以使整个蕴涵式为假。
Contrast this with proving a universal statement, which requires a general argument covering all cases. Disproof is often much more economical – a single well-chosen counterexample can defeat any number of supporting instances.
与此相对，证明一个全称命题需要对所有情形进行一般性论证。而否定它通常要经济得多——一个精心挑选的反例就能击败无论多少个支持的实例。
4. Searching for Counterexamples | 寻找反例的策略
When attempting to disprove a statement, start by testing extreme or special values: zero, one, negative numbers, fractions, or numbers that violate typical patterns. If the statement involves integers, check small positive and negative integers; if it involves real numbers, check irrationals like √2 or π.
当尝试否定一个命题时，可以从测试极端值或特殊值开始：零、一、负数、分数，或违背典型模式的数。如果命题涉及整数，检查小的正整数和负整数；如果涉及实数，检查无理数，如√2或π。
Also, look for hidden constraints. Sometimes a statement is accidentally true for all 'sensible' numbers but fails for zero or negative inputs because the author implicitly assumed a restricted domain. Drawing a quick sketch or constructing a table of values can help visualise potential breaks.
还要查找隐藏的限制条件。有时，一个命题对所有“合理的”数都碰巧成立，但对零或负数输入却失败，因为命题提出者隐含地假设了一个受限的定义域。快速画个草图或构建一个数值表有助于可视化潜在的反例点。
5. Beware of Hidden Assumptions | 警惕隐含假设
source of errors is a statement that seems true under an unstated assumption. For example, 'Dividing any number by itself gives 1' o because 0/0 is undefined. The counterexample x = 0 exposes the need to specify x ≠ 0.
一个常见的错误来源是，命题在一个未言明的假设下看似成立。例如，“任何数除以自身得1”对零不成立，因为0/0未定义。反例x = 0暴露了指定x ≠ 0的必要性。
Similarly, the claim 'The square root of x² is x' is false for negative x. For x = –3, √((-3)²) = √9 = 3, which is –x, not x. The correct identity is √(x²) = |x|. Always examine whether the domain includes negative numbers or zero.
类似地，断言“x²的平方根是x”对负的x不成立。对于x = –3，√((-3)²) = √9 = 3，结果为–x，而不是x。正确的恒等式是√(x²) = |x|。务必检查定义域是否包含负数和零。
6. Disproof in Number Theory | 数论中的反例否定
rich in statements that hold for many cases but eventually fail. A famous example is Euler' . This single counterexample disproves the claim that the expression always yields primes.
数论中有许多对大量情况成立但最终失败的命题。一个著名的例子是欧拉的质数生成多项式：n² + n + 41 在 n = 0, 1, 2, ..., 39 时都给出质数。但是，当 n = 40 时，40² + 40 + 41 = 1681 = 41²，这是一个合数。这个单一反例就否定了该表达式总是生成质数的断言。
Another classic: 'If n is a positive integer, then n² + n + 17 is prime.' Try n = 16: 16² + 16 + 17 = 289 = 17², again composite. Even simpler, 'All primes are odd' y is disproved by the single even prime 2. Such examples underline that testing many cases is not a proof.
另一个经典例子：“如果n是正整数，那么n² + n + 17是质数”。试一下n = 16：16² + 16 + 17 = 289 = 17²，同样为合数。更简单的，“所有质数都是奇数”被唯一的偶质数2所否定。这些例子强调，检验很多情况不等于证明。
7. Disproof in Algebra and Identities | 代数恒等式中的反例
left side equals 9, while the right side equals 5. This instantly shows the statement is false.
代数恒等式必须对所有变量值成立。学生常有的一个误解是 (a + b)² = a² + b²。反例为 a = 1, b = 2：左边等于9，右边等于5。这立刻表明该命题为假。
, while the right side is 2. Clearly incorrect. When examining algebraic statements, substituting simple numbers like 1, 2, and 0 can quickly reveal a flaw.
另一个错误的恒等式：1/(x + y) = 1/x + 1/y。当 x = 1, y = 1 时，左边为½，右边为2。显然不正确。在审视代数陈述时，代入简单的数字如1、2和0可以迅速揭示缺陷。
8. Disproof in Functions | 函数性质中的反例
Statements about function properties are frequently tested in IB Mathematics. Claim: 'If a function is continuous, then it is differentiable.' The classic counterexample is f(x) = |x| e, but the derivative does not exist at x = 0 because the left and right gradients differ.
关于函数性质的陈述在IB数学中经常被考查。命题：“如果一个函数连续，那么它可导。”经典反例是 f(x) = |x| 在 x = 0 处。该函数处处连续，但在 x = 0 处导数不存在，因为左右导数不相等。
Another false claim: 'All increasing functions have positive gradient everywhere.' The function f(x) = x³ is strictly increasing on ℝ, yet its derivative at x = 0 is f '(0) = 0, not strictly positive. Thus, f ' sary, but not strictly > 0. This counterexample refines the understanding of monotonicity.
另一个错误的断言：“所有递增函数处处有正的梯度。”函数 f(x) = x³ 在实数集上严格递增，但它在 x = 0 处的导数 f '(0) = 0，并非严格为正。因此，f '(x) ≥ 0 是必要的，但并不要求严格大于0。这个反例精细化了单调性的理解。
9. Disproof in Geometry | 几何中的反例
Geometric statements can also be defeated by precise counterexamples. Consider: 'If a quadrilateral has equal diagonals, then it is a rectangle.' An isosceles trapezoid with equal non-parallel legs has equal diagonals, but it is clearly not a rectangle unless the base angles are 90°. This disproves the claim.
几何命题也可以被精确的反例推翻。考虑：“如果一个四边形的对角线相等，那么它是矩形。”等腰梯形的两条对角线相等，但它显然不是矩形，除非底角为90°。这就否定了该命题。
Another common error: 'If a quadrilateral has perpendicular diagonals, it is a rhombus.' A kite often has perpendicular diagonals but is not necessarily a rhombus because not all sides are equal. A simple sketch reveals the counterexample.
另一个常见错误：“如果一个四边形的对角线垂直，那么它是菱形。”风筝形（筝形）通常有垂直的对角线，但不一定是菱形，因为并非所有边都相等。一个简单的草图即可揭示反例。
10. Disproof in Probability and Statistics | 概率统计中的反例
bability, students often confuse mutually exclusive events with independent events. Claim: 'If two events are mutually exclusive, they are independent.' )(1/6) ≠ 0, so they are not independent. This counterexample clarifies the distinction.
在概率中，学生经常混淆互斥事件与独立事件。命题：“如果两个事件互斥，那么它们独立。”反例：掷一枚均匀骰子，设A = {得到1}，B = {得到2}。它们互斥（不可能同时发生），但P(A ∩ B) = 0，而P(A)P(B) = (1/6)(1/6) ≠ 0，因此不独立。这个反例澄清了区别。
Statistical statements about correlation and causation are also prone to fallacies. The claim 'High correlation implies causation' is disproved by numerous real-world counterexamples, such as the positive correlation between ice cream sales and drowning incidents – both increase in summer, but one does not cause the other.
关于相关性和因果性的统计陈述也容易产生谬误。命题“高相关性意味着因果关系”被无数现实反例推翻，例如冰淇淋销量与溺水事件之间的正相关——两者在夏季都上升，但一个并不导致另一个。
11. Common Mistakes to Avoid | 常见错误
One major pitfall is treating a single supporting example as proof. Finding one case where a statement holds does not validate a universal claim. Only a general proof or exhaustive check of a finite domain can do that. Disproof, by contrast, requires just one counterexample.
一个主要的陷阱是，把单个支持的实例当作证明。找到一个使命题成立的例子，并不能证实一个全称断言。只有一般性证明或对有限定义域的穷举检验才能做到。相比之下，否定它只需要一个反例。
Another mistake is changing the meaning of the statement when constructing a counterexample. The counterexample must satisfy the exact hypotheses as stated, not a modified version. For example, if a statement says 'all positive integers...', using a negative number is not a valid counterexample.
另一个错误是，在构造反例时改变了命题的含义。反例必须完全满足所述的前提条件，而不是修改后的版本。例如，若一个命题说“所有正整数…”，那么使用负数就不是一个有效的反例。
12. Practice and Summary | 练习与总结
f by counterexample is a skill honed by practice. Try to find a single counterexample for: 'For all real numbers x, |x| = x.' (Answer: x = -1, because |-1| = 1 ≠ -1.) Another: 'The square of an irrational number is always irrational.' (√2 squared is 2, which is rational.)
反例否定法是一种通过练习而磨炼出来的技能。尝试为下列命题找一个反例：“对于所有实数x，|x| = x。”（答案：x = -1，因为|-1| = 1 ≠ -1。）另一个：“无理数的平方总是无理数。”（√2的平方是2，为有理数。）
To summarise, a universal statement is false if there exists even one counterexample. Always test boundary values, explore hidden assumptions, and ensure the counterexample fully meets the given conditions. Mastering this technique will sharpen your logical reasoning for IB Mathematics and beyond.
总结来说，只要存在哪怕一个反例，全称命题就是假的。始终要测试边界值，探查隐藏的假设，并确保反例完全满足给定的条件。掌握这一技巧将为你IB数学及更远的学习磨砺出敏锐的逻辑推理能力。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图