第一篇:海伦公式的证明
与海伦在他的著作"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)]
第二篇:海伦公式的几种证明与推广
海伦公式的几种证明与推广
古镇高级中学付增德
高中数学必修⑤第一章在阅读与思考栏目向学生介绍一个非常重要且优美的公式——海伦公式〔heron's formula〕:假设有一个三角形,边长分别为a,b,c,,三角形的面积s可由以下公式求得:
s?
(p?a)(p?b)(p?c),而公式里的p?
12
(a?b?c),称为半周长。
图1
c
海伦公式又译希伦公式,传说是古代的叙拉古国王希伦二世发现的公式,利用三角形的三条边长来求取三角形面积。但根据morris kline在1908年出版的著作考证,这条公式其实是阿基米德所发现,以托希伦二世的名发表。由于任何n边的多边形都可以分割成n-2个三角形,所以海伦公式可以用作求多边形面积的公式。比如说测量土地的面积的时候,不用测三角形的高,只需测两点间的距离,就可以方便地导出答案。海伦公式形式漂亮,结构工整,有多种变形,如:s=
p(p?a)(p?b)(p?c)
2
2
2
===
141414
(a?b?c)(a?b?c)(a?c?b)(b?c?a)(a
2
=
14
[(a?b)?c][c14
4ab
2
2
?(a?b)]
2
2
?b
2
2
?c
2
?2ab)[?(a
2
2
?b
4
2
?c
4
2
?2ab)]
4
=
?(a
2
?b?c)
22
2ab
2
?2ac
2
?2bc
22
?a?b?c
12
absinc和余弦定理
教课书中并以习题形式出现,给出的参考答案是利用三角形面积计算公式s?
12
12
12
c
2
?a
2
?b
2
?2abcosc的证明过程:s?absinc=ab1?cosnc=
2
ab1?(
a
2
?b
2
?c
2
2ab
)
2
下略。我国南宋著名数学家秦九韶也发现了与海伦公式等价的“三斜求积”公式,中国古代的天元术发展水平非常高,笔者猜想秦九韶在独立推出“三斜求积”公式过程中,利用了解方程的方法,因此海伦公式可以作如下推证,从三角形最基本的面积公式s?abc?
12
aha入手,利用勾股定理,布列方程组求高。
如图2,
b
图2
c
?x2?y2?c2
222
?2a?c?b22
在△abc中,ad为边bc上的高,根据勾股定理,有?x?z?b解方程,得y?,
2a
?y?z?a?z?
a
?b
?c
2a
,x?c
?y
?c
?(
a
?c
?b
2a
)
?
12a
4ac
22
?(a
?c
?b)下略。在求
22
高的方法上,我们也可以用斯特瓦尔特定理,根据斯氏定理,△abc顶点a于对边bc上任一点d间的距离ad有下列等式确定:ab
ad
?dc?ac
?bd?ad
?bc?bd?dc?bc,等式改写为
?ab
?
dcbc
?ac
?
bdbc
?bc
?
dcbc
?
bdbc
aa
22
而当点d是顶点a的正射影时,有
bddc
?
abcosbaccosc
?
?c?b
22
?b?c
22
,利用比例的性质,变形得
bdbc
?
a
?c
22
?b
2a
,
dcbc
?
a
?b
22
?c
2a
,代入即求出高ad。推证海伦公式也可以考虑应用三角函数
的恒等式,容易证明下列三角恒等式:若∠a+∠b+∠c =180°那么
abacbcta?ta+tan?tan?tan+tan=1,
222222
zz
c
图3
如图3,在△abc中,内切圆 ……此处隐藏2467个字……④经过两点有且只有一条直线。比较长短:①两点之间的所有连线中,线段最短。②两点之间线段的长度,叫做这两点之间的距离。
角的度量与表示:①角由两条具有公共端点的射线组成,两条射线的公共端点是这个角的顶点。②一度的1/60是一分,一分的1/60是一秒。
角的比较:①角也可以看成是由一条射线绕着他的端点旋转而成的。②一条射线绕着他的端点旋转,当终边和始边成一条直线时,所成的角叫做平角。始边继续旋转,当他又和始边重合时,所成的角叫做周角。③从一个角的顶点引出的一条射线,把这个角分成两个相等的角,这条射线叫做这个角的平分线。
平行:①同一平面内,不相交的两条直线叫做平行线。②经过直线外一点,有且只有一条直线与这条直线平行。③如果两条直线都与第3条直线平行,那么这两条直线互相平行。垂直:①如果两条直线相交成直角,那么这两条直线互相垂直。②互相垂直的两条直线的交点叫做垂足。③平面内,过一点有且只有一条直线与已知直线垂直。
3:相交线与平行线
角:①如果两个角的和是直角,那么称和两个角互为余角;如果两个角的和是平角,那么称这两个角互为补角。②同角或等角的余角/补角相等。③对顶角相等。④同位角相等/内错角相等/同旁内角互补,两直线平行,反之亦然。
4:三角形
三角形:①由不在同一直线上的三条线段首尾顺次相接所组成的图形叫做三角形。②三角形任意两边之和大于第三边。三角形任意两边之差小于第三边。③三角形三个内角的和等于180度。④三角形分锐角三角形/直角三角形/钝角三角形。⑤直角三角形的两个锐角互余。⑥三角形中一个内角的角平分线与他的对边相交,这个角的顶点与交点之间的线段叫做三角形的角平分线。⑦三角形中,连接一个顶点与他对边中点的线段叫做这个三角形的中线。⑧三角形的三条角平分线交于一点,三条中线交于一点。⑨从三角形的一个顶点向他的对边所在的直线作垂线,顶点和垂足之间的线段叫做三角形的高。⑩三角形的三条高所在的直线交于一点。
图形的全等:全等图形的形状和大小都相同。两个能够重合的图形叫全等图形。全等三角形:①全等三角形的对应边/角相等。②条件:sss/aas/asa/sas/hl。勾股定理:直角三角形两直角边的平方和等于斜边的平方,反之亦然。
5:四边形
平行四边形的性质:①两组对边分别平行的四边形叫做平行四边形。②平行四边形不相邻的两个顶点连成的线段叫他的对角线。③平行四边形的对边/对角相等。④平行四边形的对角线互相平分。
平行四边形的判定条件:两条对角线互相平分的四边形/一组对边平行且相等的四边形/两组对边分别相等的四边形/定义。
菱形:①一组邻边相等的平行四边形是菱形。②领心的四条边相等,两条对角线互相垂直平分,每一组对角线平分一组对角。③判定条件:定义/对角线互相垂直的平行四边形/四条边都相等的四边形。
矩形与正方形:①有一个内角是直角的平行四边形叫做矩形。②矩形的对角线相等,四个角都是直角。③对角线相等的平行四边形是矩形。④正方形具有平行四边形,矩形,菱形的一切性质。⑤一组邻边相等的矩形是正方形。
梯形:①一组对边平行而另一组对边不平行的四边形叫梯形。②两条腰相等的梯形叫等腰梯形。③一条腰和底垂直的梯形叫做直角梯形。④等腰梯形同一底上的两个内角相等,对角线星等,反之亦然。
多边形:①n边形的内角和等于(n-2)180度。②多边心内角的一边与另一边的反向延长线所组成的角叫做这个多边形的外角,在每个顶点处取这个多边形的一个外角,他们的和叫做这个多边形的内角和(都等于360度)
平面图形的密铺:三角形,四边形和正六边形可以密铺。
中心对称图形:①在平面内,一个图形绕某个点旋转180度,如果旋转前后的图形互相重合,那么这个图形叫做中心对称图形,这个点叫做他的对称中心。②中心对称图形上的每一对对应点所连成的线段都被对称中心平分。
b:图形与变换:
1:图形的轴对称
轴对称:如果一个图形沿一条直线折叠后,直线两旁的部分能够互相重合,那么这个图形叫做轴对称图形,这条直线叫做对称轴。
轴对称图形:①角的平分线上的点到这个角的两边的距离相等。②线段垂直平分线上的点到这条线段两个端点的距离相等。③等腰三角形的“三线合一”。
轴对称的性质:对应点所连的线段被对称轴垂直平分,对应线段/对应角相等。
2:图形的平移和旋转
平移:①在平面内,将一个图形沿着某个方向移动一定的距离,这样的图形运动叫做平移。②经过平移,对应点所连的线段平行且相等,对应线段平行且相等,对应角相等。
旋转:①在平面内,将一个图形绕一个定点沿某个方向转动一个角度,这样的图形运动叫做旋转。②经过旋转,图形商店每一个点都绕旋转中心沿相同方向转动了相同的角度,任意一对对应点与旋转中心的连线所成的角都是旋转角,对应点到旋转中心的距离相等。3:图形的相似
比:①a/b=c/d,那么ad=bc,反之亦然。②a/b=c/d,那么a土b/b=c土d/d。③a/b=c/d=。。。=m/n, 那么a+c+。。。+m/b+d+。。。n=a/b。
黄金分割:点c把线段ab分成两条线段ac与bc,如果ac/ab=bc/ac,那么称线段ab被点c黄金分割,点c叫做线段ab的黄金分割点,ac与ab的比叫做黄金比(根号5-1/2)。相似:①各角对应相等,各边对应成比例的两个多边形叫做相似多边形。②相似多边形对应
边的比叫做相似比。
相似三角形:①三角对应相等,三边对应成比例的两个三角形叫做相似三角形。②条件:aa/sss/sas。
相似多边形的性质:①相似三角形对应高,对应角平分线,对应中线的比都等于相似比。②相似多边形的周长比等于相似比,面积比等于相似比的平方。
图形的放大与缩小:①如果两个图形不仅是相似图形,而且每组对应点所在的直线都经过同一个点,那么这样的两个图形叫做位似图形,这个点叫做位似中心,这时的相似比又称为位似比。②位似图形上任意一对对应点到位似中心的距离之比等于位似比。
d:证明
定义与命题:①对名称与术语的含义加以描述,作出明确的规定,也就是给出他们的定义。②对事情进行判断的句子叫做命题(分真命题与假命题)。③每个命题是由条件和结论两部分组成。④要说明一个命题是假命题,通常举出一个离子,使之具备命题的条件,而不具有命题的结论,这种例子叫做反例。
公理:①公认的真命题叫做公理。②其他真命题的正确性都通过推理的方法证实,经过证明的真命题称为定理。③同位角相等,两直线平行,反之亦然;sas/asa/sss,反之亦然;同旁内角互补,两直线;平行,反之亦然;内错角相等,两直线平行,反之亦然;三角形三个内角的和等于180度;三角形的一个外交等于和他不相邻的两个内角的和;三角心的一个外角大于任何一个和他不相邻的内角。④由一个公理或定理直接推出的定理,叫做这个公理或定理的推论。