展开 判断向量垂直的公式是什么