人民币对美元汇率公式两角和与差的三角函数公式的证明

2020年10月13日发(作者：房广)
. .
两角和与差的三角函数公式的证明

三角函数
两角和与差
单位圆
托勒密定理
数学

利用单位圆方法证明
sin（α+β）= …

与cos（α+β）= …，是进一步证
明大部分三角函数公式的基础。

1、sin（α+β）=sinαcosβ+ cosαsinβ
在笛卡尔坐标系中以原点O为圆心作单位圆，在单位圆中作以下线段：

页脚
. .

如图中所示，容易看出：
sin（α+β）=CF；sinα=AB；cosα=OB； sinβ=CD；cosβ=OD
则：


页脚
. .


页脚
. .





页脚
. .



---------------------------- -----------------------------------------
----- --------------------
平面几何的证明方法：如图所示，过程见下面的【评论】中新浪网友的提示
页脚
. .
（非常感这位网友的提示，让我们看到了证明一个定理的多种途径，真是妙不可
言！）


----------------------------------- ----------------------------------
------------ -
附：如何证明托勒密定理？
见
..

托勒密(Ptolemy)定理指出，圆接凸四边形两对对边乘积的和等于两条对角线的
乘积。
原文：圆接四边形中，两对角线所包矩形的面积等于 一组对边所包矩形的面积
与另一组对边所包矩形的面积之和。
从这个定理可以推出正弦、 余弦的和差公式及一系列的三角恒等式，托勒密
定理实质上是关于共圆性的基本性质．（具体的推导方法 详见数学目录下的博文，
来自网友的提供！）

页脚
. .

思路：托勒密定理在平面几何中赫赫有名，其难点在于：把一条对角线分割成两
条线段DE和BE。第一步证明一对旋转的三角形相似：△ABE∽△ACD；第二步还
需要证一对旋 转的三角形相似△ADE∽△ACB；只有这两对相似的三角形出来了才
能得到结论。

证明：以AB为边，作一个角等于已知角：即∠BAE=∠DAC；
在ΔABE和ΔACD中，
∵ ∠BAE=∠DAC；
∠ABE=∠ACD；
∴ △ABE∽△ACD；
∴ AB·DC=BE·AC ①
∵ ∠BAE=∠DAC；
∴ ∠DAE=∠CAB；
在ΔADE和ΔACB中，
∵ ∠ADE=∠ACB；
∠DAE=∠CAB；
页脚