Нам потребуется следующая
Л е м м а: пусть функция
дифференцируема на некотором открытом множестве
, причем
. Тогда
.
Д о к а з а т е л ь с т в о: в общем-то следует из необходимого условия локального экстремума: легко видеть, что точка
является локальным минимумом.
Любой многочлен, конечно, является дифференцируемой функцией. Потому
. Более того, поскольку
-- корни многочлена, то
. Продифференцируем:
. В точке
производная равна
, аналогично в точке
:
. С другой стороны,
-- многочлен второй степени, а потому
. Поскольку
, то
, следовательно,
.