笔趣阁

手机浏览器扫描二维码访问

卷一 初试啼声 第三十四章 三棱镜和萨摩芋煎饼（第3页）

的对立结论是“直秀比一藏长得矮或两人长得一样高”

——科学理论必须有对立结论的存在。

聪明人最“好骗”

，因为聪明人会试着按他人的思路思考为什么。

一藏觉得自己对兰学有了概念，不再是模模糊糊的印象了，他有点高兴。

一藏觉得兰学的思考方式很怪异，但也很有趣，他让直秀再举几个兰学的思考方法。

直秀就给他讲解了“反证法”

和“逆否命题与原命题同真或同否”

。

反证法是一种间接论证的方法，也称“逆证法”

，是通过断定与论题相矛盾的判断（即反论题）的虚假来确立论题真实性的论证方法。

反证法的论证过程是“首先提出论题然后设定反论题，并依据推理规则进行推演，证明反论题的虚假；最后根据排中律，既然反论题为假，原论题便是真的”

。

反证法在数学中经常被运用，“正难则反”

——正面证明不了，那就从反面论证。

直秀举的例子当然是著名的欧几里德（约前330～约前275）对“素数有无数个”

的精彩反正。

质数是指在大于1的自然数中，除了1和它本身以外不再有其他因数的自然数。

需要证明“素数有无数个”

。

古希腊数学家欧几里德在他的不朽著作《几何原本》里给出的反证法如下

“素数有无数个”

的反命题是“素数的数量是有限的”

。

因为“素数的数量是有限的”

，所以可以按从小到大列出所有的素数，2，3，…，n，其中n是最大的素数。

数=2x3x5x7x11x……xn+1，是所有素数相乘再加1得到的数。

因为所有除了“1”

之外的自然数都可以被某个素数整除，而显然不能被任何素数整除，根据素数的定义，所以是新的素数。

这一结论和“素数的数量是有限的”

是矛盾的，因此通过反证法证明了“素数有无数个”

。