Теорема1. Если функции f и g определены в окрестности точки x0,
| f(x0) = g(x0) = 0. | (13.1) | 
существуют конечные производные g'(x0) 0 и f'(x0), то
существует предел
0 и f'(x0), то
существует предел 
| 
 | (13.2) | 
| 
 | 
 Действительно,
Действительно, 
 
   
    Геометрический смысл равенства (13.2)
состоит в том, что предел отношения ординат
графиков функций f и g равен пределу
отношения ординат из y = f'(x0)(x - x0)
и y = п'(x0)(x - x0)
касательных которое постоянно и равно  (рис. 81).
    Теорема 2. Если:
1) функции f и g дифференцируемы на интервале (a,b);
2) g'(x) 0 для
всех x
0 для
всех x  (a,b);
 (a,b);
3)  f(x) =
f(x) =  g(x) = 0.
g(x) = 0.
4) существует конечный или бесконечный предел

 ; то
существует и предел
; то
существует и предел 
 , причем
, причем
| 
 | (13.3) | 
 Доопределим функции f и g
в точке x = a по непрерывности,
т. е. положим
Доопределим функции f и g
в точке x = a по непрерывности,
т. е. положим
| f(a) = g(a) = 0. | (13.4) | 
Тогда для любого x  (a,b) продолженные
функции на отрезке [a,x] будут
удовлетворять условиям теоремы Коши о среднем
значении, и потому будет существовать такая
точка
 (a,b) продолженные
функции на отрезке [a,x] будут
удовлетворять условиям теоремы Коши о среднем
значении, и потому будет существовать такая
точка  =
 =  (x), a <
(x), a <  < x, что
 < x, что
| 
 | (13.5) | 
Поскольку 
 (x) = a и предел
(x) = a и предел 
 существует, то
 существует, то
| 
 | (13.6) | 
и, следовательно, существует
 
  
Неопределенности вида 0/0 Оглавление Неопределенности вида бесконечность/бесконечность