如何证明向量相等