行列式证明拉格朗日恒等式的条件