海伦公式的证明(精选多篇)
海伦公式的证明过程
海伦公式的证明过程海伦公式，也称为海伦-柯利公式，是用于计算三角形面积的一种公式，它由古希腊数学家海伦提出，在西元一世纪的《几何原本》中首次被描述。
假设有一个三角形，它的三边长度分别为a、b、c，那么根据海伦公式，它的面积S可以表示为：S=√[s(s-a)(s-b)(s-c)]其中s是半周长，可以计算为三边长度之和的一半，即：s=(a+b+c)/2现在我们来证明一下海伦公式。
假设有一个三角形ABC，我们可以假设它的顶点A位于坐标原点，B 位于x轴上，C位于x轴上的正半轴上方。
首先，我们可以计算出各个顶点的坐标分别为A(0,0)，B(b,0)，C(c*cosθ，c*sinθ)，其中θ是角C的大小。
接下来，我们可以计算出边AB和AC的长度，分别为：AB=√[(b-0)^2+(0-0)^2]=bAC = √[(c*cosθ-0)^2 + (c*sinθ-0)^2] = c接着，我们可以计算出角ABC的大小，可以利用余弦定理来计算：cos(ABC) = [(b-0)^2 + (0-0)^2 + c^2 - (c*cosθ-0)^2 -(c*sinθ-0)^2]/(2*b*c) = (b^2 + c^2 - 2bc*cosθ)/(2*b*c)进一步简化后可以得到：cos(ABC) = (b^2 + c^2 - 2bc*cosθ)/(2*b*c)然后，我们可以应用正弦定理来计算角ABC的正弦值：sin(ABC) = √[1 - cos^2(ABC)]再进一步简化后可以得到：sin(ABC) = √[1 - (b^2 + c^2 - 2bc*cosθ)^2/(4*b^2*c^2)]接下来，我们可以计算三角形的面积，利用面积公式S =(1/2)*AB*AC*sin(ABC)：S = (1/2)*b*c*sin(ABC) = (1/2)*b*c*√[1 - (b^2 + c^2 -2bc*cosθ)^2/(4*b^2*c^2)]然后，我们将sin(ABC)的表达式进行进一步简化：sin(ABC) = √[1 - (b^2 + c^2 - 2bc*cosθ)^2/(4*b^2*c^2)]= √[(4*b^2*c^2 - (b^2 + c^2 - 2bc*cosθ)^2)/(4*b^2*c^2)] = √[(4*b^2*c^2 - (b^4 + c^4 + (2bc*cosθ)^2 - 2*b^2*c^2 + 2bc*cosθ*(b^2 + c^2))/(4*b^2*c^2)]= √[(4*b^2*c^2 - b^4 - c^4 - (2bc*cosθ)^2 + 2*b^2*c^2 - 2bc*b^2 - 2bc*c^2 + 2(b^3*c*cosθ + bc^3*cosθ))/(4*b^2*c^2)] = √[(2b^2*c^2 + 2*c^2*b^2 - b^4 - c^4 - (2bc*cosθ)^2 +2bc*(b^3*cosθ + bc^2*cosθ))/(4*b^2*c^2)]= √[(4*b^4*c^2 + 4*b^2*c^4 - 2b^6 - 2*c^6 -4b^2*c^2*(cosθ)^2 + 2bc*(b^3*cosθ + bc^2*cosθ))/(4*b^2*c^2)] = √[(4b^4*c^2 + 4*b^2*c^4 - 2b^6 - 2c^6 -4b^2*c^2*(cosθ)^2 + 2b^4*c*cosθ + 2bc^3*cosθ)/(4*b^2*c^2)] = √[2b^2*c^2 + 2bcosθ*(b^4 + c^4 - 2b^2*c^2 + bc^2)]/(2bc)最后，我们可以将sin(ABC)的表达式代入到三角形面积公式中，得到：S = (1/2)*b*c*sin(ABC) = (1/2)*b*c*√[2b^2*c^2 +2bcosθ*(b^4 + c^4 - 2b^2*c^2 + bc^2)]/(2bc)= √[b^2*c^2 - (b^4 + c^4 - 2b^2*c^2 + bc^2)cosθ]/2= √[(b^2*c^2 + b^4 + c^4 - 2b^2*c^2 + bc^2)cosθ]/2= √[(b^4 + c^4 - 2b^2*c^2)cosθ + b^2*c^2]/2最后，我们可以用半周长s来替代上式中的cosθ，因为根据三角恒等式有cosθ = (b^2 + c^2 - a^2)/(2bc)，其中a是边BC的长度，即：b^2 + c^2 - a^2 = 2bc*cosθ带入后可得：S = √[(b^4 + c^4 - 2b^2*c^2)cosθ + b^2*c^2]/2= √[(b^4 + c^4 - 2b^2*c^2)*(b^2 + c^2 - a^2)/(2bc) +b^2*c^2]/2=√[(b^2+c^2+a^2)(-b^2+c^2+a^2)(b^2-c^2+a^2)(a^2+b^2+c^2)]/4b*c所以，我们成功地证明了海伦公式。
海伦定理证明过程
海伦定理证明过程
在数学中，海伦定理（又称海伦公式）是指在任意三角形中，已知三边长，可以求出三角形面积的公式。
该定理最早由希腊数学家海伦提出，因此得名为海伦定理。
证明过程如下：
首先，根据海伦定理，任意三角形的面积S可以表示为：
S = √[s(s-a)(s-b)(s-c)]
其中，a、b、c分别为三角形的三条边长，s为它们的半周长，即：
s = (a+b+c)/2
因此，我们只需要证明该公式成立即可。
假设三角形的三边长分别为a、b、c，我们可以将它们作为底边，分别画出三个高h1、h2、h3，如下图所示：
[图片]
由三条高可知：
h1 = √(a^2 - x^2)
h2 = √(b^2 - y^2)
h3 = √(c^2 - z^2)
其中，x、y、z为三角形各边到高的垂线长度。
由勾股定理可知：
a^2 = x^2 + h1^2
b^2 = y^2 + h2^2
c^2 = z^2 + h3^2
将上式代入s和S的公式中，得到：
s = (a+b+c)/2 = (x+y+z+h1+h2+h3)/2
S = √[s(s-a)(s-b)(s-c)]
= √
[(x+y+z+h1+h2+h3)/2((x+y+z+h1+h2+h3)/2-a)((x+y+z+h1+h2+h3)/ 2-b)((x+y+z+h1+h2+h3)/2-c)]
经过展开和化简后，可以得到：
S = √[xyz(x+y+z)]
因此，我们证明了海伦定理的正确性。
海伦公式的证明(精选多篇)
海伦公式的证明(zhèngmíng)(精选多篇)第一篇：海伦公式(gōngshì)的证明与海伦在他的著作"metrica"(《度量论》)中的原始证明不同，在此我们用三角公式和公式变形(biàn xíng)来证明。
设三角形的三边a、b、c的对角分别为a、b、c，那么(nà me)余弦定理(yú xián dìnɡ lǐ)为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)]第二篇：海伦公式的几种证明与推广海伦公式的几种证明与推广古镇高级中学付增德高中数学必修⑤第一章在阅读与思考栏目向学生介绍一个非常重要且优美的公式——海伦公式〔heron"s formula〕：假设有一个三角形，边长分别为a,b,c,，三角形的面积s可由以下公式求得：s(pa)(pb)(pc)，而公式里的p(abc)，称为半周长。
图1c海伦公式又译希伦公式，传说是古代的叙拉古国王希伦二世发现的公式，利用三角形的三条边长来求取三角形面积。
用勾股定理证明海伦公式
用勾股定理证明海伦公式在数学的广袤世界里，勾股定理和海伦公式就像是两颗璀璨的明珠，各自闪耀着独特的光芒。
而当我们尝试用勾股定理去证明海伦公式时，就像是展开了一场奇妙的探险之旅。
咱们先来说说这勾股定理，它就像是数学王国里的“大明星”，大家都知道“直角三角形的两条直角边的平方和等于斜边的平方”，简单来说就是 a² + b² = c²。
这公式看似简单，却有着无穷的威力。
而海伦公式呢，它是用来计算三角形面积的。
假设一个三角形的三条边长分别为 a、b、c，半周长 p = (a + b + c) / 2 ，那么这个三角形的面积S = √[p(p - a)(p - b)(p - c)] 。
接下来，咱们就正式开始用勾股定理来证明海伦公式啦。
咱们先构造一个三角形 ABC，假设 BC = a，AC = b，AB = c 。
然后过顶点 A 作 AD ⊥ BC 于点 D 。
这时候，三角形 ABC 就被分成了两个直角三角形，分别是 ABD 和 ACD 。
假设 BD = x ，那么 DC = a - x 。
在直角三角形 ABD 中，根据勾股定理，AD² = c² - x²；在直角三角形 ACD 中，AD² = b² - (a - x)²。
所以，c² - x² = b² - (a - x)²，展开并化简得到：c² - x² = b² - (a² - 2ax + x²)c² - x² = b² - a² + 2ax - x²c² = b² - a² + 2ax2ax = c² + a² - b²x = (c² + a² - b²) / (2a)这时候，AD 的长度就可以表示为：AD = √(c² - x²) = √[c² - ((c² + a² - b²) / (2a))²]三角形 ABC 的面积 S 就等于 1/2 × BC × AD ，也就是：S = 1/2 × a × √[c² - ((c² + a² - b²) / (2a))²]接下来就是一顿化简操作啦。
求三角形面积——海伦公式（共五则范文）
求三角形面积——海伦公式（共五则范文）第一篇：求三角形面积——海伦公式证明：海伦公式：若ΔABC的三边长为a、b、c，则SΔABC=√（（a＋b＋c）×（－a＋b＋c）×（a－b＋c）×（a＋b－c））/4(这是海伦公式的变形，“负号“－”从a左则向右经过a、b、c”，负号从x轴负轴向正轴扫描一个周期！我觉得这么记更简单，还设个什么l=(a+b=c)/2啊，多此一举！)证明：设边c上的高为 h,则有√(a^2－h^2)＋√(b^2－h^2)=c√(a^2－h^2)=c－√(b^2－h^2)两边平方，化简得：2c√(b^2－h^2)=b^2+c^2-a^2两边平方，化简得：h=√(b^2-(b^2+c^2-a^2)^2/(4c^2))SΔABC=ch/2=c√(b^2-(b^2+c^2-a^2)^2/(4c^2))/2仔细化简一下，得：SΔABC=√（（a＋b＋c）×（－a＋b＋c）×（a－b＋c）×（a＋b－c））/4用三角函数证明！证明：SΔABC=absinC/2=ab√(1-(cosC)^2)/2————（1）∵cosC=(a^2+b^2-c^2)/(2ab)∴代入（1）式，（仔细）化简得：SΔABC=√（（a＋b＋c）×（－a＋b＋c）×（a－b＋c）×（a＋b－c））/4第二篇：海伦公式与四边形面积公式海伦公式与四边形面积公式2007年08月01日星期三 00:43 我们知道，已知三角形的三条边长度a，b，c（2p＝a+b+c），就可以由海伦公式得到三角形的面积：所以：已知圆内接三角形的三边长，其面积公式为海伦公式。
事实上，对于圆内接四边形，已知其四边形的四边长（不妨设其为a，b，c，d，2p＝a+b+c+d），也可以求其面积，而且公式的形式与海伦公式相类似：证明：设圆内接四边形ABCD中，AB＝a，BC＝b，CD＝c，DA＝d，设∠BAD=θ，则∠BCD=180°-θ，设其对角线BD＝x，由余弦定理有：联立两式解得：第三篇：高中数学三角形面积公式高中数学三角形面积公式由不在同一直线上的三条线段首尾顺次连接所组成的封闭图形叫做三角形。
高中数学必修3海伦公式的证明方法
高中数学必修3海伦公式的证明方法海伦公式的证明⑴与海伦在他的著作"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^2C)=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)]海伦公式的证明⑵中国宋代的数学家秦九韶也提出了“三斜求积术”。
它与海伦公式基本一样，其实在《九章算术》中，已经有求三角形公式“底乘高的一半”，在实际丈量土地面积时，由于土地的面积并不是三角形，要找出它来并非易事。
所以他们想到了三角形的三条边。
如果这样做求三角形的面积也就方便多了。
但是怎样根据三边的长度来求三角形的面积?直到南宋，中国著名的数学家秦九韶提出了“三斜求积术”。
秦九韶他把三角形的三条边分别称为小斜、中斜和大斜。
“术”即方法。
三斜求积术就是用小斜平方加上大斜平方，送到中斜平方，取相减后余数的一半，自乘而得一个数，小斜平方乘以大斜平方，送到上面得到的那个。
相减后余数被4除，所得的数作为“实”，作1作为“隅”，开平方后即得面积。
三角形海伦面积公式证明
三角形海伦面积公式证明摘要：一、引言二、海伦公式的历史背景三、海伦公式的推导过程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)。
这就是海伦公式！四、结论通过以上推导，我们证明了海伦公式。
这个公式为我们提供了一种简便的方法来计算三角形的面积。
【推荐】海伦公式证明-word范文模板 (9页)
本文部分内容来自网络整理，本司不为其真实性负责，如有异议或侵权请及时联系，本司将立即删除！== 本文为word格式，下载后可方便编辑和修改！ ==海伦公式证明篇一：海伦公式及其证明方法海伦公式及其证明方法海伦公式：1??=，其中??= ??+??+??如图在△ABC中，过A作高AD交BC于D 设BD = x，那么DC = a-x由于AD是△ABD、△ACD的公共边?2=??2???2=??2? ????? 2解出x得??2???2+??2??= 于是2???2+??2???= ??2? 2△ABC的面积2???2+??211????=???=??? ??2?2即122??2+??2???2??= ?????令1??= ??+??+?? 对被开方数分解因式，并整理得到??=得证 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、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
经典合同海伦公式的证明姓名：XXX 日期：XX年X月X日海伦公式的证明与海伦在他的著作"metrica"(《度量论》)中的原始证明不同，在此我们用三角公式和公式变形来证明。
设三角形的三边a、b、c的对角分别为a、b、c，则余弦定理为cosc =(a^2+b^2-c^2)/2abs=1/2*ab*sinc=1/2*ab*√(1-cos^2c)=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)]第二篇：海伦公式的几种证明与推广海伦公式的几种证明与推广古镇高级中学付增德高中数学必修⑤第一章在阅读与思考栏目向学生介绍一个非常重要且优美的公式——海伦公式〔heron's formula〕：假设有一个三角形，边长分别为a,b,c,，三角形的面积s可由以下公式求得：s?(p?a)(p?b)(p?c)，而公式里的p?12(a?b?c)，称为半周长。
图1第 2 页共 32 页海伦公式又译希伦公式，传说是古代的叙拉古国王希伦二世发现的公式，利用三角形的三条边长来求取三角形面积。
但根据morris kline 在1908年出版的著作考证，这条公式其实是阿基米德所发现，以托希伦二世的名发表。
由于任何n边的多边形都可以分割成n-2个三角形，所以海伦公式可以用作求多边形面积的公式。
比如说测量土地的面积的时候，不用测三角形的高，只需测两点间的距离，就可以方便地导出答案。
海伦公式形式漂亮，结构工整，有多种变形，如：s= p(p?a)(p?b)(p?c)222141414(a?b?c)(a?b?c)(a?c?b)(b?c?a)(a214[(a?b)?c][c144ab22?(a?b)]22?b第 3 页共 32 页2?c2?2ab)[?(a22?b42?c42?2ab)]4?(a2?b?c)222ab2?2ac2?2bc第 4 页共 32 页?a?b?c12absinc和余弦定理教课书中并以习题形式出现，给出的参考答案是利用三角形面积计算公式s?121212c2?a2?b2?2abcosc的证明过程：s?absinc=ab1?cosnc=2ab1?(a2?b2?c2第 5 页共 32 页2下略。
我国南宋著名数学家秦九韶也发现了与海伦公式等价的“三斜求积”公式，中国古代的天元术发展水平非常高，笔者猜想秦九韶在独立推出“三斜求积”公式过程中，利用了解方程的方法，因此海伦公式可以作如下推证，从三角形最基本的面积公式s?abc?12aha入手，利用勾股定理，布列方程组求高。
如图2，b图2c?x2?y2?c2222?2a?c?b22在△abc中，ad为边bc上的高，根据勾股定理，有?x?z?b解方程，得y?，2a?y?z?a?z?a?b?c2a，x?c第 6 页共 32 页?ca?c?b2a12a4ac22?(a?c?b)下略。
在求22高的方法上，我们也可以用斯特瓦尔特定理，根据斯氏定理，△abc 顶点a于对边bc上任一点d间的距离ad有下列等式确定：ab ad?dc?ac?bd?ad?bc?bd?dc?bc，等式改写为?abdcbc?acbdbc?bc第 7 页共 32 页bdbcaa22而当点d是顶点a的正射影时,有bddcabcosbaccosc?c?b22?b?c22，利用比例的性质，变形得bdbca?c22?b2adcbca?b22?c2a第 8 页共 32 页，代入即求出高ad。
推证海伦公式也可以考虑应用三角函数的恒等式，容易证明下列三角恒等式：若∠a+∠b+∠c =180°那么abacbcta?ta+tan?tan?tan+tan=1，222222zzc图3如图3,在△abc中，内切圆⊙o的半径是r,则tana2rx, tanb2ry,tanc2rz,代入恒等式tana2?tanb2+tana2?tan第 9 页共 32 页c2+tanb2?tanc2=1，得rxyrxzryz?1，两边同乘xyz，有等式r(x?y?z)?xyz???①又，b?c?a?(x?z)?(x?y)?(y?z)?2x ，所以，x? z?a?b?cb?c?a，同理y?a?c?b。
???②于是△abc的面积s?12(a?b?c)r=12第 10 页共 32 页(y?z?x?z?x?y)r=(x?y?z)r=(x?y?z)r=14，把①、②式代入，即得s?(x?y?z)xyz(a?b?c)(a?b?c)(b?c?a)(a?c?b)三角形的面积和三边有如此优美和谐的关系，我们不禁会类比猜想(更多请关注)，简单四边形的面积和它的四条边又是什么关系呢？由于三角形内接于圆，所以猜想海伦公式的推广为：在任意内接与圆的四边形abcd中，设四条边长分别为a,b,c,d，且p?a?b?c?d,则s四边形=(p?a)(p?b)(p?c)(p?d)现根据猜想进行证明。
证明：如图，延长da，cb交于点e。
设ea = eeb = f∵∠1+∠2 =180∠2+∠3 =180 ∴∠1 =∠3∴△eab～△ecd ∴fa?eef?cbds?eabs四边形abcdbd?b解得： e =b(ab?cd)d③f =b(ad?bc)d?b④由于s四边形abcd =d?bbs△ea b将③，④跟b =b(dd?b)?b代入海伦公式公式变形，得：∴s四边形abcd =d?b4eb22?(e?b?f4bd?bb(ab?cd)(d(db224?b)22d4b?b)b(ab?cd)(d ?b)22b(d(d22?b)22?b)b(ad?bc)(d 22?b)22?b4b(d?b)?4(ab22?b)?[(ab?cd)?(d 2222?b)?(ad?bc)]224(d?b)14(ab?cd)(d22?b)?[{ab?cd}?{d 2222?b}?{ad?bc}] 22224(d?b)14(ab?cd)(d22?b)?(ab2222?cd22?d?b22?ad22?bc)224(d?b)14(ab?cd)(d22?b)?[b(a2222?b?d?c)?d(d222?b?a?c)4(d1?b)(d?b)[4(ab?cd)?(c 2222?b?a)]22=4(2ab?2cd?c?d?b?a)(2ab?2cd?d22?b?a?c)=4a?c)?(b?d)][(b?d)?(a?c)]2222(a?b?c?d)(a?b?d?c)(a?d?c?b)(b?d?c?a)=4=(p?a)(p?b)(p?c)(p?d)所以，海伦公式的推广得证。
图4参考文献［1］七市高中选修教材编写委员会．数学问题探究[m]．北京：生活·读书·新知三联书店，XX：14～２６．［2］王林全．初等几何研究教程[m]．广州：暨南大学出版社，１９９６．第三篇：海伦公式海伦公式与海伦在他的著作"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年也提出了“三斜求积术”。
它与海伦公式基本一样，其实在《九章算术》中，已经有求三角形公式“底乘高的一半”，在实际丈量土地面积时，由于土地的面积并不是三角形，要找出它来并非易事。
所以他们想到了三角形的三条边。
如果这样做求三角形的面积也就方便多了。
但是怎样根据三边的长度来求三角形的面积？直到南宋，中国著名的数学家秦九韶提出了“三斜求积术”。
秦九韶他把三角形的三条边分别称为小斜、中斜和大斜。
“术”即方法。
三斜求积术就是用小斜平方加上大斜平方，送到中斜平方，取相减后余数的一半，自乘而得一个数，小斜平方乘以大斜平方，送到上面得到的那个。
相减后余数被4除，所得的数作为“实”，作1作为“隅”，开平方后即得面积。
所谓“实”、“隅”指的是，在方程px 2=q,p为“隅”，q为“实”。
以△、a,b,c表示三角形面积、大斜、中斜、小斜，所以q=1/4{a^2*c^2-[(a^2+c^2-b^2）/2 ]^2}当p=1时，△ 2=q,△=√1/4{a^2*c^2-[(a^2+c^2-b^2）/2 ]^2}因式分解得△ ^2=1/4[4a^2c^2-(a^2+c^2-b^2）^2]=1/4[(c+a) ^2-b ^2][b^ 2-(c-a)^ 2]=1/4(c+a+b)(c+a-b)(b+c-a)(b-c+a)=1/4(c+a+b)(a+b+c-2b)(b+c+a-2a)(b+a+c-2c)=1/4[2p（2p-2a）（2p-2b）（2p-2c)]=p(p-a)(p-b)(p-c)由此可得：s△=√[p(p-a)(p-b)(p-c)]其中p=1/2(a+b+c)这与海伦公式完全一致，所以这一公式也被称为“海伦－秦九韶公式”。
s=√1/4{a^2*c^2-[(a^2+c^2-b^2）/2 ]^2} .其中c>b>a.根据海伦公式，我们可以将其继续推广至四边形的面积运算。