Для того, чтобы функция была дифференцируемой в точке , необходимо и достаточно , чтобы она имела конечную производную в этой точке

Доказательство:

Достаточность условия доказана выше: из существования конечной производной следовала возможность представления в виде (1), где можно положить .

Необходимость условия. Пусть функция дифференцируема в точке . Тогда из (2), предполагая , получаем .

Предел правой части при существует и равен А: .

Это означает, что существует производная . Теорема доказана.