The Lagrange Connection

    In numerical analysis, the Lagrange interpolation polynomial is constructed, and it can be shown to be equivalent to the formula in (4), however the hand computations are messy.  If a computer algebra system, such as Mathematica is used, then it is easy to verify that the two forms are equivalent.  First, enter the formula for the Lagrange polynomial

[Graphics:Images/TangentParabolaMod_gr_161.gif]

Then enter formula (4)

[Graphics:Images/TangentParabolaMod_gr_162.gif]

The above two formulas can be expanded and shown to be equal.

Details

The following Mathematica command will expand  L[x].

[Graphics:../Images/TangentParabolaMod_gr_163.gif]


[Graphics:../Images/TangentParabolaMod_gr_164.gif]

If the command  [Graphics:../Images/TangentParabolaMod_gr_165.gif] is issued, the result will be identical.  

[Graphics:../Images/TangentParabolaMod_gr_166.gif]


[Graphics:../Images/TangentParabolaMod_gr_167.gif]

The following Mathematica command can be used to determine if the two symbolic quantities are equivalent and will return either a Boolean expression of "true" or "false."  Let's see what happens.

[Graphics:../Images/TangentParabolaMod_gr_168.gif]


[Graphics:../Images/TangentParabolaMod_gr_169.gif]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2004