柯西 · 严格之墙
奥古斯丁-路易·柯西，一七八九年八月二十一日生于巴黎。五天后，巴士底狱被攻陷，大革命开始。他的一生恰好横跨法国最动荡的七十年：革命、恐怖、帝国、复辟、再革命。父亲是律师，带着全家避乱乡间；拉普拉斯与拉格朗日是家里的常客——拉格朗日看着这个瘦弱的孩子，留下一句著名的嘱咐：十五岁以前，别让他碰数学书。
十六岁进巴黎综合理工学院，二十六岁当上科学院院士。他一生发表七百八十九篇论文，数量仅次于欧拉；他的《分析教程》（1821）与《无穷小分析教程概要》（1823），把微积分从「一套好用的算法」变成「一门有定义、有证明的学科」。今天课本里极限、连续、导数、积分的讲法，骨架是他搭的。
他做的事可以用一句话概括：十八世纪的分析里满是「显然成立」的命题，重排一个级数可以改变它的和，连续函数被当作一定可微，无穷小被说成「要多小有多小的数」——这些漏洞，他一个一个堵上。他堵漏洞的办法不是更聪明的技巧，而是一堵墙：先用定义说清一个词是什么，再谈它的性质。
这一册讲他的三件事：一件是极限与连续的严格定义（「不要问它是什么，先说它要多近有多近」）；一件是级数收敛的判据（柯西判据，无穷求和的第一条安全法）；一件是柯西积分定理（复平面上「路径无关」的第一块基石，复变函数论的开端）。
故事层——跟着画面走：革命中的巴黎、瑟堡的海港工地、综合理工的讲台、流亡布拉格的马车。
数学层——暖金色的框里是这一页真正的数学：极限定义、柯西判据、导数与积分的严格化、复积分。
注疏层——页面下方的小字，标注年代、原文与真伪，给一起读的大人。
第一幕 「连续」凭什么连续 · 第二幕 不要问它是什么
第三幕 极限语言与导数登台 · 第四幕 验证一个级数、走一遍积分 · 第五幕 从严格之墙到分析的算术化
一七八九年八月下旬，巴黎的空气里有火药味。八月二十一日，一个男孩在西岱岛附近的家中出生，取名奥古斯丁-路易·柯西。五天前，巴士底狱的石头已经搬空了。
随后的年月对任何家庭都不好过。父亲路易-弗朗索瓦是律师，在旧制度末年做到立法院的职务，革命一来丢了差事，带着全家躲到乡下阿让托——那里住着一位大人物：拉普拉斯，写《天体力学》的那位。两家人共用一个院子，小柯西就在拉普拉斯的书堆旁边长大。
父亲给他定了极严的课程表：拉丁文、历史、诗歌、写字。数学不许碰。家里的另一位常客拉格朗日看了这孩子的天分，对父亲说：这样也好——「他会是我们中间最出色的，但如果太早学数学，他只会成为一个不错的计算者。先让他长出别的根。」
于是这个后来写出七百八十九篇论文的人，童年的功课是拉丁诗。直到十五岁进入中央学校，系统数学才进他的课表——两年里他把功课做穿，拉格朗日随后劝他：去综合理工，那里有法国最好的数学教学。
一个生在革命里的人，后来用一生给一门学科立法。这件事不是巧合：旧的分析建立在「显然」上，而那个年代，「显然」二字刚刚在政治里破产。柯西对定义的执念，与他的时代互为注脚。
柯西动手之前，微积分是什么样子？是一台好用到吓人、却没人说得清原理的机器。
牛顿与莱布尼茨把它造出来，伯努利兄弟与欧拉把它用到出神入化：行星轨道、弦的振动、热流、岁差，一个接一个被算了出来。可是支撑这一切的地基，全是「显然成立」的句子：无穷小是「要多小有多小的数」；连续的曲线自然是光滑的；一个级数随便怎么加，加出来的和总是那个和。
这三个「显然」，个个都是漏的。
第一个漏得最体面：一七一三年，莱布尼茨与约翰·伯努利通信讨论 1−1＋1−1＋…，一个人说它等于 1/2，理由是「部分和摇摆于 0 与 1 之间，取平均」；今天知道这个式子根本没有和。第二个漏得最持久：连续必可微的信念，要到一八七二年被魏尔斯特拉斯的一个函数击碎。第三个漏得最隐蔽：把一个收敛级数里的项重新排一排顺序，和会变——这一条，本册第一幕就动手算给读者看。
漏洞的存在不奇怪。奇怪的是当时没有人在意：机器好用，谁检查地基？柯西在意的理由很单纯——他是要教书的。综合理工的学生一届几百人，讲义印出来就是教材；一个「显然」如果讲不清，几百个人就得一起含糊下去。他把讲台当成了法庭，把定义当成了法典。一八二一年那本讲义的扉页上写着他的宣言。
一八二一年，《分析教程》印行。扉页上有一句话，后来被反复引用：
「至于我讲的方法，我力求赋予它们几何学中存在的全部严格性，而不求助于由代数通则拖进来的种种理由。」
这句话当时是矛头。十八世纪的通行做法，是拿「代数通则」对付无穷——有限场合成立的规则，直接搬到无穷项、无穷小上。柯西宣布：这条路到此为止。无穷的世界要进，先在门口接受检查：什么叫极限，什么叫收敛，什么叫连续，一个一个定义清楚。
这个做法被后人叫作「分析的严格化」，也有人叫它「严格之墙」：直觉在墙外，定义在墙内，任何命题要进墙，先得能从定义推出来。
墙不是一天砌成的。柯西给出了极限与连续的定义、收敛判据、导数与积分的严格化；「ε-δ」这套今天通行的记法，是三十年后魏尔斯特拉斯定型的；「实数到底是什么」这个更深的问题，要到一八七二年由戴德金与康托尔回答。但地基的图纸，是一八二一年画下的。
这一册沿这道墙走五步：先看墙外的裂缝（第一幕），再看柯西怎么立定义（第二、三幕），然后动手验证他的判据、走一遍他的积分定理（第四幕），最后看这道墙一直砌到了哪里（第五幕）。
柯西的童年课表里没有数学。拉丁文、希腊文、历史、诗歌，每天按钟点走。父亲教书极严：字要写得端正，诗要背得全。多年后柯西写作的风格——句子齐整、条目分明、一步一步不跳——大概就是那时练出来的。
拉格朗日每过一阵来看这孩子。他看出了天分，却反对提前开发。他对父亲说的话后来流传很广：这孩子会是他们中间最出色的，但如果太早埋头数学，他只会成为一个不错的计算者。先长别的根。
十五岁，柯西进中央学校，数学第一次进课表。两年之后，拉格朗日亲自劝他报考综合理工——法国数学教育的最高讲台。一八〇五年十月，十六岁的柯西以笔试第二的成绩入学。第一名的人叫阿尔博加斯特，后来没留下什么；这件事常被拿来讲，考试名次算不得什么。
综合理工的生活是军事化的：起床号、队列、军装。课程表同样凶猛：拉格朗日的分析、蒙日的画法几何、傅里叶的热学讲稿在教师间传抄。学生毕业直接进工程兵种。一八一〇年，柯西毕业，被派往瑟堡——英吉利海峡边上的一座军港，任务：修防波堤。
行装里他带了三本书：拉普拉斯的《天体力学》、拉格朗日的《解析函数论》，还有一册《效法基督》。前两本后来都写满了批注；第三本他终生带着。数学、工程与信仰，三条线从瑟堡起一起走。
要明白柯西在堵什么，先得看十八世纪的人怎么说话。
欧拉在《无穷分析引论》里把函数定义为「解析表达式」：一个由字母与数字、用加减乘除、乘方开方、三角指数拼出来的式子。函数分两种：「连续的」是一个式子一管到底的；「不连续的」（今天说的分段）是式子半路换人的。所以欧拉的「连续」，说的是式子的完整，不是曲线的笔画——一条折线如果由一个式子生成，是「连续」的；一条光滑得不得了的曲线，如果两段各写各的式子，是「不连续」的。
这与今天的用法几乎相反。今天说连续，说的是变化没有跳变；欧拉说的连续，说的是表达没有断开。
这套语言用起来问题不大——只要处理的是行星、弦、热流这些「听话」的量。可它经不起追问：两段式子拼成的曲线，到底连不连续？一个式子在一点附近突然变号，算不算断？「连续」这个词，在十八世纪里没有定义，只有用例。
更麻烦的是「无穷小」。整个微积分靠它运转：莱布尼茨的 dx、牛顿的瞬间，都被说成「比任何给定的量都小」。可它到底是什么？是零（那除法无意义），不是零（那商是分数、误差仍在）？伯克利主教一七三四年就戳过这里：无穷小是「消失之量的鬼魂」。数学家们笑一笑，继续用——机器太好用了。
三桩糊涂账，先算最直观的一桩：把加法的次序换来换去，和不变——这在有限个数的加法里千真万确。搬到无穷级数上呢？
取一个温和的级数：1−1/2＋1/3−1/4＋…，正负交替，一项隔一项。逐项加：第 10 项得 0.645635，第 100 项 0.688172，第 1000 项 0.692647，第 10000 项 0.693097。它稳稳地停在 ln 2＝0.693147… 上。这是一个收敛级数。
现在只动顺序、不动任何一项：每一轮取两个正项、一个负项，按原次序轮着来——1/1＋1/3−1/2＋1/5＋1/7−1/4＋…。逐项加下去：它停在 1.0397。换成每轮一个正项、两个负项：停在 0.3466。每轮一个正项、三个负项：停在 0.1438。
同一个级数，一项不少，只换次序，可以停在 0.693、1.040、0.347、0.144……事实上，想要哪个正数，几乎都能排出来。
「和不变」的直觉错在哪？错在假设了先后无关。有限加法里，先后无关是因为每一项都「就位等着」；这个级数里，正项的和与负项的和各自发散到无穷——加法是一场「总额无穷的拔河」，次序决定谁的余量算进结果。后来的人们给这类级数起了名字：条件收敛——收敛是有条件的，条件就是别动次序。
柯西判定级数好坏的新标准（第三幕讲），正好把这桩账算清。
第二桩账是「发散可以装得很像收敛」。看这个级数：
Σ 1/(n(n＋1)) ＝ 1/2＋1/6＋1/12＋1/20＋…
逐项加：第 1 项 0.5；第 2 项 0.666667；第 5 项 0.833333；第 10 项 0.909091；第 100 项 0.990099；第 1000 项 0.999001。爬得又慢又稳，直奔 1——它其实收敛到 1，因为每一项都拆成 1/n−1/(n＋1)，加起来一层一层相消。这是一个真收敛的级数。
再看它的近亲：调和级数 1＋1/2＋1/3＋1/4＋…。逐项加：第 10 项 2.928968，第 100 项 5.187378，第 1000 项 7.485471，第 10000 项 9.787606。长得也很慢，慢得像在收敛——但前人已经知道它总也停不下来：它发散。
麻烦就在这里：「加到几万项都稳稳的」不等于「收敛」。眼睛与算力都只看到了开头。要判断一个级数的终身表现，需要一条看整体、不看开头的办法——不问「加到哪里了」，只问「往后的项彼此是不是越贴越近」。
这正是柯西判据要管的事。在那之前，人们判断级数，靠的是猜出极限、再验证接近；柯西的办法不猜极限——极限是谁，他根本不问。这套「不问终点、只验纪律」的思路，是本册暗线的核心，第二幕正面展开。
一八一〇年，二十一岁的柯西到瑟堡报到。防波堤是拿破仑的大工程：一条石堤伸进英吉利海峡三公里多，要让舰队不靠英国港口也能驻泊。工程指挥官的算术顾问一栏里，填着这个刚出校门的年轻人。
白天是石方、潮位、石灰配比；夜里是一盏油灯下的数学。他利用工余重做了多面体几何的几个问题，写成两篇短文寄回巴黎科学院——勒让德读后写评语说，这位年轻工程师的方法「以优雅取胜」。又过两年，他做了更要紧的一件事：用海军工程的需要反过来逼问自己——算出来的数，凭什么可信？
工程师算堤、算潮、算桅杆，误差以尺计，无所谓；可他渐渐发现，自己想做的那种「算」，误差以「无穷小」计，而无穷小的账本混乱不堪。一八一二年，他借口健康申请调回巴黎，从此再没有回过工程一线。
回巴黎的岁月不好过。科学院的席位轮不到他，他靠代课与写论文过活，一稿一稿地投。转机在一八一三年：他关于波浪在深水中传播的论文获奖，次年一篇关于多边形星形的论文再获奖。一八一六年三月，复辟政府改组科学院，把投靠革命的蒙日除名，空出的数学部席位给了二十六岁的柯西。
这是荣誉，也是污点——蒙日是画法几何的创立者，学生们记恨这件事很多年。柯西没有辩解。他接下席位，然后开始做一件所有人都没预料的事：他要重写整门分析。
第一幕的账摆完，可以做一个小结：十八世纪的分析欠了三笔债，其中最显眼的一笔是「加法次序无关」被滥用。
柯西的处置分两步。第一步是把级数分类：若各项取绝对值后加起来仍收敛（如 Σ1/n2），称绝对收敛——这样的级数随便重排，和不变，是「安全」的；若原级数收敛、取绝对值后发散（如 1−1/2＋1/3−…），称条件收敛——收敛依附于次序，动次序就动和。
第二步更狠：他要求一切论证里的级数，要么绝对收敛，要么按指定次序逐项处理、并把「次序」写进证明里。从此「这个级数等于多少」不再是一句直觉，而是一条有前提的定理。
这套分类今天写在每本微积分教材里。它的真正意义不在分类本身，而在示范了一种处理无穷的态度：无穷加法不是「有限加法的延长」，它是一种新的对象，要有新的纪律。十八世纪的漏洞，几乎都出在「把有限世界的直觉直接搬进无穷世界」；柯西筑墙的第一块砖，就是宣布这道搬迁需要检查。
留下的裂缝也有。条件收敛的级数既然如此脆弱，逐项积分、逐项求导这些更重的操作还能不能做？「连续函数列的和还连续吗」？第一幕结束在这些问题上——第二幕，柯西用定义来接它们。
第一幕讲「墙外的裂缝」，账清一清。
少年与工程。拉格朗日劝他晚学数学；十六岁入综合理工；二十一岁修海港。工程算不了的问题，把他推向分析的地基。
欧拉的「连续」。十八世纪的连续指「一个式子一管到底」，不是「变化没有跳变」；无穷小被当作「要多小有多小的数」，伯克利讥为「消失之量的鬼魂」。
重排变和。1−1/2＋1/3−…＝ln 2＝0.6931；每轮两正一负停在 1.0397，一正两负停在 0.3466，一正三负停在 0.1438。条件收敛，次序即和。
慢而不停。Σ1/(n(n＋1)) 收敛到 1；调和级数加到一万项 9.79 仍不停。「开头稳」不等于「收敛」。
交错调和级数：Σ(−1)n＋1/n＝ln 2＝0.693147…；重排定理 ln 2＋(1/2)ln(p/q)。
望远镜和：Σ1/(n(n＋1))＝1；调和级数发散：HN≈ln N＋0.5772。
分类：绝对收敛（重排安全）／条件收敛（次序即和）。
一八一五年起，柯西在综合理工代课；一八一六年接掌分析课。他的听众是两百名不到二十岁的准军官——拿破仑战争刚停，教室里坐满了见过战场的人。讲义必须印出来：这是全法国工程师的统一课本。
一八二一年秋天，《分析教程》第一卷印行。这本书的目录在今天看来平平无奇：实变量、级数、极限、连续、收敛、复数。可在当时，这是一份陌生的目录——以前的分析课本从「微分」开讲，他倒过来：先把地基逐层打好，微分要到下一卷才露面。
开篇就是那份宣言：全部严格性，几何学的标准，不借代数通则。跟着的第一件大事，是给「极限」一个说法——不再问无穷小「是什么」，只描述它「做什么」。
学生们的反应记录在案：抱怨。同时代的泊松抱怨这书「难读」，学院行政几次讨论要不要简化。柯西不改。此后三十多年，这本讲义的框架传遍欧洲：阿贝尔读它，魏尔斯特拉斯的柏林讲义沿它的骨架，综合理工的教材体系沿用至今。
一八二三年，《无穷小分析教程概要》印行，微分与积分登台——导数第一次被定义为极限，而不是「无穷小的比值」。一八二五年，一篇论定积分的论文把积分搬进复平面。三件东西，墙有了完整的 shape。
柯西对极限的说法，译成今天的话是这样：
当一个变量相继取值，无限趋近一个固定的值，使得它与那个值的差可以变得小于任何给定的量——就把那个固定值叫作这个变量的极限。
逐字看这个定义。它不说无穷小「是」什么；它只描述一种活动：变量在动，差在缩，而且缩得比任何指定的量都小。要吵「无穷小是什么」，可以永远吵下去；「差能不能小于任何给定的量」却是一个可以检验的事实。把形而上的问题，换成可检验的活动——这一步，就是整座严格之墙的砖。
举一个数列。取 an＝(1＋1/n)n：n＝10 得 2.593742，100 得 2.704814，1000 得 2.716924，10000 得 2.718146。它挤向 e＝2.718281…。定义问的不是「e 是什么」，而是：给定任何一个容忍度，比如 0.0001，从哪一项起，每项与 e 的差都小于它？答案存在而且找得到——这就够了。
再举一个会翻车的：1−1＋1−1＋…。部分和是 1、0、1、0……它在 0 与 1 之间打摆，永远不「无限趋近」任何一个值。按新定义：这个式子没有极限。一个吵了两百年的哲学问题，被一个定义轻轻放平。
至于「ε-δ」那套今天的记号——用两个字母把「任何给定的量」与「从哪项起」写成两条不等式——那是三十年后魏尔斯特拉斯的定妆。内容已经在柯西这里，差的只是记号。
有了极限，「连续」立刻能说清。柯西的定义译过来是：
若变量的增量 α 无限小时，函数自身的增量 f(x＋α)−f(x) 也无限小，则称 f 在 x 处连续。
注意这与欧拉的定义差在哪里。欧拉问的是「式子断没断」，柯西问的是「输入动一点，输出跟着动多少」。连续不再关于表达式的外形，而关于一种受控的响应：输入的增量被压得越小，输出的增量就跟着被压得越小。
用它检验几个函数。x2：输入增量 α，输出增量 2xα＋α2，α 缩小则它跟着缩小——连续。1/x 在 x＝1 附近：增量带来的输出增量约为 α，也受控——连续。但 1/x 在 x＝0 处没有定义，谈不上连续——「不连续」第一次有了准确的落点：不是「长得断」，而是「响应失控」。
还有一个今日通行的等价写法：limx→af(x)＝f(a)——极限到达，而且到达的恰好是函数在那里的值。两个说法一个是增量的（柯西原文），一个是极限的（后世通行），内核相同。
可是这定义里藏着一个当时没人注意的缺口：α 缩小时输出跟着缩——「跟着」是逐点说的，还是整段一起说的？两种说法对「一整排点」会给出不同答案。这道缝隙要过二十几年才被人看见，p.18 再讲。
本册暗线在柯西判据上收束。它说：
一个级数收敛，当且仅当：无论事先指定多么小的容忍度，总能找到一项的位置，使得从那里往后的任意两段部分和，相差都不超过这个容忍度。
慢读一遍。通常判断「收敛」，总得知道它往哪儿去——极限是 1？是 e？是 ln 2？判据说：不用知道。只检查级数自身的纪律：把队伍从任何地方截成两段，靠后的两段加起来相差会不会小于给定的量。若无论截在哪儿、无论往后取哪两段，差都能被压到任意小，这列数就是一队有纪律的行军——它必然收拢；反之，纪律涣散，它必不收拢。
这个「不问终点」的特点是全新的。欧拉式的方法是先猜出极限（用直觉、用类比、用插值），再验证逼近；猜错了，一切白费。柯西把「猜」从流程里删掉了——收敛性是级数的内在属性，不依赖对极限的任何了解。这一思想后来改了名：满足这纪律的数列，今天叫「柯西列」；实数系的完备性——「柯西列必有极限」——正是实数区别于有理数的地方。
怎么用？两个例子放第四幕实算：Σ1/n2 与调和级数 Σ1/n，一个通过检查，一个被当场抓住。判据之下的收敛与发散，第一次是可以当众演示的事。
把柯西的定义与它所取代的问法并排放着看，才看得出设计的巧处。
旧问法：「无穷小是什么？」——这是个存在论问题，要给一个东西找出身。三百年里给的答案有：「不可分的量」「正在消失的量」「要多小有多小的数」「比任何正数都小却不为零」。每个答案都招来新的反驳。
新问法：「这个量怎样活动？」——这是个可检验的行为问题。定义只描述活动的方式（差被压得比任何给定量小），不裁决参与者的身份。于是形而上退场，检查进场：任何候选的极限，都得通过同一套检验，谁也躲不开。
这不是回避问题，而是换对了问题。数学史上凡有这类时刻——不回答「它是什么」，只规定「它怎样行为」——都引发一次扩张：复数（不问「虚数存在吗」，只问「按规则运算是否一致」）、群（不问「群是什么东西」，只问「满足四条公理的结构有什么性质」）、直到二十世纪的公理化浪潮。柯西在分析里做的，正是后来被称公理化的那种动作的先声。
当然，定义只立了门规，墙还没砌完：逐点与整体的缝隙、收敛判据的用法、复数世界的积分——三件事分属三幕，后面各自展开。
一八二一年的《分析教程》里，有一条今天看来「错得漂亮」的命题：柯西断言，收敛的连续函数级数，其和仍是连续函数。
听起来无可指摘——每一项都连续，加起来又收敛，凭什么和会不连续？可是反例就在傅里叶的手稿里。取级数 2 sin(x)−sin(2x)＋(2/3)sin(3x)−(1/2)sin(4x)＋…，通项是 2(−1)n＋1·sin(nx)/n：每一项都光滑无比，级数在每一点都收敛；但它的和，在 −π 与 π 之间是直线 y＝x，而在 x＝π 这一点，级数的和是 0——左边逼近 π，右边逼近 −π，值却钉在正中间。一条「直线的级数」，在自己的端点上不连续。
每项连续、级数收敛、和却不连续——柯西的命题被自己的判据世界证伪了。问题出在哪？出在 p.15 埋下的那道缝隙：「α 缩小时输出跟着缩」，对每个点都成立，与对整段一起成立，是两回事。前者叫逐点，后者叫一致。逐点的连续性加不起来；只有一致的连续性才能传给和。修正案在一八四八年被塞德尔与斯托克斯分别提出，魏尔斯特拉斯随后把它写成了标准条文：一致收敛。
这件事的分量，比一个错误的命题重得多。它证明了两件事：第一，柯西的墙不是装饰——它严格到能拦住柯西自己；第二，定义式的数学有自己的纠错机制：命题被推翻，检查的是定义，而不是直觉。
柯西本人后来在一八五三年重新审视了这一带，把条件细化——他没有掩盖裂缝，他在自己砌的墙上继续砌。
第二幕讲「定义怎样立起来」，账清一清。
极限定义。不问无穷小是什么，只描述活动：差能压得比任何给定量小。1−1＋1−1＋… 按此定义无极限，两百年的争论被一个定义放平。
连续定义。输入动一点，输出跟着动多少。连续不再关于式子外形，而关于受控的响应。
柯西判据。不问终点，只验纪律：靠后的任意两段部分和相差可以任意小。收敛第一次成为不依赖直觉的内在属性。
墙的裂缝。「连续函数级数之和连续」被逐点/一致之别修正——严格性拦住了提出严格性的人，这恰是它的力量。
极限：lim(an)＝L ⇔ 任给容忍度，从某项起 |an−L| 恒小于它。
连续：limα→0[f(x＋α)−f(x)]＝0，等价于 limx→af(x)＝f(a)。
柯西判据：Σun 收敛 ⇔ |Sn＋r−Sn| 可一致地任意小；逐点≠一致。
极限与连续立好之后，柯西回头处理那个三百年的老问题：什么是导数。
一八二三年，《无穷小分析教程概要》印行。开篇不是公式，是一段话，大意是：当因变量的增量与自变量的增量同时无限减小、而比值收敛于某个极限，这个极限就叫导数。翻译成今天的句子：
f′(x)＝limΔx→0 Δy/Δx
三百年里，微积分靠「无穷小的比值」运转，人人会用、无人能答「无穷小除以无穷小是什么」。柯西的回答干脆：没有「无穷小的除法」这回事——比值是一个普通量的极限。dy/dx 这个写法保留下来，但它不再是分数，而是一个整体的记号，读作「比值的极限」。
同年他把同一套语言用到积分上：定积分不是「原函数代进去减」，而是分割求和再取极限——先定义和，再证明原函数差恰好给出这个和。次序倒转了：牛顿与莱布尼茨把积分当反导数，柯西把反导数降格为积分的一条定理。
这套次序，今天每一本微积分教材都原样沿用。学生在课堂上学的顺序——极限、连续、导数、积分、反导数——正是柯西一八二一到一八二三年排定的队。
用新定义算一遍最简单的导数，看「极限」怎样替代「无穷小」。
取 y＝x2，在 x＝1 处。增量 Δx 取一串值，算比值 Δy/Δx＝((1＋Δx)2−1)/Δx：Δx＝0.1 得 2.1；0.01 得 2.01；0.001 得 2.001；0.0001 得 2.0001。比值稳稳走向 2——所以 (x2)′ 在 1 处等于 2。
注意过程中没有一行用「无穷小」当数：每一步都是普通的除法，只把 Δx 取得越来越小，最后问「比值趋向谁」。在 x＝3 处重做：Δx＝0.1 得 6.1，0.001 得 6.001——趋向 6。规律立现：(x2)′＝2x。展开式一行就证出：Δy＝2xΔx＋(Δx)2，除以 Δx 得 2x＋Δx，令 Δx→0，剩 2x。
这套流程今天叫「差商取极限」，课堂里每周都在做。它与莱布尼茨的差分法只差一句话：莱布尼茨把最后一小步说成「扔掉高阶无穷小」，柯西把它说成「取极限」。算术一模一样，辩护词换了——而辩护词决定这套算法能不能被证明、被推广。
推广立竿见影：极限定义不挑函数脾气。sinx 的导数、分段函数的导数、甚至在某点不连续处的「导数不存在」，都能在同一框架下逐个检验。导数从「运算技巧」变成了「函数的一种可检验性质」。
定积分，柯西的定义是：把区间切成 n 段，每段取左端点的函数值乘以段宽，全部加起来——这个和记作 Sn；若 Sn 当 n→∞ 有极限，这个极限就是定积分。
拿 ∫01x2dx 切一遍：四段（左端 0、0.25、0.5、0.75）得 0.21875；十条得 0.285；一百条得 0.32835；一千条得 0.332834。数值朝 1/3＝0.333333 爬。每段改取中点：四条 0.328125，十条 0.3325，一百条 0.333325——也在爬，爬得更快。柯西的定义要求证明：无论怎么切，极限存在且同一个——对连续函数他证明了这一点；「什么函数可积」的完整答案，要等黎曼与勒贝格（第五幕）。
定义立好之后，微积分基本定理成了一条可以证明的定理：把 [0,x] 上的分割和定义为 F(x)，则 F(x＋h)−F(x) 恰好是 f 在末端那一小条上的和，除以 h 取极限，得 f(x)——「和的函数」的导数就是被积函数。于是 ∫01x2dx＝[x3/3]01＝1/3，与切条数值严丝合缝。
次序的意义在这里：牛顿—莱布尼茨公式不再是无穷小魔术，而是「和的定义」与「导数的定义」之间的一条已证通路。整台机器的每个齿轮，第一次都咬合在定义上。
极限与导数立定之后，那个「鬼魂」——无穷小——要重新安置。柯西的安置法是：无穷小不是一种数，是一种变量：一个绝对值无限减小的量。它与「无穷大」一样，描述的是活动的方式，不是静态的尺寸。
这一下，旧记法全部得救。莱布尼茨的 dx、牛顿的点记号、二级小量 o(x) 的口头禅，都保留下来，只是每一条都改挂在极限上：「dy＝f′(x)dx」不再是小量等式，而是比值的极限等于导数这一事实的记号化；「扔掉高阶小量」改为「极限过程中，高阶项的贡献趋于零」。
比较两代算法在同一道题上的表现：d((x＋dx)3) 展开，老算法写下 3x2dx 加「二阶以上忽略」；新算法写下 [(x＋h)3−x3]/h＝3x2＋3xh＋h2，令 h→0。后者的每一步都有定义作保，且谁也不必相信「忽略」总被允许——忽略的条件本身成了一类要证明的定理。
安置完无穷小，柯西又立了连续与导数的「高阶」规矩：二阶导数、泰勒展式的余项，全部在同一语言里重写。十八世纪的整座分析大厦，于是被逐层搬进新地基——外观几乎没变，地基换成了定义。
墙内还剩一块地没量：复数。下一个十年，柯西把积分搬进那个平面。
新课本的第一批读者，是综合理工的学生。他们的反应分两派。一派抱怨：泊松公开说这套讲法「繁琐」，学院教务几次想砍学时。另一派记住了一生：一个叫刘维尔的年轻人后来创办《纯粹与应用数学杂志》，把「严格」定为这本刊物的门规——这本刊后来发表了伽罗瓦的遗稿。另一个学生拉梅，把柯西的复数讲法带进了弹性力学。
讲义越出国境的方式很朴素：抄本与书评。阿贝尔一八二六年到巴黎，在给家乡老师的信里写：《分析教程》是少数几本「每一个珍视分析的纯粹性的人都应当读」的书——一个挪威青年，读的是借来的抄本。柏林这边，一八二零年代起，克雷尔杂志上柯西的论文一篇接一篇地出现，德国数学家逐篇消化。
最远的回声要到三十年后。魏尔斯特拉斯，一个先当了十四年中学教师的人，在柏林的私人讲义里把柯西的思想推到底：给极限配上 ε-δ 的双字母记号，给实数造出严格理论，给「一致」二字立下条文。他常被称作「现代分析之父」，而他自己的说法是：他做的不过是把《分析教程》没做完的事做完。
柯西在巴黎的讲台上一直讲到一八五七年。他的晚年讲义里出现过的学生名单里，有未来的埃尔米特——埃尔米特后来成为刘维尔刊物的合作者，又是魏尔斯特拉斯学派在法国的引路人。一张讲台，接力了两代人。
严格化不是免费的。盘点一下柯西收走与付出的。
收走的：欧拉式的自由。在旧框架里，「函数」是任何写得出的式子，级数可以随意逐项微分，「显然」的推理可以直通结论。新框架里，每一步都要过定义：这个函数连续吗？级数一致收敛吗？可以逐项积分吗？自由被大幅收紧——当时不少人（包括柯西的一些老同事）觉得数学被「管坏了」。
付出的回报：可证明性。收紧之后的分析里，命题第一次分成两种命运：能证明的，给出证明后永久成立；不能证明的，找到反例后永久失效。本册已经见过两次这种「永久判决」：重排改变和（p.8），逐点连续加不出连续和（p.18）。在旧框架里，这两件事只能各说各话；在新框架里，它们是定理。
还有一层更远的回报：反例变成了生产资料。傅里叶的热学手稿、狄利克雷的病态级数、后来魏尔斯特拉斯的处处不可微曲线——这些「不听话」的对象，在旧框架里是丑闻，在新框架里是路标：每一件都指示了定义的边界，每一件都逼出一层新理论。
现代数学的性格由此定型：宁可起点窄，不可推理松。先立定义，再要自由——这一条，从柯西的讲台出发，后来成了全世界数学系的通则。
第三幕讲「导数与积分重新奠基」，账清一清。
导数。不是无穷小的比值，是比值的极限。(x2)′＝2x 由差商的极限一步证出，无穷小除法被请出数学。
积分。先定义「分割和的极限」，牛顿—莱布尼茨公式降为定理。∫01x2dx＝1/3，切条数值与理论严丝合缝。
无穷小安置。它不是数，是无限减小的变量；旧记法全部保留，含义全部重挂。
回声。讲义传遍欧洲；魏尔斯特拉斯三十年后把未竟之事做完。
导数：f′(x)＝limΔx→0 Δy/Δx；差商表 Δx＝0.1,0.01,0.001 → 2.1, 2.01, 2.001。
积分：∫abf＝limn→∞ Σf(xk)Δx；左端 0.21875→0.332834，中点 0.333325（n＝100），真值 1/3。
基本定理：(∫0xf(t)dt)′＝f(x)。
一八二五年前后，柯西的书桌上摊着一类新问题。起头是别人寄来的：达朗贝尔半个世纪前（1752 年）在流体力学里写下过一对关系式，欧拉 1777 年在水力学论文里又碰到它——两个复数表达式互相耦合，形式上极美，地位却暧昧：复数当时被当作「代数的道具」，算完就该退场。
柯西对复数的看法不一样。他在《分析教程》里已把复函数当正式对象处理；到一八二五年，他在《关于定积分的论文》里做了一件前人没做过的事：把积分本身搬进复平面——函数 f(z) 沿平面上一条曲线的积分，定义为沿曲线分割求和取极限。积分不再只是一个数，它成了「沿路走一遍」的账。
这本账立刻露出一条惊人的性质：在平面上不带洞的区域里，只要函数处处可导，积分的值与走哪条路无关——从甲地到乙地，直走绕走，账一样。这就是后人所称的柯西积分定理。这条路无关性，是整座复变函数论大厦的第一块基石：留数理论、复级数、保角映射，都从它出发。
第四幕做两件事：先用柯西判据把两个级数的生死当众判掉（p.28）；再沿两条路各走一遍积分，亲手验证「路无关」何时成立、何时失效（p.29–p.30）。
柯西判据说：收敛 ⇔ 靠后的任意两段部分和相差可以任意小。判据最方便的用法是查一种特定的两段：第 N 项到第 2N 项。这一段的量叫 S2N−SN。判据说：级数收敛 ⇔ 这一段随 N 增大缩到零。
先验 Σ1/n2（加 1, 1/4, 1/9, …）。实算 S2N−SN：N＝10 得 0.046396；100 得 0.004963；1000 得 0.000500；10000 得 0.000050。每次放大十倍 N，段量缩十倍——缩到零，判据放行：收敛。（还能看出段量约为 1/N，此级数和正是 π2/6＝1.644934，本系列前册已算过它的部分和。）
再验调和级数 Σ1/n。同样算 S2N−SN：N＝10 得 0.668771；100 得 0.690653；1000 得 0.692897；10000 得 0.693122。段量停在 0.6931 附近，纹丝不动——这正是 ln 2！加法继续进行，可「第 N 到 2N」的这段永远贡献约 0.693，队伍行军却没有纪律：判据当场拒绝。发散，铁案。
对照着看，判据的力量就在这里：它不问和是不是「看起来稳」，它检查行军的纪律。调和级数加到一万亿项，前面每一项都「稳稳的」，纪律却早已破产——破产的证据，就是这段不缩的 0.6931。
柯西积分定理说：函数在一片区域内处处可导，区域内从甲到乙的积分与路径无关。空口无凭，走一遍。
取函数 f(z)＝z2，起点甲＝1，终点乙＝−1。第一条路：上半圆——从 1 沿单位圆的上弧走到 −1；第二条路：下半圆。把每条弧切成 256 小段，每段取中点算 f(z)，乘段长，加总（数值积分）。实算结果：两条路都停在 −0.666675，完全一致；精确值是 −2/3＝−0.666667，数值只差末位不到十万分之一——256 段的切分误差。
为什么路无关？有一条一眼看穿的初等理由：z2 有原函数 z3/3，两头一减，路不路无关根本轮不到问。真正的定理是反过来的：哪怕写不出原函数，只要函数处处可导，路无关依然成立——柯西的证明不依赖原函数，这才能管住写不出原函数的场合（比如 e−z2，它的原函数不是初等函数，可它在复平面上处处可导，于是沿任何闭合回路积分必为零）。
这就是定理的实用面：许多算不出的积分，可以换一条路走——换到好算的路上去，因为定理保证账目相同。整门复变函数论的「算术」，一半是这条自由换路权。
把函数换成 f(z)＝1/z，再走同样的两条路。它在原点没有定义——原点是它的奇点。上半圆（1 到 −1）实算得 ＋3.141632i；下半圆得 −3.141632i。两条路差出 2πi——精确值应差 2πi＝6.283185i（数值差 6.283264，256 段的切分误差）。路无关，失效了。
再把两条路接成一整圈（从 1 沿上半圆到 −1，再沿下半圆回到 1），绕原点一周。实算：切 64 段得 6.280662i，256 段得 6.283028i——直奔 2πi＝6.283185i。绕奇点一周的积分不是零，是 2πi。这个数叫 1/z 在原点的「绕数账」：回数转一圈，账记 2πi，与圈多大、路多弯统统无关。
对照两条腿的结论：定理没有错，是适用范围的问题。路无关只在「区域内处处可导」时成立；区域内只要藏着一个奇点，绕它一圈就得记一笔账。柯西后来把这笔账发展成「留数」理论：把每个奇点的绕数账记下来，大回路的积分就是各笔账的总和。今天计算实积分的许多巧妙办法，本质都是「把积分搬进复平面，翻一下留数账，再搬回来」。
一上一下两条弧、一枚黑点，把复变函数论的地形画完了：平地与洞。数学的区域和地图一样，画清哪里是平地、哪里有洞，才知道规则管到哪里。
一八三〇年七月，巴黎再革命。查理十世出逃，奥尔良的路易-菲利普登基，新政权要求全体官员宣誓效忠。柯西拒绝。他是虔诚的天主教徒，认定合法的王冠在布拉格，不在巴黎。四十一岁，辞去一切职务，带着妻小上了马车。
先在弗里堡教拉丁文，继而去都灵大学讲理论物理——用意大利语讲。一八三三年，他接到一项奇特的任命：去布拉格，做流亡宫廷的教师。学生是查理十世的孙子，十三岁的波尔多公爵。柯西给他上了整整四年的课：数学、物理、化学，还有拉丁诗。
流亡没有中断数学。恰恰相反，都灵与布拉格的年月里，他写出了关于复积分与光学的多篇文章。书桌随马车走——一八三〇年代中期，欧洲各处的科学院不断收到寄自不同城市的柯西论文，收信人渐渐习惯在信封上多看一眼地名。
一八三八年，他得以回巴黎，却因誓词问题进不了科学院的席位：他在场，能讨论，署名的位置却是空的。僵局拖到一八四八年：又一次革命，共和国干脆取消了宣誓——这一次没有人再要求任何人效忠王冠。柯西恢复全部职位。一八五二年政变后宣誓重立，而给他一人留了豁免。
后来的史家常评说：柯西的政治是迂的，为一句誓词赔上十几年生涯。可他给数学立的法，一句「显然」也不肯放过——迂与严，是同一种性格的两面。
复变函数论的门为什么会被柯西推开？回看这扇门本身：复数是什么，答案在一百年里换过三次。
第一次：复数是「代数道具」。解三次方程的卡尔达诺—邦贝利时代，√−1 只在中间步骤出现，算完即弃——一个「想象中的」记号。第二次：复数是「平面上的点」。一八〇六年阿尔让把 a＋b i 画成平面上的点，加减乘除变成几何操作；一八三一年高斯公开采用同一画法并系统地讲了它的算术——「复数」从此有了一张脸：一个平面。
第三次是柯西的：复数是「可求导的空间」。在他的讲法里，复平面不是记号系统，是一片可以铺路、可以行走、可以对路径记账的土地——微分与积分在土地上直接定义，与实数情形平行。第四幕走过的两条弧，就是在这片土地上走出来的账。
地一旦成了空间，门里的一切都活了：留数把「绕洞一圈」变成可记的账；保角映射把区域变形变成可算的手术；到黎曼手里，函数干脆长出多层大地（黎曼面），多值的纠结在多层空间里被拆开。再往后——弹性力学、流体力学、电学、直到量子力学里的波函数——凡是「振动与波动」的数学，都住在这片空间里。
回头看，柯西的做法仍是那一套：不问「复数是什么」，先规定「在这片土地上怎样活动」。第二次实践，本册暗线换了个场地重演。
第四幕讲「工具上手」，账清一清。
判据断案。Σ1/n2 的 N 到 2N 段缩到零：放行；调和级数的同段停在 0.6931（＝ln 2）：当庭判发散。「稳」不算数，纪律才算数。
路无关。z2 沿上、下半圆各得 −0.666675（精确 −2/3），路径无关验证成立。
奇点记账。1/z 上弧 +iπ、下弧 −iπ，整圈 2πi：洞要记账。留数理论由此起步。
流亡与性格。拒宣誓流亡八年；迂与严，同一性格。
判据应用：S2N−SN（Σ1/n2）＝0.0464→0.00005，趋于 0：收敛；（Σ1/n）＝0.6688→0.6931，不趋于 0：发散。
柯西积分定理：∮闭路f(z)dz＝0（区域内解析）；绕奇点 ∮dz/z＝2πi。
留数：闭合积分＝2πi×（路内奇点留数之和）。
一八四八年复职之后，柯西进入一生中最后一个高产期。他的作息三十年不变：清晨弥撒，上午工作，下午写论文与信件，晚上给慈善团体做账。每周科学院的例会，他几乎每次都提交一两篇文章——秘书们发明了一个词形容这种提交频率：「柯西式洪流」。
总数算下来：七百八十九篇论文与专著，仅次于欧拉。范围也像欧拉一样铺得开：分析、复变、光学、弹性力学（他给出应力与应变的现代定义，工程系的「柯西应力」沿用至今）、天文、概率（「柯西分布」——那个没有均值的分布，是他早已碰过的「病态」）。所到之处都留下定义式的骨架。
他退休后的荣誉一波接一波：科学院、欧洲各院的通讯席位。可他晚年的自题写法仍旧朴素——他在手稿边页上写过一句：定义要立在开头，结论才站得住。这句话是他一生的方法，也是他的墓志。
一八五七年五月二十三日，索镇。他在病中与来探望的大主教谈话，说到死亡，引了一句他常用的古语：人离去的时候，正是我去的时刻。当晚辞世，六十七岁。桌上留着一篇没写完的论文，题目是关于光速在介质中传播的四级修正。
他身后留下的不是一篇惊世的结果，而是一整套把话说清楚的方式。下一页起，看这套方式砌到了哪里。
柯西的定义离今天的写法还差一层皮。他写「差可小于任意给定的量」，用的还是文字；魏尔斯特拉斯把它翻译成两条不等式：任给 ε＞0，存在 δ＞0，使一切 |x−a|＜δ 都有 |f(x)−f(a)|＜ε。「多近有多近」从此是符号游戏：谁都可以代入检验，无需任何解释。今天全世界的课本写的就是这个。
「一致」也写成符号：级数一致收敛，是说一套 δ 要同时伺候区间里所有的点——δ 不许因点而变。p.18 那道裂缝，由此从直觉之辨变成可检验之差。
再往深处走一层，问题移到了「数」本身。极限、连续、收敛，全都悄悄用着一件事：实数是一条没有缝的线。可「没有缝」凭什么？一八七二年，两份答案同时出炉：戴德金用「切」——把有理数一刀分两半，切口处若无数，就补上一个数（戴德金分割）；康托尔用「柯西列」——把收敛到一起的有理数列归为一类，每一类当一个数。柯西判据反过来成了实数的定义：实数系就是那个「柯西列必有极限」的最大数系。
这最后一层，后人称为「分析的算术化」：分析不再倚赖几何直觉（「连续＝一笔画成」），而是站在整数与逻辑上。从讲台上的定义，到数系的构造，严格之墙用了五十年砌到地基。
「什么函数可积」——柯西对连续函数证明了可积，但「不连续到什么程度仍可积」，他把问题留了下来。
黎曼接住它。一八五四年，在哈勒任外的私人讲师，他在任职论文里造了一个函数：R(x)＝Σ（取 x 与最近整数的距离平方，除以 n 的平方）。这个函数处处可积，却在无穷多个点上不连续——不连续点稠密地挤在数轴上。「连续」与「可积」从此正式分家。他顺手给出可积的刻画：间断点可以很多，但必须「总量够小」——这句话后来被勒贝格精确化成「间断点集的测度为零」。
再往病态处走一步：狄利克雷函数——有理数处取 1、无理数处取 0。处处不连续，黎曼积分下不可积。可是它「值是 1 的地方总量很小」（有理数可数），直觉说它的积分应当是 0。黎曼积分算不出这个 0。
一九〇二年，勒贝格换掉切法：不再竖着切区间，而是横着按函数值切、用「测度」量水平层的宽。狄利克雷函数在他的积分下干净利落地等于 0。黎曼积分管不住的一大片函数，被他收编。柯西的「和的极限」思想没变，变的是「量宽度的尺」——分析的工具箱，就此一直铺到概率论（今天概率的公理体系就建在勒贝格积分上）。
一条线贯穿五十年：每一次「病态」出现，先有人量出它的边界，再把边界画进定义。病态不可怕，没有定义才可怕——这仍是那堵墙的逻辑。
严格之墙离日常很远吗？举三件今天的事。
第一件：每个求解器的心跳。数值计算里的迭代法——解方程组的、算矩阵的、天气预报模式里的——每一步都要问「够收敛了吗」，判停的标准正是柯西判据的离散版：相邻两步的差小于容忍度。天气预报、桥梁应力、星历推算、机器学习的梯度下降，停下来的时候都在执行同一条纪律：靠后的两步，差要任意小。
第二件：浮点数是柯西列的世界。计算机的实数是有限的：双精度数只有约 16 位十进制有效数字，相邻可表示的数之间有缝。于是「收敛到机器精度」就是收敛判据的日常应用——误差压到 10−16 附近便不再变小，这既是极限，也是墙。数值分析这门学科的全部合法性，都来自十九世纪那套收敛理论；写坏的算法不是算得慢，是根本不收敛——判据一验便知。
第三件：定理也过机器。一九七六年四色定理的计算机证明惹起争论：可验性怎么办？四十年后这类证明已成常规，配套的是形式验证——把证明逐条写成机器可查的符号推理。用定义立墙、逐条检查的柯西式流程，如今由机器执行，规模大了几个数量级，逻辑没换。
三件事合起来说：那堵墙没有老，它只是从讲台搬进了每一台计算机。
柯西的一生，可带走的东西很多。若只带三样，是这三样。
第一样：一句提问的方式。「不要问它是什么，先说它要多近有多近。」他把一个形而上的死结，改成了一道可检验的手续。这句话后来在数学里以各种面目反复出现——公理、程序、算法——都是「先定行为，再谈身份」。
第二样：一条判据。不问终点，只验纪律。柯西判据让「收敛」第一次成为可以当众演示、可以机器执行的事。今天每一台求解器停机的那一刻，执行的正是这条十九世纪的纪律。
第三样：一堵墙的位置。直觉在外，定义在内。墙砌到今天，从 ε-δ 砌到实数构造、测度论、形式验证——越砌越高，但每一层的图纸都是一八二一年画下的：先定义，后定理；任何命题，过墙即检。
他在世时常被讥为迂：为誓词流亡，为定义与学生较劲，为一句「显然」写三页纸。迂到了极端，成了这行的性格。数学后来对全世界最深的许诺——结论可靠、可复核——许诺的语法，就是他写的。
如果只带走一句，也许是他讲义扉页那句宣言的第一半：全部的严格性，按几何学的标准来。标准立得高，学科才走得远。
五幕走完，把「直觉与定义」的关系摆正，这是本册真正要留下的话。
严格化常被讲成「直觉的敌人」。柯西的故事说的是另一面：直觉是提问者，定义是裁判。没有欧拉时代大胆运算的直觉，就没有值得堵的漏洞；没有柯西的墙，直觉产出的每一条结论都悬着。五十年里，分析的前进方式一直是两拍：直觉先跳一步（傅里叶的热流、黎曼的几何图像、勒贝格的「横着切」），定义随后跟上，把跳出来的东西接住、验清、编入法典。
柯西本人两样都强：他的直觉极好（复积分、留数、应力张量，都是直觉先到），他的定义又极严（每一个直觉结果，他都回头补定义）。后学往往只得其一：只得定义者流于繁琐，只得直觉者重蹈十八世纪。这两样是同一门手艺的两只手——本册五幕，其实一直在演示这两只手怎样交替。
对读这一册的少年，这也许是比任何一条定理更要紧的收获：大胆地想，然后亲手给自己的想法立检查。想得出「显然成立」，就去问「按什么定义成立」——这一问，就是柯西在两百年前的讲台上立的规矩。
第五幕讲「墙砌向何处」，账清一清。
ε-δ 与实数。魏尔斯特拉斯把「多近有多近」写成不等式；戴德金与康托尔一八七二年用分割与柯西列造实数——判据反过来成了定义。
可积性。黎曼函数：不连续点稠密仍可积；狄利克雷函数不可积；勒贝格横着切，把大半「病态」收编。
今天。求解器的停机准则是柯西判据；浮点是带缝的数轴；定理的机器验证换汤不换逻辑。
总账。直觉与定义是同一门手艺的两只手。先立定义，再要自由。
ε-δ：任给 ε＞0，存在 δ＞0，使 |x−a|＜δ ⇒ |f(x)−f(a)|＜ε。
黎曼可积 ⇔ 间断点集测度为零（勒贝格判据）；狄利克雷函数黎曼不可积、勒贝格可积且积分为 0。
柯西判据的离散版＝一切迭代法的停机准则。
把这一册的事按年份排开，是一条动荡年月里的线。
一七八九，八月二十一日生于巴黎；五日后巴士底狱陷落。一八〇五，十六岁入综合理工。一八一〇，瑟堡港工程师。一八一六，入科学院（接蒙日之位）。一八二一，《分析教程》。一八二三，《无穷小分析教程概要》——导数与积分的严格化。一八二五，定积分论文，柯西积分定理。
一八二六，留数理论。一八三〇，七月革命，拒宣誓，流亡弗里堡、都灵。一八三三，布拉格，任流亡宫廷教师。一八三八，回巴黎，因誓词悬置。一八四八，共和国废誓词，复职。一八五二，获豁免，席位永保。一八五七，五月二十三日，卒于索镇。
十四个点里，真正改变学科的三个：一八二一年《分析教程》的定义、一八二三年导数与积分的新讲法、一八二五年的复积分。其余的点，是流亡、教书、拒誓、复职——一个固执的人在一门学科里立法的年月。
这条线还有一层意思：他最耐用的东西，出在他最不受欢迎的年头。一八二〇年代，他的讲义被同事抱怨、被学生嫌难、被学院反复审查；恰是那十年，《分析教程》《概要》与复积分论文三件套成型——墙的地基全打在最冷清的日子里。
柯西身后，文集的编法本身是个故事。他一生七百八十九篇，散在巴黎的期刊、科学院的纪要、都灵与柏林的刊物、以及难以计数的单行小册里——流亡年月里，他走到哪里发表到哪里。一九〇〇年代，法国数学会牵头整理，最终由出版家 Gauthier-Villars 承印，从一八八二年编到一九七四年，整整九十二年，二十七卷。
编法分两辑。第一辑十二卷，收他生前正式刊出的著作；第二辑十五卷，收未刊稿、书信与补遗——连他给朋友、学生、杂志编辑的信都逐件编年。一个人的学术通信被当成正式文献编进全集，这在当时是新的做法，后来成了科学史的标准作业。
数字还可以再算一笔：二十七卷里，分析（含复变）约九卷，力学与物理约七卷，其余为天文、代数、几何与通信。他不是「一个领域的专家」——他是那种旧时代的全面家：哪里有未定义的词，哪里就有他的稿纸。
全集最厚的一卷不是论文，是讲义。《分析教程》《概要》与其后各科讲义占了整整数卷——这是他自己选定的主战场。他生前说过，教科书比论文更要紧：论文影响同行，讲义影响一百年。这句话后来的兑现方式，是全世界的微积分课本。
这一册讲完了一堵墙，还剩三个问题，仍开着。
第一个：傅里叶级数何时真正回到原函数？柯西与狄利克雷证明了许多具体级数收敛，可「函数的傅里叶级数逐点收敛于函数自身」的一般刻画，历经杜布瓦-雷蒙的反例（1876）、迪尼、若尔当的条件累积，直到一九六六年才由卡尔森证明「几乎处处收敛」——隔了一百四十年。而「逐项积分与求导何时合法」的精细版本，今天仍在具体场合逐例检验。定义给了通行证，没有给万能证。
第二个：ε-δ 是终点吗？二十世纪出现过两种「另一种做法」：鲁宾逊的非标准分析（1966），把无穷小堂堂正正造出来，莱布尼茨的直觉在新数系里字字有着落；构造主义的证明观则要求「存在」必须给出构造，拒绝纯存在性论证。两种路线都没有取代 ε-δ，也没有被驳倒——严格性本身也有好几种严格法，这件事，仍是开放的一页。
第三个：机器能判定「这个级数收敛吗」吗？给一个由初等函数写成的级数，问它收敛与否——理查森定理（1968）说：对足够宽的一类表达式，连「这个式子有没有零点」都不可判定，收敛判定同样撞墙。柯西判据是好判据，可判据的应用可以不可判定——纪律有了，检查者自身的极限，是留给计算时代的问题。
三个问题，都是那堵墙投下的影子。墙越高，影子越长——这正是墙值得砌的证据。
材料：纸、笔、计算器（会除法与开方即可）。
第一步，定任务。判据说：级数收敛 ⇔ 第 N 项到第 2N 项的量 S2N−SN 随 N 增大缩到零。要亲手验两个级数：Σ1/n2 与 Σ1/n。
第二步，算第一列。Σ1/n2 的段量。先算部分和到 10：1.549768；到 20：1.596163。段量＝0.046396。同法：N＝100：0.004963；1000：0.000500；10000：0.000050。十倍 N，段量缩十倍——纪律良好，判据放行。
第三步，算第二列。Σ1/n 的段量。N＝10：加 1/11 到 1/20 得 0.668771；100：0.690653；1000：0.692897；10000：0.693122。段量卡在 0.693 附近，不动——那正是 ln 2。判据拒绝：发散。
第四步，追问一句。为什么 Σ1/n2 的段量恰好约为 1/N？粗估：N 项里每项约 1/N2，共 N 项，总约 1/N。而 Σ1/n 的段里每项约 1/(2N)，共 N 项，总约 1/2——实际是 0.693，比 1/2 大，因为段内各项从 1/N 递减到 1/(2N)。段量估出来是个常数，就别想它收敛。
第五步，换个姿势再算一次。判据的初等版：调和级数的段量有一个干净下界——段内每项都 ≥ 1/(2N)，所以段量 ≥ N×1/(2N)＝1/2。无论 N 多大，这段永远不小于 1/2。一行不等式，坐实发散——这就是柯西在《分析教程》里重证奥雷姆的办法。
想一想：段量法与「加到一万项看稳不稳」差别在哪？后者只看了一个窗口，前者要求所有足够靠后的窗口都缩到零。一万项的窗口不缩零，就已经足够定案——这就是「纪律」二字的分量。
材料：纸、笔、计算器（会 sin、cos 即可）。
第一步，立账本。复积分沿路记账：把路切成小段，每段取中点 z，记 f(z)×Δz，最后加总。要走的路：单位圆（半径 1），从 1 出发转一圈回 1。
第二步，切十六段。每段转 22.5°。第 1 段中点在 11.25°：z＝cos11.25°＋i·sin11.25°＝0.9808＋0.1951i；Δz 是相邻两点之差，长 0.3902（弦长 2sin11.25°），方向沿圆。手算全部十六段太长，先算一段找感觉，其余列表。
第三步，看机器的总账。用同一方法（中点法）在计算机上切 64 段与 256 段，对 f(z)＝1/z 走整圈：64 段得 6.280662i，256 段得 6.283028i。它奔着 2π＝6.283185 去——绕原点一圈，账面记 2πi，多精确的切法都只往这个数收。
第四步，拆开看两个半圈。上半圈（1 到 −1）：实算 ＋3.141632i≈iπ；下半圈：−3.141632i≈−iπ。两半不是同向抵消，是符号相反的各记一笔——绕行方向决定记账符号，这正是「沿路走」与「两头相减」的本质差别。
第五步，换函数对照。同一整圈换 f(z)＝z2：64 段总账 −0.0000000000000001−0.0000000000000001i 上下——就是 0（精确为零）。z2 处处可导，无洞，绕圈白绕：柯西积分定理亲手验了一遍；1/z 的圆心有个奇点，绕圈必记 2πi：定理的边界也亲手摸到了。
想一想：如果圆取半径 2，1/z 的整圈账还是 2πi 吗？机器一验：是。账只认「绕了几圈、绕了谁」，不认圈大圈小——留数理论全部玄机，浓缩在这一句里。
- 极限
- 变量无限趋近固定值，使差可小于任意给定量——那个固定值叫极限。柯西 1821 年的定义，ε-δ 为其符号化。
- 无穷小（柯西义）
- 绝对值无限减小的变量，不是一种数。二十世纪非标准分析又把它造回数系，两种讲法并存。
- 连续
- 输入增量无限小时输出增量也无限小。等价写法：limx→af(x)＝f(a)。
- 一致收敛
- 级数的部分和向和函数收拢时，「收拢速度」对区间内所有点一致——一套 δ 伺候全部点。逐项运算合法性的通行证。
- 柯西列（基本列）
- 充分靠后的任意两项相差可任意小的数列。实数系＝柯西列必有极限的完备数系。
- 柯西判据
- 级数收敛 ⇔ 靠后任意两段部分和之差可一致地任意小。不问极限，只验纪律。
- 绝对收敛 · 条件收敛
- 取绝对值仍收敛者重排安全；仅原序收敛者重排可变和（甚至排成发散）。
- 导数
- 增量比的极限：f′(x)＝limΔx→0Δy/Δx。dy/dx 为整体记号，不再是分数。
- 定积分（和的极限）
- 分割、取样、求和、取极限。先定义和，再证原函数差等于它——次序与牛顿相反。
- 解析函数
- 在区域内处处可导的复函数。复函数「处处可导」比实函数「处处可导」强得多——一阶可导即无穷阶可导。
- 柯西—黎曼方程
- 复函数可导等价于其实虚部满足的一对偏微分方程。达朗贝尔 1752 年首先写下。
- 柯西积分定理
- 单连通区域内解析的函数沿任何闭路积分为零——路无关性。复变函数论第一块基石。
- 留数
- 奇点处的「绕圈账」：∮dz/z＝2πi。闭路积分＝2πi×圈内留数之和。
- 拉格朗日
- Joseph-Louis Lagrange（1736—1813）。劝柯西晚学数学的邻居；《解析函数论》的幂级数路线是柯西严格化之前最接近的一步。
- 拉普拉斯
- Pierre-Simon de Laplace（1749—1827）。柯西童年的邻居与常客；《天体力学》是少年柯西的三本随身书之一。
- 蒙日
- Gaspard Monge（1746—1818）。画法几何创立者、综合理工的台柱；1816 年被逐出科学院，其席位由柯西接任（见 p.49）。
- 泊松
- Siméon-Denis Poisson（1781—1840）。同院教授，抱怨柯西讲义「繁琐」的代表；其级数求和的旧风格正是新法要取代的对象。
- 傅里叶
- Joseph Fourier（1768—1830）。热传导与三角级数的引入者；病态反例的温床，也是 p.18 反例的出处。
- 阿贝尔
- Niels Henrik Abel（1802—1829）。1826 年读《分析教程》而大加推崇；同年论文补上了柯西对二项级数的证明缺口。
- 刘维尔
- Joseph Liouville（1809—1882）。柯西的学生辈，1836 年创办《纯粹与应用数学杂志》，1846 年刊出伽罗瓦遗稿。
- 狄利克雷
- Peter Gustav Lejeune Dirichlet（1805—1859）。1829 年傅里叶级数收敛判别法的奠基者；「病态函数」的命名者。
- 魏尔斯特拉斯
- Karl Weierstrass（1815—1897）。ε-δ 记法、一致收敛条文化与实数构造的完成者；柯西未竟之事的收尾人。
- 戴德金
- Richard Dedekind（1831—1916）。1872 年以「分割」构造实数——切口补数。
- 康托尔
- Georg Cantor（1845—1918）。同年以「基本列」（柯西列）构造实数；后创集合论。
- 黎曼
- Bernhard Riemann（1826—1866）。可积性刻画与黎曼函数（1854）；复几何（黎曼面）的另一源头。
- 《分析教程》
- Cours d'analyse, 1821。极限、连续、收敛判据的严格定义集中于此；扉页宣言为严格化的纲领。
- 《无穷小分析教程概要》
- Résumé des leçons sur le calcul infinitésimal, 1823。导数与定积分的极限定义，现代微积分课本的直接源头。
柯西的讲义变成世界的课本，中间走了三步，每一步都值得看一眼。
第一步：教案定体例（1821—1860）。综合理工的统一讲义先征服法国各工程学校，再经翻译与抄本进入德意志与意大利。魏尔斯特拉斯的柏林讲义把它推到 ε-δ 形式，并把「一致」二字写成条文。「定义—定理—证明」的三段体例，从此是数学书的标准骨骼。
第二步：课本进中学堂（1890—1950）。微积分从大学下探到高中（各国进度不一），柯西—魏尔斯特拉斯的框架直接成为中学教材的极限章。二十世纪中叶的「新数学运动」一度把 ε-δ 整套搬进中学，因过于抽象退潮；但「极限先行、严格定义」的次序保留了下来。
第三步：直觉与严格的分龄（1950—今）。教学研究的共识逐渐成形：先给足直觉（图像、逼近、数值表），再上定义——恰恰是本册的讲法。p.21 的差商表、p.28 的段量表，正是各国课堂今天通用的「先数值后定义」路径。柯西当年在讲台上两样都做的选择，两百年后成了教学法结论。
回头看这三步，其实只做了一件事：把「怎样把话说清楚」变成可传承的课程。一门学科最深的遗产，往往不是它的结论，而是它训练人的方式——柯西留下的正是后一种。
公案一：蒙日的席位。一八一六年复辟政府清洗科学院，把蒙日与卡尔诺除名（前者因签署处决路易十六的记录，后者因共和身份），空席授柯西。柯西时年二十六，学术上够格，但这次晋升顶着政治阴影：同僚中「拒与夺席者同列」的声浪不小，柯西与蒙日学派的嫌隙由此加深，甚至波及综合理工的教学人事。读这桩公案，要点不在评忠奸，而在看清楚：在那个年代，学术任命与政治忠诚搅在一起，谁也躲不开。
公案二：伽罗瓦的两篇文章。一八二九年夏，十七岁的伽罗瓦把方程论论文交科学院审读，负责的正是柯西——论文没有下文。一八三〇年再投，当年负责审稿的傅里叶去世，稿子再次失踪。今天能确证的是：两次搁置都有档案痕迹，但「柯西故意压制」与「柯西粗心遗失」两说并存，史料不足以定谳。可以确定的是：柯西一八三〇年前后正埋首复积分与流亡事务，审查一拖再拖；而那篇文章的内容，与他自己正在写的东西并不冲突——他后来在群论方向的文章里用到了同类思想。一页稿纸的遗失，让一门学科晚生了十几年——这是数学史上最贵的疏漏之一。
公案三：柯西积分定理的缝隙。柯西 1825 年的证明用了一个假设：f′ 连续。半个世纪里没人挑剔——直到古尔萨（1900）证明：根本不需要这个假设，处处可导本身就够了。定理更漂亮了，故事也更完整了：柯西的墙像柯西本人一样，立得快、立得正，边角要后人再磨三十年。
延伸阅读。想读原著，从《分析教程》绪论与第一章入手（法文原版有影印本，英译见 Bradley & Sandifer 的 Cauchy's Cours d'analyse 注释本，2009）；想读严格的现代展开，任何一本「数学分析」教材的前三章就是柯西框架的现代表述。想读历史，Grabiner 的《柯西与严格分析之起源》（1981）把「十八世纪怎么漏、柯西怎么堵」讲得最透；Belhoste 的柯西传（1991）是标准传记。想动手，p.44–p.45 的两张表值得亲手算一遍——判据与定理，都是算出来的。
这一册讲一个人怎样把「说清楚」变成一门学问：先不回答「无穷小是什么」，只规定它「怎样活动」；然后给收敛立一条不靠猜的判据；最后把积分搬进复平面，看「路无关」何时成立、何处失效。
路线五步：墙外的裂缝（第一幕）、极限与连续的定义（第二幕）、导数与积分的重新奠基（第三幕）、判据与积分定理上手（第四幕）、墙砌向何处（第五幕）。两个动手做（p.44–p.45）建议先做：算两张段量表，「纪律」二字就有了手感；走一圈复积分，「绕洞记账」比任何解释都直观。
暗线是「不要问它是什么，先说它要多近有多近」。这一册给了五层：极限定义不问出身（第二幕）、判据不问终点（第二、四幕）、复数不问身份只定活动（第四幕）、实数由柯西列定义（第五幕）、病态函数先量边界再入法典（第五幕）。孩子最容易记住的是两张表：一张不断缩小的段量，一段卡在 0.693 不动的段量——纪律与破产，各有一张脸。
需要提醒的一点：本册的数学横跨三个层次——数列与级数（会除法即可入门）、极限语言（需要一点代数式变形）、复平面上的积分（需要 sin、cos 与平面直角坐标）。三层读法照旧：故事层可独立成篇；数学层若孩子还没学过三角，可只读 p.8、p.9、p.14、p.16、p.28 五页的表格与结论，p.29–p.30 看图与账目、跳过推演；注疏层给大人核对年代与原文。
「孩子问：无穷小到底存不存在？」——两种诚实的回答都行。回答一（柯西式）：它不是一种数，是一种活动——无限减小的过程；数学里凡是能说清的地方都用了这种讲法。回答二（二十世纪式）：在一种更大的数系（非标准分析）里，无穷小是真正的数，莱布尼茨的直觉在那里字字成立。两句话都对，用哪句取决于想教「纪律」还是想教「历史」。
「为什么非要 ε-δ 这么别扭的写法？」——因为「任意小」三个字有歧义：谁任意？先选谁？ε-δ 把两个「先后」钉死了：先给容忍度 ε，再找响应 δ——顺序就是含义。孩子觉得别扭，多半是「顺序即逻辑」这件事还没长出来；可以先让他玩 p.44 的段量表，表格自己会讲这个道理。
「柯西是个『好人』吗？」——这个问题本册故意没回答。他拒宣誓、守信仰、与学生较劲，也接了蒙日的席位、弄丢了伽罗瓦的稿子。史家 Belhoste 的总结比较公道：他不是用今天的是非标准能装下的人。建议把「人品判断」换成「方法辨认」：他留给学科的不是一种性格，而是一种把话说清楚的手艺——这门手艺，谁都可以学。
虚实成分说明。本册的场景与对话有虚构成分（瑟堡的油灯、综合理工的阶梯教室、流亡的马车），凡年代、数据、引语、书名均在注中给出处。特别提醒两处：p.14 的极限定义是意译（原文为法文长句，无 ε 记号，ε-δ 的定型在魏尔斯特拉斯）；p.18 的傅里叶级数反例用的是现代通行的锯齿函数写法，柯西原文与塞德尔、斯托克斯的原始表述与之形式不同。
《数学家的故事》第二辑 · 第 16 册
柯西 · 严格之墙
明线：极限与连续的严格定义 · 柯西收敛判据 · 导数与积分的极限化 · 柯西积分定理与留数 · 复变函数论的奠基
暗线：不要问它是什么，先说它要多近有多近 · 先定行为，再谈身份 · 纪律可验，终点可免
时代：1789—1857 · 法国（巴黎—瑟堡—都灵—布拉格；下延至 1859 黎曼猜想之前夜——1872 年戴德金/康托尔实数构造、1902 年勒贝格积分、1966 年卡尔森定理与非标准分析）
主典：《分析教程》1821 · 《无穷小分析教程概要》1823 · 《定积分论文》1825 · 留数报告 1826 · 《柯西全集》27 卷 1882—1974
体例：扉页与题解 2 页 · 引子 3 页 · 五幕 35 页（每幕：故事 1 · 数学 3 · 故事/暗线 1 · 交汇 1 · 小结 1）· 收束与留问 3 页 · 动手做 2 页 · 小典 2 页 · 延伸 2 页 · 家长导读 2 页 · 版权 1 页，共 52 页。
《数学家的故事》第二辑十册：阿基米德 · 祖冲之 · 牛顿 · 莱布尼茨 · 欧拉 · 柯西 · 阿贝尔 · 庞加莱 · 诺特 · 华罗庚。本册为第二辑第六册。
封面人物头像：以公版历史石版画（鲁道夫·霍夫曼制，1856 年）为底本作水彩素描重绘；底本藏维基共享资源，属公有领域。