奥雷姆(Nicole Oresme)
14 世纪法国最具原创性的经院学者之一,以"形态幅度"(latitude of forms)开创用图形表示变量的传统,首个证明调和级数发散、首次使用分数指数,并最早给出默顿平均速度定理的几何证明;其对亚里士多德主义的深刻批判,是经院哲学通往近代科学的关键桥梁。
一、生平与时代背景
尼古拉·奥雷姆(Nicholas Oresme,法语作 Nicole Oresme)出身诺曼底,约 1323 年生于法国里耶(Riez)以西的 Allemagne(今属诺曼底地区)。他的早年生活几乎无任何记载,所知最早的记录是 1340 年代初在巴黎大学攻读文学学位,受业于 让·布里丹(Jean Buridan)。布里丹是当时重要的哲学家与逻辑学家,在概率、光学与力学上均有贡献,他修正了亚里士多德的运动理论(意识到运动受空气阻力阻滞),并启发奥雷姆对自然哲学的兴趣与对亚里士多德权威的质疑。
1348 年,奥雷姆出现在巴黎大学 纳瓦拉学院(Collège de Navarre) 神学奖学金名单上;1355 年获神学硕士学位,次年被任命为纳瓦拉学院院长(Grand Master)。在此期间,他与王太子 查理(后来的法王查理五世,1364 年即位) 结为挚友,这份友谊贯穿终生。1362 年他离开纳瓦拉,出任鲁昂大教堂的咏礼司铎(canon);1363 年兼任巴黎圣礼拜堂(Sainte-Chapelle)司铎;1364 年任鲁昂大教堂教长(dean)。同年 4 月 8 日查理五世登基,奥雷姆被任命为国王的牧师与顾问。
自 1370 年起他主要住在巴黎,为查理五世提供财政建议,并把亚里士多德的《伦理学》《政治学》《论天》及托名亚里士多德的《经济学》从拉丁文译为法文——这些译本为法语引入了大量新技术术语,对法语学术语言的形成意义重大。作为酬劳,查理五世于 1377 年任命他为利雪(Lisieux)主教,次年祝圣。1382 年 7 月 11 日 卒于利雪。
奥雷姆生活的 14 世纪,是经院自然哲学的鼎盛期:牛津默顿学院(Merton College)的"计算者们"(Calculators)与巴黎大学的布里丹学派,已在运动学、无限与比例理论上积累了丰富成果。奥雷姆把这些传统推向新高度,尤其在量的几何表示与无穷级数上做出了超越时代的工作。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 约 1323 | 生于法国诺曼底里耶以西的 Allemagne。 |
| 1340 年代初 | 在巴黎大学攻读文学学位,师从让·布里丹。 |
| 1348 | 入巴黎大学纳瓦拉学院攻读神学奖学金。 |
| 1355 | 获神学硕士学位。 |
| 1356 | 任纳瓦拉学院院长(Grand Master)。 |
| 约 1350s | 撰写《论性质与运动的形态》(De configurationibus…),给出平均速度定理的首个几何证明。 |
| 约 1350s | 著《论比例的比例》(De proportionibus proportionum),首次使用分数指数。 |
| 约 1350s | 著《欧几里得几何疑问》(Quaestiones super geometriam Euclidis),证明调和级数发散。 |
| 1362 | 任鲁昂大教堂咏礼司铎;离开纳瓦拉学院。 |
| 1363 | 兼任巴黎圣礼拜堂司铎。 |
| 1364 | 任鲁昂大教堂教长;查理五世即位,被任命为国王牧师与顾问。 |
| 1370 起 | 常住巴黎,任财政顾问;把亚里士多德著作译为法文。 |
| 1377 | 出版法文《天地之书》(Livre du ciel et du monde),讨论地球自转;被任命为利雪主教。 |
| 1378 | 祝圣为主教。 |
| 1382 年 7 月 11 日 | 卒于利雪。 |
| 1505 | 其《形态幅度论》(Tractatus de latitudinibus formarum)印行,在欧洲广泛传播,或影响了笛卡尔。 |
三、核心成果(逐条技术解析)
1. "形态幅度"与量的几何表示——解析几何的先驱。 问题背景:经院哲学讨论"性质的幅度"(latitude of forms),即热、速度、亮度等性质在强度上如何变化,但缺乏直观的表示工具。关键贡献:在《论性质与运动的形态》(De configurationibus qualitatum et motuum,常简称 De configurationibus)中,奥雷姆提出:任何依某个"外延"(如时间)而变化的"内涵"(如速度、热),都可以用一个图形(configuratio)来表示——以一条水平线表示外延(时间),以垂直线段表示各点的内涵(速度),所有垂线顶点连成的图形就描述了变化的整体形态。精确意义:他发现了"列表取值"与"作图"之间的逻辑等价性,并提出用图形描绘一个变量依赖于另一个变量的大小——这是函数图像与坐标思想的雏形,比笛卡尔早约 250 年。与前人关系:继承牛津默顿学派的"幅度"术语,但首次把它系统几何化。评价(Clagett 的谨慎):奥雷姆确实发明了"一种坐标几何",但不能说他"发明了解析几何"——他没有把代数方程与坐标系对应起来,也没有负坐标概念;其著作在他身后一个世纪里多次印行,笛卡尔可能间接受其影响,但无直接证据。
2. 默顿平均速度定理的首个几何证明。 问题背景:牛津默顿学院的"计算者"(如 William Heytesbury)已陈述了"平均速度定理"(Merton's theorem):一个物体在给定时间内做匀加速运动所经过的距离,等于它以该时间段中点时刻的瞬时速度匀速运动所经过的距离(等价于:匀加速运动的位移等于平均速度乘以时间)。关键贡献:奥雷姆在 De configurationibus 中给出了该定理的首个几何证明——把匀加速运动表示为直角三角形(速度从 0 线性增加),其面积等于以中点速度为高的矩形面积,由此直观证明了定理。与后人关系:比伽利略《关于两门新科学的对话》(1638)中对自由落体匀加速规律的几何处理早了约 250 年。Clagett 提醒:不能据此说奥雷姆"发现了自由落体定律"——他证明的是一般的运动学定理,并未将其具体应用于重力自由落体并断言 $s\propto t^2$;但作为运动学的几何化,确是伽利略的重要先驱。
3. 调和级数发散的证明。 问题背景:无穷级数在中世纪已被讨论(尤其是几何级数),但对其敛散性缺乏系统认识。关键贡献:在《欧几里得几何疑问》(Quaestiones super geometriam Euclidis)中,奥雷姆首次证明了调和级数发散:
$$\sum_{n=1}^{\infty}\frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \cdots = \infty.$$
精确方法(经典分组):把级数按 $2^k$ 项分组,
$$1 + \tfrac{1}{2} + \left(\tfrac{1}{3}+\tfrac{1}{4}\right) + \left(\tfrac{1}{5}+\cdots+\tfrac{1}{8}\right) + \left(\tfrac{1}{9}+\cdots+\tfrac{1}{16}\right) + \cdots,$$
每组的和都大于 $1/2$(如 $1/3+1/4 > 1/4+1/4 = 1/2$),于是总和大于 $1 + 1/2 + 1/2 + 1/2 + \cdots$,可以超过任何有限值,故发散。历史意义:比伯努利家族(17 世纪末)在欧洲给出的证明早了约 300 年,是中世纪最深刻的级数成果之一。
4. 分数指数的首次使用。 问题背景:传统数学只能处理整数次幂(平方、立方)及其逆(平方根、立方根);比例理论中"一个比的分数次幂"尚无概念。关键贡献:在《论比例的比例》(De proportionibus proportionum)中,奥雷姆首次引入了分数指数的思想(当然不是现代符号):他把"2:1 这个比的 $1/2$ 次幂"理解为 $2:1$ 与 $1:1$ 的比例中项,即 $\sqrt{2}$;更一般地,$(a:b)^{p/q}$ 表示 $a:b$ 的 $p$ 次幂再开 $q$ 次方。精确意义:这是指数概念从整数向有理数推广的第一步,是后世分数指数 $a^{p/q}$ 的滥觞。
5. 天体运动周期的不可公度与反占星术。 问题背景:占星术主张,行星回到同一相对位置(即所有周期的公倍数)会重复产生同样的事件,从而可预测命运。关键思想:奥雷姆在《论天球运动的可公度与不可公度》(Tractatus de commensurabilitate…)及 De proportionibus proportionum 中论证,任意两个天体周期之比很可能是无理数(不可公度),因此行星构型绝不会精确重复——这从根本上动摇了占星术的"事件重演"基础。他还从概率论角度指出,即使某事件与某行星构型同时发生,也不能推出因果关系。在《占卜之书》(Livre de divinacions)中,他系统批判了占星术的数学决定论。与前人关系:他用数学论证反对伪科学,是理性批判传统的精彩范例。
6. 地球自转的假设(后又撤回)。 在法文《天地之书》(Livre du ciel et du monde,1377)中,奥雷姆系统反驳了亚里士多德"地球静止"的论证,提出地球每天绕轴自转一周的可能性(比哥白尼早约 200 年):他指出,从运动的相对性看,日升日落既可以解释为天球绕地转,也可以等价地解释为地球自转;空气会随地球一起转动,所以向上抛的物体会落回原地(驳斥"自转使物体西偏"的诘难)。但他在著作结尾又否定了自己的这一设想,仍以信仰与传统为由回到地球静止的正统立场。因此,正如 Clagett 所强调,不能说他"在哥白尼之前主张地球自转"——他是把它作为一个有力的假设提出、详细辩护,然后又撤回的人。
7. 亚里士多德的法译与经济学。 他把亚里士多德《伦理学》《政治学》《论天》等译为法文,为法语引入了大量抽象术语,被视为法语学术散文的奠基人之一。在《经济学》(Livre de l'Ethique 等)相关讨论中,他对货币、价格与价值的论述,被一些经济思想史学者视为近代经济学的先声(如他已触及货币作为度量与交换媒介的本质)。
四、代表著作与文献
- 《论性质与运动的形态》(De configurationibus qualitatum et motuum,约 1350s):量的几何表示与平均速度定理的几何证明;M. Clagett 1968 年出版英译校勘本。
- 《形态幅度论》(Tractatus de latitudinibus formarum):De configurationibus 的简写本,1505 年印行,是其在后世传播的主要载体。
- 《论比例的比例》(De proportionibus proportionum,约 1350s):首次使用分数指数,讨论天体周期的不可公度。
- 《欧几里得几何疑问》(Quaestiones super geometriam Euclidis,约 1350s):调和级数发散的证明。
- 《论天球运动的可公度与不可公度》(Tractatus de commensurabilitate vel incommensurabilitate motuum celi):运动学与反占星术论证。
- 《天地之书》(Livre du ciel et du monde,1377,法文):讨论地球自转等宇宙论问题。
- 《占卜之书》(Livre de divinacions):批判占星术。
- 亚里士多德《伦理学》《政治学》《论天》《经济学》的法文译本(1370s)。
- 《论灵魂疑问》(Questiones super libros Aristotelis de anima):论光的本性、反射与光速。
五、师承、学派与同时代交往
- 老师:让·布里丹(Jean Buridan),巴黎大学哲学家与逻辑学家,对其影响至深。
- 学派:巴黎布里丹学派,与牛津默顿学院"计算者"(Merton Calculators,如 William Heytesbury、Richard Swineshead)的运动学传统相互呼应。
- 挚友与赞助人:法王 查理五世(王太子时期即为友)。
- 同时代:与意大利的经院学者有间接交往;其著作在 15—16 世纪被广泛印行与评注。
- 无确证他与笛卡尔、伽利略有直接师承关系,但思想经印本传播可能产生间接影响。
六、争议、公案与历史评价
- "先驱"头衔的尺度(Clagett 的著名告诫):M. Clagett 指出,"这位才华横溢的学者被赋予了……在笛卡尔之前发明解析几何、在 19 世纪有机化学家之前提出化合物结构理论、在伽利略之前发现自由落体定律、在哥白尼之前主张地球自转等头衔。这些说法无一完全属实,尽管每一个都建立在奥雷姆某些深刻而原创的讨论之上。" 因此必须精确表述:他发明了"一种坐标表示法"(非完整解析几何);证明了一般平均速度定理(未应用于自由落体);提出并辩护了地球自转假设但最终撤回(未真正主张)。
- 对笛卡尔的影响存疑:其 Tractatus de latitudinibus formarum 在 16 世纪多次再版,笛卡尔有可能接触到,但无直接文献证据,存疑。
- 历史评价:尽管上述头衔需要节制,奥雷姆仍是中世纪最深刻、最具原创性的数学家与自然哲学家之一,在函数图像、级数敛散、分数指数与运动学几何化上的成就均领先欧洲数百年。
- 月球上有以他命名的环形山(Crater Oresme)。
七、身后影响与学术谱系
- 函数与图像传统:其"形态幅度"经 Tractatus de latitudinibus formarum 的印行在 16 世纪欧洲广泛传播,成为经院自然哲学的标准内容,很可能间接影响了笛卡尔的解析几何与伽利略的运动学图表化。
- 级数与分析:调和级数发散的证明预示了微积分时代对无穷级数的严格研究;分数指数为后世指数与对数理论铺了路。
- 运动学:平均速度定理的几何证明是连接默顿学派与伽利略运动学的关键环节。
- 科学方法论:他对占星术的数学批判、对亚里士多德权威的质疑,体现了经院哲学内部孕育的理性精神,是近代科学革命的重要思想背景。
- 语言:其法译亚里士多德著作奠定了法语学术语言的基础。
八、延伸阅读与权威来源
- MacTutor: Nicole Oresme:圣安德鲁斯大学数学史档案,权威传记,含 Clagett 关于"先驱"头衔的告诫及完整参考文献。
- Wikipedia: Nicole Oresme:综合条目,交叉核对生平与贡献。
- Encyclopaedia Britannica: Nicholas Oresme:权威百科条目。
- MacTutor: Dictionary of Scientific Biography – Oresme (PDF):经典科学传记词典条目(M. Clagett 撰)。
- M. Clagett, Nicole Oresme and the Medieval Geometry of Qualities and Motions(Madison, 1968):De configurationibus 的标准英译与研究,含平均速度定理与坐标表示分析。
- M. Clagett (ed./trans.), Nicole Oresme and the medieval geometry of qualities and motions(1968):原著校勘译本。
- E. Grant (ed./trans.), Nicole Oresme: De proportionibus proportionum and Ad pauca respicientes(1966):分数指数与比例理论著作英译。
- MacTutor History Topics: The function concept:函数概念史,定位奥雷姆的图像表示。
- Biographical Encyclopedia of Astronomers – Oresme (PDF):天文学传记条目。