Пусть даны две функции и такие, что:
- и определены и непрерывны на отрезке ;
- Производные и конечны на интервале ;
- Производные и не обращаются в ноль одновременно на интервале ;
- ;
В таком случае существует , для которой верно:
Таким не хитрым образом мы узнали о «теореме о среднем значении»!