lagrange插值基函数之和为一的证明过程