展开 两个向量垂直相乘等于零的公式