Lagrange Interpolation | Brilliant Math & Science Wiki (2024)

Sign up with Facebook or Sign up manually

Already have an account? Log in here.

Trevor Arashiro, Lurker Zer, Patrick Corn, and

  • Geoff Pilling
  • Aditya Virani
  • Mahindra Jain
  • Kaustubh Miglani
  • Satyabrata Dash
  • Calvin Lin
  • Jimin Khim

contributed

The Lagrange interpolation formula is a way to find a polynomial which takes on certain values at arbitrary points. Specifically, it gives a constructive proof of the theorem below.

Suppose we have one point (1,3).How can we find a polynomial that could represent it?\[P(x) = 3\]\[P(1) = 3\]

Suppose we have sequence of points: (1,3), (2,4). How can we find a polynomial that could represent it?\[P(x) = \frac {(x - 2)}{(1-2)} \times 3 + \frac {(x - 1)}{(2-1)} \times 4\]\[P(1) = 3\\P(2) = 4\]

Suppose we have sequence of points: (1,3), (2,4), (7,11). How can we find a polynomial that could represent it?\[P(x) = \frac {(x-2)(x-7)}{(1-2)(1-7)} \times 3 + \frac {(x-1)(x-7)}{(2-1)(2-7)} \times 4 + \frac {(x-1)(x-2)}{(7-1)(7-2)} \times 11\]\[P(1) = 3\\P(2) = 4\\P(7) = 11\]In a general form it looks like this:\[P ( x ) = \frac { \left( x - x _ { 2 } \right) \left( x - x _ { 3 } \right) } { \left( x _ { 1 } - x _ { 2 } \right) \left( x _ { 1 } - x _ { 3 } \right) } y _ { 1 } + \frac { \left( x - x _ { 1 } \right) \left( x - x _ { 3 } \right) } { \left( x _ { 2 } - x _ { 1 } \right) \left( x _ { 2 } - x _ { 3 } \right) } y _ { 2 } + \frac { \left( x - x _ { 1 } \right) \left( x - x _ { 2 } \right) } { \left( x _ { 3 } - x _ { 1 } \right) \left( x _ { 3 } - x _ { 2 } \right) } y _ { 3 }\]\[P(x) = \sum _1^3 P_i (x) y_i\]

Contents

  • Theorem
  • Proof
  • Sample Problems
  • See Also

Theorem

Given \( n \) distinct real values \( x_1, x_2, \ldots, x_n \) and \( n \) real values \( y_1, y_2, \ldots, y_n\) (not necessarily distinct), there is a unique polynomial \(P\) with real coefficients satisfying \( P(x_i)=y_i\) for \( i \in \{ 1,2, \ldots, n \} \), such that \( \text{deg}(P) < n.\) \(_\square\)

This theorem can be viewed as a generalization of the well-known fact that two points uniquely determine a straight line, three points uniquely determine the graph of a quadratic polynomial, four points uniquely determine the graph of a cubic polynomial, and so on. (Two caveats: (1) the points are required to have different \(x\)-coordinates, and (2) the "quadratic polynomial" might actually be a linear or constant polynomial, the "cubic polynomial" might actually be a quadratic, linear, or constant polynomial, and so on.)

Proof

First, a proof that the polynomial \( P \) is unique: Suppose \( Q\) and \( R\) are polynomials with the above properties. Then \( Q-R\) vanishes on \( x_1,x_2,\ldots,x_n,\) but its degree is less than \( n.\) A nonzero polynomial of degree \( <n\) cannot have \(n\) roots, so \( Q-R\) must be the zero polynomial, i.e. \( Q=R.\)

Now, to show that \( P\) exists, let \[P_1(x) = \frac{(x-x_2)(x-x_3)(\cdots)(x-x_n)}{(x_1-x_2)(x_1-x_3)(\cdots)(x_1-x_n)}.\]Then \( P_1(x_1)=1 \) and \( P_1(x_2)=P_1(x_3)=\cdots=P_1(x_n)=0.\)

Similarly construct polynomials \( P_2,P_3,\ldots,P_n\) such that \( P_j (x_j)=1\) and \( P_j (x_i)=0\) for all \( i \neq j\). (One way to write \(P_j(x)\) is\[P_j(x) = \frac{f(x)}{(x-x_j)f'(x_j)},\]where \( f(x) = (x-x_1)(x-x_2)(\cdots)(x-x_n).)\)

Then, \( P(x) = \sum y_i P_i(x) \) is a polynomial with real coefficients satisfying \( P(x_i)=y_i\) for all \( i \in \{ 1,2, \ldots n \} \). It is a sum of polynomials of degree \( n-1,\) so its degree is \( <n.\) \(_\square\)

Also note that the theorem still holds, with the same proof as above, if any field is substituted for the real numbers (e.g. the rational numbers, the complex numbers, the integers mod \( p,\) etc.).

Sample Problems

If \(p(x)\) is a cubic polynomial with

\[\begin{array} &p(1)= 1, &p(2)=2, &p(3)=3, &p(4)=5,\end{array}\]

find \(p(6).\)

Using Lagrange interpolation to find a polynomial \(P\) of degree \( <4\) satisfying

\[\begin{array} &P(1)=1, &P(2)=4, &P(3)=1, &P(4)=5,\end{array}\]

what are the polynomials \( P_1(x), P_2(x), P_3(x), P_4(x), P(x)\)?

Let \( f(x) = (x-2)(x-3)(x-4)\). Then \[ f(1) = (-1)(-2)(-3)=-6 \text{, so } P_1(x) = -\frac {1}{6}(x-2)(x-3)(x-4).\]

Let \( f(x) = (x-1)(x-3)(x-4)\). Then \[ f(2) = (1)(-1)(-2) = 2 \text{, so } P_2 (x) = \frac {1}{2} (x-1)(x-3)(x-4).\]

Let \( f(x) = (x-1)(x-2)(x-4)\). Then \[ f(3) = (2)(1)(-1) = -2 \text{, so } P_3 (x) = -\frac {1}{2} (x-1)(x-2)(x-4). \]

Let \( f(x) = (x-1)(x-2)(x-3)\). Then \[ f(4) = (3)(2)(1) = 6 \text{, so } P_4 (x) = \frac {1}{6} (x-1)(x-2)(x-3). \]

Hence, \[\begin{align}P(x) = &1\times \left(-\frac {1}{6}\right)(x-2)(x-3)(x-4) + 4\times \frac {1}{2} (x-1)(x-3)(x-4)\\&+ 1\times \left(-\frac {1}{2}\right) (x-1)(x-2)(x-4)+ 5 \times \frac {1}{6} (x-1)(x-2)(x-3).\end{align}\]

Simplifying gives \( P(x) = \frac{13}6 x^3 -16x^2+\frac{215}6 x -21.\) \(_\square\)

Insufficient data 12 8 13

Let \(f(x)\) be a quintic polynomial such that

\[ \begin{array} { r l }f(1) & = 1 \\f(2) & = 1 \\f(3) & = 2 \\f(4) & = 3 \\f(5) & = 5 \\f(6) & = 8. \\ \end{array} \]

Determine \( f(7)\).

\(\)
Note: Many people are answering this incorrectly because they think it is the Fibonacci sequence, but this problem is asking about a quintic polynomial that passes through those points. That does not necessarily mean the next term behaves as the Fibonacci sequence would.

Lagrange interpolation is related to the method of differences, which can also be used to solve some of the above problems.

See Also

  • Method of Differences \(LaTeX\)

Cite as: Lagrange Interpolation. Brilliant.org. Retrieved from https://brilliant.org/wiki/lagrange-interpolation/

Lagrange Interpolation | Brilliant Math & Science Wiki (2024)

References

Top Articles
Latest Posts
Article information

Author: Dr. Pierre Goyette

Last Updated:

Views: 6162

Rating: 5 / 5 (50 voted)

Reviews: 89% of readers found this page helpful

Author information

Name: Dr. Pierre Goyette

Birthday: 1998-01-29

Address: Apt. 611 3357 Yong Plain, West Audra, IL 70053

Phone: +5819954278378

Job: Construction Director

Hobby: Embroidery, Creative writing, Shopping, Driving, Stand-up comedy, Coffee roasting, Scrapbooking

Introduction: My name is Dr. Pierre Goyette, I am a enchanting, powerful, jolly, rich, graceful, colorful, zany person who loves writing and wants to share my knowledge and understanding with you.