基础三角公式

所需基本三角公式:
sin(a) = -sin(-a)
cos(a) = cos(-a)
正切与正弦/余弦的和/差角公式的证明
由右图可知 sin(a+b) 和 cos(a+b) 公式,将 b 用 -b 替换即可得差角公式
由左图可知 tan(a+b) 的公式,将b用-b替换即可得差角公式。由 cot = 1/tan 可得余切的和差角公式
和差化积公式的证明
基于和差角公式得如下四组等式
cos(a+b) - cos(a-b) = cos(b)cos(a) - sin(b)sin(a) - [cos(b)cos(a) + sin(b)sin(a)] =