4.1 Newton 與 Leibniz 之爭#
導言#
微積分基本定理是數學史上最偉大的發現之一，而圍繞「誰先發明微積分」的爭論，則是科學史上最難堪的醜聞之一。本節從歷史公案切入，梳理基本定理被發現的脈絡、爭論的始末與其深遠後果——包括英國數學因孤立而停滯百年、以及記號選擇如何影響科學進程。
兩位主角與兩條路徑#
Isaac Newton（1643–1727）：劍橋三一學院。1665–1666 年（大瘟疫，回鄉 Woolsthorpe）創立流數法，其思路是物理的：量在流動，變化率（流數）是原始概念，面積是流數的積累（他稱積分為「求流量」，quadrature）。Newton 的次序：微分在先，積分是微分的逆。
Gottfried Wilhelm Leibniz（1646–1716）：漢諾威宮廷顧問。1673–1676 年間在巴黎與 Huygens 交往下獨立發展微積分，其思路是邏輯—代數的：從「差分」與「求和」的互逆性出發（他稱之為 Characteristica Mirabilis，「奇妙的特徵」）。Leibniz 的次序：求和與求差互逆，記號 \(\int\) 與 \(dx\) 互為逆運算——1675 年 10 月 29 日，他在手稿中第一次寫下 \(\int\) 。
互逆性的早期發現史：
| 人物 | 年代 | 發現 |
|---|---|---|
| Torricelli | 1640s | 由速度函數求路程時意識到「切線問題與面積問題互逆」 |
| James Gregory | 1668 | 《幾何學的普遍部分》明確指出面積函數的導數是原函數 |
| Barrow | 1670 | 《幾何學講義》幾何形式的基本定理（Newton 的老師，Newton 協助編輯） |
| Newton | 1666 手稿／《原理》1687 | 系統化的逆關係與力學應用 |
| Leibniz | 1675–1677 手稿／1686 | 代數形式與記號化，發表首篇微積分論文 |
Isaac Barrow（1630–1677）1670 年講義中已有基本定理的幾何證明（以「特徵三角形」與切線位移論證面積變化率）。Newton 1669 年繼承其 Lucasic 教席後即深諳此理；Leibniz 則在 1673 年訪倫敦時買到 Barrow 講義。互逆性已是「空氣中的思想」，但把它變成普適演算法並發表傳播的，是 Newton 與 Leibniz。
基本定理的直觀內容#
設 \(f\) 連續，定義面積函數（變上限積分）：
那麼 \(F'(x) = f(x)\) ：面積函數的變化率就是被積函數本身。反過來，若 \(\Phi\) 是 \(f\) 的任一原函數（ \(\Phi' = f\) ），則
「面積問題」與「反微分問題」原是同一問題——兩千年來被視為兩個領域（面積屬幾何、切線屬切線法）的問題，被一個定理統一。這是微積分能夠「誕生」為一門學科的理由。
（本節重點在歷史，定理的嚴格證明見 4.2 節。）
爭論始末：優先權之戰#
時間線：
| 年份 | 事件 |
|---|---|
| 1665–1666 | Newton 創立流數法（未發表，僅手稿與通信暗示） |
| 1673 | Leibniz 訪倫敦，入選皇家學會；購得 Barrow 講義 |
| 1674–1676 | Leibniz 在巴黎發展微積分；1676 年經 Henry Oldenburg 轉寄，收到 Newton 兩封信（Epistola prior 與 posterior，信中以字謎掩護：6a cc d æ 13eff 7i 3l 9n 4o 4q rr 4s 9t 12v x，解開為流數法基本原理） |
| 1684 | Leibniz 首次發表微積分論文（New Method） |
| 1687 | Newton《原理》出版（用幾何語言，流數僅隱含） |
| 1699 | Fatio de Duillier 指控 Leibniz 抄襲，爭端公開化 |
| 1704 | Newton《兩曲線求積》發表，附回顧性說明 |
| 1705 | 匿名書評（一般認為是 Leibniz）暗示 Newton 的流數「不過是 Leibniz 微分的另一記號」 |
| 1711–1712 | Leibniz 向皇家學會申訴；皇家學會組成委員會 |
| 1713 | 皇家學會報告《Commercium Epistolicum》偏向 Newton（委員會實由牛頓操縱，甚至報告草稿由牛頓本人執筆） |
| 1716 | Leibniz 去世，爭論在英國繼續（稱其為「Leibniz 先生的事」） |
誰先？證據顯示：發現上 Newton 領先約十年（1665 vs. 1675）；發表上 Leibniz 領先（1684 vs. Newton 的系統發表在 1704–1736）。兩人獨立工作，思想源流不同（物理流動 vs. 代數求和），記號不同，各自的「家族」傳承分明。以現代標準，這是典型的多重獨立發現（multiple discovery），與 Hall–Héroult 電解鋁、Darwin–Wallace 演化論同型。
爭論的惡化機制：民族主義（英法正處於對抗期）、學會政治（皇家學會主席是牛頓本人）、以及雙方門徒的派系化。John Keill 1711 年在皇家學會哲學彙刊公開指控 Leibniz「抄襲後改名換號」，使爭論從私人通信升級為公共事件。
後果一：英國數學的百年封鎖#
英國數學家出於忠誠使用 Newton 的記號（ \(\dot{x}, \ddot{x}\) ，流量/流數），歐陸使用 Leibniz 記號（ \(dx, dy, \int\) ）。後果：
- 記號代差：Leibniz 記號在多變數、變數變換、偏導數上擴展性極強（ \(\partial\) 、 \(\dfrac{\partial^2 u}{\partial x \partial y}\) ），而流數記號難以表達；歐陸的 Johann Bernoulli、Euler 依托記號優勢迅速建立變分法、微分方程、冪級數理論。
- 隔離百年：英國數學從 1710 到 1820 年代（劍橋分析學派 Peacock、Babbage、Herschel 引入 Leibniz 記號的「分析學會」運動）幾乎游離於歐陸主流之外。Maxwell 1860s 的電磁理論仍在與老舊記號搏鬥。
- 教訓：數學的進步高度依賴公開發表、開放交流與記號標準化。今日開放取源（open source）、可復現研究的倡議，正是同一教訓的現代回聲。
後果二：無窮小的本體論審查#
爭論過程中，雙方互相攻擊對方理論的邏輯漏洞，反而把「無窮小是什麼」推向風口浪尖（1.1 節 Berkeley 1734 年的批評正是搭了這趟便車——他的標靶是 Newton，但理論上是對整個微積分的哲學審查）。法國大革命時期，Lagrange 任度量衡委員會主席，甚至以政治理由（無窮小「不夠理性」）試圖以冪級數重建微積分。這條「嚴格化」壓力線最終在 Cauchy–Weierstrass 那裡完成（10.1 節）。
兩套記號的對照與評判#
| 方面 | Newton（流數） | Leibniz（微分） |
|---|---|---|
| 核心記號 | \(\dot{x}, \ddot{x}\) （時間流數） | \(\dfrac{dy}{dx}, \int f\,dx\) |
| 概念源 | 運動、流量 | 和與差的互逆 |
| 鏈鎖律表達 | 繁瑣（需引入中介流數） | \(\dfrac{dy}{dx} = \dfrac{dy}{du}\dfrac{du}{dx}\) 自明 |
| 高階導數 | \(\dddot{x}\) （記號難讀） | \(\dfrac{d^n y}{dx^n}\) （規則擴展） |
| 多變數擴展 | 幾乎無法擴展 | \(\partial\) 、Jacobian、微分形式 |
| 今日存留 | 物理學的時間導數 \(\dot{q}, \ddot{q}\) | 幾乎全部數學文獻 |
結論：Leibniz 記號勝出，因其「機器可讀」的代數性。這印證了一個深刻觀點：記號不是數學的外衣，而是數學思維本身的一部分。今日偏微分方程、微分幾何、廣義相對論的記號系統全部是 Leibniz 譜系。
公平的判決#
歷史學界（如 R. Hall 1980 年《Philosophers at War》）的共識：
- 兩人獨立發現微積分；
- Newton 首創概念與方法（且用以完成《原理》的萬有引力體系，這是微積分的第一次大規模勝利）；
- Leibniz 首創記號與發表，使微積分成為可傳播、可教授的公共知識；
- 兩人的貢獻互補而不可相互替代。
諷刺的餘波：Leibniz 晚年孤獨離世（只有秘書參加葬禮），而他所做的另一件大事——二進位記數——三百年後成為整個數位文明的基礎。牛頓晚年執掌皇家鑄幣廠，追捕偽幣者。兩人皆非僅是數學家：那是一個數學尚未「職業化」的時代，數學是自然哲學的工具。
例題：1700 年代的「兩派」計算對照#
例題 4.1.1：計算 \(\displaystyle\int_0^1 x^2\,dx\) ，分別用兩派記號展示。
Leibniz 派：
（原函數 \(\frac{x^3}{3}\) ，因 \(\frac{d}{dx}\frac{x^3}{3} = x^2\) ；代入上下限相減——記號直接「讀出」操作。）
Newton 派（流數）：設流量 \(x\) 隨時間流動， \(x^2\) 的流數為 \(2x\dot{x}\) 。問：什麼流量的流數是 \(x^2\dot{x}\) ？試 \(\frac{x^3}{3}\) ：其流數為 \(x^2\dot{x}\) 。故面積為 \(\frac{x^3}{3}\) 在 \(x=0\) 與 \(x=1\) 的值差，即 \(\frac13\) 。
兩派得到同一答案，但 Leibniz 派的推導可以機械化、符號化——這正是它傳播更快的原因。
歷史啟示#
- 科學優先權之爭的反覆出現（Newton–Hooke、Darwin–Wallace、Leibniz–Newton）：制度設計（發表時間戳、同行評議、開放協作）比個人道德更能防止悲劇。
- 記號戰爭是真實的：今日 LaTeX vs. Word、不同機器學習框架之爭，歷史學家會以同樣眼光記錄。
- 基本定理的真正意義：它不是兩個人的勝利，而是人類第一次看清「變化」與「累積」是一體兩面——這個洞見驅動了之後三百年的全部定量科學（10.3 節）。
與其他章節及領域的關聯#
- 4.2 節：把本節的歷史直觀鑄成兩個嚴格定理（FTC1 變限求導、FTC2 原函數差值）。
- 4.3 節：積分技巧體系正是 Leibniz 記號操作性的果實。
- 1.1、10.1 節：爭論引發的嚴格化壓力線。
- 科學史／STOS：優先權制度（首發即確權、時間戳）的起源；「多重獨立發現」社會學。
- 資訊科學：Leibniz 的二進位與今日位元；他的「普遍文字」（characteristica universalis）夢想是符號邏輯與人工智慧的遠祖。
- 物理學：《原理》以微積分思想（幾何包裝）完成開普勒三定律的統一推導，是所有數學物理的範式。
練習#
- 用 Leibniz 記號與流數記號分別計算 \(\dfrac{d}{dx}\,x\ln x\) ，比較表述的長度與清晰度。
- 閱讀性地重構：設 \(F(x) = \int_0^x t^2\,dt\) ，用「面積函數的變化率」直觀說明 \(F'(x) = x^2\) （畫出 \([x, x+h]\) 上小條面積的論證），再對照 4.2 節的嚴格證明。
- 查閱 Hall《Philosophers at War》或相關文獻，寫 300 字評述皇家學會 1713 報告的程序公正問題。
- 用兩派記號表達「鏈鎖律」，說明為何流數記號在此吃力。
- 思考題：如果 1684 年 Leibniz 的論文被扼殺、微積分推遲五十年發表，哪些科學進展（力學、天文、工程）會受到直接影響？試列三項並說明依賴關係。
（本節完）