1700998893
1700998894
1700998895
证明：如下图所示，在以O为圆心的单位圆上取点P和Q，它们的坐标分别为 (cosA, sinA)、 (cosB, sinB)。那么的长度c有什么特点呢？
1700998896
1700998897
1700998898
1700998899
1700998900
此图可用于证明cos (A–B) = cosAcosB+ sinAsinB
1700998901
1700998902
1700998903
1700998904
通过观察可以发现，在三角形OPQ中，和都是单位圆的半径，长度为1，两者的夹角∠POQ的度数为A–B。因此，根据余弦定理：
1700998905
1700998906
c2= 12+ 12– 2 (1) (1) cos (A–B)
1700998907
1700998908
= 2 – 2 cos (A–B)
1700998909
1700998910
与此同时，根据距离公式，c必然满足：
1700998911
1700998912
c2= (x2–x1)2+ (y2–y1)2
1700998913
1700998914
因此，点P(cosA, sinA) 与点Q(cosB, sinB) 之间的距离c也满足：
1700998915
1700998916
c2= (cosB– cosA)2+ (sinB–sinA)2
1700998917
1700998918
= cos2B–2 cosAcosB+ cos2A+ sin2B–2 sinAsinB+ sin2A
1700998919
1700998920
= 2–2 cosAcosB–2 sinAsinB
1700998921
1700998922
最后一步利用了cos2B+ sin2B= 1和cos2A+ sin2A= 1这两个恒等式。
1700998923
1700998924
消去两个等式中的c2，就会得到：
1700998925
1700998926
2 – 2 cos (A–B) = 2–2 cosAcosB–2 sinAsinB
1700998927
1700998928
两边同时减去2，然后同时除以–2，就会得到：
1700998929
1700998930
cos (A–B) = cosAcosB+ sinAsinB□
1700998931
1700998932
延伸阅读
1700998933
1700998934
上述证明建立在余弦定理的基础上，同时假设0°
1700998935
1700998936
1700998937
1700998938
1700998939
由于∠P’OQ’=A–B，因此P‘ 的坐标是 [cos (A–B), sin (A–B)]。根据距离公式：
1700998940
1700998941
c2= [cos (A–B) – 1]2+ [sin (A–B) – 0]2
1700998942