尼古拉·伊万诺维奇·罗巴切夫斯基（Николай Иванович Лобачевский / Nikolai Lobachevsky）

第一个公开发表非欧几何的人——他在喀山的边远学府里独自推翻了统治人类两千年的欧几里得平行公设，却在生前备受冷遇、双目失明地死去；直到身后十余年，贝尔特拉米的模型才让世界承认：他创造的是一门自洽的、真实的新几何学。

一、生平与时代背景

尼古拉·伊万诺维奇·罗巴切夫斯基于 1792 年 12 月 1 日生于俄国下诺夫哥罗德（Nizhny Novgorod，1932—1990 年间曾名高尔基）。父亲伊万·马克西莫维奇·罗巴切夫斯基是土地测量部门的小职员，母亲普拉斯科维娅·亚历山德罗夫娜（Praskovia Alexandrovna）；家中三个儿子，家境贫寒。尼古拉 7 岁时父亲去世，1800 年母亲带着三个儿子迁居俄国西部、西伯利亚边缘的喀山，靠政府奖学金供孩子们在喀山文科中学（Kazan Gymnasium）就读，尼古拉于 1802 年入学。

1807 年罗巴切夫斯基中学毕业，以免费生身份进入喀山大学。喀山大学是沙皇亚历山大一世改革的产物，1804 年创立、1805 年开学——只比罗巴切夫斯基入学早两年。他本想学医，后改学数学与物理的广泛理科课程。Vinberg 记载，最初几年系里气氛甚好：学生们热情高涨，日夜苦读以弥补基础不足；教授多从德国聘请，水平出众。其中一位关键人物是马丁·巴特尔斯（Martin Bartels，1769—1833）——他是高斯的中学老师和挚友，与高斯长期通信。巴特尔斯讲授数学史，课程以蒙蒂克拉（Montucla）的著作为底本，其中详细讨论了欧几里得《几何原本》和平行线理论；Laptev 已证实罗巴切夫斯基修过这门课。这很可能正是他对第五公设产生兴趣的起点（至于高斯是否通过巴特尔斯向他暗示过研究方向，见第六节的"存疑公案"）。

1811 年罗巴切夫斯基获物理—数学硕士学位；1814 年任讲师，1816 年任特命教授，1822 年任正教授——同年他开始行政生涯，进入监督新校舍建设的委员会。然而 1819—1826 年间，喀山在学监 M. L. 马格尼茨基（Magnitskii）治下气氛压抑：Struik 写道，这反映了亚历山大一世晚年对现代科学与哲学（尤其康德哲学）的不信任，视为法国革命的邪恶产物与正教威胁，结果是派系斗争、学术水准滑坡、解聘，包括巴特尔斯在内的优秀教授离校。罗巴切夫斯基因"正直独立的品格"屡与学监冲突，但仍成就斐然：他教授数学、物理、天文多门课程，为物理实验室购置仪器、为图书馆到圣彼得堡采购图书；1820—1825 年任数理学系主任，1825—1835 年任图书馆馆长，还兼天文台台长。

1826 年尼古拉一世即位，风气稍宽；马格尼茨基被解职，新学监穆辛—普希金（Musin-Pushkin）到任，与罗巴切夫斯基合作推动改革。1827 年罗巴切夫斯基出任喀山大学校长，一干就是 19 年。他治下的喀山大学欣欣向荣：大兴土木，建成图书馆、天文台、新医学设施与物理/化学/解剖实验室；大力提倡科研，也发展文科，使喀山成为东方学研究的重镇；学生人数显著增加，他还致力于提高本校与地方中小学的教育水准。两次天灾——1830 年霍乱流行与 1842 年大火——都因他果断合理的处置而把损失降到最低，霍乱期间的表现还获沙皇致谢。他的校长年度报告手稿有数百页之多。

尽管行政负担极重，他仍坚持讲授力学、流体力学、积分、微分方程、变分法、数学物理，1838—1840 年还给公众开物理讲座。1832 年他 40 岁时娶了出身富裕家庭的年轻姑娘瓦尔瓦拉·阿列克谢耶芙娜·莫伊谢耶娃（Varvara Alexejevna Moisieva），育有七个孩子；但史家认为这段婚姻并不美满。

1846 年罗巴切夫斯基退休（实质上是被大学解聘），健康急剧恶化。退休后不久，他最钟爱的长子去世，给他沉重打击；所患疾病逐渐加重，最终导致双目失明，加上经济困难，晚年凄凉。他的伟大数学成就在生前始终未获承认，1856 年 2 月 24 日卒于喀山，至死不知道自己的工作将获得何等声誉与地位。

二、学术生涯年表

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

1. 双曲几何——第一个公开的非欧几何体系（1829 年发表）

问题背景：自欧几里得以公理法建立几何以来，两千多年里数学家一直试图把第五公设（平行公设：过直线外一点恰有一条平行线）当作定理由其余四公设推出。无数"证明"都暗中假定了等价命题，无人成功。

关键思想：罗巴切夫斯基不再试图证明第五公设，而是研究第五公设不成立的几何，并证明它与通常几何一样自洽、丰富。他把欧氏几何视为这种更一般几何的特殊情形。

精确表述：罗巴切夫斯基把欧氏平行公设替换为其反面：过直线外一点，存在无穷多条直线与给定直线不相交（即至少两条，由此推出无穷多条）。在此假设下： - 三角形内角和严格小于 $180^\circ$（即 $\pi$），且其亏缺 $\pi-(\alpha+\beta+\gamma)$ 与三角形面积成正比； - 不存在相似而不全等的三角形（相似必全等）——这意味着几何中有一个内禀的绝对长度单位； - 平行角（angle of parallelism）$\Pi(a)$ 随距离 $a$ 满足 $\tan\frac{\Pi(a)}{2}=e^{-a/k}$（$k$ 为曲率半径，取适当单位后 $\Pi(a)=2\arctan e^{-a}$），当 $a\to 0$ 时 $\Pi(a)\to\pi/2$，即局部趋近欧氏几何。

他称此为"虚几何学"（imaginary geometry）、"泛几何学"（pangeometry），今称双曲几何（hyperbolic geometry）或罗巴切夫斯基几何。

与前人关系：萨凯里（Saccheri，1733）、朗伯（Lambert，1766）、施魏卡特（Schweikart）、陶里努斯（Taurinus）都曾朝非欧方向试探，但都未彻底接受这种几何的自洽性；高斯独立发现却秘而不宣。罗巴切夫斯基是第一个公开发表完整非欧几何体系的人（1829），鲍耶（János Bolyai）紧随其后（1832），两人各自独立。

局限性：罗巴切夫斯基只证明了体系内部推导不出矛盾，未给出相对一致性证明——即证明若欧氏几何自洽则双曲几何亦自洽。这一步要到 1868 年贝尔特拉米（Beltrami）的伪球面模型、1870 年代克莱因与庞加莱的模型才完成。

2. 双曲三角与三角学的一般公式

问题背景：新几何需要一套与欧氏平面三角对应的三角学，用来度量长度、角度与面积。

关键思想：罗巴切夫斯基系统建立了双曲几何中的三角公式，并指出双曲函数（$\sinh,\cosh$）在其中扮演欧氏几何中三角函数的角色——这是双曲函数得名并被系统应用于几何的起点。

精确表述：在双曲平面上，以曲率半径 $k=1$ 为单位，边长 $a,b,c$ 所对内角 $A,B,C$ 满足双曲余弦定理： $$\cosh c=\cosh a\cosh b-\sinh a\sinh b\cos C,$$ 以及相应的正弦定理。当 $a,b,c\to 0$ 时，$\cosh x\approx 1+x^2/2$，公式退化为欧氏余弦定理 $c^2=a^2+b^2-2ab\cos C$。他还研究了双曲空间中的球面三角，证明了许多与欧氏球面对应但符号不同的恒等式。

与前人关系：把分析（双曲函数）系统引入几何，是把非欧几何从纯逻辑推演提升为可计算体系的关键一步；后来黎曼把这种"用曲率参数化几何"的思想推向一般流形。

3. Dandelin–Gräffe–Lobachevsky 求根法（1834）

问题背景：需要数值求解高次代数方程的根。

关键思想：1834 年罗巴切夫斯基独立提出一种通过对系数反复变换来逼近多项式根的方法；同一方法由 Dandelin 与 Gräffe 各自独立发现（Gräffe 是为回应柏林科学院的一道有奖问题）。

精确表述：该法通过逐步构造根的平方、四次方……的幂和多项式，使根的大小分离，从而读出根的模长（对实根直接得根）。在俄罗斯文献中常称罗巴切夫斯基法，国际上通称 Dandelin–Gräffe 法（三人独立发现）。在计算机时代，它因避免复数运算而仍适用于某些场景。

与前人关系：三人各自独立；罗巴切夫斯基的版本发表于 1834 年。此法体现了他在分析与数值计算方面的能力，常被非欧几何的盛名所掩盖。

4. 双曲几何的解析体系与《泛几何学》

问题背景：如何用统一语言处理欧氏与双曲几何，并把它们嵌入更一般的框架？

关键思想：在晚年著作《泛几何学》（Pangeometrie，1855，俄文与法文同时出版）中，罗巴切夫斯基总结其思想，试图建立一套不依赖平行公设、同时容纳欧氏与非欧情形的一般几何（"泛几何"），并给出解析表述。

精确表述：他系统给出了双曲几何中直线与平面的方程、距离公式、面积与体积公式，证明了双曲空间的体积公式（与 $\pi$ 及双曲函数有关），并强调当曲率半径趋于无穷时全部退化回欧氏公式——这一"参数化几何"的观念深刻影响了黎曼。

历史境遇：此书出版于他双目失明之后，靠口授完成；几乎无人问津，是他数学人生的终曲。

四、代表著作与文献

• 《几何学》（Geometriya，1823 年完成，原文 1909 年才出版）：早期几何教科书，已显露出他对平行公设的质疑。
• 《论几何学原理》（О началах геометрии，1829—1830，载《喀山信使》Kazan Messenger）：非欧几何的第一个公开出版物；提交圣彼得堡科学院时被奥斯特罗格拉茨基否决。
• 《虚几何学》（Géométrie imaginaire，1837，法文，载 Crelle 杂志）：向欧洲读者介绍其新几何。
• 《平行线理论的几何研究》（Geometrische Untersuchungen zur Theorie der Parallellinien，1840，柏林出版，德文）：最精炼地阐述双曲几何的著作，给高斯留下深刻印象；1866 年由 Hoüel 译为法文，成为传播关键。
• 《泛几何学》（Pangeometrie，1855，俄文与法文）：晚年集大成之作，口授完成。
• 代数方程数值解论文（1834，Dandelin–Gräffe–Lobachevsky 法）。
• 全集与研究：N I Lobatschewskij: Zwei geometrische Abhandlungen（Engel 编，1898—1899）；苏联时期出版的《罗巴切夫斯基全集》。

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

• 师承：喀山大学受教于从德国聘请的教授们，尤以马丁·巴特尔斯（高斯的中学老师与挚友）影响最深——巴特尔斯的数学史课（据蒙蒂克拉）激发了他对第五公设的兴趣。
• 学派归属：俄国数学的奠基人物之一；但他在世时孤立于欧洲主流之外，未形成直接的学派，其思想经德国数学家（Hoüel、贝尔特拉米、克莱因、庞加莱）的传播与模型化才被纳入数学主流。
• 同时代交往：
• 高斯：高斯独立发现非欧几何但未发表，且高度评价罗巴切夫斯基 1840 年的著作。但两人并无直接通信（见第六节公案）。
• 奥斯特罗格拉茨基：圣彼得堡科学院权威，1829 年否决了罗巴切夫斯基的论文，使其成果在俄国长期受冷遇。
• 巴特尔斯：老师，与高斯通信——这层关系引发了"高斯是否暗示了罗巴切夫斯基"的猜测（已被证伪）。
• J. Hoüel、贝尔特拉米、克莱因、庞加莱：身后才出现的传播者与模型建立者。
• 学生/传人：他在喀山培养了一批俄国数学教师，但无直接继承其几何思想的大数学家；非欧几何的真正传人是德国与意大利的几何学家。

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

• "高斯启发了罗巴切夫斯基"——已被证伪的传闻：因巴特尔斯同时是高斯的挚友和罗巴切夫斯基的老师，M. Kline 等学者曾猜测高斯通过巴特尔斯给了罗巴切夫斯基（以及鲍耶）暗示。但 Laptev 检查了巴特尔斯与高斯的全部通信，证明巴特尔斯并不知道高斯的非欧几何结果，故此说不成立。
• 其他被驳倒的传闻：罗巴切夫斯基与高斯并无个人通信（高斯虽高度评价其作品却从不公开评论，也未"在德国为他宣传"）；所谓"高斯为读罗巴切夫斯基的俄文论文而学俄语"也不实——高斯在听说罗巴切夫斯基之前就学过俄语。
• 奥斯特罗格拉茨基的否决：1829 年罗巴切夫斯基把论文提交圣彼得堡科学院，被奥斯特罗格拉茨基判为"不知所云"而否决，使俄国数学界长期无人理解其价值——这是数学史上权威误判的著名案例。
• 生前未获承认：他在世时非欧几何被忽视，他在失明与贫困中死去，不知自己将名垂青史。
• 优先权与命名：罗巴切夫斯基（1829）与鲍耶（1832）各自独立发表；高斯更早发现但不发表。学界现称高斯—鲍耶—罗巴切夫斯基几何（双曲几何），三人并列。
• 历史评价：非欧几何的诞生是数学史上最深刻的思想革命之一——它打破了"欧几里得几何即唯一真实几何"的两千年信念，解放了数学的空间观念，直接催生了黎曼几何，并为爱因斯坦广义相对论提供了数学语言。罗巴切夫斯基是这场革命中最勇敢、最彻底的公开旗手。

七、身后影响与学术谱系

• 对几何学：双曲几何的自洽性经 1868 年贝尔特拉米的伪球面（曳物面）模型、1871 年克莱因的射影模型、1882 年庞加莱的圆盘/上半平面模型逐步确立，彻底证明了欧氏平行公设的独立性。
• 对黎曼几何：1854 年黎曼的就职演讲《论几何学的基础假设》把几何推广到任意维、任意曲率的流形，双曲几何成为"常负曲率"的特例；黎曼的思想直接继承并远远超越了罗巴切夫斯基与鲍耶。
• 对相对论：黎曼几何成为爱因斯坦广义相对论（1915）的数学基础——时空是弯曲的四维流形，引力即曲率。罗巴切夫斯基当年的"虚几何"最终成为描述宇宙的真实语言。
• 对数学思想：非欧几何的发现推动了数学从"描述物理实在"转向"研究自洽结构"，为公理化运动（希尔伯特《几何基础》，1899）与现代数学观开辟了道路。
• 克莱因的《埃尔朗根纲领》（1872）：把几何定义为变换群下的不变量，双曲、欧氏、椭圆几何统一在这一框架下——罗巴切夫斯基的几何是其核心例证。
• 命名与纪念：双曲几何又称罗巴切夫斯基几何（或鲍耶—罗巴切夫斯基几何）；月球背面有罗巴切夫斯基环形山；喀山有罗巴切夫斯基大学与博物馆；1992 年起俄国数学会颁发罗巴切夫斯基奖。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Nikolai Ivanovich Lobachevsky：圣安德鲁斯大学权威传记，本档案主要史实出处（含对高斯传闻的证伪）。
• Dictionary of Scientific Biography — Lobachevsky (PDF, MacTutor 托管)：科学史权威传记条目（Rosenfeld 撰）。
• MacTutor: Non-Euclidean geometry（历史专题）：非欧几何发现史综述。
• Wikipedia: Nikolai Lobachevsky：生平与著作交叉核对。
• Wikipedia: Hyperbolic geometry：双曲几何的原理、模型与历史。
• Wikipedia: Dandelin–Gräffe method：罗巴切夫斯基独立发现的求根法。
• R. Bonola, Non-Euclidean Geometry (Dover, 1955 英译本)：非欧几何经典史著（MacTutor 参考文献 3）。
• B. A. Rosenfeld, 非欧几何史：权威苏联数学史著作。