Доказателство:
Понеже функцията y = f(x) е диференцируема в точка c тя притежава границата
Да предположим, че функцията y = f(x) притежава максимум в точка c.
Тогава в близките до c точки x разликата f(x) - f(c) ще бъде неположителна f(x) - f(c) ≤0.
Но x може да бъде както отляво, така и отдясно на точка c.
Частното
ще бъде неположително, когато x е отдясно на c и неотрицателно когато x е отляво.
Тогава границата
ще бъде едновременно неположителна и неотрицателна.
Единствената възможност за това е тя да бъде 0.