约翰·海因里希·朗伯（Johann Heinrich Lambert）

第一个证明 π 是无理数的人，双曲函数的系统建立者，非欧几何的超前探索者——这位自学成才的瑞士裔博学者在数学、光学、宇宙学与哲学之间来去自如，却因出身寒微与举止乖僻屡遭冷遇。

一、生平与时代背景

约翰·海因里希·朗伯于 1728 年 8 月 26 日生于阿尔萨斯的米尔豪森（Mülhausen，今法国牟罗兹 Mulhouse）。其家族原是洛林的加尔文教徒，三十年战争期间（1635 年）为避宗教迫害逃离洛林，定居米尔豪森——当时是与瑞士结盟的自由帝国城市。父亲卢卡斯·朗伯（Lukas Lambert）是裁缝，与伊丽莎白·施默伯（Elizabeth Schmerber）1724 年结婚，育有五子两女，家境清贫。海因里希在米尔豪森上学到 12 岁，习法语、拉丁语及基础课程，随后辍学帮父亲做裁缝；但他与常人不同，利用一切余暇自学，晚间独自研读科学著作。15 岁时为补贴家计去做书记员，凭借出众的书法在塞普瓦（Seppois，米尔豪森以南、巴塞尔正西）的铁厂找到工作，后又转任私人家庭教师。17 岁时他离开铁厂，担任《巴塞尔报》（Basler Zeitung）主编约翰·鲁道夫·伊泽林（Johann Rudolf Iselin）的秘书——这份工作让他得以集中钻研数学、天文与哲学。他在一封信中回忆：自己研读了克里斯蒂安·沃尔夫、马勒伯朗士与洛克，而"代数与力学为我所学的规则提供了清晰而深刻的例证"。

1748 年，20 岁的朗伯到库尔（Chur，当时属瑞士邦联的格劳宾登）担任彼得·冯·萨利斯伯爵（Count Peter von Salis）家的家庭教师，伯爵家藏书丰富，他得以继续深造，并自制天文仪器。正是在库尔，他开始为科学界注意：当选库尔文学社与巴塞尔瑞士科学学会成员，定期做气象观测，1755 年在《瑞士学报》（Acta Helvetica）发表首篇论文（论热理论）。1756 年他带两名年长的学生（已 19 岁）开始"壮游"（grand tour）：先到哥廷根，结识凯斯特纳（Kästner）与托比亚斯·迈尔（Tobias Mayer），当选哥廷根学会；但 1756 年恰逢七年战争爆发，1757 年法奥联军占领哥廷根，他遂带学生转赴乌得勒支，以此为基地游历荷兰主要城市两年。

1758 年他在海牙出版第一本著作（论光在介质中的传播）；随后带学生到巴黎（在此结识达朗贝尔）、马赛、尼斯、都灵与米兰。30 岁的朗伯决心谋求一个科学职位，离开萨利斯家族，但求职并不顺利——他最想去的哥廷根始终落空。在苏黎世做了几个月天文观测后，他回米尔豪森老家待了数月。1759 年他到奥格斯堡找到出版商，先后推出《光度学》（Photometria，1760）与《宇宙学书简》（Cosmologische Briefe，1761）。

1760 年欧拉曾推荐他填补圣彼得堡科学院的天文学教授空缺，但因学院改组与政局变动，该职位空缺数年。他又受命按柏林科学院的模式筹建巴伐利亚科学院（慕尼黑），却与成员闹翻，1762 年离开。1764 年其哲学著作《新工具》（Neues Organon）在莱比锡出版。他渴望进入柏林科学院、成为欧拉与拉格朗日的同事，1764 年应欧拉之邀赴柏林。然而初到时，腓特烈二世因其外貌古怪、衣着寒酸、举止乖僻（部分源于其卑微出身及刻意不迎合上流社会，部分源于其虔诚的宗教态度）而一度拒绝任命；但相处之后，腓特烈发现他见识超凡。朗伯最终成为柏林科学院物理班成员，此后 12 年直至去世，发表了 150 余篇著作，是科学院中唯一常跨班宣读论文的成员。

他与欧拉的关系一开始就出现裂痕，主要围绕科学院靠出售历书获得的收入分配；有论者推测这促使欧拉 1766 年离开柏林重返圣彼得堡，但这一因果学界有争议（见第六节）。1766 年朗伯写成《平行线理论》（Theorie der Parallellinien），通过假设平行公设为假推出大量非欧几何结果（身后 1786 年才出版）。1768 年他向柏林科学院提交论文，首次严格证明 π 是无理数，并同时猜测 e 与 π 是超越数。1771 年出版《建筑学》（Anlage zur Architectonic），试图把哲学改造成像欧几里得几何那样的演绎科学。1772 年他给出死亡率定律的数学表述，对概率论与误差理论有所贡献。1777 年 9 月 25 日卒于柏林，年仅 49 岁。

二、学术生涯年表

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

1. 首次严格证明 π 是无理数（1768）

问题背景：自古以来人们怀疑圆周长与直径之比 π 不是有理数，但从未有过证明。欧拉 1737 年已证明 e 与 e² 是无理数，但 π 的无理性仍是悬案。

关键思想：朗伯把 $\tan x$ 展开成连分数，证明若 $x$ 是非零有理数，则 $\tan x$ 必为无理数。

精确表述：朗伯得到正切的连分数展开

$$\tan x = \cfrac{x}{1-\cfrac{x^2}{3-\cfrac{x^2}{5-\cfrac{x^2}{7-\cdots}}}}$$

并证明：若 $x\neq 0$ 为有理数，则 $\tan x$ 为无理数（同时证明 $e^x$ 也为无理数，推广了欧拉的结果）。取 $x=\pi/4$，则 $\tan(\pi/4)=1$ 是有理数，故 $\pi/4$ 不可能是有理数，从而 $\pi$ 是无理数。他还进一步证明：若 $x$ 是非零有理数，则 $e^x$ 是无理数。更令人惊异的是，他在同一篇论文中猜测 e 与 π 是超越数——这一猜测要到 1873 年（厄尔米特证 e 超越）与 1882 年（林德曼证 π 超越）才被证实，相隔一个多世纪。

与前人关系：欧拉已证 e、e² 无理；朗伯的连分数方法是全新的。

争议：曾有人（包括部分现代文献）声称朗伯的证明不完整，需借助勒让德的一个结果才能补全；但瓦利瑟（Wallisser）与普林斯海姆（Pringsheim，1898 年最早指出）的研究表明，朗伯的证明不仅完整，而且在其时代是一项卓越的成就——因为他不仅形式上写出了正切的连分数展开，还证明了它的收敛性。

2. 双曲函数的系统建立

问题背景：与圆函数（三角函数）$\sin x,\cos x$ 相对应，双曲线 $x^2-y^1=1$ 上的"双曲角"参数也应导出一组函数，但此前只有零散研究。

关键思想：朗伯在 1760 年代的工作中首次系统引入并命名了双曲函数 $\sinh x, \cosh x, \tanh x$（记号由后世定型），建立了它们的恒等式、导数与与三角函数的类比关系 $\cosh x = \cos(ix)$，$\sinh x = -i\sin(ix)$。

精确表述：他给出 $\cosh^2 x - \sinh^2 x = 1$ 等基本恒等式，并研究了双曲函数的级数展开与应用，使双曲函数成为分析中的标准工具。

与前人关系：意大利人温琴佐·里卡蒂（Vincenzo Riccati）几年前已研究过双曲函数，但朗伯是第一个系统发展并使其广为人知的人，故通常归功于他。

局限性：记号体系经后世（如 Gudermann）改进才定型为现代形式。

3. 非欧几何的超前探索（1766，身后 1786 出版）

问题背景：欧几里得《几何原本》的第五公设（平行公设）看起来不像其他公设那样自明，两千年来人们试图由其余公设证明它，或替换它。

关键思想：在《平行线理论》中，朗伯考察了有三个直角的四边形（今称朗伯四边形，Lambert quadrilateral；萨凯里此前已研究过类似的四边形）。第四个角只可能是直角、钝角或锐角三种情形，分别对应欧氏几何、椭圆几何与双曲几何。

精确表述：朗伯深入推导了锐角假设（第四角为锐角）下的一系列结论——这正是双曲几何：三角形内角和小于 $180^\circ$，且其面积与"角亏"（$180^\circ$ 减内角和）成正比；他还注意到在这种几何中，长度存在一个绝对单位（与角度的绝对地位对等），并敏锐地评论说锐角假设或许在"某个虚球面"上成立——这一猜测后来被证实（双曲几何可实现于伪球面，且与半径为虚数的球面对应）。

与前人关系：萨凯里（Saccheri，1733）已系统研究过三种假设并试图归谬证伪锐角假设；朗伯继承并推进，比罗巴切夫斯基（1829）、波尔约（1832）早半个多世纪触及非欧几何的核心。与萨凯里不同，朗伯没有强行宣布锐角假设矛盾。

局限性：朗伯仍试图"证明"平行公设，而非像后来罗巴切夫斯基那样宣告一种独立几何的存在；他的工作在生前未出版，影响受限。但他已清楚意识到锐角假设不会轻易导致矛盾。

4. 光度学与朗伯余弦定律（1760）

问题背景：如何定量描述光源的强度、照度与表面亮度？这是光学与照明工程的基础。

关键思想：在《光度学》（Photometria，1760）中，朗伯用简陋仪器做实验，却导出了以他命名的定律。

精确表述： - 朗伯余弦定律：一个漫反射（朗伯）平面表面的表观亮度，正比于视线与表面法线夹角的余弦 $\cos\theta$；等价地，面元在与法线成 $\theta$ 角方向上的光强 $I(\theta)=I_0\cos\theta$。满足此定律的表面称"朗伯表面"，从任何方向看都一样亮。 - 光吸收定律：光在均匀透明介质中传播时强度指数衰减 $I=I_0 e^{-\alpha d}$。此定律布盖（Bouguer）发现更早，后由比尔（Beer）推广到溶液浓度，合称比尔-朗伯定律（Beer–Lambert law）。 - 他还建立了照度与距离平方成反比的定量关系，并定义了光亮度的度量。

与前人关系：布盖先发现吸收定律；朗伯系统整理并给出余弦定律，奠定了几何光学与辐射度学的基础。

5. 宇宙学：星系等级结构的科学设想（1761）

问题背景：宇宙在大尺度上的结构是什么？

关键思想：在《宇宙学书简》（Cosmologische Briefe，1761）中，朗伯提出宇宙由恒星组成星系、星系组成超星系、乃至更高等级系统，各绕其中心旋转；每个中心都有一个"支配者"（regent）——一个极大、极密、不透明的天体，整个宇宙则由最中心的"至高支配者"统驭。

精确表述：这是首次以科学形式提出宇宙由星系等级构成的观念。柯瓦雷（Coffa）评论其方法的现代性：朗伯系统区分了事实、理论、预测与可能的验证，这种方法论在宇宙学文献中直到 20 世纪才被效仿。

与前人关系：超越了牛顿的静态均匀宇宙观，预见了现代等级宇宙模型与暗中心天体的构想。

局限性：其"中心支配者"是哲学-神学的臆测，并非由观测推出；但等级结构的思想本身具有前瞻性。

6. 哲学、逻辑概率与误差理论（1764—1777）

问题背景：能否把哲学改造为像几何一样严格的演绎科学？概率能否用于度量不确定性与观测误差？

关键思想：在《新工具》（Neues Organon，1764）中，朗伯发展了逻辑与符号逻辑的早期思想（包括一种类三段论的演算），并提出"逻辑概率"概念——除了博弈的先验概率与统计的后验概率之外的第三种概率。在《建筑学》（1771）中，他试图从公理、公设、定理的演绎结构出发重建哲学。在测量误差方面，他研究了误差分布，为后来的误差理论（最小二乘法）做了铺垫。

精确表述：他对观测误差的分布做了早期数学分析，考虑了误差的概率分布；这部分工作近年被重新评价。

与前人关系：继承雅各布·伯努利《猜度术》的概率路线，影响了康德（两人有交往）；其逻辑概率被凯恩斯等后来学者忽视，近年才被重新发掘。

四、代表著作与文献

• 《光度学》（Photometria，1760，奥格斯堡）：光度学奠基之作，含朗伯余弦定律与吸收定律。
• 《宇宙学书简》（Cosmologische Briefe über die Einrichtung des Weltbaues，1761）：首次科学提出宇宙的星系等级结构。
• 《新工具》（Neues Organon，1764，莱比锡）：哲学与逻辑著作，含逻辑概率思想。
• 《平行线理论》（Theorie der Parallellinien，1766 年写成，1786 年身后出版）：非欧几何的先驱工作。
• 《建筑学》（Anlage zur Architectonic，1771）：尝试把哲学化为演绎科学。
• π 无理性论文（1768 年提交柏林科学院，收入其论文集）：首次严格证明 π 无理，猜测 e、π 超越。
• 1772 年死亡率定律论文：概率论与人口统计的早期工作。

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

• 师承：基本靠自学，无正式数学导师；在思想上受克里斯蒂安·沃尔夫（理性主义）、马勒伯朗士、洛克与欧几里得影响极大，是 18 世纪"几何精神"在哲学中的代表。
• 学派归属：柏林科学院数学—物理传统；不属于严格的学派，是横跨数学、物理、哲学的独立博学者，与德国启蒙（Aufklärung）关系密切。
• 同时代交往：
• 莱昂哈德·欧拉：推荐其赴柏林，后因历书收入等事产生嫌隙（见第六节）；在数学上相互敬重。
• 让·达朗贝尔：1750 年代末在巴黎结识。
• 伊曼努尔·康德：同时代哲学家，与朗伯有通信与思想交流；二人都关心科学的形而上学基础。
• 约翰·卡斯蒂永（Castillon）：柏林科学院前辈，对年轻的朗伯居高位心怀不满。
• 腓特烈二世：起初因朗伯寒酸古怪而拒之，后深赏其才。
• 同时代学者：凯斯特纳、托比亚斯·迈尔（哥廷根时期）；里卡蒂（双曲函数前驱）。

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

• "朗伯逼走欧拉？"：有说法认为朗伯与欧拉在柏林科学院的冲突（主要是历书收入分配）促使欧拉 1766 年离柏林返圣彼得堡。比尔曼（K.-R. Biermann）曾专门撰文考证此事（《朗伯是否把欧拉赶出柏林？》），结论并不支持这一因果——欧拉离开有更复杂的原因（与腓特烈的长期矛盾、圣彼得堡的优厚条件）。此说学界有争议，证据不足。
• π 无理性证明的完整性：曾被认为不完整、需勒让德补全；现代研究（普林斯海姆 1898、瓦利瑟）确认其证明完整且在当时极为出色，已严格证明连分数的收敛性。
• 非欧几何的优先权：朗伯比罗巴切夫斯基、波尔约早半个多世纪推导出双曲几何的核心结论，但他仍试图证明平行公设，未宣告新几何独立，且著作身后才出版，故非欧几何的创立仍归于 19 世纪的罗巴切夫斯基与波尔约（及高斯的未刊工作）。
• 外貌与性格：朗伯出身寒微又刻意不迎合上流，初到柏林被腓特烈嫌恶；其虔诚宗教态度也与科学院的启蒙氛围有些扞格，但这些并未影响他作为科学家的产出。
• 历史评价：朗伯是 18 世纪最全能的博学者之一，横跨数学、光学、天文学、宇宙学、哲学与制图学，却因早逝与著述晦涩，名声不如欧拉、拉格朗日响亮。克莱因等数学史家认为其在几何基础与分析上的贡献被低估。

七、身后影响与学术谱系

• 对 π 与超越数理论：π 无理性的证明终结了一个千年悬案，开启了无理数与超越数研究的现代篇章；其 e、π 超越的猜测指引了厄尔米特、林德曼的工作。
• 对双曲函数：双曲函数成为分析、微分方程、狭义相对论（双曲旋转、快度）的标准工具。
• 对非欧几何：其锐角假设的推导是非欧几何诞生前最重要的准备之一，直接启发了陶里努斯（F. A. Taurinus）等 19 世纪前驱，最终通向罗巴切夫斯基几何；"朗伯四边形"成为非欧几何教科书中的标准对象。
• 对光学与照明：朗伯余弦定律与比尔-朗伯定律是辐射度学、光度学、颜色科学与现代照明工程、计算机图形学（渲染方程）的基础；"朗伯表面"是材质建模的标准概念。
• 对宇宙学：等级宇宙结构的思想影响了后世的大尺度结构讨论。
• 命名遗存：朗伯余弦定律、比尔-朗伯定律、朗伯四边形、朗伯 W 函数（即 $f(z)=ze^z$ 的反函数，因其在朗伯 1758 年关于光的著作中出现而得名）、月球与火星上的朗伯环形山等。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Johann Heinrich Lambert：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Dictionary of Scientific Biography — Lambert (PDF, MacTutor 托管)：科学史权威传记条目（Scriba 撰）。
• Wikipedia: Johann Heinrich Lambert：生平与著作交叉核对。
• Wikipedia: Proof that π is irrational — Lambert's proof：π 无理性证明的技术细节。
• Wikipedia: Hyperbolic functions — History：双曲函数的历史。
• Wikipedia: Lambert quadrilateral：非欧几何中的朗伯四边形。
• Wikipedia: Lambert's cosine law：光度学定律。
• Britannica: Johann Heinrich Lambert：百科条目交叉核对。