如何用向量法证三角形的余弦定理?