展开 两向量垂直的定义