The Lagrange interpolation polynomial constructs existence explicitly:Distinct nodes make every denominator nonzero, and , so and has degree at most . If two such polynomials existed, their difference would have degree at most but at least distinct roots. The root bound for a nonzero polynomial forces that difference to vanish. Thus the interpolating polynomial exists and is unique.
The polynomial already has degree at most three and gives the specified data at every node. Uniqueness of polynomial interpolation therefore gives
Let . The node polynomial isIt vanishes at all four nodes, so subtracting it leaves the data unchanged. Since , uniqueness of polynomial interpolation gives
Articles by others on the same topic
There are currently no matching articles.