§ 2. Теорема о конечных приращениях (теорема Лагранжа)
Теорема Лагранжа. Если функция непрерывна на отрезке и дифференцируема во всех внутренних точках этого отрезка, то внутри отрезка найдется по крайней мере одна тонка с, что
Доказательство. Обозначим буквой Q число
т. е. положим и рассмотрим вспомогательную функцию определенную равенством
Выясним геометрический смысл функции F(x). Для этого напишем сначала уравнение хорды АВ (рис. 95), учитывая, что ее угловой коэффициент равен и что она проходит через точку
отсюда
Но . Следовательно, для каждого. значения равняется разности ординат кривой y = f(x) и хорды для точек с одинаковой абсциссой.
Легко видеть, что непрерывна на отрезке дифференцируема внутри этого отрезка и обращается в нуль на концах отрезка, т. е. Следовательно, к функции применима теорема Ролля. Согласно этой теореме внутри отрезка существует точка с такая, что Но Значит, откуда
Подставляя значение Q в равенство (2), будем иметь:
откуда непосредственно следует формула (1). Таким образом, теорема доказана.
Чтобы выяснить геометрический смысл теоремы Лагранжа, обратимся к рис. 95. Из рисунка непосредственно ясно, что величина представляет собой тангенс угла а наклона хорды, проходящей через точки А и В графика с абсциссами а и b.
Рис. 95.
С другой стороны, есть тангенс угла наклона касательной к кривой в точке с абсциссой с. Таким образом, геометрический смысл равенства (Г) или равносильного ему равенства (1) состоит в следующем: если во всех точках дуги АВ существует касательная, то на этой дуге найдется точка С между А и В, в которой касательная параллельна хорде, соединяющей точки А и В.
Заметим, далее, следующее. Так как значение удовлетворяет усдовию то или где 0 есть некоторое число, заключенное между 0 и 1, т. е. Но тогда и формуле (1) можно придать следующий вид: