The Lagrange interpolation polynomial is
The distinct nodes make all denominators nonzero. Each Lagrange basis polynomial has degree and satisfies , so the sum has degree at most and interpolates every specified value.
If and both interpolate the data and have degree at most , the polynomial has the distinct roots . A nonzero polynomial of degree at most has at most roots: repeated use of the factor theorem would otherwise make a product of linear factors divide it. Hence , proving the interpolating polynomial is unique.
Integrate the Lagrange interpolation polynomial and exchange the integral with the finite sum:
Therefore the interpolatory quadrature weights are
The resulting quadrature rule is exact for every polynomial of degree at most , since its interpolant is itself. For a general continuous , replacing by its interpolant supplies the approximation.

Articles by others on the same topic (0)

There are currently no matching articles.