展开 拉格朗日公式证明向量积