先利用单位圆（向量）推到两角和与差的余弦公式，再利用诱导公式推导正弦公式，最后利用同角三角函数的基本关系推到正切公式。
三角函数公式
两角和公式
sin(A+B) = sinAcosB+cosAsinB
sin(A-B) = sinAcosB-cosAsinB
cos(A+B) = cosAcosB-sinAsinB
cos(A-B) = cosAcosB+sinAsinB
tan(A+B) = (tanA+tanB)/(1-tanAtanB)
tan(A-B) = (tanA-tanB)/(1+tanAtanB)
cot(A+B) = (cotAcotB-1)/(cotB+cotA)
cot(A-B) = (cotAcotB+1)/(cotB-cotA
