ラグランジュ補間多項式は次数高々の多項式全体の成すベクトル空間に属し、上で定義した「ニュートン基底」formula_5が実際にその基底を成す。