为什么cosC=-cos(A+B)成立?