Hero Image
约翰·伯努利的一生

年表 16677 月 27 日生于巴塞尔,是尼古劳斯·伯努利的第十个孩子。 1682被送到纳沙泰尔学做生意,却毫无天分。 1683进入巴塞尔大学,学医,同时跟哥哥雅各布学数学。 1691解决悬链线问题。先去日内瓦,后到巴黎。 1692开始给洛必达侯爵讲授微积分。 1694获得医学博士学位。与洛必达签约,并与多罗特娅·法尔克纳结婚。 1695成为荷兰格罗宁根的数学教授。 1696发起最速降线挑战。洛必达用他的课写成的书出版。 1705回到巴塞尔。雅各布去世,约翰继承了他的教席。 1717在给瓦里尼翁的信中提出虚功原理。 1720开始指导年轻的莱昂哈德·欧拉。 1734与儿子丹尼尔分享巴黎科学院奖,随后把他赶出家门。 17481 月 1 日在巴塞尔去世,终年 80 岁。 ◀ 上一站 沿路线走一遍 下一站 ▶ 1667–1682 巴塞尔出生,是尼古劳斯·伯努利的第十个孩子,父亲想让他经商。 1682 纳沙泰尔被送去学做生意,却毫无天分。 1683–1691 巴塞尔学习医学,并和哥哥雅各布一起钻研莱布尼茨的微积分。解决了悬链线问题。 1691 日内瓦前往巴黎途中经过日内瓦。 1691–1692 巴黎结识马勒伯朗士的圈子,开始给洛必达侯爵讲授微积分,也在乌克的城堡里上课。 1695–1705 格罗宁根在荷兰任数学教授。1696 年提出最速降线问题的挑战。 1705–1748 巴塞尔回到家乡,接任雅各布的教席,指导年轻的欧拉,并与儿子丹尼尔反目。1748 年去世,享年 80 岁。 请启用 JavaScript 以查看地图。各站列在下方。 约翰·伯努利往返于巴塞尔、巴黎和格罗宁根之间。 地图:© OpenStreetMap 贡献者 1667–1682 · 巴塞尔1682 · 纳沙泰尔1683–1691 · 巴塞尔1691 · 日内瓦1691–1692 · 巴黎1695–1705 · 格罗宁根1705–1748 · 巴塞尔 约翰·伯努利往返于巴塞尔、巴黎和格罗宁根之间。 不想卖香料的小儿子 约翰是香料商人、巴塞尔市议员尼古劳斯·伯努利的第十个孩子。父亲已经输掉了一场仗:本该当牧师的长子雅各布满脑子都是数学。对小儿子可不能再这样了。15 岁时,约翰被送到纳沙泰尔学法语,学经商。

Hero Image
悬链线:悬挂的链子

Ut pendet continuum flexile, sic stabit contiguum rigidum inversum.(柔软的线怎样悬垂,刚硬的拱倒过来就怎样站立。) — 罗伯特·胡克,1705 年破解的字谜 拿一根细链子的两端,让它自然下垂。它会形成一条漂亮的曲线,看上去像抛物线。1638 年,伽利略认为它确实是抛物线,至少近似如此。荷兰人克里斯蒂安·惠更斯 17 岁时就证明了它不可能是。但它到底是什么曲线,没有人知道。 1690 年 5 月,雅各布·伯努利在《学者学报》上把这个问题作为挑战提给读者。他自己试了一年,没有成功。1691 年 6 月发表了三份正确的解答:莱布尼茨的、时年 62 岁的惠更斯的,以及雅各布最小的弟弟、24 岁的约翰的。约翰从不让人忘记这件事: 我哥哥的努力没有成功。至于我,我更幸运一些,因为我找到了完整解决它的本领——我说这话并非自夸,何必隐瞒真相呢?诚然,这番钻研让我整整一夜不得安歇。 — 约翰·伯努利致皮埃尔·雷蒙·德·蒙莫尔的信(1718) 看链子的一段 诀窍是不看整条链子,而只看其中一段。把原点放在最低点,$y$ 轴朝上,考虑从最低点到右边某点 $P$ 的那一段。 这一段静止不动,所以作用在它上面的力是平衡的。共有三个力: 在最低点,链子以水平力 $H$ 向左拉; 在 $P$ 点,链子沿切线方向以力 $T$ 拉; 这一段的重量 $w\,s$,其中 $w$ 是每米的重量,$s$ 是这一段的长度。 水平方向上,$T$ 的水平分量与 $H$ 平衡;竖直方向上,$T$ 的竖直分量与重量平衡。由于 $T$ 沿切线方向,两个分量之比就是斜率 $y'$: $$y'=\frac{\text{竖直}}{\text{水平}}=\frac{w\,s}{H}=\frac sa,\qquad a=\frac Hw.$$数 $a$ 具有长度的量纲,衡量链子被拉得有多紧。 链子的方程 现在对 $x$ 求导。由毕达哥拉斯定理应用于曲线的一小段,长度的增长率是 $\frac{ds}{dx}=\sqrt{1+y'^2}$。于是 $$y''=\frac1a\sqrt{1+y'^2}.$$令 $u=y'$,分离变量: $$\frac{du}{\sqrt{1+u^2}}=\frac{dx}{a}.$$左边的积分是 $\operatorname{arsinh}u$,即 双曲正弦 $\sinh z=\frac{e^z-e^{-z}}2$ 的反函数。由于最低点的斜率为零,$u(0)=0$,所以

Hero Image
洛必达法则:卖给侯爵的课

我承认,我从伯努利两位先生的见识中获益良多,尤其是那位年轻的、现任格罗宁根教授的先生。我毫不客气地采用了他们的发现,以及莱布尼茨先生的发现。 — 洛必达侯爵,《无穷小分析》序言(1696) 1691 年,纪尧姆·德·洛必达侯爵 30 岁,有爵位,有城堡,还有一份热情:弄懂莱布尼茨的微积分。这门学问刚刚发表,在法国几乎没有人读得懂。当比几乎所有人都更懂微积分的瑞士青年约翰·伯努利来到巴黎时,侯爵聘他做了私人教师。 约翰回到瑞士后,课程通过书信继续。1694 年 3 月 17 日,洛必达给他写信,提出了一个不寻常的提议:每年 300 里弗尔的年金,条件是约翰回答他的问题,把自己的发现寄给他,并且不告诉任何其他人。约翰新婚不久,又没有职位,就答应了。 《用于理解曲线的无穷小分析》扉页(巴黎,1696),第一本微分学教科书。Wikimedia Commons · 公有领域 两年后,《用于理解曲线的无穷小分析》在巴黎出版,封面上没有作者姓名,但人人都知道是洛必达写的。这是历史上 第一本微分学教科书,条理清晰,在欧洲用作微积分教材将近一个世纪。第 9 章里有一条计算 $\frac00$ 型极限的法则。 问题:零除以零 我们常常想知道,当 $x$ 趋近某点 $a$,而 分子和分母 都趋于零时,分式 $\frac{f(x)}{g(x)}$ 趋于什么。例如 $$\lim_{x\to0}\frac{\sin x}{x}.$$代入 $x=0$ 得到 $\frac00$,这没有意义。分式可能趋于任何值,也可能不趋于任何值。必须比较两个函数趋于零的 快慢。 约翰的想法 在 $a$ 附近,可导函数很像它的切线: $$f(x)\approx f(a)+f'(a)(x-a),\qquad g(x)\approx g(a)+g'(a)(x-a).$$如果 $f(a)=g(a)=0$,剩下的是 $$\frac{f(x)}{g(x)}\approx\frac{f'(a)(x-a)}{g'(a)(x-a)}=\frac{f'(a)}{g'(a)}.$$造成 $\frac00$ 的因子 $(x-a)$ 约掉了。法则说:如果 $f(a)=g(a)=0$,且右边的极限存在,则 $$\boxed{\lim_{x\to a}\frac{f(x)}{g(x)}=\lim_{x\to a}\frac{f'(x)}{g'(x)}.}$$对正弦:$\lim\frac{\sin x}{x}=\lim\frac{\cos x}{1}=1$。如果新的商仍是 $\frac00$,就再用一次法则: $$\lim_{x\to0}\frac{e^x-1-x}{x^2}=\lim_{x\to0}\frac{e^x-1}{2x}=\lim_{x\to0}\frac{e^x}{2}=\frac12.$$严格的证明要用到十九世纪的柯西中值定理。约翰用的是无穷小推理:在 $a$ 附近"几乎为零"的 $f$ 和 $g$ 各是一个无穷小,两个无穷小之比就是它们的微分之比 $\frac{df}{dg}$。

Hero Image
最速降线:1696 年的挑战

给定竖直平面上的两点 A 和 B,求一条曲线 AMB,使运动物体 M 仅凭自身重量下降,沿此曲线从 A 到 B 所用时间最短。 — 约翰·伯努利,《学者学报》(1696 年 6 月) 1696 年 6 月,约翰·伯努利在《学者学报》上向"全世界最敏锐的数学家"发起挑战。这个问题听起来像游乐场里的事:两点之间最快的滑梯是什么形状?问题的名字来自希腊语:brachistos,最短;chronos,时间。最速降线,即用时最短的曲线。 约翰给了六个月的期限,并宣布自己已经有了答案。这是对所有人的挑战,但有两个目标:一个是正与他公开交战的哥哥雅各布,另一个是被莱布尼茨的朋友们指控抄袭微积分的艾萨克·牛顿。 答案不是直线 直线是 最短 的路径,但不是 最快 的。一个无摩擦下滑的小球在下落中不断加速。所以先陡峭地往下冲、尽早获得速度是划算的,即使路程因此变长。另一方面,冲得太猛又会让路程过长。最好的路径是一种折中,而找到它,就是在无穷多条可能的曲线中找出一整条曲线。 让 $x$ 轴水平,$y$ 轴 朝下,起点为 $A=(0,0)$。由能量守恒,下落高度 $y$ 后的速度是 $$\frac12mv^2=mgy\quad\Longrightarrow\quad v=\sqrt{2gy}.$$它只取决于高度,与路径无关。 约翰的想法:小球是一束光 约翰有一个绝妙的主意。费马已经证明,光从一种介质进入另一种介质时,走的是 用时最短的路径,由此得出斯涅尔折射定律: $$\frac{\sin\alpha_1}{v_1}=\frac{\sin\alpha_2}{v_2},$$其中 $\alpha$ 是光线与竖直方向的夹角,$v$ 是光在各介质中的速度。光也想尽快到达! 于是约翰设想把 $A$ 与 $B$ 之间的空间切成极薄的水平层,像一层层玻璃板,每层有一个速度 $v=\sqrt{2gy}$,越往下越大。穿过这些层的光线每经过一层就弯折一次。层无限薄时,光线就成了一条光滑曲线,斯涅尔定律在每一点都成立: $$\frac{\sin\alpha}{v}=\text{常数}.$$这就是曲线的方程。由于 $\alpha$ 是切线与竖直方向的夹角,$\sin\alpha=\dfrac{1}{\sqrt{1+y'^2}}$。代入 $v=\sqrt{2gy}$ 并平方, $$\boxed{\ y\left(1+y'^2\right)=2a\ }$$其中 $a>0$ 为常数。 答案:摆线 约翰认出了这个方程:它是 摆线 的方程。摆线是轮子沿直线滚动时,轮缘上一点画出的曲线,这里是倒过来的。半径为 $a$ 的轮子转过角 $\theta$ 时, $$x=a(\theta-\sin\theta),\qquad y=a(1-\cos\theta).$$我们来验证。两导数相除,$y'=\dfrac{\sin\theta}{1-\cos\theta}=\cot\dfrac\theta2$,又因为 $1-\cos\theta=2\sin^2\dfrac\theta2$,

Hero Image
指数演算:求 x 的 x 次幂的导数

莱布尼茨的微积分会对指数固定的幂求导,比如 $x^3$ 或 $x^{1/2}$:$x^n$ 的导数是 $nx^{n-1}$。但在 1694 年给莱布尼茨的一封信里,约翰·伯努利摆出了一个怪东西:表达式 $$y=x^x,$$其中底数 和 指数同时变化。$x^n$ 的法则用不上,因为指数不固定;$a^x$ 的法则也用不上,因为底数不固定。1697 年,约翰在《学者学报》上发表了"指数演算原理",给出了处理这类幂的方法。他把它们称为 游动的(percurrent),因为指数在各个值之间游动。 对数的诀窍 思路是把幂变成我们会求导的乘积。设 $x>0$,两边取自然对数: $$\ln y=x\ln x.$$现在两边对 $x$ 求导。左边由链式法则得到 $\dfrac{y'}y$。右边由乘积法则得到 $1\cdot\ln x+x\cdot\dfrac1x=\ln x+1$。于是 $\dfrac{y'}{y}=\ln x+1$, $$\boxed{\frac{d}{dx}\,x^x=x^x\,(\ln x+1).}$$这种对函数的对数而不是函数本身求导的技巧,后来被称为 对数求导法。它对任何 $f>0$ 的 $y=f(x)^{g(x)}$ 都适用: $$\ln y=g\ln f\quad\Longrightarrow\quad y'=f^{\,g}\left(g'\ln f+g\,\frac{f'}f\right).$$括号里的两项分别记录了两种变化:指数的变化 $g'\ln f$,和底数的变化 $g\frac{f'}f$。如果底数固定,只剩第一项,回到 $\frac{d}{dx}a^x=a^x\ln a$;如果指数固定,只剩第二项,回到 $nx^{n-1}$。 x 的 x 次幂在哪里最小 由于 $x^x$ 总是正的,导数的符号就是 $\ln x+1$ 的符号。当 $x<\frac1e$ 时为负,当 $x>\frac1e$ 时为正。函数一直下降到 $x=\frac1e\approx0.368$,然后上升。最小值是 $$\left(\frac1e\right)^{1/e}=e^{-1/e}\approx0.692.$$也就是说:在所有正数中,没有哪个数的自身次幂小于 $0.692$。例如 $0.5^{0.5}=\sqrt{0.5}\approx0.707$,$0.3^{0.3}\approx0.697$,都略高一点。 在零附近呢? 当 $x$ 趋近零时,$x^x$ 会怎样?底数趋于零,往下拉;指数趋于零,往 1 拉。谁赢?写成 $x^x=e^{x\ln x}$,用 洛必达法则 计算指数:

Hero Image
虚功原理

在任意力的任何平衡中,无论这些力以何种方式施加,正能量之和都等于负能量之和。 — 约翰·伯努利致皮埃尔·瓦里尼翁的信(1717 年 1 月 26 日) 从阿基米德起,每一种简单机械都有自己的一套解释。杠杆遵循力臂定律;斜面遵循斯蒂文发明的力的分解;滑轮靠关于绳子的推理;螺旋又是另一回事。1717 年,约翰·伯努利在给法国朋友皮埃尔·瓦里尼翁的信中证明,这些定律全都是 同一个原理 的特例。 想法:只动一点点 设想一台处于平衡的静止机械。现在设想你在思想中让它移动一段极小的距离,同时遵守它的约束:杠杆绕支点转动,绳子不伸长,木块不离开斜面。这种想象中的位移叫作 虚位移,因为它并不真的发生。 在每个受力 $F_i$ 的点上,该点沿力的方向移动了一点点 $\delta s_i$。乘积 $F_i\,\delta s_i$ 就是这个力的 虚功。约翰称之为 能量,这是这个词第一次以接近今天的含义出现。原理说: $$\boxed{\ \text{平衡时,}\quad\sum_i F_i\,\delta s_i=0\ \text{ 对一切虚位移成立。}\ }$$帮助运动的力所做的功,等于阻碍运动的力所做的功。静止的机械不能无中生有地产生功。 阿基米德的杠杆 一根杠杆上,重物 $P_1$ 和 $P_2$ 分别距支点 $a$ 和 $b$。让杠杆转过一个极小的角 $\delta\theta$。$P_1$ 一侧下降 $a\,\delta\theta$,$P_2$ 一侧上升 $b\,\delta\theta$。下降的重物做正功,上升的做负功: $$P_1\,a\,\delta\theta-P_2\,b\,\delta\theta=0\quad\Longrightarrow\quad P_1\,a=P_2\,b.$$这就是阿基米德定律,不需要任何相似三角形的图形:$\delta\theta$ 直接约掉了。 滑轮 在一组滑轮中,重物 $W$ 由 $n$ 段绳子吊着,一个人用力 $F$ 拉绳子的自由端。如果重物上升 $\delta h$,$n$ 段绳子每段都缩短 $\delta h$,这些绳子全都从自由端出来,自由端移动 $n\,\delta h$。所以 $$F\cdot n\,\delta h-W\,\delta h=0\quad\Longrightarrow\quad F=\frac Wn.$$用四段绳子,只需 25 千克的力就能提起 100 千克。但要在距离上付出代价:重物上升 1 米,就得拉动 4 米绳子。

Hero Image
约翰·伯努利的遗产

约翰·伯努利没有写出一部伟大的书,不像哥哥写了《猜度术》,也不像牛顿写了《原理》。他最有名的书是以别人的名义出版的。他留下的是一种工作方式:把每个物理或几何问题变成一个方程,再用莱布尼茨的微积分去解。他还留下了学生。 莱布尼茨的斗士 在牛顿与莱布尼茨谁发明了微积分的争论中,约翰是莱布尼茨一方最好斗的战士。1713 年初,牛顿担任会长的皇家学会发表了一份报告,把优先权判给牛顿。莱布尼茨用一份匿名传单《飞页》(Charta volans)回应,其中引用了"一位杰出数学家"的判断:那就是约翰。此后几年,约翰不断用难题挑战英国数学家,他认为这些题用牛顿的方法是解不出来的。莱布尼茨于 1716 年去世,约翰又独自吵了好多年。这场争论让英国数学与欧洲大陆的数学隔绝了将近一个世纪。 “函数"这个词 数学意义上的 函数 一词,诞生于 1690 年代莱布尼茨与约翰之间的通信。1718 年,约翰发表了第一个定义: 我把一个变量的函数称为由这个变量和常数以任何方式组成的量。 — 约翰·伯努利,《巴黎科学院论文集》(1718) 他用希腊字母 $\varphi$ 表示 $x$ 的函数,有时写作 $\varphi x$,不加括号。是他的学生欧拉在 1734 年开始写成 $f(x)$。本站旧的函数课程中有这些记号的年表: 年份 作者 记号 1694 约翰·伯努利 用一个字母,例如 $n$,表示依赖于 $x$ 的量 1698 约翰·伯努利 用 $X$ 或 $\xi$ 表示 $x$ 的函数 1718 约翰·伯努利 $\varphi x$ 1734 莱昂哈德·欧拉 $f\left(\frac xa+c\right)$ 一个学派 约翰教出的重要数学家,比他那个世纪的任何其他老师都多。其中有: 洛必达侯爵,他把约翰的课写成了第一本微积分教科书。 儿子尼古劳斯二世、丹尼尔和约翰二世。 丹尼尔创立了流体动力学,提出了以伯努利命名的原理;约翰二世继承了父亲的教席。 莱昂哈德·欧拉,那个世纪最伟大的数学家,约翰每逢星期六指导他。 皮埃尔-路易·莫罗·德·莫佩尔蒂,提出了最小作用量原理;以及 亚历克西·克莱罗,研究了地球的形状。 通过欧拉,这条师承一直延续到在柏林接替欧拉的拉格朗日,又从那里延续到十九、二十世纪数学的很大一部分。 留下了什么 微积分。 洛必达法则、对数求导法、指数演算,以及函数的定义。 曲线。 悬链线和最速降线,以及运动与光之间的类比。 变分法。 最速降线挑战和与雅各布关于等周问题的争论,为欧拉和拉格朗日开辟了道路。 力学。 虚功原理,静力学和《分析力学》的基础。 教学。 一代数学家,欧拉居首。 全集 1742 年,75 岁的约翰在洛桑和日内瓦出版了四卷本的《全集》(Opera omnia)。编辑工作由加布里埃尔·克莱姆主持,就是线性方程组克莱姆法则的那位。《水力学》就收在其中,带着约翰选定的 1732 年日期,好让它看起来早于儿子的《流体动力学》。