设为互异的插值节点求证

- 2.3 设 为互异的插值节点，求证 - 其中 为 次Lagrange插值基函数。 - 2.4