两角和差正余弦公式的证明
两角和差的正余弦公式是三角学中很重要的一组公式。下面我们就它们的推导证明方法进行探讨。
由角的三角函数值表示
的正弦或余弦值这正是两角和差的正余弦公
式的功能。换言之要推导两角和差的正余弦公式就是希望能得到一个等式或方程
将
或
与的三角函数联系起来。
根据诱导公式由角的三角函数可以得到的三角函数。因此由和角公式容易得到对应的差角公式也可以由差角公式得到对应的和角公式。又因为
即原角的余弦等于其余角的正弦据此可以实现正弦公式和余弦公式的相互推导。因此只要解决这组公式中的一个其余的公式将很容易得到。
一在单位圆的框架下推导和差角余弦公式
注意到单位圆比较容易表示和
而且角的终边与单位圆的交点坐标可
以用三角函数值表示因此我们可以用单位圆来构造联系函数值的等式。
与的三角
1和角余弦公式
方法1如图所示在直角坐标系
中作单位圆并作角和使
角的始边为交
于点A终边交于点B；角始边为
终边交
f于点C；角始边为终边交


于点。从而点ABC和D的坐标分别为

。
由两点间距离公式得
；
。
注意到
因此
。
注记：这是教材上给出的经典证法。它借助单位圆的框架利用平面内两点间距离公式表达两条相等线段从而得到我们所要的等式。注意公式中的和为任意角。
2差角余弦公式
仍然在单位圆的框架下用平面内两点间距离公式和余弦定理表达同一线段也可以得到我们希望的三角等式。这就是
方法2如图所示在坐标系
中作单位圆并作角和使角和
的始边均为交
于点C角终边交于点A角终边交
于点。从而
点AB的坐标为

。
由两点间距离公式得
f。由余弦定理得
。
从而有
。
注记：方法2中用到了余弦定理它依赖于
是三角形的内角。因此还需
要补充讨论角和的终边共线以及情形中依然成立。
在上边的证明中用余弦定理计算
也可以用向量法来证明。
大于的情形。容易验证公式在以上的过程也可以用勾股定理来进行。
f二在三角形的框架下推导和差角正弦公式
除了在单位圆的框架下推导和差角的余弦公式还可以在三角形中构造和角或差角来证明和差角的正弦公式。
1和角正弦公式一
方法3如图所示


为
的边上的高为
则。从而有
边上的高。设


因此
。
。
注意到

从而有：

整理可得：
。
注记：在方法3中用和与底角相关的三角函数从两个角度来r