Theorem (Separated Real Roots).  If  [Graphics:Images/GraeffeMethodProof_gr_34.gif]  is a polynomial with real roots that are widely separated in magnitude  

        [Graphics:Images/GraeffeMethodProof_gr_35.gif]
then
        [Graphics:Images/GraeffeMethodProof_gr_36.gif]   for   [Graphics:Images/GraeffeMethodProof_gr_37.gif].   

Exploration

It will suffice to look at the case n=4.

[Graphics:../Images/GraeffeMethodProof_gr_38.gif]
        
[Graphics:../Images/GraeffeMethodProof_gr_39.gif]  

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

The coefficients of [Graphics:../Images/GraeffeMethodProof_gr_41.gif] are:

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

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

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

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

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

 

(i)  First, we approximate [Graphics:../Images/GraeffeMethodProof_gr_47.gif]  

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

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

Since [Graphics:../Images/GraeffeMethodProof_gr_50.gif],  each quotients is small  [Graphics:../Images/GraeffeMethodProof_gr_51.gif],  

hence the approximation  [Graphics:../Images/GraeffeMethodProof_gr_52.gif]  is good.

 

(ii)  Second, we approximate [Graphics:../Images/GraeffeMethodProof_gr_53.gif]  

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

Divide numerator and denominator by  [Graphics:../Images/GraeffeMethodProof_gr_55.gif]  and get

    [Graphics:../Images/GraeffeMethodProof_gr_56.gif]
    
    [Graphics:../Images/GraeffeMethodProof_gr_57.gif]

Since [Graphics:../Images/GraeffeMethodProof_gr_58.gif],  each quotients is small  [Graphics:../Images/GraeffeMethodProof_gr_59.gif],  

hence the approximation  [Graphics:../Images/GraeffeMethodProof_gr_60.gif]  is good.  

 

(iii)  Third, we approximate [Graphics:../Images/GraeffeMethodProof_gr_61.gif]

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

Divide numerator and denominator by  [Graphics:../Images/GraeffeMethodProof_gr_63.gif]  and get

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

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

Since [Graphics:../Images/GraeffeMethodProof_gr_66.gif],  each quotients is small  [Graphics:../Images/GraeffeMethodProof_gr_67.gif],  

hence the approximation  [Graphics:../Images/GraeffeMethodProof_gr_68.gif]  is good.  

 

(iv)  Fourth, we approximate [Graphics:../Images/GraeffeMethodProof_gr_69.gif]

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

Divide numerator and denominator by  [Graphics:../Images/GraeffeMethodProof_gr_71.gif]  and get

    [Graphics:../Images/GraeffeMethodProof_gr_72.gif]  
    [Graphics:../Images/GraeffeMethodProof_gr_73.gif]  
    
Since [Graphics:../Images/GraeffeMethodProof_gr_74.gif],  each quotients is small  [Graphics:../Images/GraeffeMethodProof_gr_75.gif],  

hence the approximation  [Graphics:../Images/GraeffeMethodProof_gr_76.gif]  is good.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2005