展开 两个向量垂直的关系式是什么