1、两角和与差的三角函数公式的证明三角函数两角和与差单位圆托勒密定理数学 利用单位圆方法证明 sin（+）= 与 cos（+）= ，是进一步证明大部分三角函数公式的基础。1、sin（+）=sincos+ cossin在笛卡尔坐标系中以原点 O 为圆心作单位圆，在单位圆中作以下线段：如图中所示，容易看出：sin（+）=CF；sin=AB；cos=OB； sin=CD；cos=OD则：-平面几何的证明方法：如图所示，过程见下面的【评论】中新浪网友的提示（非常感谢这位网友的提示，让我们看到了证明一个定理的多种途径，真是妙不可言！）-附：如何证明托勒密定理？见 http:/ http:/ 一组对边所包矩形
2、的面积与另一组对边所包矩形的面积之和。从这个定理可以推出正弦、余弦的和差公式及一系列的三角恒等式，托勒密定理实质上是关于共圆性的基本性质（具体的推导方法详见数学目录下的博文，来自网友的提供！）思路：托勒密定理在平面几何中赫赫有名，其难点在于：把一条对角线分割成两条线段 DE 和 BE。第一步证明一对旋转的三角形相似：ABEACD；第二步还需要证一对旋转的三角形相似ADEACB；只有这两对相似的三角形出来了才能得到结论。证明：以 AB 为边，作一个角等于已知角：即BAE=DAC；在 ABE 和 ACD 中， BAE=DAC；ABE=ACD； ABEACD； ABDC=BEAC BAE=DAC； DAE=CAB；在 ADE 和 ACB 中， ADE=ACB；DAE=CAB； ADEACB； ADBC=DEAC +得：ABDC+ ADBC= BEAC+ DEAC=（BE+DE）AC=BDAC。结论：该命题对于圆内接的任意四边形都成立。最初是由数学家托勒密想出来的，叫做托勒密定理。“当你遇到 ABDC+ADBC=ACBD 这样的等积式时，如果等式左边可以合二为一，则考虑证一对三角形相似，否则，在 AC、BD 的其中一条线段上找到一个分点，构造两个三角形相似。”
