Théorème
La fonction
est dérivable sur
et, pour toutréel
strictement positif, on a
.
Démonstration
On admet que la fonction
est dérivable sur
.
Pour tout réel
. (*)
est la composée de
par
avec
et
.
On rappelle que
.
En dérivant chaque membre de l'égalité (*), on obtient
.
Ainsi
et donc
.
Propriété
La fonction
est strictement croissante sur
.
Démonstration
La fonction
est dérivable sur
et, pour toutréel
strictement positif, on a
.
Pour toutréel
strictement positif,
donc la fonction
est strictement croissante sur
.
☛ Conséquences de la stricte croissance de la fonction ln
Propriété
Soit
et
deux réelsstrictement positifs, alors :
Énoncé
Étudier les variations de la fonction
définie sur
par
.
Solution
est dérivable sur
et, pour tout réel
, on a
.
On en déduit le tableau de variations suivant pour
.
Remarque
La valeur du minimum est
.
Continuité
Propriété
La fonction
est continue sur
.
Démonstration
La fonction
est dérivable sur
donc continue sur
.
Étude de la convexité
Propriété
La fonction
est concave sur
.
Démonstration
est dérivable sur
et, pour tout réel
.
est dérivable sur
et, pour tout réel
.
Pour tout réel
strictement positif,
donc la fonction
est concave sur
.
Limites aux bornes
Propriété
et
Démonstration
• Soit
.Pour tout réel
.Ainsi, tout intervalle de la forme
contienttoutes les valeurs de \(\ln(x)\) pour
suffisamment grand donc
.
• Pour tout réel
.
et
\lim\limits_\color{red}{{X \to +\infty}}\ln(X)=\color{blue}{+\infty}
donc par composée
\lim\limits_\color{green}{{\substack{x \to 0 \\ x>0}}}\ln\left(\dfrac{1}{x}\right)=\color{blue}{+\infty}
.Comme
donc
.
Tableau de variations
Propriété
Le tableau complet des variations de la fonction
est le suivant.
Courbe représentative
Propriété
On se place dans un repère orthonormé du plan. Les courbes représentatives des fonctions logarithme népérien et exponentielle sont symétriques par rapport à la droite d'équation\(y=x\).
En faisant varier le point M sur la courbe rouge, qui représente la fonction exponentielle, on voit apparaître, en bleu, la courbe représentative de la fonction logarithme népérien.
Croissances comparées
Propriété
Pour tout entier naturel
non nul, on a
et
.
Démonstrationdans le cas où\(\boldsymbol{n=1}\)
.Par croissances comparées,
donc
.Par composée,
donc
.
• Pour tout réel
, on a
.
\lim\limits_\color{green}{{\substack{x \to 0 \\ x>0}}}\dfrac{1}{x}=\color{red}{+\infty}
et, par croissances comparées,
\lim\limits_\color{red}{{X \to +\infty}}\dfrac{\ln(X)}{X}=\color{blue}{0}
donc, par composée,
\lim\limits_\color{green}{{\substack{x \to 0 \\ x>0}}}\dfrac{\ln\left(\frac{1}{x}\right)}{\frac{1}{x}}=\color{blue}{0}
.
donc
.
☛ Déterminer des limites par croissances comparées
Énoncé
On considère la fonction
définie sur
par
.
Déterminer les limites de la fonction
aux bornes de son ensemble de définition.
Solution
et
par croissances comparées.Par somme
.
• Pour tout réel
.
.Par croissances comparées,
donc
.Par produit,
donc
.