Theory and Proof

for

The Tangent Parabola

 

Constructing the "Tangent Parabola"

    The Newton polynomial  [Graphics:Images/TangentParabolaProof_gr_1.gif],  has the form:

(i)        [Graphics:Images/TangentParabolaProof_gr_2.gif].

The coefficients [Graphics:Images/TangentParabolaProof_gr_3.gif] are determined by forcing  [Graphics:Images/TangentParabolaProof_gr_4.gif]  to pass through three points  

        [Graphics:Images/TangentParabolaProof_gr_5.gif],  [Graphics:Images/TangentParabolaProof_gr_6.gif]  and  [Graphics:Images/TangentParabolaProof_gr_7.gif].  

Here we have used the notation  [Graphics:Images/TangentParabolaProof_gr_8.gif]  and  [Graphics:Images/TangentParabolaProof_gr_9.gif]  for the second and third points.  
                    
Using the equation  [Graphics:Images/TangentParabolaProof_gr_10.gif]  and the above three points produces a lower-triangular linear system of equations:

        [Graphics:Images/TangentParabolaProof_gr_11.gif]  

These three equations can be simplified and written in lower-triangular form    

(ii)        [Graphics:Images/TangentParabolaProof_gr_12.gif]   

which is easily solved using forward elimination:  

        [Graphics:Images/TangentParabolaProof_gr_13.gif]   
and
        [Graphics:Images/TangentParabolaProof_gr_14.gif]   

Substitute [Graphics:Images/TangentParabolaProof_gr_15.gif] into equation (i) and get  

(iii)        [Graphics:Images/TangentParabolaProof_gr_16.gif]

Let  [Graphics:Images/TangentParabolaProof_gr_17.gif] in equation (iii), the limit of the first difference quotient  [Graphics:Images/TangentParabolaProof_gr_18.gif]  is the derivative  [Graphics:Images/TangentParabolaProof_gr_19.gif],
and the limit of the difference quotient  [Graphics:Images/TangentParabolaProof_gr_20.gif]  is the second derivative  [Graphics:Images/TangentParabolaProof_gr_21.gif].  
Therefore, the limit of the Newton Polynomial  [Graphics:Images/TangentParabolaProof_gr_22.gif]  is seen to be the Taylor polynomial  [Graphics:Images/TangentParabolaProof_gr_23.gif]  

    [Graphics:Images/TangentParabolaProof_gr_24.gif].  

Caveat.  This is the direction to take if polynomials of higher degree are to be studied.  However, since the three points are different than those of mentioned in the article this may be a little confusing.  Another important feature of this derivation is that the coefficients  [Graphics:Images/TangentParabolaProof_gr_25.gif] are found by solving a lower-triangular system (which is easily solved by forward elimination, and this technique generalizes to higher order polynomials).  

Aside.  All the computations can be easily done letting Mathematica form and solve the equations.  The following Mathematica solution is proposed.

Construct the lower-triangular linear system to be solved.  Start with the equation

        [Graphics:Images/TangentParabolaProof_gr_26.gif]  

Substitute the three points into  eqn  and get three equations  eqn0  ,  eqn1  and  eqn2.  

[Graphics:Images/TangentParabolaProof_gr_27.gif]




[Graphics:Images/TangentParabolaProof_gr_28.gif]

[Graphics:Images/TangentParabolaProof_gr_29.gif]

 

Solve this lower-triangular system:

[Graphics:Images/TangentParabolaProof_gr_30.gif]




[Graphics:Images/TangentParabolaProof_gr_31.gif]

[Graphics:Images/TangentParabolaProof_gr_32.gif]

[Graphics:Images/TangentParabolaProof_gr_33.gif]

[Graphics:Images/TangentParabolaProof_gr_34.gif]

 

Substitute the solution values and obtain  [Graphics:Images/TangentParabolaProof_gr_35.gif]  which is the "secant parabola:"

[Graphics:Images/TangentParabolaProof_gr_36.gif]



[Graphics:Images/TangentParabolaProof_gr_37.gif]

We are done!

Aside.  We can take the limit of  [Graphics:Images/TangentParabolaProof_gr_38.gif].  This is just for fun!  

[Graphics:Images/TangentParabolaProof_gr_39.gif]


[Graphics:Images/TangentParabolaProof_gr_40.gif]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2004