Colles de mathématiques
Limite de la dérivée d'une fonction bornée
Sujet
Soit
f : RR une fonction bornée et dérivable telle que
limx+∞
f ' (x) = l
.
Montrer que l = 0.
Montrer que l = 0.
Corrigé de l'exercice de maths: Théorèmes de Rolle & accroissements finis
Correction
Supposons que
. On peut supposer par exemple que
.
On a donc, par définition de la limite,
![\[\forall\varepsilon>0, \exists A>0,\forall x\geqslant A, l-\varepsilon<f'(x)<l+\varepsilon\]](/Generateur-Devoirs/Colles/Calcul/exAF-limite-derivee_c/3.png)
En particulier, à partir d'un certain A, on a
.
Par exemple en choisissant
, il existe
tel que, pour tout
, on a
![\[f'(x)\geq l/2\]](/Generateur-Devoirs/Colles/Calcul/exAF-limite-derivee_c/8.png)
On a alors, pour tout
, d'après le théorème des accroissements finis,
![\[f(x)-f(A)=f'(c)(x-A)\geq\dfrac{l(x-A)}2\]](/Generateur-Devoirs/Colles/Calcul/exAF-limite-derivee_c/10.png)
avec
.
Lorsque
vers
, on trouve que maintenant que
tend aussi vers
, ce qui est une contradictoire avec le fait qu'elle est bornée.


On a donc, par définition de la limite,
![\[\forall\varepsilon>0, \exists A>0,\forall x\geqslant A, l-\varepsilon<f'(x)<l+\varepsilon\]](/Generateur-Devoirs/Colles/Calcul/exAF-limite-derivee_c/3.png)
En particulier, à partir d'un certain A, on a

Par exemple en choisissant



![\[f'(x)\geq l/2\]](/Generateur-Devoirs/Colles/Calcul/exAF-limite-derivee_c/8.png)
On a alors, pour tout

![\[f(x)-f(A)=f'(c)(x-A)\geq\dfrac{l(x-A)}2\]](/Generateur-Devoirs/Colles/Calcul/exAF-limite-derivee_c/10.png)
avec
![$c\in[A,x]$](/Generateur-Devoirs/Colles/Calcul/exAF-limite-derivee_c/11.png)
Lorsque



