用向量方法证明三角形的余弦定理