亚诺什·鲍耶（János Bolyai）

与罗巴切夫斯基各自独立创造非欧几何的匈牙利天才——他以一篇短短数十页的"附录"建立了双曲几何的完整体系，却因高斯一句"这正是我三十年前的沉思"而心灰意冷，从此远离数学，在贫困与孤独中留下两万页未刊手稿。

一、生平与时代背景

亚诺什·鲍耶于 1802 年 12 月 15 日生于匈牙利的科洛兹什瓦尔（Kolozsvár，今罗马尼亚克卢日-纳波卡 Cluj）。母亲祖姗娜·本科（Zsuzsanna Benkö）是科洛兹什瓦尔人，父亲法尔卡什·鲍耶（Farkas Bolyai，1775—1856）是知名数学家，在马罗什瓦什海伊（Marosvásárhely，今罗马尼亚特尔古穆列什 Târgu-Mureș）的加尔文派学院教授数学、物理与化学。亚诺什出生在外祖父母家，不久即随父亲迁居马罗什瓦什海伊。

法尔卡什一心想把儿子培养成数学家，但他信奉"健全的精神寓于健全的身体"，幼年亚诺什的精力多花在体育锻炼上。即便如此，他早慧惊人：史料记载，他 4 岁时已能辨认若干几何图形、知道正弦函数、识别著名星座；5 岁几乎自学识字；语言与音乐远超常童，7 岁起学小提琴，很快就能演奏高难度协奏曲。但家境清贫——法尔卡什的教职薪水不高，母亲性格也较难相处，家庭氛围并不愉快。

9 岁前，除数学由父亲教授外，其余科目都由学院里最优秀的学生辅导；9 岁才正式上学。13 岁时他已掌握微积分与解析力学，并常去听高年级的课。1816 年，法尔卡什致信挚友高斯，请他收亚诺什为徒——这本可能是数学史上最美好的师生缘之一，但高斯拒绝了。1817 年 6 月 30 日亚诺什从马罗什瓦什海伊学院毕业，却找不到好的数学教育：佩斯与维也纳的大学数学水平都不高，父亲又无力送他去更负盛名的国外大学。反复权衡后，他选择去维也纳的皇家工程学院学军事工程——这在当时是"最差选项里最好的"，所幸该学院也相当重视数学教学。

1818—1822 年他在维也纳皇家工程学院学习，把七年课程压缩在四年读完，成绩优异，从第二年起几乎门门第一；同时还是出色的运动员，继续小提琴演奏并在维也纳登台。1821 年 9 月 18 日母亲去世，他坚持完成学业。1822 年 9 月 6 日以优异成绩毕业，又在维也纳留了一年做学术研究，随后进入军界——他不适应严格的军纪。1823 年 9 月他以少尉军衔进入陆军工兵部队，被派往泰梅什堡（Temesvár，今蒂米什瓦拉）修筑工事，此后在军中服役 11 年，被誉为奥匈帝国陆军最好的剑客与舞者；他不吸烟、不饮酒（连咖啡也不喝），通晓九门外语，包括汉语与藏语。

他的数学兴趣从未中断。约 1820 年（仍在维也纳求学时），他开始沿着父亲的老路，试图用别的公理取代欧几里得平行公理并由其余公理推出；但不到一年（仍是 1820 年，其笔记本可证）他就放弃了这一路径，转而发展双曲几何的基本思想。1823 年 11 月 3 日他写信给父亲，写下数学史上最著名的句子之一：

"我已经从虚无中创造出了一个全新的、另一个世界……"（…created a new, another world out of nothing…）

不过他又补了一句说"还没完全造好"。到 1824 年，证据表明他已发展出后来论文中的大部分完整体系。1825 年初他回马罗什瓦什海伊向父亲解释发现，但法尔卡什反应冷淡，令他失望。1826 年他被派驻阿拉德（Arad），遇到了维也纳时的数学老师冯·埃克韦尔（von Eckwehr）上尉，把手稿交给对方征求意见，却再未收到回音，手稿也石沉大海。

1830 年他得知将被派往伦贝格（Lemberg，今利沃夫），1831 年初赴任途中顺道探望父亲。此时法尔卡什终于理解了儿子工作的意义，力劝他把成果写下来，作为自己即将出版的《Tentamen》的附录发表。鲍耶后来说："若非父亲在我赴伦贝格途中于马罗什瓦什海伊催促甚至强迫我立即动笔，附录的内容也许永无天日。"到 1831 年 6 月 20 日，附录已印好，法尔卡什把抽印本寄给高斯。高斯读后对朋友说："我把这位年轻的几何学家鲍耶视为第一流的天才。"但给法尔卡什的信却写道："赞扬它等于赞扬我自己——因为其全部内容……与我过去三十到三十五年间占据我头脑的沉思几乎完全一致。"

1832 年他被派驻奥尔米茨（Olmütz），晋升上尉。得知高斯已先行做过同样工作，对他打击极大——他变得易怒、难以相处，健康恶化，频繁发烧，难以履行军职。1833 年 6 月 16 日他以领养老金为由退役，一度与父亲同住。

此后他住到多马尔德（Domáld）的家族田庄（继承自祖母），1834 年起与罗扎莉娅·基贝迪·奥尔班（Rozália Kibédi Orbán）同居，育有两子——因法律要求结婚须先存一笔钱，他负担不起，两人直到 1849 年 5 月 18 日（匈牙利独立后法律变化）才正式结婚。养老金不足以养家，他既不善理财也不善经营田庄，与父亲关系紧张。

他在多马尔德仍继续研究数学，但与数学界隔绝，许多工作价值有限。1834 年起他试图以公理系统重建整个数学，为此写了序言但终未完成；其中几何部分包含一些超前的思想，如拓扑不变性的雏形。他还为莱比锡的雅布隆诺夫斯基学会（Jablonowsky Society）的征文写了《回应》（Responsio），论证应把复数严格定义为实数的有序对——这比哈密顿 1837 年的同类工作还早，但未获好评。

1846 年他从田庄迁回马罗什瓦什海伊，与父亲关系更趋紧张。1848 年他发现罗巴切夫斯基早在 1829 年就发表了类似工作，逐字逐句研读，内心掀起风暴：他在批注中抱怨自己受了冤屈，甚至怀疑罗巴切夫斯基根本不存在、一切都是高斯的恶意阴谋——这是一个深知自己发现之意义、却得不到唯一能赏识他的人支持的天才的悲鸣。但他仍保持客观，高度评价罗巴切夫斯基球面三角的证明"有天才的印记"。

1852 年他与罗扎莉娅分居（与父亲关系因此好转）。晚年他放弃数学，转而构造"一切知识的理论"，在语言学与社会学部分留下有趣想法。1860 年 1 月 27 日因肺炎去世，年仅 57 岁。他留下超过两万页数学手稿，今藏于特尔古穆列什的鲍耶-泰莱基图书馆。1959 年，克卢日的大学合并为巴比什-鲍耶大学（Babeș-Bolyai University），以他的名字纪念。

二、学术生涯年表

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

1. 绝对几何与双曲几何——《绝对空间的科学》（《附录》，1832）

问题背景：两千年来数学家试图证明欧几里得第五（平行）公设。亚诺什的父亲法尔卡什·鲍耶毕生致力于此却失败，曾告诫儿子"不要在这上面浪费一小时"。

关键思想：鲍耶不再证明第五公设，而是考察它不成立时的几何，并把不依赖于第五公设真伪的命题统称为"绝对几何"（absolute geometry）。他严格区分三个体系：

• 记 $\Sigma$ 为基于欧几里得第五公设为真的几何（欧氏几何）；
• 记 $S$ 为基于相反假设的几何（双曲几何，他称"想象中的空间"）；
• 凡未明确声明在 $\Sigma$ 或 $S$ 中成立的定理，都是绝对的——即无论第五公设真伪都成立。

精确表述：《附录》（Appendix scientiam spatii absolute veram exhibens…，全译《绝对空间的科学……》）的核心成果： - 给出"平行"的新定义，证明若第五公设在空间某一区域成立则在全空间成立，反之亦然； - 在体系 $S$ 中，过直线外一点有无穷多条直线与给定直线不相交；三角形内角和 $<\pi$，且面积与亏缺 $\pi-(\alpha+\beta+\gamma)$ 成正比； - 不存在相似而不全等的三角形（几何含内禀长度单位）； - 引入平行角 $\Pi(x)$，给出双曲三角的基本公式，并证明在极限情形退化为欧氏三角； - 一个惊人结论：在双曲几何中可以用尺规作一个正方形使其面积等于给定圆（即"化圆为方"在双曲几何中可解，而在欧氏几何中用尺规不可解）——这有力地展示了新几何与欧氏几何的实质不同。

与前人关系：萨凯里、朗伯有试探；高斯独立发现却不发表；罗巴切夫斯基 1829 年先于鲍耶发表，但鲍耶完全独立地得到了等价且在某些方面更系统、更严格的结果。《附录》大部分篇幅处理的是绝对几何——这是鲍耶对几何基础的独特贡献，比单纯构造双曲几何更进一步。

局限性：与罗巴切夫斯基一样，鲍耶只证明了内部不矛盾，未给出相对一致性证明（要等贝尔特拉米、克莱因、庞加莱的模型）；且《附录》仅 24 页（加注释约 40 页），极度凝练，当时几乎无人能懂。

2. 复数作为实数有序对（《回应》，约 1834）

问题背景：莱比锡雅布隆诺夫斯基学会悬赏征文，主题是"几何学中使用的虚量是否可构造"。

关键思想：鲍耶在《回应》（Responsio）中论证该问题提法不当——重要的不是虚数的"构造"，而是其定义与在几何中的角色。他给出把复数严格定义为实数有序对的几何方案，并定义其运算。

精确表述：把复数 $a+bi$ 定义为有序对 $(a,b)$，加法 $(a,b)+(c,d)=(a+c,b+d)$，乘法 $(a,b)(c,d)=(ac-bd,ad+bc)$。这为复数提供了纯实数基础，无需借助"想象的"单位 $i$。

与前人关系：高斯已用平面点表示复数（1799，1831），韦塞尔（Wessel，1799）与阿尔冈（Argand，1806）也有几何表示；但鲍耶以有序对给出纯代数定义，与哈密顿（Hamilton）1837 年的工作思路相同且更早，却未获学会认可（他与父亲的论文都未得奖）。

历史境遇：这一贡献长期被忽视，是鲍耶"被埋没"的又一例；哈密顿后来以四元数闻名，其有序对思路与鲍耶一致。

3. 未竟的"数学公理化"巨著与拓扑不变性雏形（1834 起，未完成）

问题背景：鲍耶试图从公理系统出发重建整个数学，写于 1834 年（当年写了序言），但终生未完成。

关键思想与内容：在多马尔德的隐居岁月里，他写下大量未刊手稿，其中几何部分包含一些超前于时代的思想，如拓扑不变性的模糊概念（图形在连续变形下保持的性质）。这些手稿是理解其思想深度的重要材料，但因孤立无援、缺乏交流，多数未能发展为成熟理论。

历史评价：这部分工作的价值要等到 20 世纪数学史家整理那两万页手稿后才逐渐显现；它显示鲍耶若非被埋没，可能在更多领域留下开创性成果。

四、代表著作与文献

• 《绝对空间的科学》（Appendix scientiam spatii absolute veram exhibens…，通称《附录》Appendix，1832 年作为父亲法尔卡什·鲍耶《Tentamen》第一卷的附录出版；1831 年 6 月已印出抽印本寄高斯）：鲍耶唯一正式发表的数学著作，仅约 24 页，建立了绝对几何与双曲几何的完整体系，是非欧几何的奠基文献之一。
• 父亲的《Tentamen》（Tentamen juventutem studiosam in elementa matheseos…，两卷，1832—1833）：法尔卡什的数学著作，《附录》即附于其第一卷。
• 《回应》（Responsio，约 1834）：应征雅布隆诺夫斯基学会征文，提出复数作为实数有序对的严格定义，未获奖。
• 两万多页未刊手稿（藏于特尔古穆列什鲍耶-泰莱基图书馆）：含绝对几何续作、数学公理化尝试、拓扑与数论研究，部分于 20 世纪整理出版。

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

• 师承：父亲法尔卡什·鲍耶是其唯一真正的数学老师（9 岁前教数学，13 岁前教到微积分）；维也纳工程学院的数学老师（含冯·埃克韦尔）也有影响，但他主要靠自修。
• 与高斯的关系：法尔卡什是高斯的挚友（两人在哥廷根同窗）；1816 年高斯拒绝收亚诺什为徒，1832 年读《附录》后既赞其为"第一流天才"，又称其内容与自己三十年前的沉思一致——后者严重打击了亚诺什。
• 与罗巴切夫斯基：两人各自独立发现双曲几何，生前未直接通信；1848 年鲍耶读到罗巴切夫斯基 1829 年的著作，既嫉妒又钦佩，在批注中留下矛盾的评价。
• 学派归属：无学派传人——鲍耶生前孤立，其工作直到身后由德国数学家（Hoüel、斯塔克尔 Stackel、柯尔察克 Kárteszi 等）发掘整理才广为人知。
• 同时代交往：除父亲外，与维也纳时期的老师冯·埃克韦尔有过接触（后者遗失了他的手稿）；与欧洲数学主流几乎隔绝。

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

• 高斯的"先行说"与对鲍耶的打击：高斯确实在 1824 年致陶里努斯的信中表露了与鲍耶相同深度的非欧几何理解，故"内容与我三十年前的沉思一致"并非虚言；但他从未发表。这句话对鲍耶是毁灭性的——他从此认为自己的原创性被否定，心灰意冷。史家多认为高斯虽说出事实，却以一种极不明智的方式处理了一位年轻天才最需要鼓励的时刻。
• 优先权：罗巴切夫斯基（1829 年发表）早于鲍耶（1832 年），但两人完全独立；高斯更早却不发表。现学界称高斯—鲍耶—罗巴切夫斯基几何。
• 手稿遗失：1826 年交给冯·埃克韦尔的早期手稿再未找回，使我们无法完全追溯鲍耶发现的时间线。
• 与父亲的复杂关系：法尔卡什既最早不看好儿子的工作，后来又力促其发表；经济与田庄问题使父子长期不和。
• 被埋没的一生：鲍耶生前只发表了 24 页《附录》，几乎无人问津；他的两万页手稿是一座未被开发的富矿。其悲剧与罗巴切夫斯基、阿贝尔并列，是 19 世纪数学史上"天才未获承认"的经典案例。
• 历史评价：鲍耶以惊人的简洁与严格，在《附录》中建立了不依赖平行公设的绝对几何与完整的双曲几何体系，其"绝对几何"概念的概括力甚至超过罗巴切夫斯基。若非高斯的反应与自身的孤立，他可能在数学基础、代数等更多领域留下开创性成果。

七、身后影响与学术谱系

• 对非欧几何的接受：与罗巴切夫斯基的工作一道，经 1860 年代 Hoüel 的法译、1868 年贝尔特拉米模型、1871 年克莱因射影模型、1882 年庞加莱模型而被证明自洽，彻底确立了欧氏平行公设的独立性。
• 对几何基础与公理化："绝对几何"概念（不依赖平行公设的命题集）是几何基础研究的关键一步，影响了希尔伯特《几何基础》（1899）的公理化纲领。
• 对黎曼几何与相对论：双曲几何作为常负曲率空间的特例，被纳入黎曼几何，最终服务于广义相对论。
• 对复数理论：有序对定义虽未在当时产生影响，但与哈密顿工作相互印证，是复数严格化的重要历史线索。
• 纪念：1945 年克卢日的匈牙利大学以他命名，1959 年合并为巴比什-鲍耶大学；匈牙利发行过鲍耶邮票；特尔古穆列什有鲍耶纪念馆与手稿图书馆。
• 手稿整理：20 世纪由柯尔察克（F. Kárteszi）、塞纳什（B. Szénássy）等匈牙利数学史家系统整理出版，使鲍耶的完整思想逐渐为人所知。

八、延伸阅读与权威来源

• MacTutor 数学史档案：János Bolyai：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Dictionary of Scientific Biography — Bolyai (PDF, MacTutor 托管)：科学史权威传记条目（Struik 撰）。
• MacTutor: Farkas Bolyai：父亲法尔卡什的传记，理解父子关系。
• MacTutor: Non-Euclidean geometry（历史专题）：非欧几何发现史综述。
• Wikipedia: János Bolyai：生平与著作交叉核对。
• Wikipedia: Non-Euclidean geometry：非欧几何原理、模型与三位发现者。
• S. Barna, Bolyai Janos (Budapest, 1978)：权威匈牙利语传记（MacTutor 参考文献 3）。
• B. Szénássy, History of Mathematics in Hungary until the 20th Century：匈牙利数学史权威著作（MacTutor 参考文献 7）。