диференційована в т. c та т. с точка локального екстремуму, то
Доведення.. – диференційована в т с .
Оскільки т. с – точка локального екстремуму, то в цій точці функція не може спадати, а тому її похідна в цій точці не може бути меншою за нуль, вона також не може зростати, тому похідна не може бути більшою за нуль, Отже, . ■
Теорема(перша достатня умова loc extr)
Доведення.І) Нехай - довільна точка проколотого -околу. Оскільки функція диференційовна в , то вона диф. на пів відрізку , а тому і непер. на ньому. Крім того, функція неперервна в точці с. Тому можна застосувати на цьому відрізку теорему Лагранжа: , де ξ лежить поміж х і с.
ІІ) доведення аналогічне І)
ІІІ) Нехай для визначеності в усіх точках із є додатнім, тоді