Полученое противоречит тому, что M=sup{ f(x)}. Следовательно функция достигает свего максимума. Аналогично доказывается достижение минимума.

Доказательство основной теоремы.

Пусть дан многочлен f(x), очевидно что если an-свободный член, то f(0)= an. Теперь применим лемму№3: возьмем М=|f(0)| =|an| тогда существует такое N, что при |x|>N |f(x)|>M. Теперь возьмем круг Е ограниченный окружностью с центром в нуле и радиусом N, включая границы круга. Так как (по лемме №1) многочлен f(x)-непрерывен, то и |f(x)|-непрерывен внутри замкнутого круга Е, следовательно(по лемме №6), существует такая точка x0, что для всех x из E выполняется неравенство |f(x)|>=|f(x0)|. x0 является точкой минимума для |f(x)| внутри E. Т.к для любого x:|x|>N |f(x)|>M>|f(0)|>|f(x0)| точка x0 является точкой минимуа |f(x)| на всей комплексной плоскости.

|f(x0)|=0 т.к по лемме Даламбера если |f(x0)|¹0 то x0 не точка минимума для |f(x)|Þ x0-корень многочлена f(x).

Теорема доказана.