两角和差的正余弦公式的若干证明方法

两角和差的正余弦公式的若干证明方法

两角和差的正余弦公式的若干证明方法

目录 
1. 几何方法
1.1. 矩形
1.2. 面积法
1.3. 正弦定理
1.4. 托勒密定理
1.5. 弦图
1.5.1. 外弦图
1.5.2. 内弦图
2. 坐标方法
2.1. 距离公式+余弦定理
2.2. 距离公式+全等
3. 向量方法
4. 复数方法

两角和差的正余弦公式,是整个三角恒等变形的基础,其它的恒等变形的公式,都是由这几个公式推导得到。因此,如何证明第一个公式,是一个很重要的问题。

这里我们整理几种常见证明方法。

1. 几何方法

几何方法的好处是与初中锐角三角函数的内容联系紧密,但是缺点只对锐角(甚至是两角和为锐角)的情况成立,而且不好推广。

1.1. 矩形

图1

由矩形的对边相等可得

sin⁡(α+β)=sin⁡αcos⁡β+cos⁡αsin⁡βcos⁡(α+β)=cos⁡αcos⁡β−sin⁡αsin⁡β

1.2. 面积法

在 △ABC 中,AD⊥BC 于 D, ∠BAD=α∠CAD=β,如图2

S△ABC=S△ABD+S△ACD

12AB⋅ACsin⁡(α+β)=12AB⋅ADsin⁡α+12AC⋅ADsin⁡β

于是

sin⁡(α+β)=ADAC⋅sin⁡α+ADAB⋅sin⁡β=cos⁡βsin⁡α+cos⁡αsin⁡β

另外,也可以直接由张角定理得到同样的形式。

1.3. 正弦定理

在上面的图2中,根据正弦定理,有

sin⁡∠BACBC=sin⁡BAC=sin⁡CAB

sin⁡(α+β)BC=sin⁡(90∘−α)AC=sin⁡(90∘−β)AB=cos⁡αAC=cos⁡βAB

注意

BC=BD+DC=ABsin⁡α+ACsin⁡β

又有

sin⁡(α+β)BC=cos⁡βsin⁡α+cos⁡αsin⁡βABsin⁡α+ACsin⁡β

于是有

sin⁡(α+β)=cos⁡βsin⁡α+cos⁡αsin⁡β

1.4. 托勒密定理

在半径为 R 的圆的一个内接四边形 ABCD 中,∠ABC=∠ADC=90∘,如图3

根据托勒密定理,有

AB⋅CD+AD⋅BC=AC⋅BD

结合正弦定理可得

2Rsin⁡(90∘−α)⋅2Rsin⁡β+2Rsin⁡(90∘−β)⋅2Rsin⁡α=2Rsin⁡90∘⋅2Rsin⁡(α+β)

化简得

cos⁡αsin⁡β+cos⁡βsin⁡α=sin⁡(α+β)

1.5. 弦图

我们可以用弦图来证明勾股定理。在原始的弦图中,四个小三角形是全等的。我们可以对它做一下变形,把四个全等的三角形改成两组全等的三角形,这样形成的弦图就不是两个正方形了,而是矩形和菱形。

1.5.1. 外弦图

图4,计算面积可得

2⋅12sin⁡α⋅cos⁡α+2⋅12sin⁡β⋅cos⁡β+1⋅1⋅sin⁡(α+β)=(sin⁡α+sin⁡β)(cos⁡α+cos⁡β)

化简即可得到两角和的正弦公式。

1.5.2. 内弦图

图5,计算面积可得

2⋅12sin⁡α⋅cos⁡α+2⋅12sin⁡β⋅cos⁡β+(sin⁡β−sin⁡α)(cos⁡α−cos⁡β)=1⋅1⋅sin⁡(α+β)

化简即可得到两角和的正弦公式。

2. 坐标方法

2.1. 距离公式+余弦定理

图6,在平面直角坐标系 xOy 中,角 α 和角 β 的终边分别与单位圆交于点 A(cos⁡α,sin⁡α)B(cos⁡β,sin⁡β),则 ∠AOB=α−β

根据距离公式,

|AB|2=(cos⁡α−cos⁡β)2+(sin⁡α−sin⁡β)2=2−2(cos⁡αcos⁡β+sin⁡αsin⁡β)

根据余弦定理,

|AB|2=|OA|2+|OB|2−2|OA|⋅|OB|cos⁡(α−β)=2−2cos⁡(α−β)

于是有

cos⁡(α−β)=cos⁡αcos⁡β+sin⁡αsin⁡β

2.2. 距离公式+全等

图7,我们把上图中的 △OBA 旋转到 △OMP,则 △OBA≅△OMP

因此 ∠MOP=∠BOA=α−βP 点的坐标为 (cos⁡(α−β),sin⁡(α−β)),所以

|AB|2=|PM|2=(cos⁡(α−β)−1)2+sin2⁡(α−β)=2−2cos⁡(α−β)

得到了上一种方法同样的式子。

这种方法对比上一种方法的好处是避开了余弦定理。

3. 向量方法

在平面直角坐标系 xOy 中,角 α 和角 β 的终边分别与单位圆交于点 A(cos⁡α,sin⁡α)B(cos⁡β,sin⁡β),则 ∠AOB 等于 β−α 或 α−β,或者和其中一个相差 2kπ。因此

cos⁡(α−β)=cos⁡∠AOB=OA→⋅OB→|OA→|⋅|OB→|=OA→⋅OB→=(cos⁡α,sin⁡α)⋅(cos⁡β,sin⁡β)=cos⁡αcos⁡β+sin⁡αsin⁡β

我们看到,向量法的好处是不需要讨论 α 和 β 的情况,而且证明的过程非常简洁。

4. 复数方法

利用复数的指数形式和欧拉公式也可以很容易推出和角公式:

cos⁡(α+β)+isin⁡(α+β)=ei(α+β)=eiαeiβ=(cos⁡α+isin⁡α)(cos⁡β+isin⁡β)=(cos⁡αcos⁡β−sin⁡αsin⁡β)+i(sin⁡αcos⁡β+cos⁡αsin⁡β)

对比两边的实部和虚部就可以得到两角和的正弦和余弦公式。


参考资料:

posted @ 2025-05-13 21:40  kkman2000  阅读(317)  评论(0)    收藏  举报