力学的前夜

力学的前夜

1666年，牛顿在躲避瘟疫的乡间开始构思万有引力；1687年，《自然哲学的数学原理》出版。但这部巨著不是凭空出现的。在它之前的近两千年里，从雅典学园到巴黎大学，从帕多瓦的斜面到阿姆斯特丹的运河船，力学积累了一堆半成品：有的描述对了形状却解释不了原因，有的概念对了却被数学形式拖累，有的实验成功了却没人能推广到天体。牛顿要做的，是把这些零散的构件用一套统一的几何—动力学语言焊起来。本章回答的核心问题是：在牛顿登上剑桥卢卡斯讲席的1660年代，力学究竟是一幅怎样的图景？前人留下的解释框架、概念胚胎、定量裂缝分别在哪里？

```mermaid flowchart LR A[亚里士多德 前350] --> B[菲洛波努斯 6世纪] B --> C[布里丹/奥雷姆 14世纪] C --> D[伽利略 1638] A --> D D --> E[笛卡尔 1644] E --> F[碰撞研究 1668-1669] D --> F F --> G[牛顿 1687] E --> G ```

亚里士多德的物理学：自然位置的秩序

亚里士多德在《物理学》中建立的力学图景，统治了欧洲学界将近两千年，直到17世纪中叶才真正动摇。这套图景的核心是一种基于目的论的二分法：运动被划分为自然运动（κατὰ φύσιν）和非自然运动（βίαιος κίνησις）。所谓自然运动，是指物体朝其"自然位置"返回时无需外因的运动：石头向下，水向下，气向上，火向上。这种运动是自发的，是物体实现自身本质的方式。非自然运动则相反，它违背物体的本性，必须有持续的推动者才能维持——推车要持续推，箭离弦后要持续接触某种推动者。

亚里士多德用四因说（material cause, formal cause, efficient cause, final cause）来解释这种二分。石头下落，是因为石头以"重"为其形式因，以朝向地心为终极因。这个框架在当时具有极强的解释力：它把日常观察、物理学、天文学、神学捆成了一体。任何运动现象都可以被纳入这套四格表——找推动者，找被推者，找介质，找目的。这正是它能延续两千年的原因。

但框架内部存在几道明显的裂缝。第一是抛体悖论：箭一旦离弦，按接触说应当立即停止，但它却飞了一段距离。亚里士多德的解决方案是诉诸空气：当箭向前运动时，前方的空气被推开，后方的空气填补并推动箭继续前进，空气充当了"接力推动者"。这个解释在解释短程飞行时还算勉强，但箭速远大于空气回填速度，且空气回填应当是各向同性的，无法解释箭的定向运动。第二是真空悖论：亚里士多德否认真空存在，理由是若物体在真空中运动，将没有任何阻力，因而速度应为无穷大，这在经验上不可接受（horror vacui，厌恶真空）。这个论证在当时是合理的，但它把"介质阻力"和"运动原因"绑在了一起，使得任何脱离介质的运动思考都成了禁忌。第三是速度—介质关系：亚里士多德声称物体下落速度与其重量成正比，与介质密度成反比。这意味着在真空中速度无穷大，进一步否定真空的可能。这个论断在1586年斯台文（Simon Stevin）的落体实验中被证明是错的——两个不同重量的铅球从十米高处同时落下，几乎同时落地。

亚里士多德力学不是单纯的错误集合，它是一套完整的、形而上学的、与目的论捆绑的世界图景。它的解释力边界在于：它能解释日常经验和定性观察，但无法给出定量的运动方程；它能描述物体"为什么"朝某个方向运动，但无法精确刻画"怎么"运动。这正是后来力学要补的两个洞。

冲力说：从外部推动到内部动力

亚里士多德框架的第一道真正裂缝，由6世纪的菲洛波努斯（John Philoponus）在注释亚里士多德时凿开。菲洛波努斯提出：抛体之所以继续运动，不是因为空气推动，而是因为投掷者在投掷瞬间给物体注入了某种无形的"动力"（δύναμις），这种动力会逐渐耗尽，物体才停下来。这个观念经由阿拉伯世界的阿维森纳（Avicenna）和阿威罗伊（Averroes）传递到13世纪的巴黎大学，并在14世纪由布里丹（Jean Buridan）正式命名为冲力（impetus）。

布里丹在《亚里士多德物理学疑难》（Quaestiones super octo libros Physicorum，约1320—1340年间）中对抛体悖论给出了新的解答：投掷者在接触物体的瞬间，把一定数量的冲力注入了物体。这个冲力的量与两个因素有关——物体的"量"（quantitas materiae，今天说的质量）和物体的速度。冲力使物体在没有直接推动者的情况下继续运动，但它会因介质阻力而逐渐衰减。这个表述在结构上惊人地接近后来的动量（momentum = mv）概念。

布里丹还把冲力学说推广到天体：他认为天体之所以持续运动，是因为上帝在创世时给它们注入了冲力，这个冲力不衰减（因为天体运行于无阻力的以太中）。这就把亚里士多德式的"自然运动需要持续推动者"替换成了"运动可以由内在冲力维持"，是一次根本性的概念置换。

奥雷姆（Nicole Oresme，约1320—1382）走得更远。他在《论质量与运动的构型》（Tractatus de configurationibus qualitatum et motuum，约1350年）中发明了一种图形化的运动表示法：在一条水平线上标出时间的延伸（longitudo），在垂直方向标出速度的强度（intensitas）。这本质上是今天坐标图和时间—速度图的雏形。奥雷姆用这个方法证明了均匀非匀速运动的距离等于该图形下的面积，即

$$s = \int_{t_1}^{t_2} v(t)\, dt$$

这是积分思想在运动学中的最早萌芽。他还提出一个大胆的猜测：自由落体的速度随时间线性增长，即 $v(t) = kt$，由此推出距离 $s = \frac{1}{2}kt^2$。这个关系在伽利略手中变成了著名的 $s = \frac{1}{2}gt^2$。伽利略是否直接读过奥雷姆的著作仍有争议，但14世纪巴黎学派的运动学已经在为伽利略铺路。

萨克森的阿尔伯特（Albert of Saxony，约1316—1390）进一步把冲力用于解释加速运动：自由落体的速度之所以增加，是因为重力在每一瞬间都向物体添加新的冲力。这已经把"加速度"概念从纯粹的运动学描述推向了一个动力学解释——重力是冲力的来源。整套冲力学说虽然仍未摆脱亚里士多德的形式框架，但它做了三件根本性的事：把运动的因果关系从外部转向内部，把运动量与质量—速度乘积联系起来，把运动图示从语言转向图形。

伽利略：把运动学从动力学里拆出来

17世纪初的力学革命很大程度上是伽利略的工作。他在《关于两门新科学的对话》（Discorsi e dimostrazioni matematiche, intorno à due nuove scienze，1638年）中用三个人物——萨尔维亚蒂（Salviati，代表伽利略本人）、萨格雷多（Sagredo，聪明的门外汉）、辛普利西奥（Simplicio，亚里士多德学派）——的对话形式，系统重构了运动学。这本书的革命性不在于它给出了多少新公式，而在于它做了一件方法论上的大事：把运动的几何描述从动力因的追问中剥离出来。

伽利略的第一个核心实验是斜面。他观察到，直接研究自由落体太快，无法用当时的水钟（clepsydra）测量，于是把球放在斜面上滚动以"稀释时间"。设斜面倾角为 θ，忽略摩擦，则球的加速度为 $a = g\sin\theta$。从静止开始，$t$ 秒后经过的距离为

$$s = \frac{1}{2}g\sin\theta \cdot t^2$$

伽利略通过在斜面上不同位置放置铃铛、用耳朵听球撞击的节拍来验证距离与时间的平方成正比。他宣称，无论斜面角度如何（90度的自由落体只是其特例），$s \propto t^2$ 都成立。这就把"自然运动的速度"这个问题彻底几何化了——速度不再需要追问"为什么"，只需要追问"多快"。

伽利略的第二个核心发现是抛物线轨迹。他论证：一个水平抛出的物体同时参与两个独立的运动——一个是水平的匀速运动（如果忽略空气阻力），一个是垂直的自由落体运动。把这两个运动合成，轨迹就是抛物线 $y = -\frac{g}{2v_0^2}x^2$。这个论证的革命性在于它预设了运动的合成原理：运动的各个分量互相独立，可以分别处理然后叠加。这是矢量分解的最早物理实践。

伽利略的第三个核心观念是惯性原理的雏形。他在第三天的对话中论证：在一个完全光滑的平面上，物体一旦被推动，就会以恒定速度沿直线永远运动下去，因为他找不到任何使它减速的原因。但伽利略的惯性还不是牛顿意义上的直线惯性——他紧接着论证说，如果把这个光滑平面延伸到地球表面之外，由于地球是圆的，平面的"水平"方向实际上是围绕地心的圆周。这意味着伽利略的"惯性"仍然是圆周运动，是地球中心说的形而上学残余。真正的直线惯性要等到笛卡尔和牛顿才完成。

伽利略的第四个核心实验是摆。他在对话中描述了单摆的近似等时性：只要振幅不太大，摆的周期与振幅无关，仅取决于摆长。他意识到摆可以用来做时钟，但这与他的运动学论证相互独立。更深一层，摆的等时性其实是一个小角度近似的结果：精确的周期是 $T = 2\pi\sqrt{L/g}\left(1 + \frac{1}{16}\theta_0^2 + \cdots\right)$，大振幅下周期随振幅增大而变长。

伽利略方法的局限在于：他把运动的几何描述从动力因中剥离出来，但他没有给出一个统一的动力学原理来解释"为什么物体会加速下落"。他可以告诉你在斜面上物体的位移是 $\frac{1}{2}gt^2$，但他不能告诉你 $g$ 本身从哪里来、它的方向为什么指向地心、它在不同高度是否相同。这些问题留给了牛顿。但伽利略留下的方法论遗产是清楚的：可以先描述运动，再追问原因；可以用几何和代数表示运动，不必借助形而上学的目的论。

笛卡尔的旋涡：机械论宇宙与开普勒裂缝

与伽利略的实验路线并行的，是笛卡尔（René Descartes）的形而上学路线。在《哲学原理》（Principia Philosophiae，1644年）中，笛卡尔构建了一个完全机械论的宇宙：空间是无限延展的，没有真空；物质是同质的，区别仅在于"量"和"运动"；上帝在创世时赋予了物质一定量的"运动量"（quantitas motus，即 $mv$，但笛卡尔的版本是标量化的），这个总量永远守恒。

笛卡尔用这个框架解释了重力：地球周围充满了一种细微的以太物质，它以地球为中心作旋涡运动；旋涡中的粒子比地球的粒子更细密，它们在旋转中产生的离心倾向把较粗的物体（即地球上的物体）推向旋涡中心，于是出现"重力"。这就把重力从"物体的内在倾向"转化为"机械碰撞的统计效果"，是物理因果观念的又一次置换。

笛卡尔的旋涡说在当时极具吸引力，因为它有几大优点：第一，它不需要超距作用，重力由介质接触传递；第二，它符合17世纪的机械论哲学纲领——一切现象都应当由"广延"和"运动"解释；第三，它给出了宇宙的一个完整图像：从恒星旋涡到行星旋涡到地球上的物体，构成一个分层的机械系统。

但旋涡说在三个定量问题上遇到了无法克服的困难。第一个是开普勒第二定律：行星与太阳的连线在相等时间内扫过相等的面积。在旋涡模型中，如果行星被介质带动，其速度应当与旋涡介质的速度一致。介质的旋转若像刚体那样匀角速度，则线速度 $v \propto r$；若像自由涡那样角动量守恒，则 $v \propto 1/r$。这两种情形都给出了 $v(r)$ 的具体形式，但都与开普勒要求的 $v \propto 1/\sqrt{r}$（由 $T^2 \propto r^3$ 推出，因为 $v = 2\pi r/T$，所以 $v^2 \propto 1/r$）不一致。笛卡尔没有给出开普勒定律的任何解释，他的宇宙图像在定性上看起来合理，但完全无法导出正确的行星运动学。

第二个困难是潮汐。笛卡尔用月球下方的以太被月球旋涡挤压来解释潮汐，这与后来牛顿的潮汐理论（来自月球和太阳的引力差）在数值上完全不同，且笛卡尔的版本无法解释潮汐的半月周期（朔望大潮）。

第三个困难是彗星。笛卡尔的宇宙是封闭的分层旋涡，彗星在旋涡之间穿行，但笛卡尔无法解释彗星轨道的逆行和它在不同旋涡中的运动。

惠更斯（Christiaan Huygens）在1659年前后独立给出了离心力公式 $F = mv^2/r$，这是对旋涡模型最关键的定量打击：在一个旋转介质中，粒子的离心倾向以 $v^2/r$ 增长；如果介质速度分布使 $v \propto 1/r$（自由涡），则离心倾向 $\propto 1/r^3$，这与牛顿后来提出的万有引力的 $1/r^2$ 衰减率不一致；如果 $v \propto r$（强制涡），离心倾向 $\propto r$，这反而随距离增大。两个简单旋涡模型都无法给出正确的力—距离关系。

笛卡尔的真正贡献不是他的旋涡宇宙图景——那个图景是错的——而是他的方法论纲领：宇宙应当被解释为一部无超距作用的机器，运动量守恒是这部机器的基本约束。牛顿在《原理》中明确攻击了笛卡尔的旋涡（特别是第二编的若干命题），但保留了运动量守恒作为第三定律的推论。

1660年代的碰撞研究：动量守恒的雏形

1660年代是碰撞研究的爆发期。这一波研究的核心驱动是1660年伦敦皇家学会和1666年巴黎皇家科学院的相继成立，两个机构都把"碰撞实验"列为优先课题。一时间，至少四组研究者独立或半独立地给出了碰撞的结果：约翰·沃利斯（John Wallis）、克里斯托弗·雷恩（Christopher Wren）、克里斯蒂安·惠更斯（Christiaan Huygens）、戈特弗里德·莱布尼茨（Gottfried Wilhelm Leibniz）。

1668年，沃利斯在《皇家学会哲学会刊》上发表了关于非弹性碰撞的结果。他用实验（一根悬挂的摆锤打到静止物体上）发现：两个物体碰撞后的共同速度可以用 $v = \frac{m_1 v_1 + m_2 v_2}{m_1 + m_2}$ 表示。这正是动量守恒在完全非弹性碰撞下的形式。更重要的是，沃利斯明确提出：碰撞前后"运动的量"（quantitas motus，即 $mv$ 之和）守恒。这与笛卡尔的运动量守恒原则一致，但沃利斯把它从形而上学原则变成了可验证的实验定律。

同年，雷恩报告了弹性碰撞的结果（主要是通过数学推导，因为实验很难做）。他证明两个等质量弹性球以相反速度碰撞后会交换速度，这个结果与"运动量守恒"一致（碰撞前后 $mv$ 之和相同），也与"活力"或动能概念相关。雷恩的工作在数学上不如惠更斯严谨，但他给出了正确的几何直觉。

惠更斯在1669年向皇家学会提交了弹性碰撞的系统研究（De Motu Corporum ex Percussione）。他的几个关键结论是：第一，弹性碰撞前后"运动量" $\sum m_i v_i$ 守恒（注意他取的是代数和，不是绝对值之和）；第二，碰撞前后的"活力" $\sum m_i v_i^2$ 也守恒（对弹性碰撞而言）；第三，两个等质量弹性球以相反速度碰撞时交换速度，等价于坐标系变换下的相对速度反转。惠更斯的 $\sum m_i v_i^2$ 守恒就是后来的动能守恒（对一个数量），但他当时并未使用"动能"这个词，而是继续用笛卡尔的"运动量"语言。

莱布尼茨在1686年的论文《论笛卡尔和其他人在自然定律认定上犯下的一个值得注意的错误》（Brevis demonstratio erroris memorabilis Cartesii）中发起了著名的"力"（vis）之争：他主张"活力"（vis viva）= $mv^2$ 才是物体"运动所含的力"的真正量度，而笛卡尔派的 $mv$ 只是"死力"（vis mortua）或运动的"dead force"。这场争论持续到19世纪中叶能量概念完全澄清为止。事实上，笛卡尔的 $mv$ 与莱布尼茨的 $mv^2$ 都是守恒量，它们适用于不同的物理情境：$mv$ 在任何碰撞中（弹性或非弹性）守恒，$mv^2$ 仅在弹性碰撞中守恒。

1660年代的碰撞研究为牛顿第三定律（作用与反作用）和第二定律（$F = ma$）提供了关键的实验素材。牛顿在《原理》的公理或运动定律之前，先用一系列"附带说明"（Scholium）讨论了碰撞，他指出：对于轴向碰撞，可以用相对速度反转来刻画；而动量守恒可以从作用与反作用相等推出。这些讨论直接源自沃利斯、雷恩、惠更斯1668—1669年的工作。

实践案例：用现代坐标重现伽利略斜面与笛卡尔旋涡

本节用现代数学重做两个关键场景：一是伽利略的斜面—摆锤等时性实验，二是笛卡尔旋涡模型对行星速度的预言。目的是让读者亲手感受到：伽利略的实验数据与现代公式如何对应，以及笛卡尔的定性宇宙图景在定量上为何失败。

伽利略斜面实验的现代重现。 设斜面长度为 $L$，倾角为 $\theta$，忽略滚动摩擦和空气阻力。沿斜面方向的加速度为 $a = g\sin\theta$。从静止释放，$t$ 秒后球沿斜面下滑的距离为 $s(t) = \frac{1}{2}g\sin\theta \cdot t^2$。伽利略实际做的是这个实验：他让球在斜面上滑下，用水钟测量总时间 $t$；然后让球滑到斜面的 $\frac{1}{4}, \frac{1}{2}, \frac{3}{4}, 1$ 处，分别记录所需时间。如果 $s \propto t^2$，那么滑到 $\frac{1}{4}L$ 处所需时间应为 $t/2$，滑到 $\frac{1}{2}L$ 处应为 $t/\sqrt{2} \approx 0.707t$，伽利略的水钟数据在实验误差范围内证实了这个比例。这就是他 $s \propto t^2$ 定律的实验基础。

摆的等时性作为小角度极限。 单摆的运动方程是 $\ddot{\theta} + \frac{g}{L}\sin\theta = 0$。在小角度下 $\sin\theta \approx \theta$，方程变为 $\ddot{\theta} + \frac{g}{L}\theta = 0$，解为 $\theta(t) = \theta_0\cos(\omega t + \phi)$，其中 $\omega = \sqrt{g/L}$，周期 $T = 2\pi\sqrt{L/g}$，与振幅 $\theta_0$ 无关。这就是伽利略观察到的等时性。但如果振幅较大，精确周期展开为

$$T = 2\pi\sqrt{\frac{L}{g}}\left(1 + \frac{1}{16}\theta_0^2 + \frac{11}{3072}\theta_0^4 + \cdots\right)$$

当 $\theta_0 = 30° = \pi/6$ 弧度时，修正项约为 $1 + 0.034$，即周期比小角度近似大 3.4%。伽利略当年做的是大约 50—60 度的摆，他的"等时"其