拉格朗日插值法概述

在看zk-SNARK算法。这个没接触过，所以转载百度文库

一般地，若已知 在互不相同 n+1 个点  处的函数值  ( 即该函数过  这n+1个点），则可以考虑构造一个过这n+1 个点的、次数不超过n的多项式  

,使其满足：

要估计任一点ξ，ξ≠xi,i=0,1,2,...,n,则可以用Pn（ξ）的值作为准确值f(ξ)的近似值，此方法叫做“插值法”。

称式（*）为插值条件（准则），含xi(i=0,1,...,n)的最小区间[a,b]，其中a=min{x0,x1,...,xn}，b=max{x0,x1,...,xn}。

定理

满足插值条件的、次数不超过n的多项式是存在而且是唯一的。

 

一般有：

在平面上有  共n个点，现作一条函数  使其图像经过这n个点。

作法：

设集合  是关于点  的角标的集合，  ，作n个多项式  。对于任意 

，都有    使得

 是n-1次多项式，且满足  并且  。

最后可得

  

。

形如上式的插值多项式

  

称为拉格朗日（Lagrange）插值多项式。

例如：当n=4时，上面的公式可简化为：

这是一个过4个点的唯一的三次多项式。