圭田术：三角形面积的智慧

原文

今有圭田广十二步，正从二十一步。问为田几何？

答曰：一百二十六步。

术曰：半广以乘正从。

白话翻译

现在有一块三角形的田，底边（广）宽 12 步，高（正从）21 步。问这块田面积是多少？

答案：126 平方步。

计算方法（圭田术）：底边长的一半，乘以高。

$$S = \frac{1}{2} \times a \times h$$

三角形面积 = 底 × 高 ÷ 2。

数学解读

这道题看起来太平常了——不就是三角形面积公式吗？初中生都知道。

但仔细琢磨，里面有几个很有意思的细节。

1. 为什么叫"圭田"？

"圭"是什么？是古代帝王、诸侯举行礼仪时手里拿的玉制礼器，长条形，上端是三角形的尖。

圭田 = 长得像"圭"一样的田，也就是三角形的田。

对比一下：

• 方田 = 方形的田（长方形）
• 圭田 = 圭形的田（三角形）
• 邪田 = 斜形的田（梯形）
• 圆田 = 圆形的田

你看，中国古代数学的命名逻辑特别朴实——什么形状，就用日常生活里最像它的东西来命名。 古希腊人说"三角形"（trigonon，三个角），是从几何元素的角度命名；中国人说"圭田"，是从生活器物的角度命名。

一个重形式定义，一个重直观类比。两种思维方式，没有高下，但味道很不一样。

2. "半广以乘正从"——为什么是"半广"？

公式我们都知道：底 × 高 ÷ 2。

但古人说的是"半广以乘正从"——把底取一半，再乘以高。而不是"广乘正从，半之"（底乘高，再减半）。

这两种说法数学上等价，但语序不一样，背后的思考路径就不一样。

"半广以乘正从"暗示了一种经典的证明思路：割补法。

把一个三角形沿着高的中点水平切开，上面那个小三角形倒过来拼到旁边，就变成了一个长方形——长方形的宽是原来底的一半（半广），高还是原来的高（正从）。所以面积就是"半广 × 正从"。

刘徽在《九章算术注》里就是这么解释的：

"半广者，以盈补虚，得为平田也。"

——把多出来的那部分（盈）补到缺的地方（虚），就变成了一块长方形的田（平田）。

"以盈补虚" 就是中国古代的"割补原理"，跟西方的"面积守恒"是同一个思想，但表述方式完全不同。一个是动作描述（补来补去），一个是状态描述（总量不变）。

3. "正从"是什么意思？

"广"是底边长，这个好理解。"正从"呢？就是高。

但为什么不直接说"高"，要说"正从"？

"从"（zòng）就是"纵"，竖的方向。"正从"就是"正对着的纵向距离"——也就是垂直高度。

古人不说"高"，说"正从"，是因为他们脑子里想的不是一个抽象的几何概念"高"，而是一个具体的操作：从底边正对着往上量的那个长度。

你看，又是动作 + 单位/方向的组合。中国古代数学的概念，很多都带着"怎么做"的味道，而不是"是什么"的味道。

高中课本关联

必修二·立体几何中的"割补思想"

三角形面积的割补法，到了立体几何里就变成了祖暅原理的雏形。

• 二维：把三角形割了拼成矩形 → 面积 = 底×高÷2
• 三维：把几何体割了拼成长方体 → 体积 = 底面积×高÷3（棱锥）

思想是一脉相承的。中国古代数学从《九章算术》的"以盈补虚"，到刘徽的"割圆术"，再到祖暅的"幂势既同，则积不容异"，走的都是这条割补转化的路子。

高中生学立体几何的时候，很容易把祖暅原理当成一个孤立的知识点来背。但如果能从方田术、圭田术这里追溯回去，就会发现——整个中国古代数学的面积、体积体系，都是从"割补"这一个基本方法长出来的。

为什么古人不证明？

常有人说："中国古代数学只有算法，没有证明。"

这话对也不对。

刘徽给《九章算术》作注，每一条"术"后面他都解释"为什么是这样"。圭田术他就用"以盈补虚"解释了。但这种解释不是古希腊那种公理-定理-证明的严格演绎体系，而是一种直观论证——告诉你这个东西可以怎么割、怎么拼，拼完你就明白了。

一种是用逻辑说服你，一种是用构造让你看见。 路径不同，终点都是"理解"。

对高中生来说，这其实是个很好的提醒：当你记不住一个公式的时候，试试画个图，割一割拼一拼，有时候"看明白"比"证明白"更快，也更不容易忘。