展开 两个向量垂直可以得出什么