第3章 伯努利兄弟

雅各布·伯努利(1654—1705)

约翰·伯努利(1667—1748)

通常,一场科学革命不单是需要一位奠基的天才。它往往也需要一位组织天才,去确立科学中的核心思想,对它的产物去粗取精,去伪存真,并使之能为大众理解。一位卓越的建筑设计师可以设计出一幅宏伟的蓝图,但是这份蓝图终究需要一支建筑队伍将其变成一座大厦。

如果说牛顿和莱布尼茨是微积分的建筑设计师,那么正是雅各布·伯努利和约翰·伯努利所做的大量工作,才把微积分建立成今天我们所知的这门学科。这兄弟二人阅读了莱布尼茨从1684年到1686年发表的最早论文,他们发现自己如临决斗前那样兴奋。他们抓住云山雾罩般的阐述,充实它的细节,然后通过与莱布尼茨的交流以及兄弟彼此之间的交流,完善了统一性、条理性和术语。例如,“积分”一词正是雅各布给出的。Howard Eves, An Introduction to the History of Mathematics, 5th Ed., Saunders College Publishing, 1983, p. 322。在他们手中,微积分变成当今学生易于接受的形式,即具有基本的求导法则、积分方法和初等微分方程的解法。

虽然同属优秀的数学家,但是伯努利兄弟二人的个人表现完全可以用“不得体”来形容。尤其是约翰,在莱布尼茨与牛顿关于微积分发明权之争中充当了好斗的角色,像莱布尼茨的牛头犬一样,忠实地站在他所尊奉为英雄的“大名鼎鼎的莱布尼茨”一边,甚至声称牛顿不仅没有发明微积分,而且从来没有完全理解它。Richard S. Westfall, Never at Rest, Cambridge University Press, 1980, pp. 741-743。这当然是对历史上最杰出的一个数学家的粗野无端的攻击。

非常不幸,由于家庭不和睦,雅各布和约翰也以相互争斗为乐。例如,哥哥雅各布称弟弟约翰为“我的学生”,即使是在这个学生的才干已经明显和他相当的时候也是这样。同样,约翰在事隔多年后还在津津乐道地谈论如何在一个晚上解决了困扰雅各布将近一年的一个问题。Morris Kline, Mathematical Thought from Ancient to Modern Times, Oxford University Press, 1972, p. 473。

尽管他们具有难以相处的执拗天性,但是,伯努利兄弟还是在数学史上写下了浓墨重彩的篇章。雅各布除了在微积分上的贡献以外,还著有《猜度术》一书,在1713年(他去世后)出版。这本书是概率论的经典之作,书中给出大数定律的证明,为了纪念他,人们往往把这个基本结果称为“伯努利定理”。4至于约翰,他是世界上第一本微积分教科书的捉刀人。这件事情起于一项协议,按照协议约翰给法国贵族马奎斯·德·洛必达(1661—1704)提供微积分课材料,获取报酬。洛必达随后在1696年整理出版了这些材料,书名为《用于了解曲线的无穷小分析》。在这本书里首次出现“洛必达法则”,虽然同这本书一样,这个法则实际上是约翰·伯努利发现的,但是这个名称在微分学中从此就固定下来。Jakob Bernoulli, Ars conjectandi (Reprint), Impression anastaltigue, Culture et Civilisation, Bruxelles, 1968。在书的前言里,洛必达表达了对伯努利和莱布尼茨的感谢,他写道:“我无偿地使用了他们的发现,所以只要他们愿意,我真诚地把他们要求拥有的任何东西归还他们。”L'Hospital, Analyse des infiniment petits (Reprint), ACL-Editions, Paris, 1988, pp.145-146。

性情暴躁的约翰当然不满足于这种表示,他确实声明这个法则是他发明的,而在几年后,他抱怨洛必达用金钱换取他人的才智。当然正如数学史家Dirk Struik所说,是伯努利自己(实际)促成了这起交易。他给我们的简单的劝告是“就让善良的马奎斯持有他的典雅的法则吧,他支付费用了”。Dirk Struik (ed.), A Source Book in Mathematics, 1200-1800, Harvard University Press, 1969, p. 312。为避免再次失去荣誉,约翰写了一篇关于积分学的内容广泛的论文,在1742年用自己的署名发表。Dirk Struik, “The origin of L'Hospital's rule,” Mathematics Teacher, Vol. 56 (1963), p. 260。

为更清楚了解伯努利兄弟二人在数学上的成就,我们有选择地介绍他们的成果。首先从雅各布的调和级数的发散证明开始,然后考察他对一些奇异收敛级数的处理,最后介绍约翰对他所谓“指数微积分”的贡献。