Bernstein polynomials.

    The Bernstein polynomials of degree [Graphics:Images/BezierCurveMod_gr_166.gif] are  
    
[Graphics:Images/BezierCurveMod_gr_167.gif], for [Graphics:Images/BezierCurveMod_gr_168.gif],  where [Graphics:Images/BezierCurveMod_gr_169.gif].  

Exploration.

[Graphics:../Images/BezierCurveMod_gr_170.gif]
[Graphics:../Images/BezierCurveMod_gr_171.gif]

Graphs of the Bernstein polynomials of degree  [Graphics:../Images/BezierCurveMod_gr_172.gif].

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

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

[Graphics:../Images/BezierCurveMod_gr_175.gif]
[Graphics:../Images/BezierCurveMod_gr_176.gif]
[Graphics:../Images/BezierCurveMod_gr_177.gif]

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

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

[Graphics:../Images/BezierCurveMod_gr_180.gif]
[Graphics:../Images/BezierCurveMod_gr_181.gif]
[Graphics:../Images/BezierCurveMod_gr_182.gif]
[Graphics:../Images/BezierCurveMod_gr_183.gif]

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

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

[Graphics:../Images/BezierCurveMod_gr_186.gif]
[Graphics:../Images/BezierCurveMod_gr_187.gif]
[Graphics:../Images/BezierCurveMod_gr_188.gif]
[Graphics:../Images/BezierCurveMod_gr_189.gif]
[Graphics:../Images/BezierCurveMod_gr_190.gif]
[Graphics:../Images/BezierCurveMod_gr_191.gif]

Observations.  

(i)
    The Bernstein polynomials are non-negative over the interval [Graphics:../Images/BezierCurveMod_gr_192.gif].  

(ii)    [Graphics:../Images/BezierCurveMod_gr_193.gif],  which we can easily verify for the case [Graphics:../Images/BezierCurveMod_gr_194.gif];

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

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

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

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

Property (ii) is merely the simplification  [Graphics:../Images/BezierCurveMod_gr_199.gif]  

(iii)    The Bernstein polynomials of degree [Graphics:../Images/BezierCurveMod_gr_200.gif] form a basis of the subspace of continuous functions spanned by [Graphics:../Images/BezierCurveMod_gr_201.gif].  
    For our purposes we only need this fact for degree [Graphics:../Images/BezierCurveMod_gr_202.gif].  
    
    That is, the span of  [Graphics:../Images/BezierCurveMod_gr_203.gif] and the span of [Graphics:../Images/BezierCurveMod_gr_204.gif] are the same.  It will suffice to show that each of the functions [Graphics:../Images/BezierCurveMod_gr_205.gif] is a linear combination of the Bernstein polynomials.  Observation (ii) shows that 1 is a linear combination, and by definition [Graphics:../Images/BezierCurveMod_gr_206.gif] is in both set.   We need to check out [Graphics:../Images/BezierCurveMod_gr_207.gif].   We find that   
    
    [Graphics:../Images/BezierCurveMod_gr_208.gif][Graphics:../Images/BezierCurveMod_gr_209.gif],    
and  
    [Graphics:../Images/BezierCurveMod_gr_210.gif][Graphics:../Images/BezierCurveMod_gr_211.gif].  

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2003