欧拉与十八世纪分析
十八世纪的分析学在没有地基的高楼上施工：伯努利家族与欧拉用大胆到危险的无穷操作把微积分铺满整个数学。本文追问——「不严格也能算对」为何行得通，这笔账最终记在了谁头上。
没有地基，为什么楼还在长高
微积分发明权之争 的实际后果不在名誉，而在路线：英国死守牛顿的流数点记号，日渐孤立；大陆沿莱布尼茨的 、 一路狂奔——这套符号把无穷小变成可机械操作的形式算子，恰好绕开了「无穷小是什么」的拷问。十八世纪的方法论由此定型：规则自洽（级数可逐项加减、代入、求导），结果可验（天文、力学、数值不断点头）。理论解释跟不上，但指标在降——熟悉这个处境的机器学习从业者，应当会对十八世纪的分析学家会心一笑。
伯努利王朝：微积分变成家族产业
把莱布尼茨的私人通信变成公共工具的，是巴塞尔的伯努利家族——三代人像经营企业一样经营分析学。
| 人物 | 代际 | 代表性一击 |
|---|---|---|
| 雅各布·伯努利 | 第一代 | 提出巴塞尔问题；《猜度术》奠基大数定律 |
| 约翰·伯努利 | 第一代 | 悬赏最速降线问题；「洛必达法则」的真身 |
| 丹尼尔·伯努利 | 第二代 | 《流体力学》与伯努利定律；圣彼得堡悖论 |
三件事各有后续：雅各布的《猜度术》通向 概率论思想史 从赌桌到公理化，丹尼尔把分析灌进物理学，而最速降线问题（brachistochrone，1696）逼出了一个全新维度——求一条曲线而非一个数的最优，这是变分法的起点。王朝还埋着另一颗种子：雅各布问 究竟等于几，全欧洲束手。收割这两颗种子的人，来自约翰的门下。
欧拉：让分析说母语的人
欧拉（Leonhard Euler）是约翰·伯努利的学生，也是这个时代的化身。他的《无穷分析引论》（1748）完成了一次对象迁移：微积分的主角从曲线变成函数——一个解析表达式 。今天我们把模型随手写成 ，「函数即表达式」的名分就是在这里确立的。
有了函数作为通用货币，欧拉的形式操作火力全开：
- 巴塞尔问题（1735）：把 当成无穷次多项式，套用「根与系数」的关系，硬算出 。按任何后来的标准这步操作都不合法，答案却分毫不差。
- 欧拉公式：，取 得 ——指数、三角、复数在形式层面焊成一体。
- 变分法：把最速降线一类问题一般化，导出 Euler–Lagrange 方程 从此「求泛函极值」等价于「解微分方程」——王朝埋下的种子长成了树。
- 发散级数：欧拉敢断言 ，并理直气壮地用发散级数做近似计算——渐近思想的先声。
欧拉的合法性标准从来不是逻辑基础，而是内部自洽加外部验证。这在多数时候够用，但没人知道失效判据： 同样能被「论证」成任何值。黄金时代的双面性就在这里——胆量带来了领土，也留下了悬而未决的产权纠纷。
驱逐无穷小：达朗贝尔与拉格朗日的修补
数学家内部并非无感。达朗贝尔 1747 年导出弦振动方程，分析由此进入偏微分方程时代；他同时写下极限的朦胧表述——「一个量趋于零」——严格化的种子在此落地。拉格朗日走得更决绝：《分析力学》（1788）全书没有一张图，力学被写成一场纯代数演出；他试图用 Taylor 级数的系数定义导数，把无穷小从数学中彻底驱逐。方向是对的，但只是把雷从「无穷小」挪到「级数收敛性」，那颗雷原封未拆。这一纲领的副产品 Lagrange 乘子法——把约束优化改写为带乘子的无约束问题——倒是比纲领本身活得久远得多。
账单到期
讽刺的是，最锋利的批评来得最早：贝克莱主教 1734 年就在《分析学家》里嘲讽无穷小是「消失量的幽灵」（ghosts of departed quantities）——动机是打无神论者，箭却正中要害。整个世纪没人因此停手，账单于是滚到十九世纪：无穷小的逻辑危机构成 数学三次危机 的第二次，还账的是柯西的极限与魏尔斯特拉斯的 ε-δ，那已是 分析的严格化 的故事。
遗产与账单一起到账。Lagrange 乘子今天活在每一个带约束的损失函数里——从 SVM 对偶到正则化目标；Euler–Lagrange 方程活在最优控制与连续优化里，一条线直通 最优化方法史 从最小二乘到随机梯度。而欧拉式的方法论——先形式操作、后经验验证——听起来正是当代炼模型的日常；区别只在于，我们现在知道该在什么时候、补什么样的账。