三角形的历史：被打破的规矩 我们常当作几何学是古人凭空创造出来的，仿佛那些线条和角度是上帝在草地上随意撒下的一把种子。

实际上不然，关于三角形，历史远比书本上那本本枯燥的教科书要复杂得多，就连充满了混乱和自相矛盾。

要是非要给它的起源立传，那大约不是一个统一的故事，而是一部由无数尝试、黄了和修正拼凑而成的史诗。 说起三角形的诞生，最早的人可能并不叫“古人”，而是一群正在烤面包、争论要不要把肉夹到面包里的意大利人。1850 年前后，意大利人卡洛·蒙日（Carlo Menelaus）和埃万杰利斯塔·达·萨托雷（Evariste Galois）与此同时提出过两个看似矛盾却同样合理的三角形定义。萨托雷定义三角形为三条不相交的直线围成的图形，这听起来挺浪漫；而蒙日定义它为由三条线段首尾相连、围成封闭图形的方式。

这两个定义后来都成了现代公理化体系的基础，但在此之前，人们已经为此吵了个天翻地覆。直到 1798 年，法国数学家拉格朗日（Lagrange）才在《解析几何》一书中正式统一了这两个定义，并引入了“边”这个概念，让三角形从此有了固定的“躯干”。可即便如此，在拉格朗日之后的大约 150 年里，各种各样的定义轮番登场又各自消亡，直到 19 世纪末，希尔（Hilbert）和维尔斯（Wilhelm Weyl）才在几何学大厦的顶层彻底敲定了那个通用的标准。 那么，为啥会有如此多分歧呢？答案往往藏在古代人的思维方式里。古埃及人画房子时，用的是“alap"（直线）和"mew"（折线）。他们不需求三角形，出于他们的建筑大多由立方体堆叠而成，立方体本身就是由直线和正方形组成的。三角形对他们来说，是一种贼特殊的、简直看不见的概念，只在数学游戏要么高深的辩论中出现。他们可能从未真正思索过“为啥三角形是稳定的”，更不知道这个形状能像瑞士军刀一样无所不能。 真正的转折点一般被认定是在古希腊的皮亚门诺斯（Pythagoras）时代。

那时候，数的世界正在形成革命，人们启动用数字去描述万物。当数学家们试图把图形和数字对应起来时，三角形自然就成了主角。皮亚门诺斯用"1, 2, 3"这串数字勾画出了直角三角形的三条边，并大胆地断言：“一个直角三角形斜边的平方等于两条直角边的平方和。”这句名言后来被约翰·惠特克（John Wrench）改写成了现代的勾股定理。

不过，这里有个庞大的问号：勾股定理是不是皮亚门诺斯那个晚上就要出来的？还是说，那只是他试图解决一个古老谜题时顺便拿到的副产品？甭管如何，这一句简洁而震撼的公式，瞬间让三角形从一个一般/平平的几何图形变成了宇宙法的锚点。 随着数学家们越来越沉迷于推导和计算，他们慢慢丧失了对图形本质的直观感知。欧几里得（Euclid）在《几何原本》中构建的公理体系之故此严谨，是出于他预设了“直观”的存有。他假设图形是实实在在的、有厚度的。

可是，到了近代，视角启动翻转。数学家们不再关心这个图形长啥样，他们关心的是这个图形能做啥。便，伽利略（Galileo）和牛顿（Newton）把力学和几何联系在了一起。伽利略发现，要是一个物体受到水平方向的推力，它在水平方向上会做匀速直线运动，而在垂直方向上则会做自由落体运动——这两个运动恰好能拼成一个直角三角形。伽利略就连给这个三角形起了个怪的绰号，叫它“失重三角形的边”（Hypotenuse of weightlessness）。

这种带有幽默感的命名，恰恰说明当时的数学家已经不再把自己当上帝，不再信任那些图形的绝对完美，而是启动用逻辑和物理去重新审视它们。 到了 18 世纪末，笛卡尔（Descartes）的笛卡尔坐标系让三角形彻底进入了现代数学的核心。他发明白乘积和除法运算，这本来是用来处理长度和面积的，后来却意外地变成了处理角度和面积的工具。三角函数不再是用来计算复杂几何的繁琐公式，而成了描述变化的语言。

这一转变彻底打开了三角形的大门，它不再局限于平面图形，而是成为了描述振动、电流、就连光学现象的通用语言。威廉·哈密顿（William Hamilton）在《分析力学》书中再次强调过三角形的关键性，称其为“物理意义上的数学根本原理”。 进入现代，事件变得更加有趣。维纳（Von Neumann）提出了一种“非欧几何”，汉斯·赫登斯特罗姆（Hans Heidenhain）就连利用三角形来发明白一种扣纽扣的装置。

这些早期的探索别看琐碎，却显示了三角形的多面性。在 20 世纪中叶，随着计算机代数系统（CAS）的普及，数学家们启动习惯用计算机来证明三角形的性质。

比方说，1999 年，西蒙·洛夫林（Simon Lovin）用计算机验证了阿贝尔-拉姆齐定理的一个分支，证明白三角形在特定排列下的必然性。

这种算法化的视角，让三角形变得不再神秘，反而更像是一个能够被拆解、重组和运算的积木。 可是，最具挑战性的质疑来自拓扑学家。19 世纪末，希尔和维尔斯对公理化体系进行了严格的审查，其中就包含了关于三角形定义的难题。直到 1973 年，C. W. 比尔（C. W. Birkhoff）才在《希尔公理化体系的数学基础》一书中，用历史文献梳理了所有相关的聊聊，确认了现代教科书中那个统一的定义。在此之前，人们可能认定这个定义忒主观，出于不同的人对“首尾相连”的理解会有细微差别。但如今，我们不得不承认，这个统一的定义正是为了容纳那些曾经不完美或过于激进的尝试而生。三角形的历史，就是一部不断修正边界、不断寻找更精准描述的过程。它告诉我们，数学真理往往不是在某一刻突然降临的，而是在无数次黄了与尝试的碰撞中，由无数人的智慧共同打磨而成的。三角形，或许就是人类理性最纯粹、也最顽强的化身。