📚 Investigation 1 - Heron's Formula | 探究1：海伦公式
Heron's formula provides a direct way to compute the area of a triangle using only its three side lengths, without needing an altitude. It has been a staple of geometry for nearly two thousand years and appears frequently in IB Mathematics investigations, where students explore its derivation, limitations, and links to other area formulas. This article unpacks the formula, its historical roots, multiple proofs, worked examples, and connections to broader geometry, giving you a deep yet accessible understanding of why it works and how to use it confidently.
海伦公式提供了一种仅用三角形三边长度直接计算面积的方法，无需知道高。近两千年来，它一直是几何学的重要内容，也频繁出现在 IB 数学探究中，学生需要探索其推导、局限性以及与其他面积公式的联系。本文将从历史背景、多种证法、例题、退化情形以及与更广泛几何知识的关联等多个角度，帮助你扎实理解公式为何成立并自信地加以运用。
1. Historical Background | 历史背景
Although the formula is named after Heron of Alexandria (c. 10–70 CE), evidence suggests it was known earlier to Archimedes. Heron documented it in his work Metrica, which served as a practical manual for measuring areas and volumes. Its survival and transmission through Islamic and European scholars highlight its enduring importance in both pure and applied mathematics. In the IB context, the formula often provides a rich investigative pathway into the interplay between algebra, trigonometry, and geometry.
虽然该公式以亚历山大城的海伦（约公元10–70年）命名，但有证据表明阿基米德更早已知晓它。海伦在著作《度量论》中记录了该公式，这是一本关于面积与体积测算的实用手册。其后通过伊斯兰与欧洲学者的传播和传承，凸显了它在纯粹数学与应用数学中的持久重要性。在 IB 课程中，这个公式常为探索代数、三角学与几何之间相互作用提供一条丰富的研究路径。
2. Statement of Heron's Formula | 海伦公式的陈述
For any triangle with side lengths a, b, and c, let the semi-perimeter be s = (a + b + c)/2. Then the area A is given by:
对于任意边长分别为 a、b 和 c 的三角形，令半周长 s = (a + b + c)/2。则面积 A 可由下式给出：
A = √( s (s − a) (s − b) (s − c) )
This elegant expression is completely symmetric in the three sides, which means the order in which you label the sides does not affect the area. It also suggests that a triangle's area is determined entirely by its side lengths, a fact that deepens understanding of triangle rigidity in plane geometry.
这个优雅的表达式对三条边完全对称，意味着你标记边的顺序不影响面积。它还表明三角形的面积完全由边长确定，这一事实加深了对平面几何中三角形刚性的理解。
3. Understanding the Semi-perimeter | 理解半周长
a computational convenience; it has geometric meaning. It represents half of the triangle' : A = r × s. This relationship is a key ingredient in one of the geometric proofs of Heron' positive for a non-degenerate triangle, since the sum of any two sides exceeds the third.
半周长 s 不仅是计算上的便利，更具有几何意义。它表示三角形周长的一半，并在通过内切圆半径 r 表示面积时自然出现：A = r × s。这一关系是海伦公式的一个几何证法的关键所在。此外，对于非退化三角形，因任意两边之和大于第三边，每个因式 (s − a)、(s − b)、(s − c) 总是正数。
When students first encounter s, they sometimes mistake it for the perimeter itself. A helpful reminder is that s carries the same units as the sides, while A carries square units, so the product under the square root must have dimension of length⁴, which is exactly what s(s−a)(s−b)(s−c) provides.
当学生第一次接触 s 时，有时会误以为它是周长本身。一个有用的提醒是：s 与边长的单位相同，而 A 是平方单位，因此平方根下的乘积必须具有长度⁴ 的量纲，而这正是 s(s−a)(s−b)(s−c) 所满足的。
4. Proof 1: Using the Law of Cosines | 证明一：利用余弦定理
One of the most accessible proofs relies on the law of cosines and the Pythagorean trigonometric identity. Start with the familiar area formula involving angle C:
最易理解的证明之一依赖于余弦定理和毕达哥拉斯三角恒等式。从包含角 C 的常见面积公式开始：
A = ½ a b sin C
Since sin² C + cos² C = 1, we can write sin C = √1 − cos² C . Substituting this into the expression for sin C yields a radical that, after algebraic manipulation, collapses into Heron's neat product.
由于 sin² C + cos² C = 1，我们可以写 sin C = √1 − cos² C。为此我们需要从余弦定理得到 cos C：c² = a² + b² − 2ab cos C，整理得 cos C = (a² + b² − c²) ÷ (2ab)。将它代入 sin C 的表达式中将得到一个根式，经过代数处理后便会化简为海伦公式的整洁乘积。
The detailed algebra is instructive. Substitute cos C into the area formula:
详细的代数过程具有教学意义。将 cos C 代入面积公式：
A = ½ a b √[1 − ((a² + b² − c²) ÷ (2ab))²]
s that can be grouped as (a+b+c)(a+b−c)(a−b+c)(−a+b+c). Introducing s = (a+b+c)/2 reveals the familiar form.
将根号内的 1 写成 (2ab)² ÷ (2ab)²，然后利用平方差进行因式分解。根号内的表达式变为 [(2ab + a² + b² − c²)(2ab − a² − b² + c²)] ÷ (4a²b²)。注意到 2ab + a² + b² = (a + b)² 以及 2ab − a² − b² = −(a − b)²，最终得到四个线性因式的乘积，可分组为 (a+b+c)(a+b−c)(a−b+c)(−a+b+c)。引入 s = (a+b+c)/2 便得到我们熟悉的形式。
5. Proof 2: Geometric Approach with Incircle | 证明二：利用内切圆的几何方法
b = z+x, c = x+y. Solving for x, y, z in terms of a, b, c gives x = s−a, y = s−b, z = s−c.
一种纯几何证法通过构造三角形的内切圆并利用面积分解来完成。设内切圆半径为 r，切点将各边分为长度为 x、y、z 的线段，使得 a = y+z，b = z+x，c = x+y。将 x、y、z 用 a、b、c 表示可得 x = s−a，y = s−b，z = s−c。
altitude r: A = ½ a r + ½ b r + ½ c r = r s. So r = A/s. On the other hand, certain right‑ r r² in terms of x, y, z. Equating the two expressions for r or r² ultimately yields Heron' meter and the factors (s−a), (s−b), (s−c) arise naturally from the incircle configuration.
三角形面积可分解为三个高均为 r 的小三角形之和：A = ½ a r + ½ b r + ½ c r = r s。因此 r = A/s。另一方面，由半径与角平分线构成的直角三角形可用来推导出用 x、y、z 表示 r² 的表达式。将关于 r 或 r² 的两个表达式等同起来，最终得到海伦公式。该证法突显了半周长及各因式 (s−a)、(s−b)、(s−c) 如何自然地从内切圆结构中出现。
6. Worked Example 1: A Classic 3-4-5 Triangle | 例题1：经典3-4-5三角形
angle with sides a = 3, b = 4, c = 5. The semi-perimeter is s = (3+4+5)/2 = 6. Using Heron's formula: A = √(6 × (6−3) × (6−4) × (6−5)) = √6 × 3 × 2 × 1 = √36 atches the standard formula ½ × base × height = ½ × 3 × 4 = 6, confirming our calculation.
考虑边长 a = 3、b = 4、c = 5 的直角三角形。半周长 s = (3+4+5)/2 = 6。使用海伦公式：A = √(6 × (6−3) × (6−4) × (6−5)) = √6 × 3 × 2 × 1 = √36 = 6。这与标准公式 ½ × 底 × 高 = ½ × 3 × 4 = 6 一致，验证了我们的计算。
This example illustrates that Heron's formula requires no knowledge of the right angle. It works equally well for any triangle, and its efficiency shines when the height is not immediately obvious.
这个例子表明，海伦公式并不需要知道哪个角是直角。它对任意三角形同样有效，当高不容易直接获得时，其高效性尤为突出。
7. Worked Example 2: A Triangle with Non-integer Sides | 例题2：边长非整数的三角形
pute s = (7.2 + 8.5 + 9.1)/2 = 12.4. Then s−a = 5.2, s−b = 3.9, s−c = 3.3. The area is A = √12.4 × 5.2 × 3.9 × 3.3 finally √829.5 ≈ 28.8 square units. Round appropriately according to the given precision.
设 a = 7.2，b = 8.5，c = 9.1。计算 s = (7.2 + 8.5 + 9.1)/2 = 12.4。则 s−a = 5.2，s−b = 3.9，s−c = 3.3。面积 A = √12.4 × 5.2 × 3.9 × 3.3。逐步计算乘积：12.4 × 5.2 = 64.48；3.9 × 3.3 = 12.87；然后 64.48 × 12.87 ≈ 829.5；最后 √829.5 ≈ 28.8 平方单位。根据给定精度适当四舍五入。
In IB investigations, students should pay close attention to rounding and significant figures, especially when comparing Heron's formula with trigonometric methods or coordinate geometry approaches.
在 IB 探究中，学生应特别注意舍入和有效数字，特别是在将海伦公式与三角法或坐标几何法进行比较时。
8. Degenerate Triangles and Limitations | 退化三角形和局限性
A triangle is degenerate when its vertices are collinear, which occurs if one side equals the sum of the other two. In such a case, s equals that side, so one of (s−a), (s−b), (s−c) becomes zero and the area correctly evaluates to zero. If the triangle inequality fails entirely, at least one factor becomes negative, making the product under the root negative and the formula undefined in the real numbers. Thus Heron's formula naturally signals invalid input by producing non‑real results or zero area.
当三角形的三个顶点共线时，即为退化三角形，此时会出现一条边等于另外两边之和。在这种情况下，s 等于该边长，因此 (s−a)、(s−b)、(s−c) 中有一个为零，面积恰好计算得零。若完全违背三角不等式，则至少有一个因式为负，使得根号下的乘积为负数，公式在实数范围内无定义。因此，海伦公式会通过产生非实数结果或零面积，自然地给出输入无效的信号。
This self‑ test borderline cases, such as a = 2, b = 3, c = 6, and observe the negative discriminant.
这种自检特性是探究中一个有价值的讨论点：它强化了三角不等式的必要性，并为代数因式赋予了几何解释。学生可以测试边界情形，例如 a = 2，b = 3，c = 6，并观察负的判别式。
9. Connection to Brahmagupta's Formula | 与婆罗摩笈多公式的联系
Heron's formula can be viewed as a special case of Brahmagupta' −a)(s−b)(s−c)(s−d)). If we let one side length approach zero, the quadrilateral collapses into a triangle, and the formula reduces precisely to Heron's. This connection opens the door to deeper geometric explorations, such as Ptolemy's theorem and the properties of circles.
海伦公式可被视为婆罗摩笈多公式（用于圆内接四边形面积）的一个特例。对于边长分别为 a、b、c、d 且半周长 s = (a+b+c+d)/2 的圆内接四边形，其面积为 √((s−a)(s−b)(s−c)(s−d))。如果让其中一条边长趋近于零，四边形退化为三角形，该公式便精确地还原为海伦公式。这一联系为更深入的几何探索打开了大门，比如托勒密定理和圆的性质。
Many IB extended essays or exploration tasks use this bridge to examine how area formulas generalise across polygons, making Heron's formula a springboard rather than an isolated result.
许多 IB 拓展论文或探究任务正是利用这座桥梁来考察面积公式如何在多边形之间推广，从而使海伦公式成为一个起点而非孤立结论。
10. Common Mistakes and Tips | 常见错误与提示
t a+b+c. Another pitfall arises when students miscopy the factors, writing (s−a)(s−b)(s−c) without the leading s. A mnemonic: "subtract each side from the semi-perimeter and multiply all four terms together."
一个典型错误是忘记将周长除以 2 以得到 s。务必确认 s = (a+b+c)/2，而非 a+b+c。另一个易错点在于抄写因式时遗漏开头的 s，只写了 (s−a)(s−b)(s−c)。记忆口诀：“半周长分别减各边，四个因式乘一起。”
also be a concern when sides are extremely large or very small. In such cases, using Heron's formula with floating‑ c)(a−b+c)(a+b−c) ), which avoids calculating s explicitly. Furthermore, always check that the three given lengths can indeed form a triangle before applying the formula.
当边长极大或极小时，数值稳定性也值得关注。在这些情形下，用浮点数计算海伦公式可能导致消减误差。学生可以探索其他形式，例如采用数值上更稳健的表达式：A = ¼ √( (a+b+c)(−a+b+c)(a−b+c)(a+b−c) )，从而避免显式计算 s。此外，在应用公式之前，务必检查三条给定长度是否真正能构成三角形。
11. Extensions and Further Investigations | 拓展与进一步探究
Heron's formula invites several investigative directions. One can derive it using vectors and the cross product, linking it to three‑dimensional geometry. Another avenue is to explore Hero's own method, which involved an ingenious geometric dissection based on the incircle and excenters. There is also a version for quadrilaterals, the Bretschneider formula, which generalises Brahmagupta to arbitrary convex quadrilaterals by incorporating the cosine of the sum of opposite angles.
海伦公式提供了多个探究方向。我们可以利用向量和叉积来推导它，从而与三维几何建立联系。另一条途径是探寻海伦本人的方法，该方法基于内切圆和旁心的巧妙几何剖分。此外，还有一个适用于四边形的布雷特施奈德公式，它通过引入对角和的余弦，将婆罗摩笈多公式推广到任意凸四边形。
Students may also investigate historical proofs from Chinese and Indian mathematics, where similar results appeared independently. Comparing those approaches with Greek geometrical traditions reveals the universality of mathematical discovery and fits well with the IB's international perspective.
学生还可研究中国和印度数学中独立出现的类似结论的历史证明。将这些方法与希腊几何传统进行比较，能够揭示数学发现的普遍性，并与 IB 的国际视野很好地契合。
12. Summary and Key Takeaways | 总结与要点
Heron's formula delivers the area of any triangle directly from its three side lengths via the semi-perimeter s. Its symmetric, self‑contained nature makes it a powerful tool in both pure problem‑solving and applied contexts. Through multiple proofs — from algebraic manipulation with the law of cosines to elegant geometric arguments using the incircle — we see how deeply algebra, trigonometry, and geometry are interwoven. Understanding the role of s and the factors (s−a), (s−b), (s−c) not only aids memory but also provides insight into the triangle's internal structure.
海伦公式借助半周长 s 由三边长直接求得任意三角形的面积。其对称且自足的特性使之成为解决纯数学问题和应用问题时均极具威力的工具。通过多种证法——从利用余弦定理的代数推演到借助内切圆的优美几何论证——我们看到了代数、三角与几何是如何深刻交织在一起的。理解 s 以及因式 (s−a)、(s−b)、(s−c) 的作用，不仅有助于记忆，还能洞察三角形的内部结构。
As you proceed with your IB investigation, remember to connect Heron's formula to inequalities, cyclic quadrilaterals, and numerical methods. Such cross‑topic links are exactly what high‑scoring internal assessments require. Use the worked examples and proofs here as templates, and always verify the triangle inequality before computing.
在推进你的 IB 探究时，记得将海伦公式与不等式、圆内接四边形和数值方法联系起来。这种跨主题链接正是高分内部评估所要求的。请以上述例题和证明为蓝本，并在计算前务必验证三角不等式。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图