海伦公式是啥(海伦公式为什么不教)

来源：互联网知识与问答 2024-11-29 03:29:22

本文是“第三届数学文化征文比赛”

海伦公式

工作编号： 028

1.你是哪里人？

早期的算术和几何在古代人的生活中起着重要的作用。他们从现实生活中产生了计数和测量的基本操作，并获得了一些土地测量和简单工程方面的几何知识。但是他们的成就都是经验知识的结果。那时候，只要数学的知识能够应付现实生活中的问题，人们就会感到满足。

对于古代的人来说，人们追求知识只是在生活需要的驱使下，而为了知识而追求知识的想法本身就要等到希腊人的到来。通过对自然现象的仔细调查和理性思考，希腊人发展了一种概括、抽象和推理的能力。他们不仅对数学的各个部分做出了卓越的、不朽的贡献，而且为他们未来的发展奠定了永久的基础。

抽象严谨的数学是一种独特的看待世界的方式。这种方式来源于希腊古典时期，希腊古典时期是指大约从公元前600年持续到公元300年的时期，随着泰勒斯(公元前625年-公元前547年)、毕达哥拉斯(公元前572年-公元前501年)和欧几里德(公元前330年-公元前275年)等人物的出现，希腊人坚持演绎推理作为证明数学的唯一方式，是对数学最重要的贡献，它将数学从木匠的工具箱和测量的实用背景中解放出来。从那时起，人们开始通过理性而不是感觉来判断什么是对的。正是通过这种判断，希腊人创造了我们今天看到的主体，为人类文明和科技进步开辟了道路。

阿基米德在数学领域投下了长长的阴影。虽然后来的古代数学家都有自己的成就，但没有人能比得上西拉这位伟大的数学家。在阿基米德之后，有两位数学家值得介绍，其中一位是阿波罗尼斯(约公元前262-190)，他的代表作《圆锥曲线》是公认的圆锥曲线问题的权威论述。当开普勒在近2000年后提出他关于行星以椭圆轨道围绕太阳运行的原始理论时，圆锥曲线的重要性得到了证实。椭圆不仅是古希腊数学家手中好玩的宝贝，也是地球和地球上所有人类的轨道。《圆锥曲线》，一部杰作，与欧几里得的《几何原本》、阿基米德的著作一起，成为古希腊数学的里程碑。

另一个是阿波罗尼斯之后(约公元前1世纪-公元1世纪)亚历山大的海伦。我们对他的生活知之甚少。现代人普遍认为他的活动时期在公元75年左右。海伦无疑受到古希腊理性思想的影响，在数学方面有很深的造诣。随着希腊数学的衰落，他的兴趣倾向于实践。他的许多作品都涉及实用科学，如力学、工程学和测量学，从某种意义上说，它们也反映了希腊人和罗马人的不同兴趣。在她的书《经纬仪》中，海伦介绍了挖隧道穿过一座山并计算泉水流量的方法。在另一本书里，他回答了一些日常生活中的问题，比如“为什么用膝盖在中间使劲推的时候，木棍很容易断？”或者“为什么人们不用手而是用钳子拔牙？”像这样的问题。当然，海伦的代表作是《度量》这本书，主要讨论各种几何图形的面积和体积的计算，包括以他命名的三角形面积公式，我们将重点介绍。它来源于《度量》书中的命题8，海伦对该命题的证明是经典几何中抽象推理的典范。

第二，教我怎么想她。

三角形面积的标准公式很简单，3354，应用广泛。但是，如果用这个公式求如图1所示的三角形面积，就要费点周折了，因为我们还不知道三角形的高度。

图1

三角形是稳定的。已知三角形的三条边，必须确定其面积。这也可以直接从全等三角形的“SSS”判断定理推导出来。例如，任何其他边长等于4、13和15的三角形都必须与图1中的三角形全等，因此它的面积也完全相等。

这个面积值怎么确定？现在我们有了三角学的知识，有了代数变形的能力，可以毫不费力的求出这个值。然而，最简单的方法仍然是(像两千年前一样)应用海伦公式，用现代符号表示：如果k是边长等于A、B和C的三角形的面积，那么

应用海伦公式时，我们只需要知道三角形的三条边，直接计算，而不需要求三角形的高度。

这是一个非常特殊的公式。公式中的半周长看起来很奇怪，四个数乘积的平方根让我们大多数人很恼火。这个代数运算很头疼。但是，作为一个伟大的定理，它吸引我们注意的不仅仅是它的奇特，还有海伦的证明。

海伦的证明只用到了平面几何的一些简单概念，也就是说我们初中生完全可以理解。然而，海伦向我们展示了他精湛的几何技巧。他把一些初等几何知识组合成一个非常丰富漂亮的证明，既曲折又巧妙，堪称数学上的惊人结论。

海伦的证明需要一些我们都很熟悉的基本命题：

命题1:三角形的平分线相交于一点，该点为三角形内切圆的圆心，简称心。

命题2:若从直角三角形的顶点取一条有斜边的垂线，则垂线两边的三角形与原直角三角形相似，且彼此相似。

命题3:在直角三角形中，斜边中点到三个角顶点的距离相等。

命题4:已知ABCD是连接对角线AC和BD的四边形。若BAC=BDC=90，则A、B、C、D四点同心。

命题5:与四边形内接的圆的对角线之和等于两个直角。

海伦把这些命题作为“元素”，再加上他娴熟的几何技巧，给我们带来了一个关于三角形面积的证明。

定理：已知一个三角形，边长为A、B、C，面积为k，那么，三角形的半周长在哪里？

设置任意三角形。为了使海伦的论点清晰易懂，我们将证明几点。

成三大部分。

第一部分：把面积k表示出来

海伦的第一步就出人意料，因为他首先作了一个三角形的内切圆，用三角形的内心作为确定其面积的关键因素，而圆的性质与三角形这种直线形的面积没有直观的联系。

如图2，作的内切圆，我们显然有面积

图2

海伦在三角形的面积k与其半周长s之间建立了联系，这说明方向走对了，当然，后面还有许多事情要做。

第二部分：把公式表达式中的线段表示出来

图3

如图3，延长BA至G，使AG=CE则有

因此 s-c=AG

s-b=BG-AC

=（BD AD AG）—（AF CF）=BD

同理 s-a=AD

这样，半周长s与s-a，s-b和 s-c三个量都等于图中的线段。这是富有启发性的结论，因为这些量都是我们所求证公式的组成部分，剩下的工作就是要把这些“零件”组合成一个完整的证明。

第三部分：证明的核心：找出有关量的关系

如图4，作交AB于K，然后作

所以，

因故

所以

又

得

因而

结合（1）得

我们把这个等式两边 1

可得

通分合并简化为

注意到在中，且OD=r根据射影定理，因此，把这个结果代入（2）可得交叉相乘，我们有，两边同时乘以BG，即

最后，海伦将大量“零件”组合，迅速而巧妙地达成他所求证的结论，只需注意到（3）式的组成部分恰恰是第二步分所推导出的线段，将第二部分的结果代入，便得到

因而，由第一步，k代表三角形的面积，最后代入上列等式，就得到海伦公式

这可以说是初等几何中最巧妙的一个证明。在证明过程中，海伦看似随意地漫游，实际上始终朝着预定目标前进，这无疑是我们所见到的最曲折的证明。很难想象，脑力的回旋竟然引导海伦得出了这样一个荡气回肠、令人惊叹的证明。

三、你真美啊，请停留一下

发现一个问题是一回事，而证明是另外一回事。海伦是如何得到这一公式的？或者说这个美妙的公式到底是不是海伦发明的？这些都已无法考究，但无论如何，我们亲眼目睹了海伦对这一公式的美妙的证明，也算三生有幸了。

随着三角学的兴起和代数学的发展，现代的我们可以用多种方法来证明海伦公式，但海伦为我们提供的证明无疑是我们所见到过的最美妙的数学内容。下面我们用另一种方式来再现海伦公式的证明，但这里重要的不是我们重新求得这个公式或证明这个公式，而是在这个过程中充分体验数学的美学意境。

数学是一门具有其特殊完美性的艺术，像画家和诗人的模式一样，数学家的思想也必须和谐一致，丑陋的数学在世上永无存在之地。一个完全合格的数学证明，必须要经得起两种完全不同类型的评判：作为理性的论证，它必须合乎逻辑、令人信服；同时还要优美，富于启发性，能够给人以情感上的满足。也就是说你的证明既要符合逻辑，也要漂亮，两者缺一不可。

这会使我们形成一个经验：改进你的论证。对某一数学问题，也许我们已经给出了答案，但这并不意味着它就是最佳的铨释，我们要力图减少其中不必要的混乱或复杂之处，而找到一种完全不同但却能让我们更加深入地理解问题的方法。

让我们重新来看海伦公式。

如图5，设三角形三边分别为a、b、c，首先，我们从三角形一边上的顶点向底边作一条垂线，于是三角形的面积k就可以表示为k=ch，这样一来，问题就变成了怎样用边来表示高.

高将底边分成两部分，设为x和y，这样原始的三角形就被分成了两个直角三角形，运用勾股定理，我们有

这正是我国古代秦九韶《九章算术》中的“三斜求积公式”。

到这一步，我们成功地用a,b,c表达出了三角形的面积。

但注意，这样的代数表达式在美感上是令人无法接受的。

回到最初出发的地方，我们的问题是，在已知三条边的情况下求出一个三角形的面积。在平等地对待三条边的意义上，这个问题可以说是完全对称的。三条边中，并没有哪一条边更“特殊”，特别是，这个问题本身并没有涉及底边（我们在求解的过程中，把作为了底边），这意味着，在代数上，无论最终的面积表达式是怎样的，符号a、b、c的地位应该是平等的，它们在面积表达式中必然是对称的，也就是说，如果我们交换其中所有的a或b或c，那么表达式应该会保持不变。

因此，对三斜求积公式，我们有必要进一步化简：

好了，现在看起来更像是结果了，因为我们终于看到了对称，等式也变得相当漂亮。

千万不要忽视了对称性，在很多情况下，它都是我们所拥有的最强有力的数学工具，可惜我们的“三斜求积公式”没有到达这一步。

当然，①式和②式在数学内容上，其实并没有真正改变任何东西，对于面积怎样取决于边长，这两个等式所表达的含义完全相同——面积和边长之间的实质关系，并没有因为我们做了一些灵活的代数恒等式变形而改变，但我们应该树立这样的理念，数学关乎的并不仅仅是真理，而且是完美的真理，只是得出三角形的面积公式并不足够，我们还需要面积公式很漂亮，现在，我们终于如愿以偿：

这个式子看起来还是有些复杂，我们通过引入一个适当的中间量，可以使公式变得更加漂亮。这个中间量就是海伦公式中的，s代表三角形周长的一半（半周长），这样，三角形的面积就可以简单地表示为

沿着海伦所指引的方向，运用代数变形能力，我们终于到达一个美妙的境界，这个漂亮的公式最初出现在海伦的著作里，正是由于这个原因，这个公式被称为海伦公式，特别值得注意的是，在海伦生活的时代，用不到这么多的代数，海伦肯定不是以我们的代数变形这种方式推出这个公式的，而海伦公式“超越”三斜求积公式，正是古希腊数学家理性思想（美学思想）的威力所在。

英国数理逻辑学家、哲学家伯特兰∙罗素在自传中回忆了他青年时遇到的危机：

“有一条小路，穿过田野，通向新南盖特，我经常独自一个到那里去观看落日，并想到自杀。

然而，我终于不曾自杀，因为我想更多地了解数学。”

罗素认识到数学中的美，他也恰如其分地描绘出了这种美：

“正确地说，数学不仅拥有真理，而且还拥有极度的美——一种冷静和朴素的美，犹如雕塑那样，虽然没有任何诱惑我们脆弱本性的内容，没有绘画或音乐那样华丽的外衣，但是，却显示了极端的纯粹和只有在最伟大的艺术中才能表现出来的严格的完美。”

相关链接>>

相聚于网络，相知因数学，相交为征文——第三届数学文化征文活动通知

第三届数学文化征文比赛评委简介

第二届数学文化征文比赛通知

第一届数学文化征文活动文章集锦

已发文章>>

001 莱布尼茨、二进制和伏羲卦图