和角公式三个角相加,例如cos(a+b+c)等于啥