数学家的眼光 张景中 封面

如果三角形内角和不是180°,整个数学大厦会塌吗?

1980年,陈省身在北京大学说了一句让全场愕然的话:"人们常说三角形内角和等于180°,但这是不对的。"不是数学事实错了,而是看问题的方法错了。应当说"三角形外角和是360°"——一个与边数n无关的常数,把无穷多种情形概括为一条规律。这就是《数学家的眼光》要讲的:数学不是计算技巧的堆砌,而是一种改变视角的能力

在常人看来十分繁难的问题,数学家可能觉得很简单;常人觉得相当简单的问题,数学家可能认为非常复杂。

蚂蚁在多边形边界爬行,外角和为360°
▲ 蚂蚁绕多边形爬行一圈,方向改变量之和恰好是360°。这个结论不仅适用于多边形,也适用于任意封闭曲线。


整本书最核心的洞察,是"定义即命运"

张景中院士用了一整章来证明一个命题:数学的难易,不取决于问题本身,而取决于你选择了什么定义作为起点。

他以微积分为例。传统的柯西极限定义——ε-δ语言——在逻辑上严密无比,但在教学上是一场灾难。学生要花几个月才能"感觉"到极限是什么意思。但如果你换一个定义——用"差商有界"来定义导数,用"差商有界函数的积分"来定义积分——泰劳公式、微积分基本定理、中值定理可以在几页纸内全部推出来,而且每一步都自然到让中学生也能跟上。

张景中做了一件反直觉的事:他证明了不用极限概念也可以严格定义导数。这听起来像是要拆掉微积分的地基,但他做到了——而且做得很漂亮。新的定义体系下,传统教材一个月的进度压缩到了几页纸。这不是取巧,而是选择了更好的定义

graph TD
    A[传统路径: 柯西极限定义] --> B[ε-δ 语言]
    B --> C[连续性与可导性]
    C --> D[中值定理]
    D --> E[泰劳公式]
    E --> F[微积分基本定理]
    F --> G[需要1个月以上]

    H[张景中路径: 差商有界定式] --> I[甲函数与乙函数]
    I --> J[估值定理 3行证明]
    J --> K[泰劳公式 直接推出]
    K --> L[微积分基本定理]
    L --> M[只需几页纸]

    style A fill:#ffcccc
    style H fill:#ccffcc
    style G fill:#ffcccc
    style M fill:#ccffcc

读到这里的时候我停顿了很久

这本书最让我震撼的不是某个具体的数学技巧,而是一种认知上的反转:张景中把"证明"这件事本身变成了一个可以用更少信息完成的操作。

书中有一节叫"用举例的方法证明恒等式"。你要证明 (x+1)(x-1) = x²-1 是恒等式,传统方法是展开、合并、化简——这是代数操作。但张景中指出:你只需要代3个不同的x值进去验证就行。因为如果它不是恒等式,它最多是一个二次方程,而二次方程最多只有2个根。有3个"根"的二次方程,根本就不可能存在。

更进一步——如果你取x=10这一个值验证,也能证明它是恒等式。因为系数a、b、c都是整数且绝对值不超过5,如果a×10²+b×10+c=0,那么在|100a|=|10b+c|≤10|b|+|c|的约束下,唯一的可能性是a=b=c=0。

这种思维方式的精髓在于:你不是在"计算",你是在"排除不可能"。你知道方程最多有几个根,所以如果你找到了比上限更多的根,它就不是方程而是恒等式。这不是技巧,这是结构性思维

判断一个最高次数为3的等式是不是恒等式,只要取未知数的4个不同的值代入验算。n次等式用(n+1)个值代入。这是因为n次方程至多有n个根——如果居然有(n+1)个值代入都相等,那它一定是恒等式。

但全书最让我震惊的发现,是数学家的"懒惰"也是一种方法论

书里有一节标题叫"用圆规画线段"。问题很简单:你能用圆规画一条线段吗?

直觉上当然不能——圆规是画圆的。但张景中一步步展示:如果把圆规当铅笔用,不行(犯规);如果把针脚立定、快速拉出另一只脚,不行(无法保证是直线);如果用半径很大的圆规画一小段弧,接近直线但仍然不是。

最终答案是什么呢?不需要画线段。几何作图里,用圆规完成的每一步操作,本质上是在确定"点"的位置。线段的端点确定了,线段就确定了——至于线段本身是"直"的,那是两点确定一条直线的公理在起作用,不是你"画"出来的。

这个思维转换让我想到编程中的一个原则:不要解决不存在的问题。很多时候我们觉得某个任务很困难,是因为我们对"完成任务"的定义有问题。换个定义,困难就消失了。

用大圆规画小弧近似直线,拱高公式
▲ 用半径为R的圆规画一段弦长2a的弧,拱高h = a²/(R+√(R²-a²))。R越大,弧越接近直线。但这仍然不是真正的线段——数学家换了个思路:根本不需要画线段本身。

常人眼光数学家眼光
三角形内角和 = 180°多边形外角和 = 360°(与边数无关,适用于封闭曲线)
π ≈ 355/113 因为精确355/113 的分母是满足 |p/q - π| < 1/(2q²) 中最小的,这是一个结构性最优解
圆规不能画线段线段是两点确定一条直线,圆规只需确定端点
上海到乌鲁木齐需要几天几夜如果挖一条穿过地心的直线隧道,全程只需约42分钟(纯重力驱动,零能耗)
微积分难是因为它很深奥微积分难是因为柯西选了不够好的定义

批判地说,这本书有一个明显的局限

张景中的"差商有界"定义体系虽然在教学上极其优雅,但它有一个默认的前提:读者已经知道"为什么要学微积分"

他的路径能从定义一路推到泰劳公式和微积分基本定理,行云流水。但这条路径跳过了传统微积分课程中最重要的一步——motivation。学生如果不知道"求曲线下面积"和"求瞬时速度"是同一个问题的两面,那么张景中重构的定义体系在他们看来就只是一套更简洁的符号游戏。

换句话说:这本书最适合的读者不是零基础的初学者,而是已经学过传统微积分但对"极限"始终感到隔膜的人。对于这类读者,张景中的重构会产生一种"原来如此"的解放感。但对于完全没接触过微积分的人,它仍然需要一位好老师来搭建动机的桥梁。

另外,全书124个例子覆盖了从初等几何到微积分的广阔领域,但大部分例子集中在连续数学。对离散数学、概率统计几乎没有涉及。如果读者期待看到"数学家眼光"在数据科学或机器学习中的应用,这本书不会满足你。这与其说是缺陷,不如说是定位——它是一本科普书,不是方法论大全。


延伸阅读

  • 《怎样解题》G·波利亚 — 如果说张景中展示了"数学家的眼光是什么样的",波利亚则提供了一个"如何培养这种眼光"的训练方案。两本书配合阅读效果最佳。
  • 《数学与猜想》G·波利亚 — 专注于数学中的"合情推理"——数学家是如何在严格证明之前"猜到"正确答案的。与张景中对"定义选择"的强调形成互补。
  • 《哥德尔、艾舍尔、巴赫》侯世达 — 如果你被张景中"换个定义看问题"的思路打动,侯世达会带你看到:自指、递归和形式系统中的"视角转换"可以延伸到认知科学和人工智能。