相等的两个向量同时与另一个向量做点乘，仍旧相等，反之也成立