向量中一些常用的结论