Suppose we have a linear functional
We want to approximate it by:
Then using Lagrange Cardinal Polynomials we find:
so we choose
Gaussian quadrature
Suppose
Then we can find
is exact for
Pick
where
and
First, by picking
because
so all
All roots of
Proof
Suppose
Define
If
so
But
because they change signs at exactly the same points
so this is impossible.
Now for any polynomial
we can write it as
where
Hence
but