两角和差正余弦公式的证明...docxVIP

两角和差正余弦公式的证明 北京四中数学组 皇甫力超 论文摘要: 本文对两角和差的正余弦公式的推导进行了探讨。在单位圆的框架下 本文对两角和差的正余弦公式的推导进行了探讨。 在单位圆的框架下，我们得到了和 。在三角形的框架下，我们得到了和角角余弦公式（方法1）与差角余弦公式（ 。在三角形的框架下，我们得到了和角 正弦公式（方法3 ~11 ） 与差角正弦公式（方法12,13）。 关键词: 两角和差的正余弦公式 正文: 两角和差的正余弦公式是三角学中很重要的一组公式。F 两角和差的正余弦公式是三角学中很重要的一组公式。 F面我们就它们的推导证明方 法进行探讨。 由角a，B的三角函数值表示 Q士的正弦或余弦值，这正是两角和差的正余弦公 式的功能。换言之，要推导两角和差的正余弦公式，就是希望能得到一个等式或方程 将rnCut?或诚与仇，0的三角函数联系起来。 根据诱导公式，由角的三角函数可以得到 4的三角函数。 因此，由和角公式容 易得到对应的差角公式，也可以由差角公式得到对应的和角公式。 又因为 311（— 2 311（— 2 ,即原角的余弦等于其余角的正弦 ,据此，可以实现正弦公式和余弦 公式的相互推导。 因此，只要解决这组公式中的一个 ,其余的公式将很容易得到。 （一）在单位圆的框架下推导和差角余弦公式 注意到单位圆比较容易表示 血，0 注意到单位圆比较容易表示 血，0和Q 士， 而且角的终边与单位圆的交点坐标可 以用三角函数值表示 因此，我们可以用单位圆来构造联系 角函数值的等式。 1.和角余弦公式 （方法1）如图所示,在直角坐标系 型中作单位圆0,并作角耳,卫和匕刈,使 角A的始边为,交NT于点A终边交DO于点B；角严始边为石H,终边交DO 于点C；角-0始边为,终边交DO于点。从而点A, B, C和D的坐标分别为血叭 时罚诚g1■沏 |,|。（皿0厂血妙。 由两点间距离公式得 JC，二血妝+妙-1）2十金勉十沟=2 - 2吨+罚: BD，二(ais/?-aisz)2 +(-mg-rna)二 2-2(cosac(is。 注意到M二助,因此 叭a+沟二Effcos“Am尸。 注记：这是教材上给出的经典证法。它借助单位圆的框架 ，利用平面内两点间距离公 式表达两条相等线段，从而得到我们所要的等式。注意 ，公式中的IflI和0为任意角。 2.差角余弦公式 仍然在单位圆的框架下 ，用平面内两点间距离公式和余弦定理表达同一线段 ，也可以 得到我们希望的三角等式。这就是  （方法2）如图所示,在坐标系亜中作单位圆0,并作角Q和0,使角fl和0 的始边均为Ot,交DO于点C,角A终边交DO于点A角0终边交DO于点。从而 点A, B的坐标为a）,Pj。 由两点间距离公式得 屈=iposL-vosfff +(Aia-an/5^ 二 2 - 2(cos￡CaBy?+sb(imQ。 由余弦定理得 出 J 出 J +fi?2 -laCDBrasZO 从而有(d+/i) 从而有 (d+/i) = cosgais#-dng 血#。 注记：方法2 注记：方法2中用到了余弦定理，它依赖于 ￡108是三角形的内角。因此,还需 要补充讨论角 A和0的终边共线,以及刀Ok大于ff的情形。容易验证,公式在以上 情形中依然成立。 在上边的证明中，用余弦定理计算川F的过程也可以用勾股定理来进行。 （二）在三角形的框架下推导和差角正弦公式 除了在单位圆的框架下推导和差角的余弦公式, 除了在单位圆的框架下推导和差角的余弦公式 ,还可以在三角形中构造和角或差角来 证明和差角的正弦公式。 1.和角正弦公式（一） （方法3）如图所示,M为加C的边上的高,CE为曲边上的高。设 AC^b, ZaiS=a, Z⑻=0, 则。从而有 J￡=ft?Ka, CE-i^d, BE 二 CTcflt/?二白 SC=CEcscP=b^a^scfi^ 因此朋二廊+胚二 S(ctsg+sb gcst/p. 注意到 /?Gn(z+0)|, 从而有 (cosec+sinacflt 甸ins 二心 , 整理可得 血i(a+/0 二 Eigcos/Hcpsg 血10。 注记：在方法3中，用 WL和与底角 ff, 0相关的三角函数,从两个角度来表示 JC边上高lifll,从而得到所希望的等式关系。 这一证明所用的图形是基于钝角三角形的 对基于直角或锐角三角形的情形 ，证明过程类似。 利用方法3中的图形，我们用类似于恒等变形的方式，可以得到下面的 （方法4）如图所示,肋为的必边上的高,CE为屈边上的高。设 /CW=ffl ^CSA-fi 则切皿=童+0。 注意到 AODA4M, 则有価勒,即。 从而有 SC AS BC jWBC jISCBC AB sc BC 二 cos asm fi+anacas