直观理解几何（图形、空间，以及证明为什么存在）

几何是研究图形与空间的学问。一句话就能概括整个学科：图形是如何构成的，它们彼此之间有什么关系，又占据多少空间。一张平面图、一块披萨、一个球在空中划过的弧线、你此刻正盯着读这篇文章的屏幕，这一切都是几何。

然而几何常常被当作一厚摞需要死记硬背的定理和两栏式证明来教，这恰恰是本末倒置。定理只是结论。真正有意思的是把你引向结论的那段推理，而那段推理是你可以亲身感受到的。这篇文章从最基础处把几何重新搭建起来：它究竟研究什么，一切所依赖的那少数几个想法，以及你当年被逼着写的那些证明为什么其实很重要。

几何是研究图形与空间的数学

代数处理的是数字以及代表数字的符号。几何处理的是这些数字所描述的图形。两者是搭档：给一个三角形配上几条边长，你就能用它们做计算，但三角形本身，它的顶点、边以及它所围住的空间，才是几何的地盘。

这门学科从一些基本到几乎无法定义、还不如直接指给你看的对象开始：

• 点是一个没有大小的位置。纯粹的位置。
• 线是由点构成的笔直路径，朝两个方向无限延伸。
• 平面是一个平坦的表面，像一张无边无际的桌面，承载着点和线。

其他一切都由这些搭建而成。三角形是三个点用三条线段连起来。圆是与某个中心距离都相等的所有点。一旦你看清了这些零件，图形就不再是一张词汇表，而成了你可以亲手构造的东西。

角衡量的是旋转，不是长度

角是最早让人栽跟头的概念之一，因为它很容易和长度混淆。角衡量的不是边有多长。它衡量的是你从一条边转到另一条边转了多少。

想象你站在一个墙角，从一面墙转向另一面墙。你转过的量就是角，而它不会因为墙长还是墙短而改变。我们用度来衡量这个转动量，转一整圈是 360 度，转半圈（一条直线）是 180 度，转四分之一圈（一个直角）是 90 度。

这种"旋转"的画面，解释了那些原本看起来只能死记硬背的事实：

• 一条直线上的角加起来是 180 度，因为一条直线就是半圈。
• 绕一个点一周的角加起来是 360 度，因为绕一整圈就是整整一圈。

你背的不是数字。你数的是自己已经用掉了整圈旋转中的多少。

面积与周长：两个不同的问题

几何里最容易被混淆的两个词，描述的其实是截然不同的东西。

周长是绕图形边缘一周的距离：你要把它围起来需要多长的篱笆。把各边加起来就能求出。

面积是内部所占的平面大小：那圈篱笆围住了多少草地。面积用平方单位来量，因为面积回答的问题是"里面能装下多少个单位正方形？"

这个问题正是所有面积公式的关键。一个宽 4 个单位、高 3 个单位的矩形，恰好装得下 4 × 3 = 12 个单位正方形，这就是面积为什么等于宽乘以高。其余的一切都是从重新拼摆中推出来的：

• 三角形是矩形的一半（沿对角线把矩形切开），所以它的面积是底乘高的一半。
• 平行四边形就是把一头的一个三角形挪到另一头的矩形，所以它的面积同样是底乘高。

你不必把这些当成各自独立的公式来背。你只需要看出每一个其实都是乔装打扮的矩形。（至于乘法本身为什么会那样运作，可以看直观理解指数，那里讲到平方恰好就是一个正方形的面积。）

勾股定理：几何的主力

如果说几何里有一个明星结论，那就是勾股定理：在直角三角形中，最长边的平方等于另外两边平方之和。用符号写就是 a² + b² = c²，其中 c 是直角所对的那条边。

让它不只是一个公式的，是它真正所表达的含义。在直角三角形的每条边上各搭一个真正的正方形，那两个较小的正方形所占的面积，恰好等于那个大正方形的面积。这个关系讲的是面积如何拼合在一起，而不只是方程里的几个数字。

这一个事实，是大量数学背后的引擎。求两点之间的直线距离靠的就是它，这也是为什么它隐藏在坐标几何和距离公式之下。它还是三角学的种子，在那里，正弦和余弦原来不过是圆上某个点的坐标，受这同一个直角三角形关系的支配。

证明为什么存在（以及它们为什么不是无谓的功课）

下面这部分是学生们最怵的，也正是真正定义了几何的部分：证明。

证明是一种论证，说明某件事在每一种可能的情形下都必然成立，而不只是在你恰好查验过的那些情形下成立。这并不是吹毛求疵。测量永远只能检验一个个例子。你可以量一千个三角形的角，发现它们各自加起来都是 180 度，却依然不知道第一千零一个三角形会不会打破这个规律。测量一次只能覆盖一种情形，而情形有无穷多种。

证明则一次性把它们全部覆盖，靠的是推理图形究竟是什么，而不是某张特定的图量出来是多少。拿三角形内角和这个事实来说。过顶点作一条平行于底边的直线。向两侧张开的那两个角，恰好分别等于三角形的两个底角，而那个顶点处的三个角落在一条直线上，也就是 180 度。所以三角形的内角和必然是 180 度，对每一个三角形都成立，永远成立。不需要测量，也不可能有例外。

这才是几何里藏着的真正一课：大多数人正是在这里第一次遇到"在我试过的例子里成立"和"因为不可能是别的样子所以成立"之间的区别。那种思维习惯，要的是一个理由而不是一份样本，比任何单独一个定理都更有价值。

几何与其他一切相连

几何不是一座与世隔绝的图形孤岛。它是其余大部分数学底下的那一层可视化的底子。

• 坐标平面把几何嫁给了代数：每一个方程都成了一个图形，每一个图形也成了一个方程。一条直线是 y = mx + b，一条抛物线是 y = x²，一个圆是 x² + y² = r²。
• 正因为这桩联姻，一个函数可以被画成一条曲线，而微积分所问的那些问题（它有多陡，它下面的面积有多少）其实都是乔装打扮的几何问题。
• 三角学不过是在圆上做的几何，把角变成精确的坐标。

学会把图形看清楚，后面相当多的数学一登场就已经被你理解了一半。

这对学习为什么重要

当你在 Math Zen 里练习几何时，题目会从命名和测量角开始，一路搭建到面积、勾股定理，以及短证明背后的推理，难度会随着你实际所处的水平而调整。

把几何看作图形与空间，而不是一张公式表，之所以有帮助，是因为：

• 一旦你把每个图形都看成重新拼摆过的矩形，面积就不再是一摞公式。
• 一旦你把角的事实读作整圈旋转的几分之几，它们就不再显得武断。
• 一旦你注意到证明是诚实地一次性对每一个图形下结论的唯一办法，证明就不再是无谓的功课。

同样的直觉也会延续到你用来让这些结论保持新鲜的间隔重复中，于是这些定理始终是你理解的理由，而不是你指望自己还记得的事实。

要点回顾

几何是研究图形与空间的学问，由点、线、面搭建而成。角衡量旋转，周长衡量边缘，面积数的是内部的单位正方形，而勾股定理通过各边的平方把直角三角形的边联系在一起。证明之所以存在，是因为那些结论谈的是某一类的每一个图形，而推理是诚实地覆盖无穷多种情形的唯一办法。

下次几何看起来像一堵定理之墙时，记住它其实只是一个被反复追问的问题：这是什么图形，它为什么必然这样表现？从背结论到看清它们为何成立，这个转变正是让几何豁然开朗的关键。