Некоторые теоремы о дифференцируемых функциях

Рассмотрим ряд теорем, имеющих большое теоретическое и прикладное значение.

(Ролль). Если функция ƒ(х) непрерывна на отрезке [а;b], дифференцируема на интервале (а; b) и на концах отрезка принимает одинаковые значения ƒ(а)=ƒ(b), то найдется хотя бы одна точка сє(а;b), в которой производная ƒ'(х) обращается в нуль, т. е. ƒ'(с)=0.

▼ Так как функция ƒ(х) непрерывна на отрезке [а;b], то она достигает на этом отрезке своего наибольшего и наименьшего значений, соответственно, М и m. Если М=m, то функция ƒ(х) постоянна на [a;b] и, следовательно, ее производная ƒ'(х)=0 в любой точке отрезка [a;b].

Если М m, то функция достигает хотя бы одно из значений М или m во внутренней точке с интервала (a;b), так как ƒ(a)=ƒ(b).

Пусть, например, функция принимает значение М в точке х=сє(a;b), т. е. ƒ(с)=М. Тогда для всех хє(a;b) выполняется соотношение

ƒ(с)≥ƒ(х). (25.1)

Найдем производнуюƒ'(х) в точке х=с:

В силу условия (25.1) верно неравенство ƒ(с+∆х)—ƒ(с)≤0. Если ∆х>0 (т. е. ∆х→0 справа от точки х=с), то

и поэтому ƒ'(с)≤0.

Если ∆х<0, то

и ƒ'(с)≥0.

Таким образом, ƒ'(с)=0

В случае, когда ƒ(с)=m, доказательство аналогичное ▲

Геометрически теорема Ролля означает, что на графике функции у=ƒ(х) найдется точка, в которой касательная к графику параллельна оси Ох (см. рис. 139 и 140). На рисунке 141 таких точек две.

Теорема (Коши). Если функции ƒ(х) и φ(x) непрерывны на отрезке [a;b], дифференцируемы на интервале (α;b), причем φ'(х) 0 для хє(а;b), то найдется

хотя бы одна точка сє(a;b) такая, что выполняется равенство

▼Отметим, что φ(b)—φ(а)≠0, так как в противном случае по теореме Ролля нашлась бы точка с, такая, что φ'(с)=0, чего не может быть по условию теоремы. Рассмотрим вспомогательную функцию

Она удовлетворяет всем условиям теоремы Ролля: непрерывна на отрезке [a;b] и дифференцируема на интервале (α;b), так как является линейной комбинацией функций ƒ(х) и φ(х) на концах отрезка она принимает одинаковые значения F(a)=F(b)=0.

На основании теоремы Ролля найдется точка х=сє(a;b) такая, что F'(c)=0. Но

, следовательно,

Отсюда следует

▲

Теорема (Лагранж). Если функция ƒ(х) непрерывна на отрезке [а;b], дифференцируема на интервале (α;b), то найдется хотя бы одна точка сє(a;b) такая, что выполняется равенство

ƒ(b)-ƒ(a)=ƒ'(с)(b-a). (25.2)

▼ Решение: Теорему Лагранжа можно рассматривать как частный случай теоремы Коши. Действительно, положив φ(х)=х, находим φ(b)-φ(a)=b-a, φ'(х)=1, φ'(с)=1.

Подставляя эти значения в формулу

получаем

или ƒ(b)-ƒ(a)=ƒ'(с)(b-a) ▲.

Полученную формулу называют формулой Лагранжа или формулой о конечном приращении: приращение дифференцируемой функции на отрезке [a;b] равно приращению аргумента, умноженному на значение производной функции в некоторой внутренней точке этого отрезка

Теорема Лагранжа имеет простой геометрический смысл. Запишем формулу (25.2) в виде

,

где α<с<b. Отношение есть угловой коэффициент секущей АВ, а величина ƒ'(с) — угловой коэффициент касательной к кривой в точке с абсциссой х=с.

Следовательно, геометрический смысл теоремы Лагранжа таков: на графике функции y=f(x) найдется точка С(с;ƒ(с)) (см. рис. 142), в которой касательная к графику функции параллельна секущей АВ.

Следствие 25.1. Если производная функции равна нулю на некотором промежутке, то функция постоянна на этом промежутке.

Пусть ƒ'(х)=0 для  xє(α;b). Возьмем произвольные x₁ и х₂ из (а;b) и пусть x₁<х₂. Тогда по теореме Лагранжа  сє(х₁;х₂) такая, что ƒ(х₂)-f(x₁)=ƒ'(с)(х₂-х₁). Но по условию ƒ'(х)=0, стало быть, ƒ'(с)=0, где х₁<с<х₂. Поэтому имеем ƒ(х₂)-ƒ(х₁)=0, т. е. ƒ(х₂)=f(x₁). А так как x₁ и х₂ — произвольные точки из интервала (α;b),то  x є (а;b) имеем ƒ(х)≈с.

Следствие 25.2. Если две функции имеют равные производные на некотором промежутке, то они отличаются друг от друга на постоянное слагаемое.

Пусть f₁' (x)=f₂^'(x) при хє(α;b). Тогда (f₁(x)-f₂(x))'=f₁'(x)-f₂'(x)=0. Следовательно, согласно следствию 25.1, функция f₁(х)-f₂(x) есть постоянная, т. е. f₁(x)-f₂(x)=C для  xє(α;b).

<< Пример 25.1

Доказать, что arcsinx + arccosx = /2, где х є [-1;1].

Решение: Пусть ƒ(х)=arcsinx+arccosx. Тогда  xє(-1;1) имеем

Отсюда следует, что ƒ(х)=С, т.е. arcsinx+arccosx=С. Положив х=0, находим 0+ /2=С, т. е. С= /2. Поэтому arcsinx+arccosx= /2. Это равенство выполняется и при х=±1 (проверьте!).

Аналогично доказывается, что arctgх+arcctgх= /2.

Формуле Лагранжа можно придать другой вид. Применив теорему Лагранжа к отрезку [х;х+∆х] (∆х>0), будем иметь

ƒ(х+∆х)-ƒ(х)=ƒ'(с)∆х. (25.3)

Каждое число сє(х;х+∆х) можно записать в виде с=х+θ∆х, где 0<θ<1 (действительно, х<с<х+∆х  0<с-х<∆х  0< <1; положим =θ  с=х+θ∆х). Формула (25.3) примет вид

ƒ(х+∆х)-ƒ(х)=ƒ'(х+θ∆х)∆х, где 0<θ<1.

Используя теорему Лагранжа, можно оценить точность приближенного равенства ∆у≈dy. Сделаем это, считая, что функция ƒ(х) имеет непрерывную вторую производную ƒ"(х):

∆у-dy=(ƒ(х+∆х)-ƒ(х))-ƒ'(х)∆х=ƒ'(с)∆х-ƒ'(х)∆х=(ƒ'(с)-ƒ'(х))∆х=ƒ"(c₁)(c-х)∆х,

где с₁є(х;с) (рис. 143).

Итак, ∆у-dy=f"(c₁)(c-х)∆х. Пусть

Так как |с-х|<∆х, a ƒ"(c₁)≤M, то получаем оценку |∆у-dy|≤М|∆х|².