数学史上有不少证明，看懂之后会愣神。不是看不懂，而是读懂之后惊叹构思巧妙，很难想象是怎么想到的。我挑几个印象很深的，随手记录下来。
欧几里得证明素数有无穷多个，使用反证法。假设素数数量有限，把全部素数相乘再加一。这个新数字要么本身是素数，要么能被某个素数整除。但它除以任何已知素数余数都是1，两种情况都会产生矛盾。由此得出，素数不可能只有有限个。这个证明简短，逻辑严密，两千多年依旧收录在教科书。
√2是无理数，同样使用反证法，但思路和欧几里得不一样。假设√2可以写成两个整数之比，写成最简分数形式，平方之后得到二的倍数关系。分子平方是偶数，分子就为偶数，推导得出分母同样是偶数，和最简分数互相矛盾。这个证明只依靠奇偶性，不需要别的工具，思路简洁利落。
康托尔对角线论证，算得上数学里极具冲击力的思路。用来证明实数不可数。假设能够把全部实数排成列表，每个实数写成无限小数。接着构造新数字，第一位和列表第一个数字第一位不同，第二位和列表第二个数字第二位不同，以此类推。这个新数字，和列表内每一个实数至少有一位不一样，不会出现在列表当中，形成矛盾。由此证明实数无法完整排成列表。对角线法后续应用范围很广，图灵停机问题、哥德尔不完备定理，都能看到这套思路的影子。一个方法，打开多个研究方向，在数学领域并不常见。
欧拉求解巴塞尔问题，目标计算所有正整数平方倒数相加的总和。当年伯努利兄弟反复尝试，没能解出。欧拉将正弦函数展开成无穷乘积，对比泰勒展开系数，直接算出结果，总和等于π²/6。放到今天看，这个证明需要补充收敛性相关细节，但在当年，属于大胆的解法。一个看起来和圆周率无关的求和式子，最终结果由π²表达，看到结论的时候会觉得震撼。
图灵证明停机问题不可解，核心思路和对角线论证一脉相承。假设存在程序，可以判断任意程序是否会停止运行。再构造新程序，调用这个判断程序；如果判定会停机，新程序就进入死循环；判定不会停机，新程序就直接停止。把这个程序输入自身，矛盾就会出现。这个证明不只解决单一问题，划定了计算能力的边界。有些问题不是计算速度慢，而是根本无法求解。
四色定理证明属于另一种经典。任何平面地图，只用四种颜色，就能保证相邻区域颜色不同。猜想提出一百多年，1976年阿佩尔和哈肯依靠计算机完成证明。他们穷举全部可能的地图构型，一共一千多种，逐一检验。这个证明当年引发巨大争议，人类没办法手工核验，只能信任计算机结果。这件事迫使数学界重新思考，证明的定义到底是什么。如今计算机辅助证明已经普及，四色定理是第一个推开这扇大门的成果。
怀尔斯证明费马大定理，故事本身就能写成一本书。他独自潜心研究七年，用到二十世纪前沿的模形式、椭圆曲线、伽罗瓦表示等理论，解决这个三百多年前的初等数论难题。证明初稿发表之后，发现一处漏洞，他又花费一年多，和学生一起补齐缺陷。完整证明一百多页，能读懂的人全球寥寥无几。它的经典不在于证明简短精巧，而是一个人调动整套现代数学工具攻克难题。和欧几里得那种简短证明，是两种完全不同的美感。
拉格朗日四平方定理同样漂亮。任意正整数，都可以写成四个整数的平方相加。表述简单，小学生都能听懂，证明却要用到欧拉恒等式和二次剩余相关内容。欧拉推导出恒等式，拉格朗日完成最终证明。属于一句话陈述，一黑板推导的类型。
还有一个不算严格证明，但构思巧妙的，巴拿赫-塔斯基悖论。一个球体切割成有限碎片，重新拼接，可以得到两个同等大小球体。这不是魔术，在选择公理的前提下可以严格推导。证明本身不算复杂，但结论违背直觉，让人难以接受。数学有时就是这样，逻辑推导到最后，和人的直觉冲突，获胜的永远是逻辑。
翻看这些证明，能找到共同点。它们不只是推导出结论，还创造出新的研究思路。欧几里得反证法、康托尔对角线、图灵构造法，都是后续研究者持续使用的工具。一份证明如果只解决单个问题，已经足够厉害。但如果它改变后人看待数学的方式，就能列入经典。
