1675 年 10 月 29 日,在巴黎,莱布尼茨正在把一条曲线下面无穷多的细条加起来,他厌倦了在每个和式前面写 omnia(“全部”)。他在笔记本上记下:

Utile erit scribi ∫ pro omnia.(用 ∫ 代替“全部”来写,将会很有用。)

— 莱布尼茨,1675 年 10 月 29 日的手稿

$\int$ 是一个拉长的 S,取自 summa(和)。两周后,在同一本笔记里,出现了 $d$,取自 differentia(差),表示无穷小的差。有了这两个符号,莱布尼茨手里就有了一套表达整个微积分的语言。艾萨克·牛顿早在十年前就在剑桥得到了同样的思想,但写法不同。要看一个符号的形状如何改变人们能用它做的事,这是历史上最好的例子。

同一个想法的两种写法

牛顿想的是随时间流动的量,比如运动物体的位置。他把这个量叫作流量,把它的变化率叫作流数,并开始在字母上方加一个点来标记流数:如果流量是 $x$,流数就是 $\dot{x}$;流数的流数是 $\ddot{x}$。

莱布尼茨想的是相邻两个值之间极小的差。$x$ 的差是 $dx$,$y$ 的差是 $dy$,变化率就是两者之比 $\dfrac{dy}{dx}$。并排来看:

想表达的意思 牛顿 莱布尼茨
$y$ 的变化率 $\dot y$ $\dfrac{dy}{dx}$
相对于什么? 时间(隐含) $x$(写明)
二阶导数 $\ddot y$ $\dfrac{d^2y}{dx^2}$
细条之和 没有固定符号 $\displaystyle\int y\,dx$
链式法则 记住法则 $\dfrac{dz}{dx}=\dfrac{dz}{dy}\cdot\dfrac{dy}{dx}$

牛顿的点更短。但请注意它隐藏了什么:对哪个变量求导。对牛顿来说,那总是时间,这在他的物理学里是对的。当一个量依赖的不是时间,或者同时依赖好几个量时,点就没有地方说明这一点了。

符号背后的词语

这门微积分的名称里也藏着图像。导数(derivative)来自拉丁文 derivare,由 de(从)和 rivus(溪流)组成:把河水引到一条渠里。导数就是从函数里“流出来”的东西。切线(tangent)来自 tangere(触碰):它是只在一点碰到曲线的直线。莱布尼茨的 differentia 来自 differre(分开、带往不同方向):它是两个相邻值之间的小距离。而牛顿的流数(fluxion),字面意思就是流动、流动的东西。1704 年,在《曲线求积论》中,牛顿这样宣布了他的点:

设 x、y、z 为流量;它们的流数将用这些记号表示:ẋ、ẏ、ż。

— 艾萨克·牛顿,《曲线求积论》(1704)

在牛顿和莱布尼茨之后,其他作者也创造了自己的写法,每一种都让同一个想法的不同侧面显现出来:

作者 写法 它显示了什么 它隐藏了什么
牛顿(1690 年代) $\dot y$ 随时间的变化 变量
莱布尼茨(1675) $\dfrac{dy}{dx}$ 变化之比;链式法则 它并不是普通的分数
拉格朗日(1797) $f'(x)$ 导数是另一个函数 对哪个变量求导
阿博加斯特(1800) $Df$ 求导是对函数的一种运算 点和变量

没有一种独自胜出。今天,同一本书用 $f'(x)$ 谈论导函数,用 $\frac{dy}{dx}$ 做链式法则的计算,用 $\dot x$ 表示速度。懂得根据问题切换写法,也是懂微积分的一部分。

会自己做计算的记号

莱布尼茨选择了表现得像分数的符号。它们并不是真正的分数($dy$ 和 $dx$ 的严格意义直到十九世纪才借助极限澄清),但这种书写的设计,使得分数的运算在应当成立的情形下给出正确的结果。链式法则是经典的例子:$\dfrac{dz}{dy}\cdot\dfrac{dy}{dx}$“约掉”了 $dy$,得到 $\dfrac{dz}{dx}$。法则就画在符号本身的形状里。

看一个本站早期文章用过的例子。要对 $f=(x^5-2x)^{\pi}$ 求导,把括号里的部分叫作 $u$:

$$u=x^5-2x,\qquad f=u^{\pi}.$$

于是

$$\frac{df}{dx}=\frac{df}{du}\cdot\frac{du}{dx}=\pi\,u^{\pi-1}\cdot(5x^4-2)=\pi\,(x^5-2x)^{\pi-1}(5x^4-2).$$

用莱布尼茨记号书写的人,不需要记住要乘以里面那部分的导数。书写本身要求这一点:还缺一个 $du$ 来约掉,唯一的办法就是写出 $\frac{du}{dx}$。要用具体的数近距离看看这个分数游戏,请看莱布尼茨的记号一章。

这就是我们从第一篇文章起所说的能动的记号。莱布尼茨很清楚自己在做什么:

在符号中可以看到一种有利于发现的长处,当符号简洁地表达出事物的确切本质、仿佛把它描画出来时,这种长处最大;那时,思考的劳动确实奇妙地减少了。

— 莱布尼茨致契恩豪斯的信(1678)
莱布尼茨 1684 年 10 月发表于《博学学报》的《求极大极小的新方法》第一页。这是微分学第一次付印。
莱布尼茨 1684 年 10 月发表于《博学学报》的《求极大极小的新方法》第一页。这是微分学第一次付印。莱布尼茨 · Wikimedia Commons · 公有领域

积分里的 $dx$ 也是一样。它看起来像个装饰,其实在干活。要计算 $\int 2x\,(x^2+1)^3\,dx$,令 $u=x^2+1$。于是 $\frac{du}{dx}=2x$,莱布尼茨的书写邀请你“把 $dx$ 移到另一边”:$du=2x\,dx$。积分就变成

$$\int u^3\,du=\frac{u^4}{4}+C=\frac{(x^2+1)^4}{4}+C.$$

这就是换元积分法,它又一次画在了书写之中。

困在点里的英国

在谁先发明微积分的激烈争论之后,英国数学家抱成一团:出于忠诚,他们要用牛顿的点。欧洲大陆用莱布尼茨的 $d$。整个十八世纪,分析学几乎所有的重大进展都来自大陆:伯努利家族、欧拉、拉格朗日、拉普拉斯。英国人用着一种什么也提示不了的记号,落后了一百多年。本站早期的文章这样总结:牛顿的记号是贫瘠的。

说牛顿的点已经死了,并不公平。在物理学中,当变量是时间时,它简短清楚,至今人们仍用 $\dot x$ 表示速度,用 $\ddot x$ 表示加速度。点作为整个微积分的语言是贫瘠的,作为某个特殊情形的缩写则不是。顺便说一句,这是一个很好的判别标准:一种记号被带到新问题中仍然管用时,它就是能动的。

练习:莱布尼茨写法下的链式法则

对 $z=(3x^2+1)^4$ 求导。令 $y=3x^2+1$,则 $z=y^4$,于是

$$\frac{dz}{dx}=\frac{dz}{dy}\cdot\frac{dy}{dx}=4y^3\cdot6x=24x\,(3x^2+1)^3.$$
练习:点不够用的时候

一个物体运动时,位置 $x$ 依赖于时间,而量 $y=x^2$ 依赖于位置。如果在所考虑的时刻 $x=3$、$\dot x=2$,那么 $\dot y$ 是多少?

用莱布尼茨的写法:$\dfrac{dy}{dt}=\dfrac{dy}{dx}\cdot\dfrac{dx}{dt}=2x\cdot\dot x=2\cdot3\cdot2=12$。牛顿的写法给出同样的数 $\dot y=2x\dot x$,但要得到它,必须事先知道这条法则。莱布尼茨的写法显示了它为什么成立,还能让人写出 $\dfrac{dy}{dx}=2x$,即相对于位置的变化率,这是点无法命名的。


本章目录 · ← 纳皮尔与对数:奇妙的缩写 · 从穷竭法到积分:Σ、∫ 与圆周率 π →