- 1、本文档共10页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
海伦公式证明之史海钩沉
海伦公式证明之史海钩沉海伦公式即三角形面积公式:S?△=s(s-a)(s-b)(s-c),其中s=12(a+b+c),a,b,c是三角形三个边的长,这个公式远在古希腊阿基米德就知道,后由希腊人海伦(Heron)(生于公元前125年)在他的著作《测量术》(metrica)一书的“度量表”章中首先证明了这一公式,还举了求边为13,14,15之三角形面积一例. 在与世隔绝的中国南宋时期(约公元1247年),数学家秦九韶在他的《数书九章》中独创地讨论到它,名为“三斜求积术”,大斜,中斜,小斜分别表示三角形三边,求面积. 把他的结论用现代算式表示是?S?△=14[b?2c?2-(b?2+c?2-a?2)2)]?2,?化简后与海伦公式是等价的,故它又被命名为海伦――秦九韶公式. ?
现行教材对公式没加论证就使用了,本文按照历史的顺序给出关于海伦公式的证明方法,以消除在教学中对公式的疑惑.
1 海伦的证明?
海伦(Heron),古希腊数学家,力学家,机械学家,生活于欧几里得(Euclid)之后约350年左右,主要活跃于亚历山大里亚. 海伦注重数学的实际应用,这从他留传下来的著作中可以发现,如《测量术》(metrica),《屈光学》(dioptra)等. 海伦公式出自《测量术》一书,这本书被认为是一本实用的测量手册方面的代表作. 在《测量术》第一卷中,海伦讨论了给定三边长的三角形面积求法,即海伦公式,下面是海伦的证明方法.
如图1,△ABC的三边长分别为a,b,c,I为△ABC的内心,OD=OE=OF=r为△ABC内切圆半径长,令s=a+b+c2,延长BC至H,使CH=AF,则有s=BH,因S?△=s#8226;r,即S?△=BH#8226;OD,作CK⊥BC,OK⊥BO,有∠BOK=∠BCK,故B,O,C,K四点共圆,∠CBK=∠3,因圆O内切于△ABC,有∠1+∠2+∠4=90°,在△BOC中,OK⊥BO,得∠1+∠2+∠3=90°,所以∠CBK=∠4,得△OAF∽△CBK,BCCK=AFOF=CHOD,又OD⊥BC,CK⊥BC,即OD∥CK,CKOD=CLLD,得BCCH=CKOD=CLLD,由合比性质BHCH=CDLD,BH?2CH#8226;BH=CD#8226;BDLD#8226;BD,而OD?2=LD#8226;BD,即BH?2CH#8226;BH=CD#8226;BDOD?2,?BH=CH#8226;BH#8226;CD#8226;BDOD?2,?S?△=BH#8226;OD=CH#8226;BH#8226;CD#8226;BD,?用CH=AF=s-a,BH=s,CD=s-c,BD=s-b代入即得S?△=s(s-a)(s-b)(s-c).
?
2 梅文鼎的证明
?梅文鼎 (1633-1721) 生于明末,长于清初,27岁时拜师学习天文历法,五年后完成了他的第一部创作,从此开启了对算学的兴趣. 他终其一生致力于中西知识的汇通工作,在融会贯通之际,以自己的见解及理念编写了数十本天文及数学著作,催生了这一时期数学上的兴盛. 康熙14年(1675),梅文鼎完成《平三角举要》一书,是历史上第一本三角学专著. 梅文鼎对海伦公式的证法,并非他所独创. 在明末由耶稣会士罗雅谷撰写,汤若望校订,徐光启督修的《测量全义》第四卷中即已出现,但其证法中出现不足之处. 梅文鼎则是将此证法加以补正修改,略作改良后,编入《平三角举要》,卷4“或问”第12页,证明过程如下.
如图2所示,I为△ABC的内心,ID=IE=IF=r为△ABC内切圆半径长,则易推出BD=BF,CD=CE,AE=AF. 分别延长AB,AC,取BH=CE,CK=BF,则AK=AH=s为△ABC周长之一半,延长AI至G,使GK⊥AK,连结HG,则可推得△AHG≌△AKG,HG=KG. ?
取CM=CK,则BM=BH,延长AK至N,使KN=BH,延长AH至P,使HP=CK,则CN=BP=BC,连结CG,BG,NG,PG,则△CKG≌△PHG,CG=PG,同理△NKG≌△BHG,NG=BG,因此,△NCG≌△BPG≌△BCG,∠BPG=∠BCG连接MG,又HP=CD=CM,CG=PG故△PHG≌△CMG,又△CKG≌△PHG,则△CMG≌△CKG.?
在四边形MCKG,DIEC中,由于四角对应相等,故四边形MCKG,DIEC相似,推得△IEC∽△CKG?IE∶CE=CK∶GK,推得CE#8226;CK=IE#8226;GK(1),又△AKG∽△AEI?IE∶GK=AE∶AK,推得IE?2∶(IE#8226;GK)=AE∶AK(2),结合(1) (2)可知,IE?2∶(CE#8226;CK)=AE∶AK,即r?2∶(s-b)(s-c)
文档评论(0)