2是一个无理数，有一条推理法则很重要。”

    “它就是排中律，一个数学命题为真，或者为假，没有什么命题是可以同时既为真又为假。”

    “它是使用反证法、归谬法的前提。在研究无穷的过程里，我们会一直和这条法则打交道。”

    到这里，李恒又在阿基里斯的肩膀上贴上邻三条便签，上面写着『排中律』的字样。

    “用反证法证明的过程就是，想要证明一个命题p为真，只要假定非p为真，然后找出这个假设的矛盾。”

    “非p是假的，那么p就是真的。”

    “具体来，证明『根号2不是一个有理数』，只要假设『它是一个有理数』，能写成两个最简整数之比的形式，然后一步一步推出与假设之间的矛盾。”

    “嗯，基础的讲完了，接下来的证明就由你来做。”

    “再给你一个提示，偶数的平方还是偶数，奇数的平方还是奇数，只要从这一点着手就行了。”

    由我来做？

    阿基里斯眼中茫然了一瞬，她还以为只要在一边听讲就行了，可没想过还要亲自上手做什么证明。

    一道赤红色的光柱擦着身体而过，将尤里卡突袭者的外壳灼烧出一道黑色的痕迹。

    与此同时，身在机器人体内的阿基里斯也感觉到了疼痛，纯白的皮肤表面出现了一丝黑色的痕迹，仿佛是白纸上的墨点。

    “再这样下去我会死！”

    “不想死，那就做出证明！”

    “根号2，假设它为p\/q，得出p^2=2q^2。p^2是一个偶数，所以p也为偶数。”

    “p是偶数，然后…”

    阿基里斯突然卡在了这一步。

    这让她的心神一个恍惚，接连被数道激光命中身体，皮肤上再次多出了几块黑色的痕迹。

    身体的疼痛似乎让她的思维活跃了起来，瞬间就想明白了这个证明的关键。

    “p是偶数，那它就可以写成p=2a的形式！”

    “代入最初的式子，4a^2=2q^2，q也是偶数！”

    “但p\/q是最简分数形式，两者之间应该没有公因数，与假设矛盾！”

    “所以根号2不是有理数！”

    证明完毕的一瞬间，尤里卡突袭者的身高突然长高了数倍，从三头身的q版形态变成了接近阿基里斯本体的体型。

    “尤里卡！”

    恐怖的能量波动无视空间距离在整颗星球上涌动，化为一道超越时空的呼喊，一瞬间就覆盖了星球周边数光年的区域。

    来自宇宙真空本身的能量被尤里卡突袭者榨取而出，那些白色大理石战舰就像是苍蝇一样被轻易粉碎成微不可见的尘埃。

    “…这么夸张？”

    阿基里斯看着眼前空空荡荡的星球一脸怀疑人生的模样。

    做个数学证明而已，也没那么厉害吧。

    “就是有这么夸张。”

    李恒拍了拍手掌道：

    “恭喜你，证明了根号2是一个不能被写成分数形式的无理数，成功引起邻一次数学危机，掀开了无穷的序幕。”

    “在这个停留在古希腊时代的世界里，知道无理数的人很少，有能力证明它们的人更少。”

    “你的证明真正打击到了毕达哥拉斯神圣兄弟会万物皆数的信仰。”

    “接下来，神圣兄弟会将会投入全部精力来追杀我们两个，真是令人期待啊。”

    我觉得这种期待还是少一点为好。

    阿基里斯在心中暗自嘀咕。

    她看了眼自己的手臂，那里的皮肤已经变成了完好无损的白皙模样，但那种灼热的疼痛感依旧清晰。

    如果她做不出证明，她真的会被杀死么——这个问题她没有问。

    在做出证明的那一刻她就明白了，她能想出证明的方法，也是这个叫勇者A的家伙允许的。

    没有什么千钧一发的生死危机，她现在还好好的活着，能感受到自我的存在，就表明他不想让她死去。

    “虽然不一定喜欢自己，但那份无论如何都想要活下去的心情却是一样的。”

    阿基里斯直到这时才终于找到了两人之间除了外貌以外的些许共同点。