§6.

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

В этом параграфе все рассматриваемые функции полагаются
дифференцируемыми.
Напомним определение монотонности функции.
def. Функция y  f  x  называется возрастающей на интервале  a; b  ,
если для любых x1, x2   a; b  из x1  x2 следует f  x1   f  x2 . Если
же из x1  x2 следует f  x1   f  x2  , то функция называется
убывающей.
Признак монотонности. Пусть функция y  f  x  дифференцируема.
(1) Если f   x0   0, то f  x  возрастает в окрестности точки х0 ;
(2) если f   x0   0, то f  x  убывает в окрестности точки х0 .
Доказательство.
y0
Пусть f   x0   0,
то есть lim y
 0. y0
x0 x
Тогда в окрестности точки х0
у
имеем х
 0, то есть х и у
х0
имеют одинаковые знаки:
x0 x0

при x  x0 будет x  x  x0  0 , тогда y  f  x   f  x0   0,

следовательно, f  x   f  x0  ,
а при x  x0 будет x  x  x0  0 , тогда y  f  x   f  x0   0,
следовательно, f  x   f  x0  .
В любом случае большему значению аргумента отвечает большее
значение функции, то есть она возрастает.
Аналогично доказывается второй пункт теоремы.
Теорема Ролля. Если f  a   f  b  , то существует точка c   a; b  ,
в которой f   c   0.
Доказательство.
Случай f  x   const тривиален: для любого с имеем f   c   0.
Пусть f  x   const . По теореме Вейерштрасса(2) функция f  x 
достигает на отрезке  a; b своих наибольшего и наименьшего
значений, причем они достигаются в различных точках, то есть хотя
бы одна из них не совпадает с концами отрезка. Пусть, например,
наибольшее значение М достигается в точке c   a; b .
Очевидно, что в окрестности точки с
функция f  x  не является ни убывающей,
ни возрастающей, то есть не может быть
ни f   c   0, ни f   c   0, значит f   c   0.
b
Теорема Лагранжа. Пусть функция f  x  определена на отрезке
 a; b. Существует такая точка c   a; b  , что
f b   f  a 
 f   c .
ba
f  b  f  a 
Доказательство. Обозначим ba
k.
Рассмотрим функцию   x   f  x   f  a   k  x  a .
f  b  f  a 
Имеем   a   0,  b   f b   f  a   ba  b  a   0,
то есть   a     b .
По теореме Ролля существует точка с, в которой    с   0.
Поскольку   x   f   x   k , то   с   f   с   k  0, то есть
f  b  f  a 
f с  k  ba
.
Следствие. Если f   x   0 на интервале  a; b  , то функция f  x 
постоянна на этом интервале.
Доказательство. Возьмём любые две точки x1, x2   a; b  и применим
f  x2   f  x1 
к отрезку  x1; x2  теорему Лагранжа:  0, так как
x2  x1
f   c   0. Значит, f  x2   f  x1  , следовательно, f  x   const. 

Теорема Коши. Пусть функции f  x  и g  x  определены на отрезке

a; b, причем g  a   g b . Тогда существует точка c   a; b  ,
f b   f  a  f c 
такая, что  .
g b   g  a  gc 

f  b  f  a 
Доказательство. Обозначим g  b  g  a   k .
Рассмотрим функцию   x   f  x   f  a   k  g  x   g  a  .
f  b  f  a 
Имеем   a   0,   b   f  b   f  a   g  b  g  a   g  b   g  a    0,
то есть   a     b .
По теореме Ролля существует точка с, в которой    с   0.
Поскольку   x   f   x   k  g  x  , то   c   f   c   k  g  c   0,
f  c  f  b  f  a 
то есть g  c 
 k  g  b  g  a  . 

Правило Лопиталя. В случае неопределённостей типа  00  или   

предел отношения функций равен пределу отношения их
производных, если эти пределы существуют:
f  x f  x 
lim  lim .
x a g  x  x a g   x 

  f x
Доказательство. Мы рассмотрим только случай lim g  x    00  .
x a
Это значит, что lim f  x   0, lim g  x   0.
x a x a
Определим (по непрерывности) f  a   0, g  a   0.
Применим теорему Коши на отрезке  а; х :
f  x  f  a  f  c  f  x f  c 
 g  c  , то есть g  x   g  c  , где с   а; х .
g  x  g  a 

Очевидно, что при х  а имеем с  а.

f  x f  c  f  x f c 
Тогда g  x   g  c   lim g  x   lim g  c  . Переобозначив переменную
x a c a
с на х в пределе справа (это не влияет на значение предела),
получим формулу Лопиталя.
Замечание. Неопределённость любого типа можно преобразовать в
неопределённость типа  00  или    , что будет показано на
следующих примерах. Таким образом, правило Лопиталя является
универсальным правилом вычисления пределов.
Примеры

5 4
1) lim 2
x
  00   lim
x
 lim
5 
x
ln 5  4 x 5x  4 x
ln 4
 ln 5  ln 4.



x 0 x  x x 0
x2  x
 x  0 2x  1
 
2) lim
ln x
  
2 
  lim
 ln x 
 2
 2  lim
ln x
    lim  x 
 1
 0.
    x 1
x x x x x x
e3 x  1 
3) lim e  3x

 1  ctg x  0     lim   0   lim
0 3e3 x
 3.
x 0 x 0 tg x x 0 1
2  cos x 
Для применения правила Лопиталя к неопределённостям типов
1  , 0  , 00  их нужно предварительно прологарифмировать.
     
 
x 1
4) lim x  1 2
 00   y,
x 1


ln x 2  1  
ln y  lim  x  1 ln x  1  0     lim
x 1
 2
 x 1  x11 




 lim
  2x
x 2 1
  lim
2 x  x  1
2
  lim
2 x  x  1
 0  y  1.
x 1   x 1 x2  1 x 1 x 1
   x 12
1

 
  
1
5) lim x  2 x x
 0   y,
x


ln x  2 x    
 
1 x
   lim 1 2 ln 2 
ln y  lim ln x  2  lim    x x  2 x     
x x
x  x  x
 2 x ln 2 2  2 x ln 3 2
 lim 
     lim x 2  ln 2
x  1  2 x ln 2 x  2 ln 2

 ln y  ln 2  y  2.

6) lim  sin x   1   y,

tg x
x 2

ln sin x 
ln y  lim ln  sin x   lim tg x  ln sin x     0  lim
tg x
  0  
0
x  2 x  2 x  2 ctg x

 1  cos x
 lim sin x
 lim   sin x  cos x   0
x  2
  12
sin x  x  2

 ln y  0  y  1.

7) lim3  ln x 
x 1
x 1
 
 00  y ,
ln y  lim  ln 3   x  1 ln ln x   lim ln 3  lim  x  1 ln ln x 
x 1 x 1 x 1

 ln 3   0     ln 3  lim
ln ln x
 ln 3   

  ln 3  lim
 ln1x  1x  
x 1  1
x 1
 x 1 
 1 
  x 12 
 

 ln 3  lim
 x  1
2
0

 ln 3   0   ln 3  lim
2  x  1
 ln 3
x 1  x ln x x 1   ln x  1

 ln y  ln3  y  3.