海伦-秦九韶公式

海伦公式海伦公式又译作希伦公式、海龙公式、希罗公式、海伦－秦九韶公式，传说是古代的叙拉古国王希伦（Heron,也称海龙）二世发现的公式，利用三角形的三条边长来求取三角形面积。

但根据M orris Kline在1908年出版的着作考证，这条公式其实是阿基米德所发现，以托希伦二世的名发表（未查证）。

我国宋代的数学家秦九韶也提出了“三斜求积术”，它与海伦公式基本一样。

假设有一个三角形，边长分别为a、b、c，三角形的面积S可由以下公式求得：S=√[p(p-a)(p-b)(p-c)]而公式里的p为半周长：p=(a+b+c)/2——————————————————————————————————————————————注1："Metrica"(《度量论》)手抄本中用s作为半周长，所以S=√[p(p-a)(p-b)(p-c)] 和S=√[s(s-a)(s-b)(s-c)]两种写法都是可以的，但多用p作为半周长。

——————————————————————————————————————————————由于任何n边的多边形都可以分割成n-2个三角形，所以海伦公式可以用作求多边形面积的公式。

比如说测量土地的面积的时候，不用测三角形的高，只需测两点间的距离，就可以方便地导出答案。

证明（1）：与海伦在他的着作"Metrica"(《度量论》)中的原始证明不同，在此我们用三角公式和公式变形来证明。

设三角形的三边a、b、c的对角分别为A、B、C，则余弦定理为cosC = (a^2+b^2-c^2)/2abS=1/2*ab*sinC=1/2*ab*√(1-cos^2 C)=1/2*ab*√[1-(a^2+b^2-c^2)^2/4a^2*b^2]=1/4*√[4a^2*b^2-(a^2+b^2-c^2)^2]=1/4*√[(2ab+a^2+b^2-c^2)(2ab-a^2-b^2+c^2)]=1/4*√[(a+b)^2-c^2][c^2-(a-b)^2]=1/4*√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)]设p=(a+b+c)/2则p=(a+b+c)/2, p-a=(-a+b+c)/2, p-b=(a-b+c)/2,p-c=(a+b-c)/2,上式=√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)/16]=√[p(p-a)(p-b)(p-c)]所以，三角形ABC面积S=√[p(p-a)(p-b)(p-c)]证明（2）：我国宋代的数学家秦九韶也提出了“三斜求积术”。

海伦公式在几何中，已知三边的长，求三角形的面积，我们都知道使用求积公式：△＝√[s(s-a)(s-b)(s-c)] 其中s=1/2(a+b+c)这个公式一般称之为海伦公式，因为它是由古希腊的著名数学家海伦首先提出的。

有人认为阿基米德比海伦更早了稳这一公式，但是由于没有克凿的证据而得有到数学界的承认。

诲伦是亚历山大学派后期的代表人物，亚历山大后期，希腊文明遭到了严重的摧残，随着罗马帝国的扩张，希腊处于罗马的统治之下，亚里山的图书馆等被付之以火，这是历史上最大的文化浩动之一。

在罗马统治下，科学技术主要是为阶级的军事征战和一公贵族的奢侈需要服务的，他们讲求实用而轻视理论。

虽然亚历山大城仍然保持着数学中心的地痊，出现了诸如托勒密和丢番图等数学家，但是毕竟无法挽救希腊衰亡的命运。

与此同时，基督都在希腊兴起，基督教的兴起和传播，使得相像在一定历史条件下的科学淹没在宗教的热忱中，从此，希腊数学蒙受了更大的灾难。

到了公元415年，希腊女数学家希帕提亚在街上被疯狂的基督教徒割成碎块，她的学生被迫逃亡，从此，盛极一时的亚历山学派就这样无声无地结束了。

海伦就生活在这样的黑暗统治之中，幸运的是，他生活在亚历山大文明遭到摧残的早期，作为一各杰出的工程师和学者，他有许多发明，在数学、物理、测量等方面都有著作，是一位学识非常渊博的学者。

他注重实际应用。

最著名的贡献就是提出并证明了已知三边求三角形面积的公式。

这个公式出现在他的》几何学《一书中，除此之外，他还研究了正多边形示积法、二次方程求解等问题。

我国宋代的数学家秦九韶也提出了“三斜求积术”。

它与海伦公式基本一样，其实在《九章算术》中，已经有求三角形公式“底乘高的一半”，在实际丈量土地面积时，由于土地的面积并不是的三角形，要找出它来并非易事。

所以他们想到了三角形的三条边。

如果这样做求三角形的面积也就方便多了。

但是怎样根据三边的长度来求三角形的面积？直到南亲，我国著名的数学家九韶提出了“三斜求积术”。

海伦公式我国宋代的数学家秦九韶也提出了“三斜求积术”，它与海伦公式基本一样。

假设在平面内，有一个三角形，边长分别为a、b、c，三角形的面积S可由以下公式求得：S=√[p(p-a)(p-b)(p-c)]而公式里的p为半周长：p=(a+b+c)/2注1："Metrica"(《度量论》)手抄本中用s作为半周长，所以S=√[p(p-a)(p-b)(p-c)] 和S=√[s(s-a)(s-b)(s-c)]两种写法都是可以的，但多用p作为半周长。

由于任何n边的多边形都可以分割成n-2个三角形，所以海伦公式可以用作求多边形面积的公式。

比如说测量土地的面积的时候，不用测三角形的高，只需测两点间的距离，就可以方便地导出答案。

证明过程证明（1）与海伦在他的著作"Metrica"(《度量论》)中的原始证明不同，在此我们用三角公式和公式变形来证明。

设三角形的三边a、b、c的对角分别为A、B、C，则余弦定理为cosC = (a^2+b^2-c^2)/2abS=1/2*ab*sinC=1/2*ab*√(1-cos^2 C)=1/2*ab*√[1-(a^2+b^2-c^2)^2/4a^2*b^2]=1/4*√[4a^2*b^2-(a^2+b^2-c^2)^2]=1/4*√[(2ab+a^2+b^2-c^2)(2ab-a^2-b^2+c^2)]=1/4*√[(a+b)^2-c^2][c^2-(a-b)^2]=1/4*√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)]设p=(a+b+c)/2则p=(a+b+c)/2, p-a=(-a+b+c)/2, p-b=(a-b+c)/2,p-c=(a+b-c)/2,上式=√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)/16]=√[p(p-a)(p-b)(p-c)]所以，三角形ABC面积S=√[p(p-a)(p-b)(p-c)]证明（2）我国宋代的数学家秦九韶也提出了“三斜求积术”。

三角形海伦面积公式证明摘要：一、引言二、海伦公式的历史背景三、海伦公式的推导过程1.三角形面积公式2.引入变量3.计算面积4.验证海伦公式四、结论正文：一、引言在几何学中，计算三角形面积是一个常见的问题。

海伦公式是一个计算三角形面积的公式，它不仅简单易用，而且具有广泛的应用。

本文将介绍海伦公式的证明过程。

二、海伦公式的历史背景海伦公式，又称海伦- 秦九韶公式，得名于德国数学家海伦（Heron）和我国南宋数学家秦九韶。

他们在公元1 世纪和13 世纪独立发现了这个公式。

海伦公式在数学、物理、工程等领域有广泛的应用，例如计算电路面积、计算机图形学等。

三、海伦公式的推导过程1.三角形面积公式首先，我们回顾一下三角形面积的计算公式：S = √(p * (p - a) * (p - b) * (p - c))，其中a、b、c 为三角形的三边，p 为半周长，即p = (a + b + c) / 2。

2.引入变量为了证明海伦公式，我们可以先引入一些变量。

令s 为半周长，即s = p / 2。

我们用a、b、c 表示三角形的三边，用A、B、C 表示三角形的三角。

3.计算面积利用三角形面积公式，我们可以得到：S = √(s * (s - a/2) * (s - b/2) * (s - c/2))。

4.验证海伦公式我们可以将s 表示为p / 2，然后将p 表示为a + b + c。

代入公式中，我们可以得到：S = √((a + b + c) / 4 * ((a + b + c) / 4 - a/2) * ((a + b + c) / 4 - b/2) * ((a + b + c) / 4 - c/2))。

经过简化，我们可以得到：S = √((ab + ac + bc) / 4)。

这就是海伦公式！四、结论通过以上推导，我们证明了海伦公式。

这个公式为我们提供了一种简便的方法来计算三角形的面积。

海伦—秦九昭公式的推导与应用海伦公式又译作希伦公式、海龙公式、希罗公式、海伦－秦九韶公式，传说是古代的叙拉古国王希伦（Heron,也称海龙）二世发现的公式，利用三角形的三条边长来求取三角形面积。

但根据Morris Kline在1908年出版的著作考证，这条公式其实是阿基米德所发现，以托希伦二世的名发表（未查证）。

我国宋代的数学家秦九韶也提出了“三斜求积术”，它与海伦公式基本一样。

假设有一个三角形，边长分别为a、b、c，三角形的面积S可由以下公式求得：S=√[p(p-a)(p-b)(p-c)]而公式里的p为半周长：p=(a+b+c)/2——————————————————————————————————————————————注1："Metrica"(《度量论》)手抄本中用s作为半周长，所以S=√[p(p-a)(p-b)(p-c)] 和S=√[s(s-a)(s-b)(s-c)]两种写法都是可以的，但多用p作为半周长。

——————————————————————————————————————————————由于任何n边的多边形都可以分割成n-2个三角形，所以海伦公式可以用作求多边形面积的公式。

比如说测量土地的面积的时候，不用测三角形的高，只需测两点间的距离，就可以方便地导出答案。

证明（1）：与海伦在他的著作"Metrica"(《度量论》)中的原始证明不同，在此我们用三角公式和公式变形来证明。

设三角形的三边a、b、c的对角分别为A、B、C，则余弦定理为cosC = (a^2+b^2-c^2)/2abS=1/2*ab*sinC=1/2*ab*√(1-cos^2 C)=1/2*ab*√[1-(a^2+b^2-c^2)^2/4a^2*b^2]=1/4*√[4a^2*b^2-(a^2+b^2-c^2)^2]=1/4*√[(2ab+a^2+b^2-c^2)(2ab-a^2-b^2+c^2)]=1/4*√[(a+b)^2-c^2][c^2-(a-b)^2]=1/4*√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)]设p=(a+b+c)/2则p=(a+b+c)/2, p-a=(-a+b+c)/2, p-b=(a-b+c)/2,p-c=(a+b-c)/ 2,上式=√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)/16]=√[p(p-a)(p-b)(p-c)]所以，三角形ABC面积S=√[p(p-a)(p-b)(p-c)]证明（2）：我国宋代的数学家秦九韶也提出了“三斜求积术”。

海伦秦九韶算法公式
海伦秦九韶算法公式是一种用于求解三角形面积的数学公式。

该公式由古希腊数学家海伦提出，后来被中国古代数学家秦九韶所发扬光大，因此也被称为“海伦-秦九韶公式”。

海伦秦九韶公式的表达式为：
S = √[p(p-a)(p-b)(p-c)]
其中，S为三角形的面积，a、b、c分别为三角形三边的长度，p 为三角形半周长，即：
p = (a+b+c)/2
海伦秦九韶公式的推导过程较为复杂，但其优点在于可以快速、准确地计算任意形状的三角形的面积，而不需要事先知道其高度或底边长。

由于其实用性和广泛应用，海伦秦九韶公式已成为中学数学教学中不可或缺的一部分。

- 1 -。

古希腊的几何学家海伦（Heron，约公元50年），在数学史上以解决几何测量问题而闻名.在他的著作《度量》一书中，给出了公式①和它的证明，这一公式称为海伦公式.
我国南宋时期数学家秦九韶（约1202—约1261），曾提出利用三角形的三边求面积的秦九韶公式
下面我们对公式②进行变形：
这说明海伦公式与秦九韶实质上是同一个公式，所以我们也称①为海伦—秦九韶公式.
证明过程 ①海伦公式的证明
证明：如图，在△ABC 中，过A 作高AD 交BC 于D,设BD = x ，那么DC = a-x,
由于AD 是△ABD 、△ACD 的公共边，
则h 2=c 2-x 2=b 2-（a-x ）2，
解出x 得x=222
c -b +a 2a ， 于是h=222
2c -b +a c -2a 2
（）， S △ABC 的面积=1ah 2=12a ·222
2c -b +a c -2a 2
（），
即S=12222
22c +a -b c a -22（），
令p=1
2（a+b+c ），
对被开方数分解因式，并整理得到 S=.))()((c p b p a p p --- 得证.
②由海伦公式推导秦九韶公式
秦九韶公式：])2([4122
2
222c b a b a S -+-=.
推导过程:
))()((c p b p a p p ---.。

海伦公式在几何中，已知三边的长，求三角形的面积，我们都知道使用求积公式：△＝√[s(s-a)(s-b)(s-c)] 其中s=1/2(a+b+c)这个公式一般称之为海伦公式，因为它是由古希腊的著名数学家海伦首先提出的。

有人认为阿基米德比海伦更早了稳这一公式，但是由于没有克凿的证据而得有到数学界的承认。

诲伦是亚历山大学派后期的代表人物，亚历山大后期，希腊文明遭到了严重的摧残，随着罗马帝国的扩张，希腊处于罗马的统治之下，亚里山的图书馆等被付之以火，这是历史上最大的文化浩动之一。

在罗马统治下，科学技术主要是为阶级的军事征战和一公贵族的奢侈需要服务的，他们讲求实用而轻视理论。

虽然亚历山大城仍然保持着数学中心的地痊，出现了诸如托勒密和丢番图等数学家，但是毕竟无法挽救希腊衰亡的命运。

与此同时，基督都在希腊兴起，基督教的兴起和传播，使得相像在一定历史条件下的科学淹没在宗教的热忱中，从此，希腊数学蒙受了更大的灾难。

到了公元415年，希腊女数学家希帕提亚在街上被疯狂的基督教徒割成碎块，她的学生被迫逃亡，从此，盛极一时的亚历山学派就这样无声无地结束了。

海伦就生活在这样的黑暗统治之中，幸运的是，他生活在亚历山大文明遭到摧残的早期，作为一各杰出的工程师和学者，他有许多发明，在数学、物理、测量等方面都有著作，是一位学识非常渊博的学者。

他注重实际应用。

最著名的贡献就是提出并证明了已知三边求三角形面积的公式。

这个公式出现在他的》几何学《一书中，除此之外，他还研究了正多边形示积法、二次方程求解等问题。

我国宋代的数学家秦九韶也提出了“三斜求积术”。

它与海伦公式基本一样，其实在《九章算术》中，已经有求三角形公式“底乘高的一半”，在实际丈量土地面积时，由于土地的面积并不是的三角形，要找出它来并非易事。

所以他们想到了三角形的三条边。

如果这样做求三角形的面积也就方便多了。

但是怎样根据三边的长度来求三角形的面积直到南亲，我国著名的数学家九韶提出了“三斜求积术”。

海伦公式编辑海伦公式又译作希伦公式、海龙公式、希罗公式、海伦－秦九韶公式，传说是古代的叙拉古国王希伦（Heron,也称海龙）二世发现的公式，利用三角形的三条边长来求取三角形面积。

但根据Morris Kline在1908年出版的著作考证，这条公式其实是阿基米德所发现，以托希伦二世的名发表（未查证)。

目录1原理简介2证明过程证明⑴证明⑵证明⑶证明⑷3推广4应用证明推广5例题1原理简介中国宋代的数学家秦九韶也提出了“三斜求积术”，它与海伦公式基本一样。

假设在平面内，有一个三角形，边长分别为a、b、c，三角形的面积S可由以下公式求得：而公式里的p为半周长（周长的一半）：注1："Metrica"(《论》）手抄本中用s作为半周长，所以和两种写法都是可以的，但多用p作为半周长。

由于任何n边的多边形都可以分割成（n-2）个三角形，所以海伦公式可以用作求多边形面积的公式，但需要先知道分割用的对角线的长度。

比如说测量土地的面积的时候，不用测三角形的高，只需测两点间的距离，就可以方便地导出答案。

2证明过程证明⑴与海伦在他的著作"Metrica"(《度量论》）中的原始证明不同，在此我们用三角公式和公式变形来证明。

设三角形的三边a、b、c的对角分别为A、B、C，则余弦定理为下述推导[1]cosC = (a^2+b^2-c^2）/2abS=1/2*ab*sinC=1/2*ab*√（1-cos^2 C)=1/2*ab*√[1-(a^2+b^2-c^2）^2/4a^2*b^2]=1/4*√[4a^2*b^2-(a^2+b^2-c^2）^2]=1/4*√[（2ab+a^2+b^2-c^2）（2ab-a^2-b^2+c^2）]=1/4*√[(a+b)^2-c^2][c^2-(a-b)^2]=1/4*√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)]设p=(a+b+c)/2则p=(a+b+c)/2,p-a=(-a+b+c)/2,p-b=(a-b+c)/2,p-c=(a+b-c)/2,上式=√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)/16]=√[p(p-a)(p-b)(p-c)]所以，三角形ABC面积S=√[p(p-a)(p-b)(p-c)]证明⑵中国宋代的数学家秦九韶在1247年也提出了“三斜求积术”。

秦九韶海伦公式的证明过程嘿，咱今儿来聊聊秦九韶海伦公式的证明过程哈！这可是个相当有意思的玩意儿呢！咱先来说说啥是秦九韶海伦公式。

简单来讲，它就是用来计算三角形面积的一个神奇公式。

你想啊，给你一个三角形，要你算出它的面积，要是没这个公式，那得多费劲呀！但有了它，就像找到了一把钥匙，一下子就能把门打开啦！那它到底是咋证明出来的呢？咱一步一步来看哈。

咱先设三角形的三条边分别为 a、b、c，半周长为 s。

然后呢，就开始捣鼓啦！这证明过程就像是搭积木一样，一块一块往上垒。

你看，先是通过一些巧妙的计算和推导，得出一些中间的式子。

这就好比是先找到合适的积木块。

然后呢，再把这些式子组合起来，就像把积木搭成一个漂亮的城堡。

哇塞，突然之间，秦九韶海伦公式就出现在眼前啦！这就好像变魔术一样神奇，不是吗？你想想，本来毫无头绪的一个问题，通过这么一番操作，就变得清晰明了啦！你说这古人咋就这么聪明呢？他们是咋想到这些的呀？难道他们脑袋里装了个超级计算器不成？其实啊，这都是他们不断思考、不断尝试的结果。

就跟咱平时做事一样，多琢磨琢磨，说不定就能找到好办法呢！而且你发现没，数学这东西，有时候真的很神奇。

一个小小的公式，背后可能蕴含着巨大的智慧和奥秘。

咱再回过头来看看这个秦九韶海伦公式的证明过程，每一步都充满了智慧的火花呀！这就像在黑暗中点亮了一盏盏小灯，最后照亮了整个道路。

咱学习这个证明过程，可不仅仅是为了知道怎么证明，更是要学习古人的那种钻研精神。

遇到问题不退缩，努力去寻找答案。

你说要是咱平时遇到难题都能像古人研究这个公式一样，那还有啥问题解决不了呀？对吧！总之呢，秦九韶海伦公式的证明过程是个非常有趣且充满智慧的东西。

咱可得好好研究研究，说不定还能从中发现更多的宝藏呢！你说是不是呀？嘿嘿！。

数学文化之海伦—秦九
韶公式
Document serial number【UU89WT-UU98YT-UU8CB-UUUT-UUT108】
海伦—秦九韶公式
古希腊的几何学家海伦（Heron，约公元50年），在数学史上以解决几何测量问题而闻名.在他的着作《度量》一书中，给出了公式①和它的证明，这一公式称为海伦公式.
我国南宋时期数学家秦九韶（约1202—约1261），曾提出利用三角形的三边求面积的秦九韶公式
下面我们对公式②进行变形：
这说明海伦公式与秦九韶实质上是同一个公式，所以我们也称①为海伦—秦九韶公式.
证明过程
①海伦公式的证明
证明：如图，在△ABC中，过A作高AD交BC于D,设BD = x，那么DC = a-x,
由于AD是△ABD、△ACD的公共边，
则h2=c2-x2=b2-（a-x）2，
对被开方数分解因式，并整理得到
②由海伦公式推导秦九韶公式
推导过程:
p
a
p-
-
-.
)
p
)(
b
)(
(c
p。

海伦公式海伦公式又译作希伦公式、海龙公式、公式、海伦－秦九韶公式，传说是古代的国王希伦（,也称海龙）二世发现的公式，利用三角形的三条边长来求取三角形面积。

但根据Morris Kline在1908年出版的着作考证，这条公式其实是所发现，以托希伦二世的名发表（未查证）。

我国宋代的数学家也提出了“三斜求积术”，它与海伦公式基本一样。

假设有一个三角形，边长分别为a、b、c，三角形的面积S可由以下公式求得：S=√[p(p-a)(p-b)(p-c)]而公式里的p为半周长：p=(a+b+c)/2——————————————————————————————————————————————注1："Metrica"(《度量论》)手抄本中用s作为半周长，所以S=√[p(p-a)(p-b)(p-c)] 和S=√[s(s-a)(s-b)(s-c)]两种写法都是可以的，但多用p 作为半周长。

——————————————————————————————————————————————由于任何n边的多边形都可以分割成n-2个三角形，所以海伦公式可以用作求多边形面积的公式。

比如说测量土地的面积的时候，不用测三角形的高，只需测两点间的距离，就可以方便地导出答案。

证明（1）：与海伦在他的着作"Metrica"(《度量论》)中的原始证明不同，在此我们用三角公式和公式变形来证明。

设三角形的三边a、b、c的对角分别为A、B、C，则为cosC = (a^2+b^2-c^2)/2abS=1/2*ab*sinC=1/2*ab*√(1-cos^2 C)=1/2*ab*√[1-(a^2+b^2-c^2)^2/4a^2*b^2]=1/4*√[4a^2*b^2-(a^2+b^2-c^2)^2]=1/4*√[(2ab+a^2+b^2-c^2)(2ab-a^2-b^2+c^2)]=1/4*√[(a+b)^2-c^2][c^2-(a-b)^2]=1/4*√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)]设p=(a+b+c)/2则p=(a+b+c)/2, p-a=(-a+b+c)/2, p-b=(a-b+c)/2,p-c=(a+b-c)/2,上式=√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)/16]=√[p(p-a)(p-b)(p-c)]所以，三角形ABC面积S=√[p(p-a)(p-b)(p-c)]证明（2）：我国宋代的数学家秦九韶也提出了“三斜求积术”。

海伦—秦九昭公式的推导与应用海伦公式又译作希伦公式、海龙公式、希罗公式、海伦－秦九韶公式，传说是古代的叙拉古国王希伦（Heron,也称海龙）二世发现的公式，利用三角形的三条边长来求取三角形面积。

但根据Morris Kline在1908年出版的著作考证，这条公式其实是阿基米德所发现，以托希伦二世的名发表（未查证）。

我国宋代的数学家秦九韶也提出了“三斜求积术”，它与海伦公式基本一样。

假设有一个三角形，边长分别为a、b、c，三角形的面积S可由以下公式求得：S=√[p(p-a)(p-b)(p-c)]而公式里的p为半周长：p=(a+b+c)/2——————————————————————————————————————————————注1："Metrica"(《度量论》)手抄本中用s作为半周长，所以S=√[p(p-a)(p-b)(p-c)] 和S=√[s(s-a)(s-b)(s-c)]两种写法都是可以的，但多用p作为半周长。

——————————————————————————————————————————————由于任何n边的多边形都可以分割成n-2个三角形，所以海伦公式可以用作求多边形面积的公式。

比如说测量土地的面积的时候，不用测三角形的高，只需测两点间的距离，就可以方便地导出答案。

证明（1）：与海伦在他的著作"Metrica"(《度量论》)中的原始证明不同，在此我们用三角公式和公式变形来证明。

设三角形的三边a、b、c的对角分别为A、B、C，则余弦定理为cosC = (a^2+b^2-c^2)/2abS=1/2*ab*sinC=1/2*ab*√(1-cos^2 C)=1/2*ab*√[1-(a^2+b^2-c^2)^2/4a^2*b^2]=1/4*√[4a^2*b^2-(a^2+b^2-c^2)^2]=1/4*√[(2ab+a^2+b^2-c^2)(2ab-a^2-b^2+c^2)]=1/4*√[(a+b)^2-c^2][c^2-(a-b)^2]=1/4*√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)]设p=(a+b+c)/2则p=(a+b+c)/2, p-a=(-a+b+c)/2, p-b=(a-b+c)/2,p-c=(a+b-c)/ 2,上式=√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)/16]=√[p(p-a)(p-b)(p-c)]所以，三角形ABC面积S=√[p(p-a)(p-b)(p-c)]证明（2）：我国宋代的数学家秦九韶也提出了“三斜求积术”。

海伦公式的推导和应用 WTD standardization office【WTD 5AB- WTDK 08- WTD 2C】海伦公式海伦公式又译作希伦公式、海龙公式、公式、海伦－秦九韶公式，传说是古代的国王希伦（,也称海龙）二世发现的公式，利用三角形的三条边长来求取三角形面积。

但根据Morris Kline在1908年出版的着作考证，这条公式其实是所发现，以托希伦二世的名发表（未查证）。

我国宋代的数学家也提出了“三斜求积术”，它与海伦公式基本一样。

假设有一个三角形，边长分别为a、b、c，三角形的面积S可由以下公式求得：S=√[p(p-a)(p-b)(p-c)]而公式里的p为半周长：p=(a+b+c)/2——————————————————————————————————————————————注1："Metrica"(《度量论》)手抄本中用s作为半周长，所以S=√[p(p-a)(p-b)(p-c)] 和S=√[s(s-a)(s-b)(s-c)]两种写法都是可以的，但多用p 作为半周长。

——————————————————————————————————————————————由于任何n边的多边形都可以分割成n-2个三角形，所以海伦公式可以用作求多边形面积的公式。

比如说测量土地的面积的时候，不用测三角形的高，只需测两点间的距离，就可以方便地导出答案。

证明（1）：与海伦在他的着作"Metrica"(《度量论》)中的原始证明不同，在此我们用三角公式和公式变形来证明。

设三角形的三边a、b、c的对角分别为A、B、C，则为cosC = (a^2+b^2-c^2)/2abS=1/2*ab*sinC=1/2*ab*√(1-cos^2 C)=1/2*ab*√[1-(a^2+b^2-c^2)^2/4a^2*b^2]=1/4*√[4a^2*b^2-(a^2+b^2-c^2)^2]=1/4*√[(2ab+a^2+b^2-c^2)(2ab-a^2-b^2+c^2)]=1/4*√[(a+b)^2-c^2][c^2-(a-b)^2]=1/4*√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)]设p=(a+b+c)/2则p=(a+b+c)/2, p-a=(-a+b+c)/2, p-b=(a-b+c)/2,p-c=(a+b-c)/2,上式=√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)/16]=√[p(p-a)(p-b)(p-c)]所以，三角形ABC面积S=√[p(p-a)(p-b)(p-c)]证明（2）：我国宋代的数学家秦九韶也提出了“三斜求积术”。