使用两角差的余弦公式cos(a-b)=...时用不用满足0≤a-b≤pi