第12章　牛顿与莱布尼茨：两条路径创造微积分

12.1　先把两份文本放到桌上

讨论牛顿与莱布尼茨，最容易把思想史写成一场争夺奖杯的比赛：谁先想出来，谁先发表，谁更值得成为封面人物。优先权当然属于需要史料研究的问题，但它不能替代另一个问题：两条研究路线究竟使什么新的数学能力成立？

本章选择两个具体入口。牛顿1666年10月的流数手稿，一方面讨论由量之间的关系寻找变化速率之间的关系，另一方面讨论从变化速率关系返回量的关系。[8，命题7—8]莱布尼茨1684年的《求极大极小及切线的新方法》则公开展示一种微分算法，并将其用于包括折射路径在内的问题。[9]前者让“量怎样流变”与逆向重建并置，后者使微分规则成为能够跨问题操作的表达。

这里的比较不是把牛顿全部思想压成“动态”，把莱布尼茨全部思想压成“符号”。两人都处理丰富的数学问题，后来的体系也不能被还原成两种性格。本章只根据所选原典，追踪两个入口怎样通向局部与整体之间的新组织；下文的公式使用现代记号，明确属于本书的数学重述。

12.2　牛顿的问题：量的关系怎样规定变化

如果两个量受到同一个关系约束，它们就不能任意变化。牛顿手稿中的一个重要方向，是把量之间的方程转成变化速率之间的关系。[8]这个方向看似朴素，却使“变化”不再只是一种口头附加：它有了可以从约束中推出的组织。

以一个现代例子说明。设某段运动满足x²+y²=R²，R为正常量。对时间求导，得到：

这个式子不是额外发现了一条关于圆的神秘定律。它说明，当位置受圆周约束时，两个坐标的变化率必须相容。若y不为零，可以写成ẏ=−(x/y)ẋ；若ẋ不为零，也可以讨论局部斜率ẏ/ẋ。除法所需要的条件，不能在符号顺手时省掉。

这个例子把几何与运动接在一起。位置不是静止的点名单，变化率也不是点之外的一股独立流动；它们通过约束共同取得含义。用本书的语言说，某些可比较差异被组织成局部规定，新的数学表达使这种规定能够反过来限制允许的运动。

但是，圆周方程及其导数还没有给出全部动力学。沿圆周缓慢移动、快速移动或者改变速度，都可以满足位置约束。要确定实际运动，还需要时间规律或作用条件。一个正确的微分关系，不应被误认为已经说明“为什么这个物体如此运动”。微分增加了约束，并没有自动消除其余问题。

12.3　逆问题：从变化怎样返回量

牛顿手稿还把逆向问题明确放在前台：给定运动速率或它们之间的关系，怎样恢复量的关系？原文也没有声称所有这类问题都能轻易解决。[8，命题8]这项限制非常重要，因为它使创造的现场保留了真正的困难，而不是被后来的教科书光滑化。

看一个现代的简单例子。若ẋ=2at，则积分得到x=at²+C。同一个变化率对应一族相差常数的位置函数。只知道局部变化，还不知道整体位于哪里；必须再给出某个位置条件，才可能确定C。

这不是积分的失败，而是逆问题正确保存了信息边界。求导时，常数平移对局部变化率没有贡献；积分若不增加其他条件，就没有理由替我们把这个信息找回来。数学没有遗忘应当知道的东西，它是在提醒我们：原来的局部资料并不包含全部整体规定。

这个结构连接到第一编的属性问题。一个属性的局部显露，未必独自携带整个发生系统。恢复整体需要其他关系参加，而不是把局部结果反复计算，就能从其中榨出不存在的信息。积分的创造性不在于任意补上缺失，而在于把需要补充什么显题化，使初始、边界与相容关系进入明确研究。

因此，正向求变化与逆向重建不是两项彼此孤立的技术。它们共同构成一个有张力的组织：局部使整体变得可分辨，整体又限制局部能够怎样发生。微积分的力量，正在于使这种相互限制成为可以不断继续的计算。

12.4　莱布尼茨：关系怎样获得可迁移的书写

莱布尼茨的微分表达提供另一个入口：不只为某条曲线解决一个问题，而是组织可以反复使用的运算规则。[9]当一个复杂表达能够被分解、微分再重新组合时，符号就不只是结果的缩写，它也参与了下一步研究的组织。

下面以现代形式说明乘积法则。设u与v在所讨论点可微。对小变化h，写出u的变化Δu和v的变化Δv，乘积的变化满足：

除以h后，在可微条件下令h趋向零，最后一项趋向零，于是得到(uv)′=u′v+uv′。这里的消去不是随意扔掉不喜欢的项，而依靠明确的极限阶次。用微分记号可以写成d(uv)=u dv+v du。

这种书写的价值，是让关系可以组合。复杂函数不必每次从几何图形重新猜测切线，而可以通过明确规则处理。可是规则越方便，越需要保留它成立的条件：函数是否可微，某个分母是否为零，变量是否按原来意义独立。算法不会替我们自动检查每一次应用的物理合法性。

本书据此将符号看作一种发生能力。它把过去需要漫长重建的操作压缩成可承接规则，使新的研究者能够从已经稳定的结构起步。但符号也可以遮蔽操作含义。一个人熟练地写出dx，并不保证他已经说明在当前实验中什么算作x的变化。

12.5　折射路径：一个小问题怎样打开大方法

莱布尼茨1684年文章中的折射讨论，以两点经界面上一点连接的路径为问题，通过极值条件组织推导。[9，原文第467页的译文节选]以下不用原文中含有排印差异的字母关系，而设置一个透明的现代模型，展示这一类思想的数学内容。

设点A位于界面上方，坐标为(0,a)，点B位于下方，坐标为(L,−b)，其中a、b、L均为正。路径在界面上的交点横坐标为z。两段直线的长度分别为√(a²+z²)和√(b²+(L−z)²)。给两段长度赋予正权重n₁、n₂，定义总量：

若寻找使Φ最小的交点，先计算导数：

在驻点处，两项相等。若θ₁、θ₂分别为两段路径与界面法线的夹角，就有n₁sinθ₁=n₂sinθ₂。第二阶导数是两个正项之和，所以在这个模型内，驻点确实给出唯一极小点。

这个推导最有价值的地方，不在于光线被拟人化为会选择“最省力”的路线。它显示的是：一个整体路径问题可以通过局部变化条件获得约束。改变交点，使两段长度一起改变；最小条件不是只在某一段内部决定，而是两段关系共同限制的结果。

把n₁、n₂解释为适当的光学量，使Φ进入光程模型，还需要几何光学的物理条件。数学证明只告诉我们该模型的极小路径满足什么关系，不能单独证明现实中的光在一切尺度、一切介质中都服从这一模型。光学解释与数学推导应当彼此支持，却不能彼此替代。

12.6　局部条件背后的整体选择

折射例子还有一个容易被忽略的层次：微分之前，Φ本身已经被构造出来。为什么选择两段长度的加权和？为什么允许路径在界面处改变方向？为什么固定端点？这些不是求导以后才附加的说明，而是求导所处理的问题结构。

所以，新方法不能被描述成“世界先给一个现成函数，数学只负责算”。在实际研究中，选择变量、建立总量、规定可变路径与固定条件，都可能是创造的一部分。微分把这些选择的后果显露得更清楚，也可能揭示它们不能同时成立。

但是，这也不意味着研究者只要构造一个函数，就已经创造了相应的物理世界。选择必须进入独立的经验约束。若另一个总量同样能拟合旧资料，却对新的路径条件作出不同预告，研究就需要设计可以区分二者的检验。创造的自由与回应的限制，恰恰在这里相遇。

从属性纠缠的角度，本书将这段工作解释为对象、操作与判断的共同规定。数学变量的客体侧重、允许变化的互动侧重、问题选择的主体侧重，不是三件先在物的简单相加。它们在同一研究中相互改变，而每一侧重内部仍有自己的S、D、E。

这项解释属于本书的SDE重构，不是莱布尼茨文章中的原话。保留这条界线，不会减少对历史的理解；相反，它让读者可以分别判断原典做了什么，以及我们的发生学解释是否确实增加了问题的清晰度。

12.7　微积分基本定理：一座可以证明的桥

局部与整体的联系，并不只是一种哲学愿望。在一组明确条件下，微积分基本定理给出真正的数学桥梁。下面使用现代连续函数的形式陈述和证明，不将此证明冒充为十七世纪原典的逐句翻译。

设f在闭区间[a,b]上连续，定义A(x)为从a到x的定积分。对内部点x和足够小的非零h，有：

右端是小区间上函数的平均值。由于f在x连续，这个平均值在h趋零时趋向f(x)。因此A′(x)=f(x)。整体累积所定义的函数，局部变化率恰好返回被累积的函数。

再设F是f的一个原函数，即F′=f。因为(F−A)′=0，在该区间上F−A为常数。比较端点便得到：

这两段证明使一座具体桥梁成立：累积与变化率在相应条件下互相联系。它不是说任何整体都能由任意局部无条件恢复，也不是说每一项物理发生都必然可微。连续性、区间和运算定义，共同限定了结论的范围。

桥梁的严格性，恰恰来自它没有承诺一切。一个哲学解释若借基本定理声称“已经证明全部世界由SDE生成”，就越过了定理的变量域；一个读者若因定理具有条件而说它没有普遍价值，也误解了数学普遍性。它的普遍，在于所有满足条件的对象都受同一证明约束。

12.8　两个方向，为何不只是相反的按钮

微分与积分之间存在深刻联系，却不能简单想成按下一个按钮再按另一个按钮，一切都毫无损失地回到原处。求导可能失去常数信息，整体重建可能需要初值与边界；局部形式还可能遇到定义域和整体相容问题。这些内容将在第14章展开。

在物理研究中，往返更加丰富。一组实验差异可以促成微分关系，积分关系可以组织整体运动，再从整体模型推出新的差异安排。第三步不一定是对某个函数再作一次字面求导，也可以是推导新的可检验后果。《科学是什么？》用“微分—积分—再微分”讨论这种科学循环。[5，第21章]

因此，需要同时保留数学操作与方法论转用的区别。字面微分有精确定义，方法论上的再微分则指向新差异的产生和检验。若二者混为一谈，科学循环会变成术语游戏；若完全隔绝，又会错过数学怎样参与研究组织的实际作用。

本书所要建立的桥梁，正位于这个交界处。微积分把局部与整体的某些关系做成严格操作；SDE分析追踪这些操作怎样进入对象规定、实验安排与新问题发生。二者共同工作，却不争夺一个含糊的“唯一解释全部世界”的位置。

12.9　参数化改变，不等于换了一个运动

两种表达如何贯通，可以用一个现代计算看清。假定一条曲线写成x=x(t)、y=y(t)，又用另一个单调、可微的参数τ描述同一曲线，且t=t(τ)。在导数存在且dt/dτ不为零时，有dx/dτ=(dx/dt)(dt/dτ)，y也有相应关系。因此，在dx/dt不为零的地方，两种参数给出的dy/dx相同。

这个结果同时保留了不同与共同：各量对参数的变化率可以不同，局部曲线关系却按明确方式保持。它不是说任何时间参数在物理上都完全等价。若参数代表实际时钟，怎样重新参数化、怎样保留动力学含义，还需要说明。数学上的曲线重描，与物理时间的测量不能直接混为一件事。

从流数到微分关系的现代对读，正需要这样的细致连接。我们不能因为表达不同就宣布两套数学毫不相通，也不能因为存在转换就把其问题入口和操作组织完全抹掉。转换本身需要条件，而条件可能在某些点失效。例如dx/dt为零时，用x作为局部参数未必合适；曲线依然存在，失效的是一种表达安排。

本书据此提出一个发生学判断：公共结构的形成，不必靠消除所有路径差异；它也可以通过建立路径之间的合法转换实现。转换使差异被保留为可计算内容，而不是被视为必须压平的错误。这一判断将贯穿后面的力学、场论与相对论讨论，但每个领域的具体转换必须重新证明。

另一项变化发生在推理劳动上。若一个问题的不同表达能够被翻译到共同规则，研究者便可以借用另一条路径形成的工具。一个几何问题可以接受运动参数的启发，一个运动问题也可以借助曲线结构来研究。这里的创造不只在某个结果，而在新的相互进入方式。

不过，表达贯通没有免除现实检验。两套方程若只是形式等价，它们对同一实验的支持并不是两份完全独立证据；把同一资料以两种记号算对，也不能把置信程度任意翻倍。真正的独立支持要来自不同资料或不同操作约束，而不是同一推导的重复包装。

因此，微积分的共同语言同时带来两种责任：承认不同路径能够共享严格结构，也承认严格结构不能代替路径各自的发生证据。把这两种责任放在一起，才能既看见牛顿与莱布尼茨之间的数学联系，又保留科学思想史不是一份符号对照表的深度。

12.10　两条路径的贯通，不取消它们的不同

牛顿选取的流变问题，与莱布尼茨所展示的微分规则，为同一大类联系提供不同入口。我们可以在现代数学中把许多表达互相转换，但这种转换不意味着历史发生过程完全相同。

一个共同结果可能由不同问题组织形成；不同的符号安排也可能改变方法传播、组合和使用的难易。第342卷将典范放在生成组织，而不只是最终显露上讨论。[3]借助这一区分，本书可以同时承认数学联系与发生差异，而不必在“两人完全一样”与“两人创造两个毫不相通的世界”之间选择。

但这种发生学解释也要避免过度。我们不能根据一份手稿的成文顺序，直接断定作者心中最先出现的念头；不能仅凭一个符号就推断全部思想来源；也不能把后来形成的标准体系完整投射回早期文本。历史解释需要手稿、发表物、通信与实际使用共同支持。

本章因此不对全部优先权争论作出裁决。它已经能从所选原典确认两种有内容的工作：使变化速率关系成为可研究对象，以及使微分规则成为可跨问题的组织。对本书主线而言，这比一次简单排名更接近微积分创造的实质。

12.11　创造的数学，怎样成为公共能力

一种方法只有作者自己能够使用，已经可能包含创新；但当它能够被其他人接续、修订并用于不同问题时，其公共生命才获得更广的展开。记号、规则、范例与证明在这里互相需要，任何一项都不能独自担保全部传播。

清楚的记号可以减少重复劳动，也可能让操作者忘记其含义；一般规则可以扩大迁移，也可能诱发超出条件的使用；范例能够打开理解，却不能代替一般证明；证明能够建立约束，却不自动提供物理解释。因此，数学体系的成熟不是一个单项能力不断放大，而是这些工作逐渐形成可接续的组织。

本书据此提出一个进一步判断：微积分对物理世界的创造，不只发生在第一条公式被写下的时刻，也发生在它形成可共同执行的研究能力之时。不同研究者能够根据同样条件展开局部差异、重建整体并互相发现错误，新的物理规定才获得持续发生的公共基础。

这不意味着共同体同意就创造真理。共同体也可能共享错误，标准化也可能固化误用。正因如此，公共能力必须包含返回材料、恢复条件与检查失败的通道。压缩与展开共同存在，微积分才不是一套只会给出答案的封闭仪式。

12.12　“微分发现，积分创造”应当怎样读

《科学与微积分》用鲜明表述强调微分对差异的忠实与积分对整体的创造。[4]本书继承其反对把科学缩成零散观察的方向，但在具体分析中把这句话展开，而不把它僵化为两种互斥分工。

选择新的局部变量、构造新的变化率，微分研究本身可以具有创造性；求出某个已定积分，也可能只是既有算法的直接执行。反过来，积分模型的提出、初始与边界关系的组织，能够产生真正的新整体。创造不由运算名称预先担保，而要看什么新的规定与能力实际成立。

因此，本书采用一种更严格的表述：微分使局部差异获得可计算的关系，积分使局部关系在适当条件下进入整体组织；两者是否构成物理创造，取决于它们怎样重建对象、操作与可检验约束。这里是对底本方法口号的展开性修订，不是把新表述冒充原文。

牛顿与莱布尼茨的思想价值，正在于他们的工作使这种双向组织获得强大的形式。从此，运动、曲线、累积与路径能够以新的方式互相进入。接下来的问题便更具体了：一个导数究竟使物理属性增加了什么规定，一次积分又需要哪些不能省略的整体条件？这两问，将把数学的创造推进到物的创造内部。