利用向量的知识证明两角差的余弦公式