Existence and Uniqueness

Theorem (Polynomial Existence and Uniqueness).  Given a set  n+1  of distinct nodes  [Graphics:Images/NevilleAlgorithmProof_gr_3.gif]   (where [Graphics:Images/NevilleAlgorithmProof_gr_4.gif] whenever [Graphics:Images/NevilleAlgorithmProof_gr_5.gif]).  There is a unique polynomial of degree [Graphics:Images/NevilleAlgorithmProof_gr_6.gif]   

        [Graphics:Images/NevilleAlgorithmProof_gr_7.gif]

that passes through the  n+1  points  [Graphics:Images/NevilleAlgorithmProof_gr_8.gif]  

        [Graphics:Images/NevilleAlgorithmProof_gr_9.gif]    for    [Graphics:Images/NevilleAlgorithmProof_gr_10.gif].  

Proof.

    The existence of  [Graphics:../Images/NevilleAlgorithmProof_gr_11.gif] is assured by using one of the standard methods of constructing a polynomial.  The Lagrange polynomial and Newton polynomial are two such constructions.

Mathematica Subroutine (Lagrange Polynomial). Compact object oriented programming.

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

Mathematica Subroutine (Newton Polynomial).

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

Exploration.

 

More Background

    We need to a result from algebra.

Theorem (The Fundamental Theorem of Algebra).   If  [Graphics:../Images/NevilleAlgorithmProof_gr_55.gif]  is a polynomial of degree [Graphics:../Images/NevilleAlgorithmProof_gr_56.gif] with coefficients  [Graphics:../Images/NevilleAlgorithmProof_gr_57.gif]  that are complex numbers and [Graphics:../Images/NevilleAlgorithmProof_gr_58.gif] then  [Graphics:../Images/NevilleAlgorithmProof_gr_59.gif]  has precisely  [Graphics:../Images/NevilleAlgorithmProof_gr_60.gif] complex roots  [Graphics:../Images/NevilleAlgorithmProof_gr_61.gif].   

Proof.

Corollary.   Let  [Graphics:../Images/NevilleAlgorithmProof_gr_62.gif]  be a polynomial of degree [Graphics:../Images/NevilleAlgorithmProof_gr_63.gif] with coefficients  [Graphics:../Images/NevilleAlgorithmProof_gr_64.gif]  that are complex numbers.  If there exists at [Graphics:../Images/NevilleAlgorithmProof_gr_65.gif] distinct complex numbers  [Graphics:../Images/NevilleAlgorithmProof_gr_66.gif]   such that
        [Graphics:../Images/NevilleAlgorithmProof_gr_67.gif]    for    [Graphics:../Images/NevilleAlgorithmProof_gr_68.gif],  
then
        [Graphics:../Images/NevilleAlgorithmProof_gr_69.gif]   for all complex numbers z.

 

Continuation of the Proof Polynomial Uniqueness Theorem.

    We are now ready to prove that the polynomial  [Graphics:../Images/NevilleAlgorithmProof_gr_70.gif]  is unique.  
Suppose that  [Graphics:../Images/NevilleAlgorithmProof_gr_71.gif]  is not unique and that there exists another polynomial  [Graphics:../Images/NevilleAlgorithmProof_gr_72.gif]  of degree [Graphics:../Images/NevilleAlgorithmProof_gr_73.gif] which also passes through the  n+1  points  [Graphics:../Images/NevilleAlgorithmProof_gr_74.gif].  Form the difference polynomial

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

        [Graphics:../Images/NevilleAlgorithmProof_gr_76.gif]  
    
        [Graphics:../Images/NevilleAlgorithmProof_gr_77.gif]   
        
which is a polynomial of degree [Graphics:../Images/NevilleAlgorithmProof_gr_78.gif].  Furthermore, we have
    
        [Graphics:../Images/NevilleAlgorithmProof_gr_79.gif]

        [Graphics:../Images/NevilleAlgorithmProof_gr_80.gif]   for    [Graphics:../Images/NevilleAlgorithmProof_gr_81.gif].  

Since [Graphics:../Images/NevilleAlgorithmProof_gr_82.gif] at the  n+1  distinct values  [Graphics:../Images/NevilleAlgorithmProof_gr_83.gif]     we can conclude that

        [Graphics:../Images/NevilleAlgorithmProof_gr_84.gif]   for all complex numbers z.

Hence it follows that

        [Graphics:../Images/NevilleAlgorithmProof_gr_85.gif]   
    and
        [Graphics:../Images/NevilleAlgorithmProof_gr_86.gif]   for all complex numbers z.

Therefore  [Graphics:../Images/NevilleAlgorithmProof_gr_87.gif]  is unique.  

Exploration.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2005