展开 向量相减为零的公式推