展开 向量垂直相乘等于0公式是什么