展开 向量垂直有什么性质