00:01
So we have a polynomial function, let's say f of x is our variable here, so i'm going to have to say y is equal to a0 plus a1y plus etc a to the n y to the n, and we claim that it can have at most n minus one local extrema on a given interval negative x to x.
00:26
Well let's say that y0 is a local extremum for f.
00:36
What that means is that f prime of y0 equals zero.
00:43
So the fact the set of local extrema for f, local extrema, has to be contained in the set of y such that f prime of y is equal to zero.
01:00
Because any extremum must have derivative zero, but of course this set need not be, this containment can be strict if you say if f of y equals y cubed then you'll have this here, the derivative is zero but it is not a local extremum, it is an extrema.
01:20
That's great, now of course f prime of y is also a polynomial of degree n minus one...