Zmn-1464狄普森：反证法的“矛盾”不是推理失效的证明——评杨六省、年三季《教科书真的能够...》

【编者按。下面是请狄普森先生写的评论文章。是对杨六省先生的《1463》文章的评论。现在发布如下，供网友们共享。请大家关注并积极评论。另外本《专栏》重申，这里纯属学术讨论，所有发布的各种意见仅代表作者本人，不代表本《专栏》编辑部的意见。《专栏》中有些文章发扬了啄木鸟精神，对一些错误的观点和言论进行了说理的批评。但请大家注意，也有些有严重错误的文章在这里发布，就是为了引起和得到广大网友们的评论。不要以为在这里发布的文章都是正确无误的。】

反证法的“矛盾”不是推理失效的证明——评

杨六省、年三季《教科书真的能够推出p和q都是偶数吗？》

狄普森

杨六省、年三季在《教科书真的能够推出p和q都是偶数吗？》一文中，对初中数学教科书关于“√2不是有理数”的反证法证明提出质疑，其核心论点是：教科书无法推出“p和q都是偶数”，因为一旦推出这一结论，就等于证明了“√2是有理数”，这是荒谬的；进而他们认为教科书由“p²为偶数”推出“p为偶数”的推理是无效的，整个证明因此不成立。

这一批评看似尖锐，实则混淆了反证法的基本逻辑结构，误解了“推出矛盾”在反证法中的功能。以下从三个层面展开评论。

一、教科书从未“直接”推出“p和q都是偶数”

杨文开篇便说：“如果教科书真能推出p和q都是偶数，那就意味着√2可以表示为两个整数之比，从而说明教科书实际上已经证明了‘√2是有理数’。”这句话本身就是一个逻辑跳跃。

教科书的证明是在反证法的假设下进行的：假设√2是有理数，则可设√2=p/q，其中p、q为互质的整数。在这个假设下，由√2=p/q得p²=2q²，进而推出p为偶数，再推出q也为偶数。于是p、q有公因数2，这与“p、q互质”的初始假设矛盾。由此否定反论题，得证√2不是有理数。

关键点在于：“p和q都是偶数”并不是教科书在通常意义上“直接推出”的结论，而是在反证法假设下推出的一个中间命题。 这个命题与“p、q互质”的假设一起，构成了矛盾对。反证法正是通过这个矛盾来否定“√2是有理数”的假设，而不是用“p和q都是偶数”去直接证明“√2是有理数”。

杨文把“在反证法假设下推出p和q都是偶数”等同于“教科书直接推出了p和q都是偶数”，进而等同于“证明了√2是有理数”，这是对反证法证明结构的严重误读。反证法中的“推出”从来不是无条件的、独立于假设的推出，而是在特定假设下的推出。脱离了“假设√2是有理数”这一前提，谈“推出p和q都是偶数”是没有意义的。

二、在反证法假设下，“p和q都是偶数”确实可以被推出

杨文进一步认为，教科书由“p²为偶数”推出“p为偶数”的推理是无效的。理由是：若p为偶数，设p=2p₁，代入p²=2q²，得q²=2p₁²，同理q也不能为奇数，设q=2q₁，代入得p₁²=2q₁²，这个过程无限重复，导致p含有无穷多个因数2，与整数的质因数个数有限矛盾。由此他们得出结论：“在q为整数的条件下，推不出p为偶数。”

这里的问题在于，杨文把“在反证法假设下推出p为偶数”与“在反证法假设下推出p含有无穷多个因数2”对立起来，认为后者否定了前者。但实际上，在反证法假设下，这两个结论都可以被推出，而且它们共同构成了矛盾，恰恰是反证法所需要的。

让我们仔细审视：在假设√2=p/q（p、q互质）的条件下，由p²=2q²，可以推出p为偶数（因为若p为奇数，则p²为奇数，与p²=2q²为偶数矛盾）。设p=2p₁，代入得q²=2p₁²，同理可推出q为偶数。设q=2q₁，代入得p₁²=2q₁²，再次推出p₁为偶数……这个过程确实可以无限进行下去，从而得出p含有无穷多个因数2的结论。

但这里的关键是：“p含有无穷多个因数2”与“p是整数”矛盾，这个矛盾恰恰是在反证法假设下推出的，它进一步强化了反证法的矛盾，而不是否定了“p为偶数”的推理。 在反证法中，从假设出发推出多个矛盾命题是完全正常的。推出“p为偶数”是一个矛盾（与p、q互质矛盾），推出“p含有无穷多个因数2”是另一个矛盾（与整数质因数有限矛盾）。这些矛盾的存在，恰恰证明了反论题“√2是有理数”不成立。

杨文的错误在于，他们把“推出p含有无穷多个因数2”这一矛盾，当成了“推出p为偶数”这一推理无效的证据。这就好比说：因为从假设出发推出了一个矛盾，所以从假设出发推出的所有结论都不可靠。这在逻辑上是站不住脚的。反证法的逻辑是：从假设出发推出矛盾，则假设不成立。至于推出的是哪一个矛盾，推出多少个矛盾，并不影响反证法的有效性。

三、反证法中的“矛盾”不是推理失效的证明

杨文最后说：“基于证明过程中任一逻辑链的断裂，都表明整个证明是无效的。”这句话本身没错，但问题在于：他们所指的“逻辑链断裂”并不存在。

在反证法中，从假设出发推出矛盾，是证明的核心步骤。这个“矛盾”可以是多种多样的：可以是“B与¬B”的矛盾，可以是“与已知事实矛盾”，可以是“与假设自身矛盾”。在√2不是有理数的证明中，矛盾是“p、q都是偶数”与“p、q互质”的矛盾。这个矛盾是有效的，它否定了反论题。

杨文所描述的“无限重复”过程，实际上是在反证法假设下推出的另一个矛盾：p含有无穷多个因数2，与整数质因数有限矛盾。这个矛盾同样有效，它也可以用来否定反论题。但杨文却把这个矛盾当成了“推出p为偶数”这一推理无效的证据，这是对反证法功能的误解。

反证法不是要求从假设出发推出的每一个结论都“无条件成立”，而是要求从假设出发推出矛盾。只要推出了矛盾，反论题就被否定，定理就得证。至于在推出矛盾的过程中，是否还推出了其他矛盾，这些矛盾之间是否“冲突”，并不影响反证法的有效性。事实上，在反证法假设下推出多个矛盾，反而更充分地暴露了反论题的荒谬性。

结语

杨六省、年三季的文章，表面上是质疑教科书证明的严谨性，实际上是对反证法的基本逻辑结构缺乏理解。他们把反证法假设下的“推出”当成了无条件的“直接推出”，把反证法中出现的矛盾当成了推理失效的证据，从而得出了“教科书证明无效”的错误结论。

反证法是一种成熟、有效的数学证明方法。它的逻辑力量恰恰在于：从假设出发推出矛盾，从而否定假设。在√2不是有理数的证明中，教科书从“√2是有理数”的假设出发，推出了“p、q都是偶数”与“p、q互质”的矛盾，从而否定了假设，证明了定理。这个证明是严谨的、有效的。杨文的质疑，源于对反证法逻辑结构的误解，其批评不能成立。

【编者注。读者可点击頁面最上面的〖博文〗这个选項，来查找本《专栏》的其它文章。】 

支持单位：