证明题:利用向量的内积证明三角形的余弦定理