第一篇:余弦定理新的证明探讨
余弦定理新的证明探讨
摘 要
余弦定理是揭示三角形边角关系的重要定理,是解决数理学科和前沿科学领域中相关问题的一种有效的重要方法。它是代数学中的重点和难点,在解决三角问题、函数问题等方面发挥了重要的作用。国内外有关余弦定理证明的探讨和应用及其推广的研究非常多,涉及范围很广,说明了其重要性和应用的广泛性。国外对余弦定理的证明与应用的研究主要是由于前沿科学领域及实际生活发展的需要,在教学中寻求新的证明探讨涉及甚少,而国内在寻求其新的证明探讨与应用方面的研究甚为广泛。但余弦定理新的证明方法及推广与应用仍有值得研究的问题。比如:余弦定理通常用于求解三角函数问题,而其用途不仅仅限于此,如:余弦定理证明在数学教学、数学分析、立体几何中的应用等。但是针对余弦定理在应用中存在的局限性,是否能探究其新的证明方法,并将其做相应的推广来解决相关问题,扩宽其应用的范围,使得在运用余弦定理解决代数问题和几何问题方面更加实用方便,这就是文章探讨的问题所在,这样的研究在国内外相对较少。基于已有的余弦定理若干要点的探讨和应用,本文在前人研究的基础上,漫谈了余弦定理的思想史略,探究余弦定理在代数与几何中的新的证明,分别给出了不同形式的余弦定理新的证明方法,并对其做出了相应的推广,体现了其不同证明方法的新颖性和优越性.关键词:余弦定理;勾股定理;证明;定理;推论
第 1 页
目 录 引言···········································································································································1 2 文献综述···································································································································1 2.1国外研究现状·························································································································1 2.2国内研究现状·························································································································1 2.3国内外研究现状评价·············································································································1 2.4提出的问题·····························································································································2 3 余弦定理的数学思想史略·······································································································2 3.1三角学的确立与发展状况·····································································································2 3.2余弦定理的由来·····················································································································2 4 余弦定理及其新的证明···········································································································3 4.1关于余弦定理的注记·············································································································3 4.2余弦定理新的证明·················································································································5 4.2.1从几何角度直观证明余弦定理 ··································································································5 4.2.2角余弦定理的证明与应用 ·········································································································7 4.2.3证明余弦定理又一方法······································································································9 4.2.4立体几何的余弦定理及其证明························································································10 4.2.5 n维余弦定理的新证明·····································································································13 5 总结 ········································································································································15 5.1 主要发现 ·····························································································································15 5.2 启示 ·····································································································································15 5.3 局限性 ·································································································································16 5.4 努力方向 ·····························································································································16 6 参考文献·································································································································16
第 2 页
1引言
余弦定理的证明及推广应用的发展历程在三角函数、立体几何等数学领域已经凸显出巨大的潜在价值,关于它的研究,已有许多独特而新颖的硕果。余弦定理通常应用于三角问题、函数问题、几何问题及数理天文学问题等方面的求解,国内和国外的研究各有其独到之处。现有对余弦定理的证明方法的探讨及推广应用,体现了其重要性和应用的广泛性,如:余弦定理证明在中学数学教学、数学分析、立体几何中的应用等等。但是针对余弦定理在应用中存在的局限性,是否能探究余弦定理的新的证明方法,并将其做相应的推广应用来解决相关问题,这样的研究值得深入探究.基于对已有的余弦定理若干要点的探讨和应用,本文在前人研究的基础上,漫谈了余弦定理的思想史略,探究余弦定理在代数与几何中的新的证明,分别给出了不同形式的余弦定理新的证明方法,并对其做出了相应的推广应用,体现了其证明与应用的新颖性和优越性.2 文献综述
2.1国外研究现状
国外对余弦定理的研究主要是应用于解决数理天文学和其他学科如测量学与地理学方面的问题,而在教学上探讨新的证明则很少涉及.天文学家阿尔.巴塔尼的《天文论著》(又名《星的科学》)被普拉托译成拉丁文后,在欧洲广为流传,哥白尼、第谷、开普勒、伽利略等人都利用和参考了它的成果.在该书中阿尔.巴塔尼创立了系统的三角学术语,如正弦、余弦、正切、余切[1];发现球面三角形余弦定理coscosbcoscsinbsinccosA,继而为平面三角形的重要定理—— 正弦定理和余弦定理的发现奠定了基础,其证明的思想方法具有一定新颖性,值得借鉴.2.2国内研究现状
国内有关余弦定理的理论从国外引进,在立体几何、双曲平面上以及现实生活中发挥了重要的作用,国内余弦定理很少谈及学科领域的相关证明问题,但相关的应用有一定发展。如:王书在其编写的数学解题方法与技能中较详细地阐述了利用三角法进行复数的乘方计算,先把复数写成三角函数式后,角按公式[r(cossin)]nrn(cosnsinn)(n是正整数)计算比较容易;刘鸿坤、曾容、李大元等编著的中、美历届数学竞赛试题精编第三十二届美国中学数学竞赛试题(1981年)中的第24题的应用,将超越方程利用三角函数式转化为复数形式求解,说明了余弦定理在数理学科领域的重要性.2.3国内外研究现状的评价
第 3 页
上述文献中已给出了余弦定理相关的探讨和应用,说明了余弦定理的重要性和应用的广泛性,但其还有值得研究的空间和余地.在余弦定理证明与应用方面的研究国内相对于国外的研究较广泛,而且很多研究问题及结论有很好的借鉴价值,可以作为研究的理论基础;而国外,更多的研究主要在于将余弦定理应用于解决前沿学科(如数理天文学、历法、航海等)的问题.但在学科领域的不同方面能否得到余弦定理的不同的新的证明方法,从而提高余弦定理在理论研究中的有效性,这方面的研究较少.2.4提出问题
鉴于国内外的研究现状,一般的余弦定理的证明不仅只能解决前沿学科中的数理问题,而且该定理在证明运用中有一定的局限性,那么能否弱化余弦定理的局限性,拓宽余弦定理的证明方法的范围,或者将余弦定理新的证明进行推广对教学方法的启示,从而体现余弦定理新的证明的优越性和应用的广泛性,本文针对此类问题作详细探讨.3 余弦定理的数学思想史略
3.1三角学的确立和发展概况
“三角学”原意是三角形测量,也就是解三角形,这是三角学的基本问题之一.后来范围逐渐扩大, 发展为研究三角函数及其应用的一个数学科目.[2]三角学的发展和天文学、几何学有着不可分割的关系,国外对三角学的研究的起源是计算数理天文学方面的精确问题。而正、余弦定理是三角学建立的基础,三角学的确立是以正、余弦定理为标志,因为三角学是寻求边与角的关系来解决三角问题, 正、余弦定理正是把边与角建立起联系.三角学的发展经历从脱离天文学而独立,到以欧拉的《无穷小分析引论》为代表的过程,标志着三角学从研究三角形解法进一步转变为研究三角函数及其应用的一个分析学的分支。
希腊三角学起源于天文学的定量研究,由于球面几何方面的研究的需要,从而球面三角学便开始萌芽。随着生产不断进步,为了修订历法、航海和研究地理, 需要建立定量的天文学, 便产生了三角学的雏形.其代表人物有希帕克、托勒密和梅内劳斯, 在梅内劳斯时期达到顶峰.由于数理天文学的需要,阿拉伯人继承并推进了希腊的三角术,其学术主要来源于印度的《苏利耶历数全书》等天文历表,以及希腊希腊托勒玫的《大成》、梅内劳斯的《球面学》等古典著作。阿拉伯三角学是在印度天文名著的基础上发展的, 揭示了三角量的性质及其关系, 给出了平面三角形和球面三角形的全部解法, 并制造了一系列的三角函数表.三角学通过阿拉伯学家的工作逐渐从天文学中分化出来发展成为一门独立的学科。其主要的代表人物有阿尔.哈巴士、阿尔.巴塔尼、阿布尔.威发、阿尔.毕鲁尼和纳速.拉丁
欧洲三角学是在阿拉伯数学家纳速.拉丁《论四边形》著作的基础上研究的, 将平面三角、球面几何和球面三角有机地结合起来, 制定更精确的三角函数表,以至于我们现今仍在使用, 使三角学进一步系统化, 成为一个独立的数学分支, 从而确立了三角学.由此, 三角学在天文学及其他学科如测量学方面得到广泛的应用.其代表人物有雷基奥蒙坦、雷提卡斯、韦达.3.2 余弦定理的由来
第 4 页
平面三角的余弦定理是在欧几里得的《原本》中间接地提出来,平面三角的余弦定理的确立和运用是随航海学和地理学的发展, 而平面三角学是在球面三角学的研究的基础上提出的。随着测量耕种土地的面积、测量长度与测量方位及历法和航海发展等实际的需要,希腊三角学(球面三角学)中包括平面三角的基础内容,平面三角的重要定理——正弦定理和余弦定理在此条件下产生.其数学思想方法和思路如下:
图 1 分析:如图1,△ABC三边CB、CA、AB长度为a、b、c,首先将斜三角形分割成两个直角三角形,再由勾股定理即可证得余弦定理.证明:在RtBCD和RtABD中,根据勾股定理
222 p2a2d2,pc(bd)22222padc(bd)
即c2a2b22bd(1)在RtBCD中,dacosC(2)将(2)带入(1)中,c2a2b22abcosC.阿拉伯数学家阿尔.巴塔尼在进行球面三角研究过程中, 利用平面三角的知识来证明球面余弦定理, 他的方法是通过作出斜三角形某一个边上的高之后, 将问题转化为求直角三角形的解,他研究出余弦定理的结果应用到证明球面三角边的余弦定理.十五世纪前叶,阿拉伯数学家阿尔.卡西给出了平面三角的余弦定2222理的下述形式:a(bccosA)csinA..韦达在1593年给出了平面三角的余弦定理2ab12220的下述形式:abcsin(90C).期内尔在1627年给出了平面三角的余弦定理的2ab1.22下述形式:c(ab)1cosC[3]
4余弦定理及其新的证明
4.1关于余弦定理的注记
余弦定理的证明是运用“向量相乘”的方法进行的,其可化复杂为简便,其是向量式与数量式之间相互转化的常用方法。余弦定理的结论及其证明如下:
第 5 页
在△ABC中,AB、BC、CA的长为c、a、b,第一边的平方等于另外两边的平方和减去另外两边的2倍乘第一边对角的余弦.如c2a2b22abcosC.图
分析:因为ACCBAB,所以可从以下两方向入手,证明余弦定理并得其推论.定理:(ACCB).(ACCB)AB.AB,由此可推出余弦定理,三角形任何一边的平方等于其他两边平方的和减去这两边与它们夹角的余弦的积得两倍。即
a2b2c22bccosA[4]222bac2accosB.c2a2b22abcosC证明:
(ACCB)(ACCB)AB.AB,且ABc、ACb、CBaAC.ACCB.CB2AC.CBAB.AB即ACCB2AC.CBcos(C)ABb2a22bacosCc2即c2a2b22abcosC.222
推论:(ACCB).ABAB.AB,可推出平面三角的射影定理,即
abcosCccosB[5] 射影定理bccosAacosC.cacosBbcosA 证明:
(ACCB).ABAB.AB,ABc、CBa、ACb.AC.ABCB.ABAB.ABAC.ABcosACB.ABcosBAB即bccosAaccosBc2bcosAacosBc即cacosBbcosA.2
余弦定理可解决以下两类有关三角形的问题:一类是已知两边和它们的夹角,求解三角形;另一类是已知三边,求解三角形。已知三角形的两边和其中一
第 6 页
边的对角,因为它不满足三角形全等的条件,故可能有两解、一解、甚至无解,用正弦定理求解心里不踏实;用余弦定理求解则只要看相应的一元二次方程是否有两正数解、一正数解或无正数解即可。
4.2余弦定理新的证明
余弦定理可以用于求值、求角或角的范围、用于化简、判断三角形的形状、用于证明三角不等式、用于研究函数的性质或用于研究函数的最值等等。
4.2.1从几何角度直观证明余弦定理
在平面三角形中, 对于余弦定理这样的基本结果, 我们总是能够从不同的角度来理解它, 下面我们从几何的角度给出该定理的几个直观证明.方法一:应用勾股定理证明.图
图
分析: 此证明方法直接由坐标法的证明演化而来.证明一: 在RtACD中,AC=b、AB=c、BC=a(图 3).ADbsinC,CDbcosC,BCa,ADBC
BDBCCD,即BDabcosC
在RtABD中,根据勾股定理,AB2AD2BD2,即c2(bsinC)2(abcosC)2 整理得c2a2b22abcosC.证明二:在RtACD中,AC=b,ACDC(图 4).CDbcosACD,ADbcosACD,即CDbcos(C),ADbsin(C)CDbcosC,ADbsinC
在RtABD中,根据勾股定理,BDBCCD,AB2AD2BD2 c2(bsinC)2(abcosC)2 整理得c2a2b22abcosC.第 7 页
方法二:应用Ptolemy定理证明.分析:圆内接四边形的两组对边乘积之和等于两对角线的乘积, 这就是有名的Ptolemy定理,即AB'.CBAC.B'BB'C.AB.以下用Ptolemy定理来证明余弦定理.图
证明:在△ABC的外接圆里,取AB'CB,且BCa,ABCB'a
ABCCB'A,则BCBAc
'又BB'b2acos(C),根据Ptolemy定理
2C)a2b22abcosC cc.ca.ab.b2acos(即c2a2b22abcosC
方法三:应用圆幂定理证明.图 6
图 7
分析:如图6和图7,以B为圆心,以a为半径画圆,则有AD.AEAF.AC..其中圆的半径为a,AB=c,AC=b.证明一:在图6里, ABc,BDBCBEa,ADABBD,CF2acosC
AD=a+c,AE=a-c,AF=CF-CA=2acosC-b,根据AD.AEAF.AC.(ac)(ac)(2acosCb).b,即cab2abcosC.222 证明二:在图7里, ABc,BDBCBEBFa,ADABBD,AFACCF
第 8 页
BCF是等腰三角形,有CF2cos(C),AD=c+a,AE=c-a AFACCFb2acos(C)b2acosC.根据AD.AEAF.AC.222(ca)(ca)(b2acosC).b,即cab2abcosC.4.2.2角余弦定理的证明与应用
角勾股定理与角余弦定理是勾股定理和余弦定理与之相对应的角形式,它们有着广泛的应用,现给出如下证明与应用举例:
定理1:若A、B、C构成一个三角形的三个内角,则
sin2Asin2Bsin2C2sinBsinCcosAsin2Bsin2Asin2C2sinAsinCcosBsin2Csin2Asin2B2sinAsinBcosC(4)
证明:在ABC中,设A、B、C所对的边为a、b、c.222 余弦定理为abc2bccosA(5)根据“正弦定理”,有a=2RsinA,b=2RsinB,c=2RsinC(6)(6)分别代入5),即(2RsinA)2(2RsinB)2(2RsinC)22(2RsinB)(2RsinC)cosA
sin2Asin2Bsin2C2sinBsinCcosA,证毕.(4)的其余二式同理可证.引伸:当上述公式中的A、B、C为任意角时, 应用诱导公式化为锐角、和的三角函数,若满足条件:1800,定理仍成立。由定理2和引伸,我们又有如下的推论: 推论1:若,则sin2cos2sin22cossincos.2证明:已知,sin2cos2sin22cossincos
2只需证明sin2sin2()sin22sin()sincos即可
22 2()()
222、()、能构成三角形的三个角, 由定理2和引伸知推论1 成立.2推论2:若,则sin2cos2cos22coscoscos 证明:已知,sin2cos2cos22coscoscos
第 9 页
只需证明sin2cos2()cos22cos()coscos
()()()
()、能构成三角形的三个角, 推论2成立.、例 1,化简cos2Acos2(A)cos2(A)
3解:由推论2,得 原式=
22cos(A)cos(22A)2cos(A)cos(A)cos2cos(A)cos(A)coscos2A333333332123113sin2(coscos2A)cos2A(2cos2A1)cos2A3234422
定理2: 若A、B、C构成三角形的三内角,则:
sin2Acos2Bcos2C2cosBcosCcosA(7)sin2Bcos2Acos2C2cosAcosCcosB sin2Ccos2Acos2B2cosAcosBcosC.222 证明:设M=sinBsinC2sinBsinCcosAsinA 222 N=cosBcosC2cosBcosCcosAsinA
222cosAcos(BC)2sinA 易得:M+N=22 22cosA2sinA0
M-N= cos2Bcos2C2cosAcos(BC)2cos(BC)cos(BC)2cosAcos(BC)2cosAcos(BC)2cosAcos(BC)0 MN0222即sinAcosBcosC2cosBcosCcosA
定理2的其余二式同理可证明.例 2,在锐角△ABC中,sinA3cosBcosC,求A角的范围.2 解:sinA3cosBcosC
第 10 页 cosA13cosBcosC
根据定理2,sin2Acos2Bcos2C2cosBcosCcosA,得
12cosAcosBcosCcos2Acos2Bcos2Ccos2A2cosBcosC1cosBcosC 即12cosAcosBcosC1cosBcosC 2cosAcosBcosCcosBcosC
1cosBcosC0,cosA2,故A的范围是0A.6222 例 3,在△ABC中,cosAcosbcosC1,判断△ABC的形状 222 解:根据定理2,有sinCcosAcosB2cosAcosBcosC
又cos2Acos2Bcos2C1
12cosAcosBcosC1 cosAcosBcosC0
cosA0或cosB0或cosC0A900或B900或C900
△ABC是直角三角形.小结:上述所选的问题, 若用常规解法需要用到和角公式, 倍角公式和和差化积或积化和差公式以及复杂的恒等变形才能完成, 显然利用“ 角勾股定理和角余弦定理”对这类较难的间题迎刃而解, 真是柳暗花明又一村。
4.2.3证明余弦定理又一方法
利用向量统一证明正、余弦定理的方法如下:
图 8
分析:如图8, 在ABC中, a, b, c 分别是A、B、C所对的边, 以三角形外接圆的圆心O为原点,半径OA所在的直线为x轴建立直角坐标系,设外接圆的半径长为R,于是A点坐标为(R,0).由三角函数的定义得B点坐标是(RcosAO,BRsinAO)B,而AOB2C,故B点坐标为(Rcos2C,Rsin2C).同理C点坐标为(RcosAOC,RsinAOC);而AOC2B,故C点坐标为(Rcos2B,Rsin2B).第 11 页
正弦定理的证明:
AB(Rcos2CR,Rsin2C),1AB1R又(Rcos2CR)2(Rsin2C)222cos2C2RsinC.ABc
c2RsinC.同理可得a2RsinA,b2RsinB abc2R sinAsinBsinC 余弦定理的证明:
AC(Rcos2BR,Rsin2B),AB.AC(Rcos2CR)(Rcos2BR)R2sin2Csin2BR2cos2Ccos2BR2cos2CR2cos2BR2R2sin2Csin2BR2R2cos2CR2cos2BR2cos(2C2B)R2R2cos2CR2cos2BR2cos2A.c2Rcos2CR(12sinC)R2RsinCR.2而 2222222
b2Rcos2BR2 同理可得22a2b2c2a2Rcos2ARAB.AC.2 2 22又由数量积的定义可知: AB.ACbccosA,b2c2a2bccosA.2即a2b2c22bccosA.同理b2a2c22accosB.222 cab2abcosC.小结:此法不但体现了正弦定理的比值常数, 而且反映了正弦定理与余弦定理的相互依存性.正弦定理与余弦定理之间的联系真是千丝万缕!4.2.4立体几何的余弦定理及其证明
设D-ABC是一个任意的四面体(图9),不失一般性,取四面体的底面△ABC 为空间坐标的XOY平面,取过顶点D的高OD为Z轴.取OA为X轴.这样一来,可以设四个
第 12 页
顶点的坐标分别为A(a,0,0)、B(b1,b2,0)、C(c1,c2,c3)、D(0,0,d).图 9 分析:用Sd表示与顶点D相对的侧面△ABC及其面积;同理,其它的三个侧面及其面积用Sa、Sb、Sc来表示.由向量的向量乘积的性质可知,向量AB.ACSd.将AB.AC称为Sd 的法向量,记作nd.因为AB(b1a,b2,0),AC(c1a,c2,0),所以有
ijndAB.ACb1ab2c1ac200b1c2c1b2a(b2c2)k0[(b1a)c2(c1a)b2]k0(1)
由向量乘积定义可知: sd1nd.2(2)
同理可计算Sa面的法向量na , 因为BD(b1,b2,d);DC(c1,c2d), 所以由BD.DC可得:
第 13 页
inab1c1jb2c2kd(c2b2)di(b1c1)dj(b1c2b2c1)kd(c2b2)d(b1c2)dbcbc2112(3)
s1a2na 因为DC(c1,c2,d);DA(a,0,d), 所以有sb的法向量为:
ijknbDC.DAc1c2dc2di(c1a)djac2ka0dc2d(c1a)d,ab2 s1b2nb 因为DA(a,0,d);DB(b1,b1,d),所以有sc的法向量为
ijkncDA.DBa0db2di(ab1)djab2kb1b2d(7)b2d(ab1)d,ab2s1c2nc.(8)由向量的数量乘积的定义,第 14 页
(4)(5)
(6)
na.nbna.nbcosna.nbcosna.nbcosa|b4sasbcosa|b.其中a|b表示侧面sa和sb形成的二面角.因此有:
SaSbcosa|b0.25na.nb,(9)
SbSccosb|c0.25nb.nc,(10)ScSacosc|a0.25nc.na(11)
立体几何的余弦定理:对任意的四面体D-ABC,有2222sdsasbsc2sasbcosa|b2sbsccosb|c2scsacosc|a.[6]
(12)
证明:利用关系式(4)、(6)和(8)~(11),有
222sasbsc2sasbcosa|b2sbsccosb|c2scsacosc|a12122(nanbnc2na.nb2nb.nc2nc.na)(nanbnc)244(c2b2)dc2db2d012112(b1c1)d(c1a)d(ab1)d0ndsd.44caab4b1c2b2c1bcbc(bc)a22122122
当四面体的四个侧面中,有三个侧面(如Sa,Sb,Sc)两两互相垂直时, 称这样的四面体为直角四面体.在直角四面体中,那个不与其它侧面垂直的侧面(Sd)称为斜侧面.由于直角四面体中有三个二面角为90, 所以cos = cos = cos
设V是n维向量空间,对V中任意k个有序向量
1,2,...,k,它们的外积记为12...k,称之为k重向量。所有k重向量在形式上作线性扩张所得到的空kk0C()()n间记为,是一个维向量空间。设()表示实数系, 记
kG()()Y()Y...n(),则G(V)是一个2n维的向量空间。G(V)连同G(V)01''上的外积“”运算称为V上的Grassmann代数。
第 15 页
定义1:两个k重向量a =12...k与b=bb12...bn的内积定义为:(a,b)(a1a2...ak,b1b2...bk)a1.b1a.b21...ak.b1...............a1.bk...a2.bk.........ak.bk(1)k重向量α=12...k的模定义为
aa1a2...ak(a1a2...ak,a1a2...ak)
定义2:由两个k重向量aa1...ak,bb1...bk所确定的两个k维超平面之间的夹角(ab)为:cos(ab)(a1...ak,b1...bk).(2)
a1...ak.b1...bk 引理1: 设pop1...pk是n维欧氏空间En中的k维单形, 记向量
2popiai(i1,2,..k.), 则有:a1...akk!V(K)(3)
2其中V(k)1...pk的k维体积。是单形pop 下面应用上述Grassmann代数基本知识可简捷地证得n维余弦定理,即: 1...pk是E的中的n维单形。顶点p所对侧面Fi的面积为Vi, 定理1:设popin任意两侧面Fi 与ViVi222i0ilnFj所成内二面角为ij , 则有
ij0ijni,jlVVcosij(l0,1,...,n)
[7](4)
证明:不失一般性,不妨设l=0记 p0piai(i1,2,...,n)n-1维单形p1p2...pn过顶点p1的诸棱所成的向量为: p1piaial(i2,3,...,n)由引理1,有:
12(aa)(aa)...(aa)(aa)2131n11n1(n1)!2(5)12aa...aaa...a...aa...aaaaa...aa23n13n23n21n23n11(n1)!2V02记n-1重向量
第 16 页
a2a3...an1,a1a3...an2,a2a1a4...an3,...,a2a3...an2a1annk,a2a3...an1a1n,则:(6)(ij)ij(1ijn)
由引理1及定义2,有:
i1Vi(i2,3,...,n)(n1)!(7)
(ij)i.jcos(ij)1ViVjcosij2(n1)!(8)
由(5)、(7)、(8)三式得:
n1Vi2(n1)!i12022()ij1ijnVi22i1n
1ijnVVijcosj故公式(4)对l=0成立,同理可证(4)式对l= 1,2,...,n皆成立。定理1证毕。
5总结
5.1 主要发现
本文从不同角度探究、验证了余弦定理的不同证明方法,列举了其运用在化简求值、证明三角不等式、研究函数的性质或用于研究函数的最值等方面的简洁美,弱化原有余弦定理证明方法的局限性,给出了其相应的推广及定理,拓宽了余弦定理的运用范围,使得在处理三角、函数等问题时更加方便实用,从而体现余弦定理无论在证明上还是在化简求值等方面都有其新颖性和优越性.5.2 启示
通过探讨余弦定理及其推广,体现了一定的优越性和实用性。问题是若能将余弦定理引到其它数学分支中做应用,如:针对运筹学中的最优线性模型的相关问题、数学模型中规划模型的相关问题、复变函数中的相关问题等,将更好地体现余弦定理证明及其应用的广泛性,这是一类值得深讨的问题.第 17 页
5.3 局限性
对于余弦定理的相关定理及其推广与应用,针对余弦定理的论证性较强,在运用中存在一定的局限性,相应的弱化了余弦定理的效能,使局限性弱化后的余弦定理在处理三角、函数等有关问题时,更加方便实用.但没有得到更好的应用,若能进一步将弱化后的余弦定理引到其他数学分支中做应用,如:数学模型中规划模型的相关问题、复变函数中的相关问题等,将更好地体现其研究意义和广泛应用性,对于此问题,限于本人的知识水平有限,未作探讨.5.4 努力方向
在已有知识水平及查阅相关资料的基础上,本文对余弦定理及其推广应用的问题作了一定的探讨,并通过实例,体现了余弦定理在 的问题方面的实用性和优越性.然而,余弦定理的推广应用有一定局限,今后若能针对不同学科知识和相关性质,对余弦定理的局限性进一步弱化,进行合理推广应用,将能更好的促进其应用的深入研究,这些问题,有待今后不断的学习和探讨.参考文献
[1] 李文林.数学史教程[M].北京:高等教育出版社,2002:119.
[2] 梁宗臣.世界数学史简编[M].沈阳:辽宁人民教育出版社,1980:175.
[3] 陈克剩.“余弦定理和正弦定理”的数学思想史略[J].湖北:数学通讯学报,2004:47. [4] 赵冬梅.正弦定理、余弦定理的证明方法探究[J].西北成人教育学报,2002:137. [5] 陈谌本,廖志坚,施永红.欧式空间三角理论的进展(I)[J].广州师院学报(自然科学版),1996:85.
[6] 李慧.立体几何的余弦定理和勾股定理[J].辽宁:鞍山师范学院学报,2003:36. [7] 杨世国.n维正弦定理和余弦定理的新证明[J].安徽:太原科技大学学报,2005:144—145.
第 18 页
第二篇:怎么证明余弦定理
怎么证明余弦定理
证明余弦定理:
因为过C作CD垂直于AB,AD=bcosA;所以(c-bcosA)^2+(bsinA)^2=a^2。
又因为b^2-(bcosA)^2=(bsinA)^2,所以(c-x)^2+b^2-(bcosA)^2=a^2,所以c^2-2cbcosA+(bcosA)^2+b^2-(bcosA)^2=a^2,所以c^2-2cbcosA+b^2=a^2,所以c^2+b^2-a^2=2cbcosA,所以cosA=(c^2+b^2-a^2)/2bc
同理cosB=(a^2+c^2-b^2)/2ac,cosC=(a^2+b^2-c^2)/2ab
2在任意△ABC中,作AD⊥BC.∠C对边为c,∠B对边为b,∠A对边为a-->
BD=cosB*c,AD=sinB*c,DC=BC-BD=a-cosB*c
勾股定理可知:
AC²=AD²+DC²
b²=(sinB*c)²+(a-cosB*c)²
b²=sin²B*c²+a²+cos²B*c²-2ac*cosB
b²=(sin²B+cos²B)*c²-2ac*cosB+a²
b²=c²+a²-2ac*cosB
所以,cosB=(c²+a²-b²)/2ac
2如右图,在ABC中,三内角A、B、C所对的边分别是a、b、c.以A为原点,AC所在的直线为x轴建立直角坐标系,于是C点坐标是(b,0),由三角函数的定义得B点坐标是(ccosA,csinA).∴CB=(ccosA-b,csinA).现将CB平移到起点为原点A,则AD=CB.而|AD|=|CB|=a,∠DAC=π-∠BCA=π-C,根据三角函数的定义知D点坐标是(acos(π-C),asin(π-C))即D点坐标是(-acosC,asinC),∴AD=(-acosC,asinC)而AD=CB∴(-acosC,asinC)=(ccosA-b,csinA)∴asinC=csinA…………①-acosC=ccosA-b……②由①得asinA=csinC,同理可证asinA=bsinB,∴asinA=bsinB=csinC.由②得acosC=b-ccosA,平方得:a2cos2C=b2-2bccosA+c2cos2A,即a2-a2sin2C=b2-2bccosA+c2-c2sin2A.而由①可得a2sin2C=c2sin2A∴a2=b2+c2-2bccosA.同理可证b2=a2+c2-2accosB,c2=a2+b2-2abcosC.到此正弦定理和余弦定理证明完毕。3△ABC的三边分别为a,b,c,边BC,CA,AB上的中线分别为ma.mb,mc,应用余弦定理证明:
mb=(1/2)
mc=(1/2)ma=√(c^2+(a/2)^2-ac*cosB)
=(1/2)√(4c^2+a^2-4ac*cosB)
由b^2=a^2+c^2-2ac*cosB
得,4ac*cosB=2a^2+2c^2-2b^2,代入上述ma表达式:
ma=(1/2)√
=(1/2)√(2b^2+2c^2-a^2)
同理可得:
mb=
mc=
ma=√(c^2+(a/2)^2-ac*cosB)
=(1/2)√(4c^2+a^2-4ac*cosB)
由b^2=a^2+c^2-2ac*cosB
得,4ac*cosB=2a^2+2c^2-2b^2,代入上述ma表达式:
ma=(1/2)√
=(1/2)√(2b^2+2c^2-a^2)
证毕。
第三篇:余弦定理证明
余弦定理证明
在任意△ABC中,作AD⊥BC.∠C对边为c,∠B对边为b,∠A对边为a-->
BD=cosB*c,AD=sinB*c,DC=BC-BD=a-cosB*c
勾股定理可知:
AC²=AD²+DC²
b²=(sinB*c)²+(a-cosB*c)²
b²=sin²B*c²+a²+cos²B*c²-2ac*cosB
b²=(sin²B+cos²B)*c²-2ac*cosB+a²
b²=c²+a²-2ac*cosB
所以,cosB=(c²+a²-b²)/2ac
2如右图,在ABC中,三内角A、B、C所对的边分别是a、b、c.以A为原点,AC所在的直线为x轴建立直角坐标系,于是C点坐标是(b,0),由三角函数的定义得B点坐标是(ccosA,csinA).∴CB=(ccosA-b,csinA).现将CB平移到起点为原点A,则AD=CB.而|AD|=|CB|=a,∠DAC=π-∠BCA=π-C,根据三角函数的定义知D点坐标是(acos(π-C),asin(π-C))即D点坐标是(-acosC,asinC),∴AD=(-acosC,asinC)而AD=CB∴(-acosC,asinC)=(ccosA-b,csinA)∴asinC=csinA…………①-acosC=ccosA-b……②由①得asinA=csinC,同理可证asinA=bsinB,∴asinA=bsinB=csinC.由②得acosC=b-ccosA,平方得:a2cos2C=b2-2bccosA+c2cos2A,即a2-a2sin2C=b2-2bccosA+c2-c2sin2A.而由①可得a2sin2C=c2sin2A∴a2=b2+c2-2bccosA.同理可证b2=a2+c2-2accosB,c2=a2+b2-2abcosC.到此正弦定理和余弦定理证明完毕。3△ABC的三边分别为a,b,c,边BC,CA,AB上的中线分别为ma.mb,mc,应用余弦定理证明:
mb=(1/2)
mc=(1/2)ma=√(c^2+(a/2)^2-ac*cosB)
=(1/2)√(4c^2+a^2-4ac*cosB)
由b^2=a^2+c^2-2ac*cosB
得,4ac*cosB=2a^2+2c^2-2b^2,代入上述ma表达式:
ma=(1/2)√
=(1/2)√(2b^2+2c^2-a^2)
同理可得:
mb=
mc=
ma=√(c^2+(a/2)^2-ac*cosB)
=(1/2)√(4c^2+a^2-4ac*cosB)
由b^2=a^2+c^2-2ac*cosB
得,4ac*cosB=2a^2+2c^2-2b^2,代入上述ma表达式:
ma=(1/2)√
=(1/2)√(2b^2+2c^2-a^2)
证毕。
第四篇:余弦定理证明过程
在△ABC中,设BC=a,AC=b,AB=c,试根据b,c,A来表示a。 分析:由于初中平面几何所接触的是解直角三角形问题,所以应添加辅助线构造直角三角形,在直角三角形内通过边角关系作进一步的转化工作,故作CD垂直于AB于D,那么在Rt△BDC中,边a可利用勾股定理用CD、DB表示,而CD可在Rt△ADC中利用边角关系表示,DB可利用AB-AD转化为AD,进而在Rt△ADC内求解。
解:过C作CD⊥AB,垂足为D,则在Rt△CDB中,根据勾股定理可得: a2=CD2+BD2
∵在Rt△ADC中,CD2=b2-AD2
又∵BD2=(c-AD)2=c2-2c·AD+AD2
∴a2=b2-AD2+c2-2c·AD+AD2=b2+c2
-2c·AD 又∵在Rt△ADC中,AD=b·cosA ∴a2=b2+c2-2bccosA类似地可以证明b2=a2+c2-2accosB,c2=a2+b2-2abcosC
第五篇:余弦定理证明过程
余弦定理证明过程
ma=√(c^2+(a/2)^2-ac*cosB)
=(1/2)√(4c^2+a^2-4ac*cosB)
由b^2=a^2+c^2-2ac*cosB
得,4ac*cosB=2a^2+2c^2-2b^2,代入上述ma表达式:
ma=(1/2)√
=(1/2)√(2b^2+2c^2-a^2)
证毕。
2在任意△ABC中,作AD⊥BC.∠C对边为c,∠B对边为b,∠A对边为a-->
BD=cosB*c,AD=sinB*c,DC=BC-BD=a-cosB*c
勾股定理可知:
AC²=AD²+DC²
b²=(sinB*c)²+(a-cosB*c)²
b²=sin²B*c²+a²+cos²B*c²-2ac*cosB
b²=(sin²B+cos²B)*c²-2ac*cosB+a²
b²=c²+a²-2ac*cosB
所以,cosB=(c²+a²-b²)/2ac
2如右图,在ABC中,三内角A、B、C所对的边分别是a、b、c.以A为原点,AC所在的直线为x轴建立直角坐标系,于是C点坐标是(b,0),由三角函数的定义得B点坐标是(ccosA,csinA).∴CB=(ccosA-b,csinA).现将CB平移到起点为原点A,则AD=CB.而|AD|=|CB|=a,∠DAC=π-∠BCA=π-C,根据三角函数的定义知D点坐标是(acos(π-C),asin(π-C))即D点坐标是(-acosC,asinC),∴AD=(-acosC,asinC)而AD=CB∴(-acosC,asinC)=(ccosA-b,csinA)∴asinC=csinA…………①-acosC=ccosA-b……②由①得asinA=csinC,同理可证asinA=bsinB,∴asinA=bsinB=csinC.由②得acosC=b-ccosA,平方得:a2cos2C=b2-2bccosA+c2cos2A,即a2-a2sin2C=b2-2bccosA+c2-c2sin2A.而由①可得a2sin2C=c2sin2A∴a2=b2+c2-2bccosA.同理可证b2=a2+c2-2accosB,c2=a2+b2-2abcosC.到此正弦定理和余弦定理证明完毕。3△ABC的三边分别为a,b,c,边BC,CA,AB上的中线分别为ma.mb,mc,应用余弦定理证明:
mb=(1/2)
mc=(1/2)ma=√(c^2+(a/2)^2-ac*cosB)
=(1/2)√(4c^2+a^2-4ac*cosB)
由b^2=a^2+c^2-2ac*cosB
得,4ac*cosB=2a^2+2c^2-2b^2,代入上述ma表达式:
ma=(1/2)√
=(1/2)√(2b^2+2c^2-a^2)
同理可得:
mb=
mc=
ma=√(c^2+(a/2)^2-ac*cosB)
=(1/2)√(4c^2+a^2-4ac*cosB)
由b^2=a^2+c^2-2ac*cosB
得,4ac*cosB=2a^2+2c^2-2b^2,代入上述ma表达式:
ma=(1/2)√
=(1/2)√(2b^2+2c^2-a^2)
证毕。