Fonction logarithme népérien (ln)

Pour retrouver le cours correspondant de l’option « Mathématiques complémentaires » :

• Fonction logarithme népérien (ln)

Le logarithme népérien

Définition

Fonction logarithme népérien :

Pour tout réel $a>0$, l’équation $\text{e}^x=a$ admet une unique solution dans $\mathbb{R}$, appelée logarithme népérien de $a$ et notée $\ln{(a)}$ ou $\ln{a}$.

• On définit ainsi sur $]0\ ;\,+\infty[$ la fonction logarithme népérien, notée $\ln$, qui, à tout $x>0$, associe le réel $\ln{(x)}$. C’est-à-dire :

$$\begin{aligned} \ln:\ ]0\ ;\,+\infty[ &\to \mathbb R \\ x&\mapsto \ln{(x)} \end{aligned}$$

La fonction logarithme népérien et la fonction exponentielle sont des fonctions réciproques l’une de l’autre.

• On en déduit les propriétés suivantes.

Propriété

Si $a$ est un réel strictement positif et si $b$ est un réel, alors :

$$\text{e}^b=a \Leftrightarrow b=\ln{(a)}$$

• Pour tout réel strictement positif $a$ : $\text{e}^{\ln{(a)}}=a$.
• Pour tout réel $b$ : $\ln{\left(\text{e}^b\right)}=b$.

Nous pouvons aussi donner deux valeurs remarquables :

• $\ln{(1)}=0$, car $\text{e}^0=1$ ;
• $\ln{(\text{e})}=1$, car $\text{e}^1=\text{e}$.

Dans un repère orthonormé, les courbes de la fonction exponentielle et de la fonction logarithme népérien sont symétriques par rapport à la droite d’équation $y=x$.

Cette symétrie existe pour toutes les fonctions réciproques l’une de l’autre, comme les fonctions carré et racine carrée sur $[0\ ;\,+\infty[$.

Propriétés algébriques

Dans cette partie, nous verrons que, comme la fonction exponentielle, la fonction logarithme népérien vérifie certaines propriétés algébriques.

Propriété

Pour tous nombres réels $a > 0$ et $b > 0$ et pour tout nombre entier relatif $n$ :

• $\ln{(ab)}=\ln{(a)}+\ln{(b)}$ ;
• $\ln{\left(\dfrac{1}{a}\right)}=-\ln{(a)}$ ;
• $\ln{\left(\dfrac{a}{b}\right)}=\ln{(a)}-\ln{(b)}$ ;
• $\ln{\left(\sqrt{a}\right)}=\dfrac{1}{2}\ln{(a)}$ ;
• $\ln{\left(a^n\right)}=n\ \ln{(a)}$.

Remarquons que l’on peut généraliser la première propriété à un nombre fini $n$ de réels strictement positifs $a_1,\,a_2,\,…,\,a_n$. On obtient alors :

$$\ln{(a_1\,a_2\,…\,a_n)}=\ln{(a_1)}+\ln{(a_2)}+…+\ln{(a_n)}$$

• On dit que la fonction logarithme népérien transforme un produit en somme.

Attention

$\ln{(a+b)}\neq \ln{(a)}+\ln{(b)}$

Exemple

Appliquons ces propriétés sur quelques expressions à simplifier.

• $\ln{(32)}$

$\begin{aligned} \ln{(32)}&=\ln{\left(2^5\right)} \\ &=5\ln{(2)} \end{aligned}$

• $\ln{\left(\dfrac{1}{1\,024}\right)}$

$\begin{aligned} \ln{\left(\dfrac{1}{1\,024}\right)}&=\ln{\left(\dfrac{1}{2^{10}}\right)} \\ &=\ln{\left(2^{-10}\right)} \\ &=-10\ \ln{(2)} \end{aligned}$

• $\ln{\left(8\sqrt{2}\right)}$

$\begin{aligned} \ln{\left(8\sqrt{2}\right)}&=\ln{\left(2^3\times \sqrt{2}\right)} \\ &=\ln{\left(2^3\times 2^\frac{1}{2}\right)} \\ &=\ln{\left(2^{\frac{7}{2}}\right)} \\ &=\dfrac{7}{2} \ln{(2)} \end{aligned}$

Résolutions d’équations et inéquations

En utilisant les propriétés de cette fonction, nous allons pouvoir résoudre des équations et inéquations contenant des logarithmes népériens.

• Pour cela, nous allons nous appuyer sur des exemples, qui nous montreront les démarches à adopter.

Commençons par donner deux autres propriétés de la fonction $\ln$, qui, comme nous le verrons dans le prochain cours, est strictement croissante sur $]0\ ;\,+\infty[$.

Propriété

Pour tous nombres réels $a > 0$ et $b > 0$ :

• $a=b \Leftrightarrow \ln{(a)}=\ln{(b)}$ ;
• $a<b \Leftrightarrow \ln{(a)}<\ln{(b)}$;
• $a>b \Leftrightarrow \ln{(a)}>\ln{(b)}$;

Nous en déduisons que, pour tout réel $x>0$ :

$$\begin{aligned} \ln{(x)}>0&\Leftrightarrow \ln{(x)}>\ln{(1)} \\ &\Leftrightarrow x>1 \\ \\ \ln{(x)}<0&\Leftrightarrow \ln{(x)}<\ln{(1)} \\ &\Leftrightarrow x<1 \\ &\Leftrightarrow 0<x<1 \end{aligned}$$

Résolution d’équations du type $\ln\big(u(x)\big)= \ln\big(v(x)\big)$

Il est important d’être méthodique dans la résolution de telles équations, car, si nous savons résoudre facilement des équations, nous devons éviter les pièges, notamment celui du domaine de définition de la fonction logarithme népérien.

À retenir

Pour résoudre une équation du type $\ln\big(u(x)\big) = \ln\big(v(x)\big)$, il faut respecter les étapes suivantes :

• rechercher l’ensemble $E$ des réels tels que $u(x) > 0$ et $v(x) > 0$ ;
• résoudre l’équation $u(x) = v(x)$ ;
• prendre les solutions qui sont dans $E$ et rejeter les autres.

Astuce

Il peut arriver que l’ensemble $E$ soit l’ensemble vide, c’est-à-dire que $u(x)>0$ et $v(x)>0$ soient incompatibles.

• Dans ce cas, nous pouvons conclure immédiatement que l’ensemble solution sera l’ensemble vide.

Appliquons maintenant la méthodologie donnée sur un exemple.

Exemple

Résolvons : $\ln{(2x)}=\ln{(x+3)}$.

• Recherche de l’ensemble de définition
• $\ln{(x)}$ est défini uniquement pour $x > 0$.

Il faut donc :

$$\begin{aligned} \begin{cases} 2x > 0 \\ x+3>0 \end{cases} &\Leftrightarrow \begin{cases} x > 0 \\ x>-3 \end{cases} \\ &\Leftrightarrow x>0 \end{aligned}$$

• L’ensemble de définition est donc $]0\ ;\,+\infty[$.
• Résolution de l’équation

$$\begin{aligned} \ln{(2x)}= \ln{(x+3)} &\Leftrightarrow 2x=x+3 \\ &\footnotesize{\textcolor{#A9A9A9}{\text{ [car }a=b \Leftrightarrow \ln{(a)}=\ln{(b)}]}} \\ &\Leftrightarrow x=3 \end{aligned}$$

• Vérification

Nous vérifions que la solution trouvée appartient bien à l’ensemble de définition. Nous avons bien $3 > 0$.

• $S=\lbrace 3 \rbrace$.

Résolution d’inéquations du type : $\ln\big(u(x)\big)\geq \ln\big(v(x)\big)$

Comme pour la résolution d’équations, donnons la méthode pour résoudre de telles inéquations.

À retenir

Pour résoudre une inéquation du type $\ln\big(u(x)\big) \geq \ln\big(v(x)\big)$, il faut respecter les étapes suivantes :

• rechercher l’ensemble $E$ des réels tels que $u(x) > 0$ et $v(x) > 0$ ;
• résoudre l’équation $u(x) \geq v(x)$ ;
• ne garder que les solutions qui sont dans $E$.

Appliquons la méthode sur un exemple.

Exemple

Résolvons : $\ln{(2x)}\geq \ln{(x+3)}$.

• Recherche de l’ensemble de définition
• L’ensemble de définition ne change évidemment pas, par rapport à l’exemple précédent : $]0\ ; +\infty[$.
• Résolution de l’inéquation :

$$\begin{aligned} \ln{(2x)}\geq \ln{(x+3)} &\Leftrightarrow 2x\geq x+3 \\ &\footnotesize{\textcolor{#A9A9A9}{\text{ [car }\ln \text{ est strictement croissante sur }\mathbb R^{*+}]}}\\ &\Leftrightarrow x\geq 3 \end{aligned}$$

• Vérification

On vérifie encore que la solution est incluse dans l’ensemble de définition. C’est bien le cas.

• $S=[3\ ; +\infty[$.

Résolution d’équations plus complexes

Maintenant, résolvons deux équations plus complexes, où nous allons faire appel aux propriétés algébriques du logarithme népérien.

Exemple

Résolvons donc : $\ln{(x)}+\ln{(x+8)}=2\ln{(3)}$.

• L’ensemble de définition est : $]0\ ;\,+\infty[$.
• Résolution de l’équation

$$\begin{aligned} \ln{(x)}+\ln{(x+8)}=2\ln{(3)} &\Leftrightarrow \ln{\big(x(x+8)\big)}=\ln{\left(3^2\right)} \\ &\footnotesize{\textcolor{#A9A9A9}{\text{[car }\ln{(a)}+\ln{(b)}=\ln{(ab)}}} \\ &\footnotesize{\textcolor{#A9A9A9}{\text{et }n\ln{(c)}=\ln{\left(c^n\right)}]}} \\ &\Leftrightarrow x(x+8)=3^2 \\ &\Leftrightarrow x^2+8x=9 \\ &\Leftrightarrow x^2+8x-9=0 \end{aligned}$$

• Il s’agit d’une équation du second degré.

Nous calculons donc le discriminant :

$$\begin{aligned} \Delta&=8^2-4\times(-9) \\ &=64+36 \\ &=100=10^2 \\ &> 0 \end{aligned}$$

• L’équation du second degré admet deux racines réelles distinctes.

$$\begin{aligned} x_1&=\dfrac{-8-\sqrt{\Delta}}{2} \\ &=\dfrac{-8-10}{2} \\ &=-9 \\ \\ x_2&=\dfrac{-8+\sqrt{\Delta}}{2} \\ &=\dfrac{-8+10}{2} \\ &=1 \end{aligned}$$

• Vérification

$x_1=-9$ n’appartient pas à l’ensemble de définition $]0\ ;\,+\infty[$.

• $x_1$ n’est pas solution.
• Ainsi, l’unique solution est : $S = \lbrace1\rbrace$.

Exemple

Résolvons dans $\mathbb N$ l’inéquation :

$\left(\dfrac 12\right)^n\leq 0,10$

$$\begin{aligned} \left(\dfrac 12\right)^n\leq 0,10 &\Leftrightarrow \ln\Bigg(\left(\dfrac 12\right)^n\Bigg)\leq \ln{(0,10)} \\ &\footnotesize{\textcolor{#A9A9A9}{\text{[car $\left(\frac 12\right)^n>0$ et $0,10>0$,}}} \\ &\footnotesize{\textcolor{#A9A9A9}{\text{et $\ln$ est strictement croissante]}}} \\ &\Leftrightarrow n \ln\left(\dfrac12\right)\leq\ln{(0,10)} \\ &\footnotesize{\textcolor{#A9A9A9}{\text{[car $\ln\left(a^n\right) = n\ln{(a)}$]}}} \\ &\Leftrightarrow n\geq\dfrac{\ln{(0,10)}}{\ln\left(\frac12\right)} \approx 3,32 \\ &\footnotesize{\textcolor{#A9A9A9}{\text{[car $\ln\left(\frac 12\right) < 0$]}}} \\ &\Leftrightarrow n\geq3,32 \end{aligned}$$

• L’ensemble solution est constitué de tous les entiers supérieurs ou égaux à $4$.

Le logarithme décimal

Dans cette dernière partie, nous allons définir une fonction qui dépend du logarithme népérien et qui est très utile en physique-chimie, en enseignement scientifique (calculs de $\text{pH}$, de l’intensité d’un son en décibel…), en sismologie (magnitude d’un séisme), ou en astronomie (magnitude apparente d’un astre), etc. : le logarithme décimal.

Définition

Fonction logarithme décimal :

On appelle fonction logarithme décimal la fonction notée $\log$ définie sur $]0\ ;\,+\infty[$ par :

$$\log{(x)}=\dfrac{\ln{(x)}}{\ln{(10)}}$$

De cette définition et des propriétés de la fonction $\ln$, nous pouvons déduire une première propriété.

Propriété

Pour tout entier relatif $n$ :

$$\begin{aligned} \log{\left(10^n\right)}&=\dfrac{\ln{\left(10^n\right)}}{\ln{(10)}} \\ &=\dfrac{n\ln{(10)}}{\ln{(10)}} \\ &=n \end{aligned}$$

Nous déduisons ensuite les deux cas particuliers suivants :

• $\log{(10)}=1$ ;
• $\log{(1)}=0$.

La fonction logarithme décimal étant le produit de la fonction logarithme népérien par une constante strictement positive $\left(\frac 1{\ln{(10)}}\right)$, on retrouve des propriétés algébriques analogues à celles du logarithme népérien.

Propriété

Pour tous réels $a > 0$ et $b > 0$, et tout nombre entier relatif $n$ :

• $\log{(ab)}=\log{(a)}+\log{(b)}$ ;
• $\log{\left(\dfrac{a}{b}\right)}=\log{(a)}-\log{(b)}$ ;
• $\log{(a^n)}=n\log{(a)}$.

Nous pouvons aussi ajouter que la fonction réciproque de $x\mapsto \log x$ est la fonction $x \mapsto 10^x$.

• Si $a$ est un réel strictement positif et $b$ un réel, alors :

$$b = \log a \Leftrightarrow 10^b=a$$