§10. Производная монотонной функции.

Теорема1. Пусть f задана на X и f возр-ет на X. Если f диф-ма на X, то Ā xєX f '(x)≥0. Док-во: Ā

x,x0єX x≠x0. Т.к. f возр-ет, то (f(x)–f(x0))/(x–x0)≥0. Переходя к пределу этого нер-ва при xx0 ,
получаем, что f '(x0)≥0. Анал-но если f убывает на X и диф-ма на X, то f '(x0)≤0 (Ā xєX).
Теорема2. Пусть fєC[a;b], f диф-ма на (a;b). Тогда если Ā xє(a;b): f '(x)>0, то f строго возр-ет на [a;b]
(если f '(x)≥0, то f возр-ет на [a;b]). Док-во: рассм-м Ā x1,x2є[a;b]: x1<x2. Применим теорему Лагранжа
к ф-ии f на отрезке [x1;х2]. Ē cє(x1;x2): f(x2)–f(x1)=f '(с)(x2–х1)>0 => f(x1)<f(x2). f строго возр-ет на [а;b]
(анал-но Ā xє(a;b): f '(x)<0, то f строго убывает на [a;b]).
Теорема Дарбу: f диф-ма на [a;b] и f '(a)∙f '(b)<0 => Ē сє(a;b): f '(c)=0. Если известно, что произв-я f
нпр-я, то этот вывод след. из теор о пром значении. Док-во: допустим для опред-ти, что f '(a)>0, а f
'(b)<0. Т.к. f диф-ма на [a;b], то f нпр на [a;b], тогда по теор. Коши f имеет max и min. Т.е. Ē c,dє[a;b]:
Ā xє[a;b]: f(d)≤f(x)≤f(c). Докажем, что cє(a;b). f '(a)=lim[(f(x)-f(a))/(x-a)]>0 (при xa+0). По тер. о
стабилизации Ē V+(a)[правая окр-ть]: Ā xєV+(a)∩[a;b]: (f(x)-f(a))/(x-a)>0 => f(x)>f(a) и след-но с≠a. Т.к.
f '(b)=lim[(f(x)-f(b))/(x-b)]<0 Ē V–(b): Ā xєV–(b)∩[a;b] (f(x)-f(b))/(x-b)<0 => f(x)>f(b) и значит с≠b. Т.о.
мы доказали, что cє(a;b), но тогда с- т. лок-го max и по теор. Ферма f '(c)=0.
Следствие: f диф-ма на [a;b] f '(a)=f '(b)=0 и Ā xє(a;b): f '(x)≠0. Тогда Ā xє(a;b): f '(x)>0 или Ā xє(a;b): f
'(x)<0. Если это не так и Ē c1,c2є(a;b): f '(c1)∙f '(c2)<0, то по теор. Дарбу Ē сє(с1;с2): f '(c)=0.