为什么数学需要研究图形？

你试着想三样东西：

• 一块砖，正面看是个长方形；
• 一个足球，圆圆的，立体；
• 一张纸，平平整整的。

如果让你"描述"它们，你会发现，光靠数字不够用了。

比如这块砖，你光说"它有 $6$ 个面"没有说清它长什么样；你说"它长 $20$ 厘米、宽 $10$ 厘米、高 $5$ 厘米"，这是数字了，但你心里浮现的画面，其实是一个形状——长方形、立体、有棱有角。

再比如一个球，你说它"半径是 $11$ 厘米"，这串数字背后，你的脑子立刻想到的是一个圆滚滚的样子，而不是一堆算式。

   砖（长方体）              球（球体）            纸（平面）
   +--------+               .-.                   ________
  /        /|             .'   '.                |        |
 +--------+ |            /       \               |        |
 |        | +            \       /                |        |
 |        |/              '-._.-'                 |________|

你看，形状有它自己的信息，这些信息用单纯的数很难直接装下。我们需要一套专门的工具，来把"图形"这件事说清楚、算准确。

你在生活里认图形，靠的是眼睛和直觉：方的是方的，圆的是圆的。但数学不能只靠"看着像"。

举个例子。下面这两块地，哪块更大？

   地块 A（正方形）            地块 B（长方形）
   +----+----+                +--------+
   |    |    |                |        |
   +----+----+                |        |
   |    |    |                +--------+
   +----+----+

光看，你可能觉得 B 更长，所以 B 更大。可是如果 A 每边长 $4$ 米，B 长 $5$ 米宽 $2$ 米呢？

A 的面积：$4 \times 4 = 16$ 平方米。 B 的面积：$5 \times 2 = 10$ 平方米。

结果 A 更大。所以"看着长"会骗人，我们必须用图形的规则来算，而不是靠眼睛。

这就是研究图形的第一个理由：图形里有规律，但这些规律需要用方法，而不能只靠感觉去判断。

把前面的例子收一收，你会发现，几何关心的其实是几个问题：

• 形状和样子：它是方的、圆的、尖的，还是歪的？
• 大小和量：它多长、多大、多宽？两条边夹角多少度？
• 位置和下落：一个图形放在哪儿，怎么移动、翻转、放大缩小，样子变不变？
• 关系：两个图形是不是"一样大一样形"（全等），或者只是"形状相似"？

几何研究的对象，就是点、线、面以及由它们组成的图形，还有这些图形的大小、位置、变换和相互关系。

你看，这几点其实覆盖了你平时"看图形"时在意的全部事情：你认出"这是三角形"靠的是形状和样子；你问"这面墙多大"靠的是大小；你排方队、转身体，涉及的是位置和下落（变换）；你说"这两块拼图能对上"靠的是关系。几何只是把这些直觉，变成了可以准确谈论、可以计算的语言。

注意，这里说的"点、线、面"，和我们平时说的"一个点、一条线、一个桌面"还不太一样。在数学里，它们是被"提纯"过的理想对象——比如一个点没有大小，一条线没有粗细。这一点，我们会在下一节课《点、线、面》里仔细讲。

你可能还是有点疑惑：我会量长度、会算面积不就行了，为什么要专门开一门"几何"？

给你三个真实的理由：

你会发现，图形无处不在，而且"图形的规律"直接影响东西能不能做成、做出来好不好。数学研究图形，不是因为图形好看，而是因为图形里藏着决定成败的规律。

你可能会想：研究数字，我们会算；研究图形，我们靠什么？

其实也是两样：测量和推理。

• 测量：用尺量长度，用量角器量角度，用公式算面积、体积。这是把图形"变出数字"的手段。
• 推理：更厉害的是，不用真去量，靠已经知道的规律推出新的结论。比如你只要知道"三角形内角和 $180^\circ$"，不用量，就能断定"直角三角形两个锐角加起来一定是 $90^\circ$"。

几何特别的地方在于：它既允许你动手量，也允许你坐下来纯靠逻辑推。很多时候，我们证明一个图形性质，靠的不是量一百个例子，而是从几条最基础的约定出发，一步步推出来。这就是为什么几何能训练你的"讲道理"能力——它教你：结论不能只靠"看着像"，而要靠"说得通"。

这也解释了上一节课我们说的"理想化"：正因为研究的是理想模型，推理才靠谱。真实的砖有磨损、真实的圆不完美，但理想的"长方形""圆"性质确定，我们才能放心地在上面做推理。

图形之所以能成为一门学问，正是因为它的规律既能被量出来，又能被推出来，而且换个角度算，结果总是一致的。这种"一致性"，正是数学可靠的地方。

这里有一个容易混的点：几何里的图形，是"理想化"的。

• 你画的圆，用放大镜看，边缘是锯齿和墨点；但几何里的"圆"，是到定点距离处处相等的理想曲线。
• 你看到的"一个点"，其实是一小团墨；但几何里的"点"，没有大小。

我们研究的是那个"理想的图形"，不是墨迹本身。先有理想模型，再用它去对照、度量真实世界。这有点像：我们先想象一个"完美的圆"，才能判断一个盘子的口是不是够圆。

这节课我们其实是在回答一个问题：为什么数学里要单独分出"几何"这一块？

答案是：图形携带了数字装不下的信息，而图形里的规律（大小、位置、结构、关系）又直接影响真实世界——小到拼图，大到建筑——所以不能只靠眼睛看，必须有一套专门的方法去研究它。

几何研究的对象，是点、线、面以及由它们组成的图形。它们是被理想化了的对象。接下来，我们就要从最基础的"点、线、面"开始，一层一层地把图形拆开看。