这样就证明了唯一性。
几何性质.拉格朗日插值法中用到的拉格朗日基本多项式formula_52（由某一组formula_53确定）可以看做是由次数不超过n的多项式所组成的线性空间：formula_54的一组基底。首先，如果存在一组系数：formula_55使得，那么，一方面多项式P是满足formula_57的拉格朗日插值多项式，另一方面P是零多项式，所以取值永远是0。所以这证明了formula_52是线性无关的。同时它一共包含n+1个多项式，恰好等于formula_54的维数。