Definition (Bernstein Polynomials).  The Bernstein polynomials of degree [Graphics:Images/BezierCurveMod_gr_116.gif] are  
    
    [Graphics:Images/BezierCurveMod_gr_117.gif], for [Graphics:Images/BezierCurveMod_gr_118.gif],  where [Graphics:Images/BezierCurveMod_gr_119.gif].  

Exploration.

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

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

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

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


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

[Graphics:../Images/BezierCurveMod_gr_125.gif]
[Graphics:../Images/BezierCurveMod_gr_126.gif]
[Graphics:../Images/BezierCurveMod_gr_127.gif]
[Graphics:../Images/BezierCurveMod_gr_128.gif]

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

[Graphics:../Images/BezierCurveMod_gr_130.gif]
[Graphics:../Images/BezierCurveMod_gr_131.gif]
[Graphics:../Images/BezierCurveMod_gr_132.gif]
[Graphics:../Images/BezierCurveMod_gr_133.gif]
[Graphics:../Images/BezierCurveMod_gr_134.gif]

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

[Graphics:../Images/BezierCurveMod_gr_136.gif]
[Graphics:../Images/BezierCurveMod_gr_137.gif]
[Graphics:../Images/BezierCurveMod_gr_138.gif]
[Graphics:../Images/BezierCurveMod_gr_139.gif]
[Graphics:../Images/BezierCurveMod_gr_140.gif]
[Graphics:../Images/BezierCurveMod_gr_141.gif]

Observations.  

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

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

 

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

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


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

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


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

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

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

(iii)    The Bernstein polynomials of degree [Graphics:../Images/BezierCurveMod_gr_152.gif] form a basis of the subspace of continuous functions spanned by [Graphics:../Images/BezierCurveMod_gr_153.gif].  
    For our purposes we only need this fact for degree [Graphics:../Images/BezierCurveMod_gr_154.gif].  
    
    That is, the span of  [Graphics:../Images/BezierCurveMod_gr_155.gif] and the span of [Graphics:../Images/BezierCurveMod_gr_156.gif] are the same.  It will suffice to show that each of the functions [Graphics:../Images/BezierCurveMod_gr_157.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_158.gif] is in both set.   We need to check out [Graphics:../Images/BezierCurveMod_gr_159.gif].   We find that   
    
    [Graphics:../Images/BezierCurveMod_gr_160.gif][Graphics:../Images/BezierCurveMod_gr_161.gif],    
and  
    [Graphics:../Images/BezierCurveMod_gr_162.gif][Graphics:../Images/BezierCurveMod_gr_163.gif].  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2004