保罗·爱尔特希（Paul Erdős）

史上最多产、最奇特的数学家——他没有家、没有职位、没有行李，拖着半箱信件和一台旧手提箱在全世界数学家的沙发上流浪，醒来就开始写论文，临走留下一个猜想；他发表约 1525 篇论文、与 500 多人合作，发明了把随机性变成组合存在性证明的「概率方法」，与塞尔伯格各自给出素数定理的初等证明，并用成百上千个悬而未决的悬赏问题牵引了整整半个世纪的组合学。

一、生平与时代背景

保罗·爱尔特希（Pál Erdős）1913 年 3 月 26 日生于布达佩斯一个犹太家庭（原姓 Engländer）。父亲拉约什（Lajos Erdős）与母亲安娜（Anna）都是数学教师。在他出生前几天，两个姐姐（3 岁和 5 岁）因猩红热相继去世，这使父母对他极度保护，母亲一生不愿让他离开身边。父亲在一战中被俄军俘虏，在西伯利亚囚禁了六年；母亲白天教书，雇了一位德国家庭女教师照看他。安娜在失去两个女儿后过度保护，他早年大部分时间不上学而在家接受辅导。

一战结束后匈牙利局势动荡：贝拉·库恩（Béla Kun）的短暂苏维埃政权后，霍尔蒂（Miklós Horthy）的右翼民族主义政权上台，1920 年起颁布反犹法律（类似十三年后希特勒的纽伦堡法）。母亲安娜因在库恩时期未参加罢工而被解职，一度性命堪忧。1920 年父亲从西伯利亚归来，在狱中靠自学英语打发时间（但没有老师，发音古怪，这也成了爱尔特希终生的口音），并开始教儿子英语。

尽管大学对犹太人有名额限制，爱尔特希作为全国考试优胜者于 1930 年获准进入布达佩斯帕兹马尼·彼得大学（University Pázmány Péter）。1934 年获博士学位后，因犹太身份被迫离开匈牙利，赴曼彻斯特做博士后。在此期间他遍游英国，1934 年在剑桥结识哈代，1935 年结识乌拉姆（Stanisław Ulam）——后者后来在美国给了他重要帮助。1938 年 3 月希特勒吞并奥地利，他取消了原定的春季布达佩斯之行；夏季短暂访问后，因捷克危机于 9 月 3 日匆忙返回英国，数周后即赴美，在普林斯顿做研究助理。但普林斯顿觉得他「粗鲁、不合常规」，只给了六个月延期而非预期的一年，乌拉姆便邀他去麦迪逊（威斯康星）帮忙。

1941 年 8 月，他与两位数学家在长岛一个军用无线电发射台附近被警察带走——三人太投入讨论数学，没注意到「禁止入内」的标志。澄清后无事，却给他留下了 FBI 记录，后来被用来对付他。1943 年他在普渡大学做兼职。1941—1945 年布达佩斯被围困期间，他与家人完全失联；1945 年 8 月才收到电报：父亲 1942 年因心脏病去世，母亲幸存，一位表亲被送进奥斯威辛却奇迹生还，但四位叔伯姑母被纳粹杀害。

1948 年底他终于得以回匈牙利探亲。此后三年频繁往返英美，1952 年接受圣母大学临时职位——该校给了他完全的自由，可随时冲出去与人合作研究，但他始终不愿接受永久职位。1950 年代初麦卡锡主义兴起，他受到当局怀疑。1954 年阿姆斯特丹会议后回美时，移民局问他对马克思的看法，他答道「我没有资格评判，但他无疑是个伟人」；又被问是否回匈牙利，他说母亲和许多朋友在那里。结果他被拒绝入境，官方理由是他曾与一位后来回中国的中国数学家通信，加上 1941 年的 FBI 记录。

此后十年他主要待在以色列。1960 年代初他多次申请赴美签证，1963 年 11 月终于获准。此时他已成为「流浪者」：从一所大学到另一所，从一位数学家家到另一家。他在朋友罗纳德·格雷厄姆（Ronald Graham）家有一个「家」——格雷厄姆 1963 年在数论会议上与他相识，很快开始合作，为他提供房间、存放论文，某种程度上当他的秘书。

1973 年母亲安娜去世（享年 97 岁），这是他一生最大的打击；此后他更疯狂地投入数学与旅行，靠安眠药与兴奋剂（他遵医嘱服用安非他命，以对抗母亲去世后的抑郁和维持高强度工作）支撑。1983 年（一说 1983/84 年度）他与陈省身共获沃尔夫数学奖，奖金 5 万美元——他几乎把全部演讲收入和奖金都捐给了学生或作为悬赏问题的奖金，自己生活所需极少。

1996 年 9 月 20 日，他在波兰华沙参加一个图论会议时，因心脏病发作去世，享年 83 岁——正应了他自己的话：他希望死在「讲台上」。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 伯特兰假设的初等证明（1931，18 岁）

问题背景：1845 年伯特兰猜想：对任意 $n\ge 2$，在 $n$ 与 $2n$ 之间至少存在一个素数。切比雪夫 1850 年已用分析方法证明，但证明复杂。

结果：18 岁的爱尔特希给出一个极其优雅的初等证明，核心是检查二项式系数 $\binom{2n}{n}$ 的素因子分解，通过比较上下界推出必有素数落在区间 $(n,2n)$。

意义：这是他登上世界数学舞台的第一项工作，展示了他用初等方法解决难题的独特风格——哈代评价这是「最好的初等证明之一」。

2. 素数定理的初等证明（1949，与塞尔伯格）

问题背景：素数定理断言 $\pi(x)\sim x/\log x$（不超过 $x$ 的素数个数渐近于 $x/\log x$）。1896 年阿达马与德拉瓦莱·普桑独立用复分析证明，此后 50 多年人们一直怀疑是否存在不用复分析的「初等证明」。

关键思想：塞尔伯格先发现了一个关键恒等式（塞尔伯格公式），把 $\psi(x)$（切比雪夫函数）与素数分布联系起来；爱尔特希看出如何用它推出素数定理。两人约定在同一期刊背靠背发表、共享荣誉。

结果：1949 年两人各自发表了素数定理的初等证明（不依赖复变函数论）。这被视为 20 世纪分析数论的重大事件。

争议：在发表前，出现了优先权与署名的分歧——塞尔伯格抢先单独发表并加快投稿，次年因此获菲尔兹奖（部分基于此项工作）。爱尔特希对此「很达观」（MacTutor 引述），但两人的关系因此紧张。这一公案在数学史上广为人知，其细节学界有不同记述（存疑：谁先有完整证明、是否确有「背靠背发表」协议的破裂，不同版本叙述不一）。

意义：打破了「素数定理必须用复分析」的成见，推动了初等数论方法的发展；但在技术深度上，后来的复分析证明反而更简洁有力。

3. 概率方法与随机图论（1940s—1960）

问题背景：组合数学中常要证明「存在某对象满足某性质」，但构造不出具体例子。爱尔特希的革命性想法是：证明「随机选取的对象以正概率满足该性质」，从而存在性得证——这就是概率方法。

关键思想：以拉姆齐数为例：证明 $R(k,k)>2^{k/2}$，不必构造一个不含单色 $K_k$ 的 $2^{k/2}$ 阶完全图着色，只需证明对随机二染色，出现单色 $K_k$ 的概率小于 1，因此必存在一种「好」着色。

爱尔特希—伦伊随机图模型（1959—1960）：与阿尔弗雷德·伦伊（Alfréd Rényi）合作，定义随机图 $G(n,p)$：$n$ 个顶点，每对顶点以概率 $p$ 独立连边。他们系统研究了随 $p$ 增大时图的性质如何发生「相变」（phase transition），例如连通分支在 $p\sim 1/n$ 时出现巨型分支（巨分量），在 $p\sim \log n/n$ 时图变为连通。

意义：概率方法现已成为组合学、理论计算机科学、算法分析的核心工具；随机图论是复杂网络、互联网、社交网络建模的数学基础。爱尔特希也因此被视为「离散数学之父」之一。

4. 拉姆齐理论与组合数论

爱尔特希—塞凯赖什定理（1935）：与乔治·塞凯赖什合作的论文《几何学中的一个组合问题》证明了两个深刻结果： - 单调子列定理：任意长度超过 $(r-1)(s-1)$ 的互异实数序列，必含长度 $r$ 的递增子列或长度 $s$ 的递减子列（最佳界）。 - 凸多边形定理：对任意 $n\ge 3$，存在最小整数 $\mathrm{ES}(n)$，使得平面上任意 $\mathrm{ES}(n)$ 个一般位置的点中，必有 $n$ 个点构成凸 $n$ 边形。他们证明 $\mathrm{ES}(n)\le 2^{n-2}+1$，并猜想 $\mathrm{ES}(n)=2^{n-2}+1$。这篇论文催生了拉姆齐理论，也因促成埃丝特·克莱因（Esther Klein）与塞凯赖什的婚事而被称为「幸福结局问题」（happy ending problem）。

组合数论：提出大量关于整数集加法结构的猜想与结果，如爱尔特希—图兰猜想（关于加法基的表示函数）、爱尔特希—海布伦猜想（模素数 $p$ 的 $n$ 元集的子集和个数至少为 $\min(p,2n-1)$，后由 Dias da Silva—Hamidoune 1994 年证明）。他关于「倒数发散的整数序列含任意长等差数列」的猜想（爱尔特希等差数列猜想）至今未决，是他悬赏最高的问题之一。

5. 爱尔特希—卡茨定理（1939）——概率数论的诞生

问题背景：对大整数 $n$，其不同素因子的个数 $\omega(n)$ 如何分布？

结果：与马克·卡茨（Mark Kac）合作证明：$\omega(n)$（以及 $\Omega(n)$，计重数）满足中心极限定理——当 $N\to\infty$ 时，${n\le N: a\le \frac{\omega(n)-\log\log N}{\sqrt{\log\log N}}\le b}$ 的比例趋于 $\frac{1}{\sqrt{2\pi}}\int_a^b e^{-x^2/2}dx$。

意义：这是概率数论的奠基性定理，把素因子个数的分布与正态分布联系起来，深刻揭示了整数乘法结构的统计规律性。

6. 其他重要贡献

• 初等数论：对素数分布、连分数、丢番图逼近的大量初等结果；改进了众多经典估计。
• 极值图论：与图兰、雷曼等奠定极值图论基础；提出关于图的围长（girth）与色数的问题。
• 集合论与逻辑：与拉多（Rado）合作的爱尔特希—拉多定理（无穷拉姆齐理论）；在选择公理与基数算术上的工作。
• 几何数论与逼近：与塞凯赖什、图兰等的组合几何结果。
• 开放问题与悬赏：他提出数百个猜想并以 10 美元到 10000 美元不等的奖金悬赏求解（如著名的「爱尔特希等差数列猜想」悬赏 5000 美元，后由格雷厄姆代为提高）；这些问题至今仍在驱动组合学与数论发展。

四、代表著作与文献

• 论文：约 1525 篇（存疑：精确数字随补遗而增，常用数据为「超过 1500 篇」；合作者逾 500 人，据《爱尔特希数项目》统计为 511 人），分布于数论、组合、图论、概率、几何、集合论等。
• 《组合数学中的概率方法》（Probabilistic Methods in Combinatorics，与 Joel Spencer 合著，1974，Akadémiai Kiadó）：概率方法的经典入门。
• 《我的大脑敞开了》（保罗·霍夫曼著，The Man Who Loved Only Numbers，1998）：最畅销的爱尔特希传记。
• 《爱尔特希科学著作集》（The Mathematics of Paul Erdős，两卷，Ronald Graham 等编，Springer）。
• 论文列表与合作者：爱尔特希数项目（杰里·格罗斯曼维护），含完整论文目录与合作关系图。

五、师承、学派与同时代交往

• 师承：布达佩斯大学博士（导师为 Lipót Fejér，匈牙利分析学派领袖）；少年时受图兰（Pál Turán）影响，与塞凯赖什、埃丝特·克莱因组成「无名小组」（Anonymous group）常在布达佩斯郊外讨论数学。
• 合作者网络：史上最庞大的数学合作网络，逾 500 人；最常合作者包括图兰、伦伊、塞凯赖什、卡茨、格雷厄姆、Sós、Rado、Pósa、Lovász 等。
• 哈代：1934 年在剑桥结识，哈代对其才能颇为赏识（但因风格差异，合作不多）。
• 乌拉姆：1935 年剑桥结识，后在麦迪逊收留他；两人在集合论、测度论上有合作。
• 塞尔伯格：1949 年素数定理初等证明的合作者（也是对手），两人因优先权分歧而疏远。
• 格雷厄姆：1963 年起的密友、合作者与「代理人」，为他提供住所、管理事务；合著多部。
• 爱尔特希数：与他直接合作者爱尔特希数为 1，合作者的合作者为 2，以此类推，成为学术界流行的「六度分隔」游戏。

六、争议、公案与历史评价

• 素数定理初等证明的优先权之争（1949）：与塞尔伯格之间的分歧是 20 世纪数论最著名的公案之一。主流观点认为两人各自独立且几乎同时得到证明，塞尔伯格的关键恒等式是核心，爱尔特希看出其用法。分歧在于发表方式与署名。MacTutor 记述「塞尔伯格抢先发表并因此于次年获菲尔兹奖，爱尔特希对此达观」。此事的细节在不同传记中有出入（存疑），但不影响两人各自的伟大。
• 药物使用：母亲去世后，他遵医嘱服用安非他命以维持高强度工作，引发争议。1984 年他与格雷厄姆打赌 500 美元能停一个月，赢了赌注后说「数学倒退了一个月」便恢复服用。这在当时是公开的个人选择。
• 拒受固定职位与终身流浪：他始终不愿接受任何永久教职或固定住所，靠各大学的临时职位、演讲费和朋友收留为生。这种「数学苦行僧」式的生活方式既被视为纯粹，也引发关于其个人选择的讨论。
• 历史评价：爱尔特希被公认为 20 世纪最伟大的数学家之一，与欧拉并列为史上最多产的数学家（论文数量可能超过欧拉）。他把组合数学从边缘提升为主流数学分支，概率方法与随机图论影响了理论计算机科学与现代网络科学。他的独特个性与慷慨（几乎散尽奖金资助学生）使他成为数学界的传奇人物。

七、身后影响与学术谱系

• 组合学与离散数学：他将组合学从「数学游戏」提升为严谨的主流分支；概率方法、随机图、极值图论、拉姆齐理论都由他奠基或大力推进。
• 理论计算机科学：概率方法是随机算法、近似算法、复杂性理论的基本工具；随机图模型是网络科学的基础。
• 对匈牙利数学学派：他是匈牙利数学（以分析与组合见长）20 世纪后半叶的旗帜，培养和影响了图兰、伦伊、Lovász、Pósa、Sós 等几代匈牙利数学家，使布达佩斯成为世界组合学中心。
• 开放问题文化：他提出的数百个猜想与悬赏问题至今仍在驱动数学研究（如等差数列猜想、 $\epsilon$ 猜想等），形成独特的「问题驱动」研究范式。
• 命名遗存：爱尔特希数、爱尔特希—卡茨定理、爱尔特希—伦伊随机图、爱尔特希—塞凯赖什定理/幸福结局问题、爱尔特希—图兰猜想、爱尔特希—海布伦猜想、爱尔特希等差数列猜想、爱尔特希—拉多定理、爱尔特希—莫泽问题等。
• 文化影响：霍夫曼的传记《我的大脑敞开了》畅销全球；纪录片《N is a Number: A Portrait of Paul Erdős》（1993）记录了他的生活；匈牙利发行过他的纪念邮票。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Paul Erdős：圣安德鲁斯大学权威传记，本档案主要史实出处。
• MacTutor: 爱尔特希的学生时代：早年在布达佩斯的经历。
• MacTutor: 哈代与维布伦论爱尔特希：同行评价。
• MacTutor: 纽约时报讣告：权威讣告。
• Wikipedia: Paul Erdős：生平、论文数量与轶事的交叉核对。
• Wikipedia: Probabilistic method：概率方法的技术细节。
• Wikipedia: Erdős–Rényi model：随机图模型与相变。
• Wikipedia: Erdős–Szekeres theorem：单调子列与凸多边形定理。
• Wikipedia: Erdős–Kac theorem：概率数论。
• Wikipedia: Elementary proof of the prime number theorem：1949 年证明与优先权争议。
• Erdős Number Project (Oakland University, Jerry Grossman)：完整论文目录与合作关系数据。
• Paul Hoffman, The Man Who Loved Only Numbers (Hyperion, 1998)：畅销传记。
• Zala Films: N is a Number documentary：纪录片。