一、为什么有些数学题能困住人类几百年

数学最有魅力的地方在于：绝大多数问题的表述连中学生都能读懂，但证明却可能耗尽一代又一代顶级数学家的毕生精力。费马大定理、哥德巴赫猜想、四色问题、黎曼猜想都是这样的“百年难题”。它们的共同点是——命题本身极其简洁，内在结构却深不见底。了解这些故事，不只是为了考试中那两三道“数学文化”题，更能让你看到：数学不是一堆公式的堆砌，而是一场跨越数百年的接力赛。

二、费马大定理：书边空白处的“我发现了”

1637 年，法国数学家费马在读古希腊数学家丢番图的《算术》时，在古希腊著作的页边写下了一段话：

“不可能把一个整数的立方分解成两个立方之和，也不可能把一个四次方分解成两个四次方之和。一般地，对于任何大于 2 的幂指数，都不可能。我发现了一个真正出色的证明，可惜这里空白太小，写不下。”

这个“写不下”的证明，一“写不下”就是三百多年。费马大定理说：当 n 大于 2 时，关于 x、y、z 的方程 xⁿ+yⁿ=zⁿ没有正整数解。n=2 时大家熟悉——勾股数 3、4、5 就是一组解；n 大于 2 时居然一组解都没有，看起来不像真的，但确实真的没有。

欧拉证明了 n=3 的情形，索菲·热尔曼处理了一类特殊素数，库默尔开启了理想数理论——每个进步都推进了数学本身的发展，但完整证明迟迟未现。直到 1995 年，英国数学家安德鲁·怀尔斯宣布证明了费马大定理。他的证明用了超过 200 页，还动用了 20 世纪发展出的椭圆曲线和模形式理论——这些工具在费马那个时代根本不存在。怀尔斯接到导师的一个电话：“我认为你已经把它证明了。”

这个故事给我们的启示：一道题的价值，不在于最终答案，而在于追寻答案过程中长出的新数学。费马大定理的证明过程催生了代数几何、数论和密码学的大量新方法。

三、哥德巴赫猜想：一个至今悬而未决的“1+1”

1742 年，德国数学家哥德巴赫在给欧拉的信中提出猜想：任何一个大于 2 的偶数，都可以写成两个素数之和。比如 4=2+2、6=3+3、10=3+7、100=17+83。这个设想至今既没有被证明，也没有被推翻。形式化地说，任意大的偶数都能写成两个素数之和，用数学黑话说就是“1+1”。

“1+1”这个说法容易被人误解成“证明一加一等于二”——完全是两回事。哥德巴赫猜想是关于“素数分解”的难题，不是基本算术运算。

中国数学家陈景润在 1966 年宣布证明“1+2”——任意一个足够大的偶数，可以表示为一个素数加一个为两个素数乘积的数。距离“1+1”只差最后一步，但这最后一步至今未跨过。哥德巴赫猜想的困难在于：素数在大数范围内的分布规律极其复杂。虽然现代计算机验证了天文数字级的偶数都满足猜想，但“验证”不等于“证明”。

近年在哥德巴赫猜想方向上也有弱哥德巴赫猜想被证明的突破：2013 年，秘鲁数学家哈洛德·贺欧夫各特证明了“任意大于 5 的奇数都可以写成三个素数之和”。这是数论领域近年最重要的成果之一，但强哥德巴赫猜想仍未解决。

四、四色问题：第一道被计算机征服的百年难题

1852 年，英国青年弗兰西斯·格思里给地图涂色时发现：任何一张地图，只要用四种颜色，就能保证相邻区域颜色不同，不需要第五种。他把问题交给老师——著名数学家德·摩根，德·摩根又传给学界，从此四色问题诞生。

看起来非常“接地气”的问题——你在纸上画几个圈就能理解——但证明却极其困难。数学家们花了超过一百年，始终无法给出一个纯人工的证明。1976 年，美国数学家阿佩尔和哈肯宣布：他们用计算机对近两千种“不可避免图”逐一检查，确认四种颜色足够。这是人类历史上第一个依赖计算机证明的著名定理。

四色问题的意义远不止于地图。它催生了图论的发展，并让人们开始严肃思考：计算机证明算不算数学证明？今天，这个问题仍有哲学家和数学家争论。值得知道的是，地图的“相邻”定义是有讲究的：只有共享边界线才叫相邻，共享一个点不算相邻。如果点接触也算相邻，四色定理就不成立了。

考试类比：图论中的“染色问题”常在信息学竞赛中出现，本质是给图的顶点染色，使相邻顶点颜色不同，最少用几色。这类题关键在建图：把区域抽象成顶点，把“相邻”抽象成边。

五、七桥问题：如何从一道散步题诞生一门学科

哥尼斯堡（今俄罗斯加里宁格勒）有条河穿过城市，河中有两个小岛，七座桥连接两岸与两岛。当地居民热衷一个游戏：有没有可能一次走遍七座桥，每座桥只走一次，最后回到起点？

1736 年，欧拉把两岸和两岛抽象成四个“点”，把七座桥抽象成连接点的“线”。问题变成：能否从某点出发，一笔画完所有线且每条线只画一次，回到起点？欧拉给出结论：一个连通图存在这样的回路的充要条件是——每个点的度（连接的边数）都是偶数。哥尼斯堡七桥图中四个点的度数分别为 3、3、3、5，全是奇数，因此无解。

这道“散步题”直接催生了图论和拓扑学——现代网络科学、物流运输、地图导航背后的数学基础。欧拉的处理方式也极具启发性：把具体问题抽象成结构问题，忽略无关细节。

联招数学中偶有“一笔画”题：判断图形能否一笔画成——看奇点（连接奇数条边的点）的个数。奇点为 0 或 2 时能一笔画成；奇点大于 2 时不能。

六、黎曼猜想：千万里之外的素数“幽灵”

1859 年，德国数学家黎曼在柏林科学院提交了一篇仅八页的论文，提出了一个关于素数分布规律的猜想。素数——也就是只能被 1 和自身整除的数——看似随机分布，但黎曼发现它们可能与某个复杂函数——黎曼ζ函数——的零点位置存在深刻关联。他猜测：ζ函数的所有非平凡零点都位于复平面的某条直线上。这就是黎曼猜想。

黎曼猜想的重要性超乎想象。数论中超过一千条结论都以“黎曼猜想成立”为前提——一旦猜想被证明，这些结论全部升级为定理；一旦被推翻，这些结论将大规模崩塌。1900 年希尔伯特把它列入“23 个世纪难题”，2000 年克雷数学研究所将它列为“千禧年大奖难题”，悬赏一百万美元。它至今未被解决，也是几个千禧年难题中尚未被攻克的一个（庞加莱猜想已被佩雷尔曼证明，但其他多数千禧难题也未解决）。

黎曼猜想之所以困难，是因为它触及了素数在自然数中分布的“深层秩序”。数学界普遍认为，这个猜想最终会成立——但证明的路径仍然迷雾重重。

七、这些难题对我们的学习启示

看这些百年难题，不只是听故事，还能带出几个重要的学习视角：

• 问题的难度与表述长度无关。哥德巴赫猜想一个句子读完，费马大定理一句“写不下”就困住世界三百年。遇到难题不要因为“题目短”就轻视，也不要因为“题目长”就害怕。
• 反例是推进数学的关键。四色问题曾有人提出反例，后来发现是边界定义问题；黎曼猜想至今未发现反例，但也不能因此认为它已证明。数学的世界里，猜想再美也必须是定理。
• 数学是“接力赛”而非“独角戏”。怀尔斯能证明费马大定理，是站在整个 20 世纪数论发展的肩上。学习也是一样，前面的基础概念没打好，后面的内容迟早会“卡壳”。
• 计算机改变了数学的研究方式。四色问题是第一个计算机证明的定理，今天人工智能也开始辅助数学家寻找证明线索。未来数学考试中的计算思维会越来越重要。

八、联招真题里的“数学文化”题怎么考

联招数学近年偶有结合数学史的题目，通常不是直接考故事，而是把史实转化为数学问题。常见考法：

考法一：以“一笔画”为背景，给一个图形判断能否一笔画成，考奇点判断；

考法二：以“勾股定理”为背景，回顾毕达哥拉斯的证明思路，再进行几何计算；

考法三：直接给一个数学家的贡献与数学成果连线，考概念匹配。

真正的历史细节——比如怀尔斯哪一年发表论文——一般不会考。但概念本身一定要清楚：能判断一个图能否一笔画；能写出勾股定理及常见勾股数；能说出素数与合数的区分。数学文化题考查的本质，是“用数学的眼光看世界的能力”。

中書院提醒：这些百年难题最大的教育价值不是让人仰望天才，而是让人看到——再难的题，都是从一个简单的问题开始的。学数学不必怕难，把问题拆小，一步一步来。