Démonstration de la dérivabilité de ln x
Cette démonstration a deux variantes assez éloignées l’une de l’autre et assez techniques
l’une et l’autre !
Propriété
La fonction ln x est dérivable sur ]0;+∞[ et (ln x )' =
1
x
Démonstration 1
Le principe
On travaille en deux temps : dérivable en 1 puis dérivable pour tout réel strictement positif
Pour retenir cette démonstration
Elle est assez difficile donc pas de découragement surtout !
On peut s’aider d’un schéma pour visualiser car on utilise les propriétés géométriques des
courbes de ln x et de ex .
Les pré requis
La fonction exponentielle est dérivable , sa dérivée est elle-même
Les courbes des fonctions ln x et ex sont symétriques par rapport à la première bissectrice .
Les formules de calcul avec ln x
La démonstration
On note C la courbe de e x et C’ la courbe de ln x .
Soit D la première bissectrice
Montrons la dérivabilité en 1
Soit B(0 ;1) . Alors B est sur C .
Soit T la tangente à C en B .
Puisque la fonction exponentielle est dérivable sur R , le coefficient directeur de T est e0 = 1 .
Le coefficient directeur de D est aussi égal à 1
Donc T et D sont parallèles .
Démonstration de la dérivabilité de ln x
Par symétrie d’axe D , l’image de B est A(1 ;0) , l’image de C est C’ et donc l’image de T est
T’ tangente à C’ en A .
Puisque T et D sont parallèles , alors T’ et T sont aussi parallèles . l’image d’une droite
parallèle à l’axe par une symétrie axiale est une droite parallèle .
Le coefficient directeur de T’ est donc 1 .
ln x − ln 1 ln x − ln 1
Or par définition , le coefficient directeur de T’ est lim donc lim = 1 et
x →1 x −1 x →1 x −1
puisque 1 est fini , la fonction ln x est dérivable en 1 et son nombre dérivé en 1 est égal à 1 .
Montrons la dérivabilité en a réel strictement positif
ln x − ln a
On cherche lim
x →a x−a
x x
ln ln
ln x − ln a a = 1 a
Or =
x−a x ax
a − 1 − 1
a a
ln x − ln 1 ln x
On vient de montrer que lim = 1 , or ln 1 = 0 donc lim =1
x →1 x −1 x → 1 x −1
x
ln
tend vers 1 et on a donc lim = 1
x a
De plus , si x tend vers a , alors
a x → a x
−1
a
ln x − ln a 1
Donc lim = qui est un nombre fini .
x →a x−a a
Et la fonction ln x est donc dérivable pour tout x strictement positif et (ln x )' =
1
x
Démonstration de la dérivabilité de ln x
Propriété
La fonction ln x est dérivable sur ]0;+∞[ et (ln x )' =
1
x
Démonstration 2
Le principe
On utilise la réciprocité de ex et de ln x et on utilise le nombre dérivé de ex pour trouver celui
de ln x
Pour retenir cette démonstration
Elle est assez difficile , il faut être à l’aise avec les changements de variables .
Les pré requis
La fonction exponentielle est dérivable , sa dérivée est elle-même
Les fonctions ex et ln x sont réciproques
La fonction ln x est continue sur ]0;+∞[
La démonstration
Soit a un réel strictement positif
ln x − ln a
On cherche lim
x →a x−a
On fait apparaître une limite avec des exponentielles
Or x = e et a = eln a donc on peut poser y = ln x et b = ln a
ln x
Puisque la fonction ln x est continue si x > 0 , alors lim ln x = ln a
x →a
y −b
Et la limite cherchée devient : lim y
y → b e − eb
On calcule la limite avec les propriétés de l’exponentielle
e y − eb
La fonction exponentielle est dérivable donc lim = eb
y →b y − b
y −b 1 1
On a donc lim y = b =
y → b e − eb e a
ln x − ln a y−b 1
Donc lim = lim y b = et la fonction ln x est dérivable en a et son nombre
x →a x−a y →b e −e a
1
dérivé en a est .
a
