Math@mine / Complémentaires / Ch4

Chapitre 4 — Fonction logarithme neperien

📋 Prérequis & 🎯 Objectifs du chapitre déplier
📋 Prérequis
  • 1re Spé — fonction exponentielle
  • Ch. 3 — dérivation
🎯 Objectifs — à la fin du chapitre, je saurai…
  • Connaître définition et propriétés de \(\ln\) (dérivée \(1/x\))
  • Appliquer les propriétés algébriques : \(\ln(ab)\), \(\ln(a/b)\), \(\ln(a^n)\)
  • Résoudre équations et inéquations avec \(\ln\)
  • Étudier une fonction avec \(\ln\)

Terminale — Programme officiel (BO 2019) · Math@mine

Sommaire
1. Definition et propriété fondamentale 2. Proprietes algébriques 3. Etude de la fonction ln 4. Croissances comparees 5. Équations et inéquations avec ln 6. Logarithme décimal Bilan — Formules essentielles Pieges et contre-exemples

Decibels et échelle logarithmique

Le niveau sonore en decibels est défini par \(L = 10 \log\!\left(\dfrac{I}{I_0}\right)\), ou \(I\) est l’intensite du son et \(I_0 = 10^{-12}\) W/m\(^2\) le seuil d’audibilite. Un son a 60 dB (conversation) a une intensite un million de fois superieure au seuil. Pourquoi utiliser une échelle logarithmique plutot qu’une échelle lineaire ?

Si l’intensite d’un son est multipliee par 100, de combien de decibels augmente le niveau sonore ?
→ Solution en fin de chapitre.

Neper, Briggs et l’invention des logarithmes

Le mathematicien ecossais John Napier (1550–1617), aussi connu sous le nom de Neper, publia en 1614 ses tables de logarithmes. Son objectif etait de simplifier les calculs astronomiques : grace aux logarithmes, les multiplications se transforment en additions, un gain de temps considerable a une epoque sans calculatrice.

L’Anglais Henry Briggs (1561–1630) adapta l’idee de Neper pour creer les logarithmes en base 10 (logarithmes décimaux), qu’il publia dans ses tables en 1624. Le nombre \(e\) et le logarithme neperien tel qu’on le connait aujourd’hui furent formalises plus tard par Euler au XVIIIe siecle.

Un doublement mysterieux

Un placement financier rapporte 5 % d’interets par an (interets composes). Au bout de combien d’annees le capital initial aura-t-il double ?

Indice : on cherche \(n\) tel que \(1{,}05^n = 2\). Le logarithme est l’outil ideal pour resoudre cette équation.

→ Solution complète en fin de chapitre

1. Definition et propriété fondamentale

Definition — Logarithme neperien
Pour tout réel \(x > 0\), le logarithme neperien de \(x\), note \(\ln x\), est l’unique réel \(y\) tel que \(e^y = x\).
Autrement dit, la fonction \(\ln\) est la reciproque de la fonction exponentielle : \[\forall x > 0, \quad e^{\ln x} = x \qquad \text{et} \qquad \forall x \in \mathbb{R}, \quad \ln(e^x) = x\]
Propriete — Valeurs remarquables
  • \(\ln 1 = 0\) car \(e^0 = 1\)
  • \(\ln e = 1\) car \(e^1 = e\)
  • \(\ln\!\left(\dfrac{1}{e}\right) = -1\) car \(e^{-1} = \dfrac{1}{e}\)
Justification

Par definition, \(\ln x\) est l’unique réel \(y\) tel que \(e^y = x\). Donc :

  • \(\ln 1 = 0\) car \(e^0 = 1\).
  • \(\ln e = 1\) car \(e^1 = e\).
  • \(\ln(1/e) = -1\) car \(e^{-1} = 1/e\).
Théorème — Equivalence fondamentale
Pour \(a > 0\) et \(b\) réel : \[\ln a = b \iff a = e^b\] Cette equivalence est la cle de toute resolution d’équation impliquant le logarithme.
Justification

C’est une consequence directe de la definition : \(\ln\) est la reciproque de \(\exp\). Si \(\ln a = b\), en appliquant \(\exp\) : \(e^{\ln a} = e^b\), soit \(a = e^b\). Reciproquement, si \(a = e^b\), en appliquant \(\ln\) : \(\ln a = \ln(e^b) = b\).

x y 1 2 3 1 -1 (1, 0) (e, 1) asymptote x = 0 y = ln x
Courbe representative de la fonction logarithme neperien

2. Proprietes algébriques

Théorème — Proprietes operatoires de ln
Pour tous réels \(a > 0\), \(b > 0\) et tout entier relatif \(n\) :
  • \(\ln(ab) = \ln a + \ln b\) (le logarithme transforme un produit en somme)
  • \(\ln\!\left(\dfrac{a}{b}\right) = \ln a - \ln b\)
  • \(\ln\!\left(\dfrac{1}{a}\right) = -\ln a\)
  • \(\ln(a^n) = n \ln a\)
  • \(\ln(\sqrt{a}) = \dfrac{1}{2}\ln a\)
Justification

Ces propriétés se deduisent de celles de l’exponentielle. Montrons que \(\ln(ab) = \ln a + \ln b\) :

On pose \(\alpha = \ln a\) et \(\beta = \ln b\), donc \(a = e^\alpha\) et \(b = e^\beta\). Alors \(ab = e^\alpha \times e^\beta = e^{\alpha + \beta}\), d’ou \(\ln(ab) = \alpha + \beta = \ln a + \ln b\).

Pour la puissance : \(\ln(a^n) = \ln(\underbrace{a \times \cdots \times a}_{n}) = n \ln a\) (par recurrence sur la propriété du produit).

Les autres formules en decoulent : \(\ln(1/a) = \ln(a^{-1}) = -\ln a\), \(\ln(a/b) = \ln a - \ln b\), et \(\ln(\sqrt{a}) = \ln(a^{1/2}) = \frac{1}{2}\ln a\).

Exemples
  • \(\ln 6 = \ln(2 \times 3) = \ln 2 + \ln 3\)
  • \(\ln\!\left(\dfrac{3}{5}\right) = \ln 3 - \ln 5\)
  • \(\ln 8 = \ln(2^3) = 3\ln 2\)
  • \(\ln\sqrt{5} = \dfrac{1}{2}\ln 5\)
  • \(\ln 0{,}25 = \ln\!\left(\dfrac{1}{4}\right) = -\ln 4 = -2\ln 2\)
Attention — Erreurs frequentes
  • \(\ln(a + b) \neq \ln a + \ln b\) (pas de formule pour la somme !)
  • \(\ln(a - b) \neq \ln a - \ln b\)
  • \((\ln a)^2 \neq \ln(a^2)\) en général
Méthode — Simplifier une expression logarithmique

Ecrire \(\ln 48 - 2\ln 2 + \ln 3\) sous la forme \(\ln k\).

\(\ln 48 - 2\ln 2 + \ln 3 = \ln 48 - \ln(2^2) + \ln 3 = \ln 48 - \ln 4 + \ln 3\)

\(= \ln\!\left(\dfrac{48}{4}\right) + \ln 3 = \ln 12 + \ln 3 = \ln(12 \times 3) = \ln 36\).

3. Etude de la fonction ln

Propriete — Dérivée
La fonction \(\ln\) est dérivable sur \(]0 ; +\infty[\) et : \[(\ln x)' = \frac{1}{x}\] Comme \(\dfrac{1}{x} > 0\) pour tout \(x > 0\), la fonction \(\ln\) est strictement croissante sur \(]0 ; +\infty[\).
Justification de la dérivée

Partons de la relation \(e^{\ln x} = x\) pour \(x > 0\). En derivant les deux membres (dérivation d’une composée, chapitre 3) :

\((\ln x)' \times e^{\ln x} = 1\), soit \((\ln x)' \times x = 1\), d’ou \((\ln x)' = \frac{1}{x}\).

Théorème — Limites aux bornes
\[\lim_{x \to 0^+} \ln x = -\infty \qquad \text{et} \qquad \lim_{x \to +\infty} \ln x = +\infty\]
Justification

Comme \(\ln\) est strictement croissante et non bornee (puisque \(\ln(e^n) = n\) pour tout entier \(n\)), elle tend vers \(+\infty\) en \(+\infty\).

En \(0^+\) : on utilise \(\ln(1/x) = -\ln x\). Si \(x \to 0^+\), alors \(1/x \to +\infty\), donc \(\ln(1/x) \to +\infty\), et \(\ln x = -\ln(1/x) \to -\infty\).

Propriete — Signe de ln
  • Si \(0 < x < 1\) alors \(\ln x < 0\)
  • Si \(x = 1\) alors \(\ln x = 0\)
  • Si \(x > 1\) alors \(\ln x > 0\)
Justification

On sait que \(\ln 1 = 0\) et que \(\ln\) est strictement croissante (car \((\ln x)' = 1/x > 0\)). Donc :

  • Si \(0 < x < 1\) : \(x < 1\) et \(\ln\) croissante, donc \(\ln x < \ln 1 = 0\).
  • Si \(x > 1\) : \(x > 1\), donc \(\ln x > \ln 1 = 0\).
Propriete — Comparaison et logarithme
La fonction \(\ln\) etant strictement croissante, pour \(a > 0\) et \(b > 0\) : \[\ln a = \ln b \iff a = b \qquad \text{et} \qquad \ln a < \ln b \iff a < b\]
Démonstration

La fonction \(\ln\) est strictement croissante sur \(]0\,;+\infty[\) (sa dérivée \(1/x\) est strictement positive). Donc \(\ln\) est une bijection de \(]0\,;+\infty[\) sur \(\mathbb{R}\).

Équation \(\ln a = \ln b\).

  • Sens \(\Leftarrow\) : si \(a = b\), alors \(\ln a = \ln b\) immédiatement.
  • Sens \(\Rightarrow\) : si \(a \neq b\), supposons par exemple \(a < b\). Par stricte croissance, \(\ln a < \ln b\), donc \(\ln a \neq \ln b\). Par contraposée, \(\ln a = \ln b \Rightarrow a = b\).

Inégalité \(\ln a < \ln b \iff a < b\).

  • Sens \(\Leftarrow\) : stricte croissance de \(\ln\).
  • Sens \(\Rightarrow\) : supposons \(\ln a < \ln b\) et montrons par l’absurde que \(a < b\). Si \(a = b\), \(\ln a = \ln b\), contradiction. Si \(a > b\), alors par stricte croissance \(\ln a > \ln b\), contradiction. Donc \(a < b\). ∎
Propriete — Dérivée seconde et convexite
\[(\ln x)'' = -\frac{1}{x^2} < 0 \quad \text{pour tout } x > 0\] La fonction \(\ln\) est donc concave sur \(]0 ; +\infty[\) : sa courbe est situee en dessous de chacune de ses tangentes.
Démonstration

Calcul de la dérivée seconde. On sait que \((\ln x)' = \dfrac{1}{x}\) pour \(x > 0\). On dérive à nouveau :

\((\ln x)'' = \left(\dfrac{1}{x}\right)' = -\dfrac{1}{x^2}.\)

Pour tout \(x > 0\), \(x^2 > 0\), donc \(-\dfrac{1}{x^2} < 0\).

Conclusion — concavité. Une fonction deux fois dérivable sur un intervalle \(I\) dont la dérivée seconde est négative sur \(I\) est concave sur \(I\). Géométriquement : la courbe est située en dessous de chacune de ses tangentes.

En particulier, la tangente à \(\ln\) au point \((1, 0)\) a pour équation \(y = x - 1\). Par concavité :

\(\ln x \le x - 1\) pour tout \(x > 0,\)

avec égalité seulement en \(x = 1\). ∎

Exemple — Tangente au point d’abscisse 1


\(f(1) = \ln 1 = 0\) et \(f'(1) = \dfrac{1}{1} = 1\).

L’équation de la tangente est : \(y = 1 \cdot (x - 1) + 0 = x - 1\).

Par concavite de \(\ln\), on en déduit l’inégalité fondamentale : \(\ln x \leq x - 1\) pour tout \(x > 0\).

4. Croissances comparees

Théorème — Croissances comparees en \(+\infty\)
Pour tout entier \(n \geq 1\) : \[\lim_{x \to +\infty} \frac{\ln x}{x^n} = 0\] Autrement dit, le logarithme croit plus lentement que toute puissance de \(x\). On dit que « \(x^n\) l’emporte sur \(\ln x\) en \(+\infty\) ».
Justification

Ce résultat est admis dans sa demonstration complete. L’idee pour \(n = 1\) utilise l’inégalité \(\ln x \leq x - 1\) (consequence de la concavite de \(\ln\), section 3). On en déduit que pour \(x > 0\) : \(\ln x = 2\ln(\sqrt{x}) \leq 2(\sqrt{x} - 1) < 2\sqrt{x}\), donc \(\frac{\ln x}{x} < \frac{2}{\sqrt{x}} \to 0\).

Théorème — Croissances comparees en \(0^+\)
Pour tout entier \(n \geq 1\) : \[\lim_{x \to 0^+} x^n \ln x = 0\] Pres de 0, la fonction \(x^n\) l’emporte sur \(\ln x\).
Justification

On pose \(x = 1/t\) avec \(t \to +\infty\). Alors \(x^n \ln x = \frac{1}{t^n} \times \ln(1/t) = -\frac{\ln t}{t^n}\).

Or \(\frac{\ln t}{t^n} \to 0\) quand \(t \to +\infty\) (croissances comparees en \(+\infty\), théorème precedent), donc \(x^n \ln x \to 0\).

Exemples de calculs de limites
  • \(\displaystyle\lim_{x \to +\infty} \frac{\ln x}{x} = 0\) (cas \(n = 1\) du premier théorème)
  • \(\displaystyle\lim_{x \to +\infty} \frac{\ln x}{\sqrt{x}} = \lim_{x \to +\infty} \frac{\ln x}{x^{1/2}} = 0\) (meme principe, \(\sqrt{x}\) l’emporte)
  • \(\displaystyle\lim_{x \to 0^+} x \ln x = 0\) (cas \(n = 1\) du second théorème)
Méthode — Utiliser les croissances comparees

Calculer \(\displaystyle\lim_{x \to +\infty} \bigl(x^2 - 3\ln x\bigr)\).

On factorise par le terme dominant : \(x^2 - 3\ln x = x^2\!\left(1 - \dfrac{3\ln x}{x^2}\right)\).

Or \(\dfrac{\ln x}{x^2} \to 0\) quand \(x \to +\infty\), donc \(1 - \dfrac{3\ln x}{x^2} \to 1\) et \(x^2 \to +\infty\).

Par produit : \(\displaystyle\lim_{x \to +\infty} \bigl(x^2 - 3\ln x\bigr) = +\infty\).

5. Équations et inéquations avec ln

Méthode — Resoudre une équation logarithmique
  1. Déterminer les conditions d’existence : les arguments de \(\ln\) doivent etre strictement positifs.
  2. Utiliser les propriétés algébriques pour se ramener a \(\ln A = \ln B\) ou \(\ln A = k\).
  3. Conclure : \(\ln A = \ln B \iff A = B\) ; \(\ln A = k \iff A = e^k\).
Exemple 1 — Équation ln(A) = ln(B)

Resoudre \(\ln(2x+1) = \ln(x+4)\).



Conditions : \(2x+1 > 0\) et \(x+4 > 0\), soit \(x > -\frac{1}{2}\).

\(\ln(2x+1) = \ln(x+4) \iff 2x+1 = x+4 \iff x = 3\).

Verification : \(x = 3 > -\frac{1}{2}\). Solution : \(\boxed{x = 3}\).

Exemple 2 — Équation avec ln(A) = k

Resoudre \(\ln(x^2 - 1) = 0\).



Conditions : \(x^2 - 1 > 0\), soit \(x < -1\) ou \(x > 1\).

\(\ln(x^2 - 1) = 0 \iff x^2 - 1 = e^0 = 1 \iff x^2 = 2 \iff x = \pm\sqrt{2}\).

Les deux valeurs verifient les conditions. Solutions : \(\boxed{x = -\sqrt{2} \text{ ou } x = \sqrt{2}}\).

Exemple 3 — Inéquation

Resoudre \(\ln(3x - 2) \leq 1\).



Conditions : \(3x - 2 > 0\), soit \(x > \frac{2}{3}\).

\(\ln(3x-2) \leq 1 \iff 3x - 2 \leq e^1 \iff x \leq \dfrac{e + 2}{3}\).

Avec la condition d’existence : \(\boxed{\dfrac{2}{3} < x \leq \dfrac{e+2}{3}}\).

6. Logarithme décimal

Definition — Logarithme décimal
Pour tout réel \(x > 0\), le logarithme décimal de \(x\), note \(\log x\), est défini par : \[\log x = \frac{\ln x}{\ln 10}\] C’est le nombre \(y\) tel que \(10^y = x\).
Propriete — Valeurs et propriétés
  • \(\log 1 = 0\), \(\log 10 = 1\), \(\log 100 = 2\), \(\log 1000 = 3\)
  • \(\log(10^n) = n\) pour tout entier \(n\)
  • Memes propriétés algébriques que \(\ln\) : \(\log(ab) = \log a + \log b\), \(\log(a^n) = n \log a\), etc.
Démonstration

On part de la définition \(\log x = \dfrac{\ln x}{\ln 10}\).

Valeurs particulières.

  • \(\log 1 = \dfrac{\ln 1}{\ln 10} = \dfrac{0}{\ln 10} = 0\).
  • \(\log 10 = \dfrac{\ln 10}{\ln 10} = 1\).
  • \(\log 100 = \log(10^2) = \dfrac{\ln(10^2)}{\ln 10} = \dfrac{2\ln 10}{\ln 10} = 2\) (par la propriété \(\ln(a^n) = n\ln a\)).
  • Plus généralement, \(\log(10^n) = \dfrac{n\ln 10}{\ln 10} = n\) pour tout entier \(n\).

Propriétés algébriques. Pour \(a, b > 0\) et \(n \in \mathbb{Z}\) :

\(\log(ab) = \dfrac{\ln(ab)}{\ln 10} = \dfrac{\ln a + \ln b}{\ln 10} = \dfrac{\ln a}{\ln 10} + \dfrac{\ln b}{\ln 10} = \log a + \log b.\)

\(\log(a^n) = \dfrac{\ln(a^n)}{\ln 10} = \dfrac{n\ln a}{\ln 10} = n\log a.\)

On vérifie de la même façon \(\log\dfrac{a}{b} = \log a - \log b\) et \(\log\dfrac{1}{a} = -\log a\). ∎

Exemple — Échelle de Richter

La magnitude d’un seisme est définie par \(M = \log\!\left(\dfrac{A}{A_0}\right)\) ou \(A\) est l’amplitude mesuree et \(A_0\) une amplitude de reference.

Un seisme de magnitude 6 a une amplitude \(10^6\) fois superieure a la reference.

Un seisme de magnitude 8 a une amplitude \(10^8 / 10^6 = 100\) fois superieure a un seisme de magnitude 6.

Remarque
Le logarithme décimal est tres utilise dans les sciences appliquees : decibels (acoustique), pH (chimie), magnitude (seismologie), échelle de luminosite (astronomie). Toutes ces échelles permettent de representer des grandeurs variant sur des ordres de grandeur tres differents.

Bilan — Formules essentielles

ProprieteFormule
Definition\(\ln x = y \iff e^y = x\)
Produit\(\ln(ab) = \ln a + \ln b\)
Quotient\(\ln\!\left(\frac{a}{b}\right) = \ln a - \ln b\)
Puissance\(\ln(a^n) = n\ln a\)
Dérivée\((\ln x)' = \dfrac{1}{x}\)
Dérivée de \(\ln u\)\((\ln u)' = \dfrac{u'}{u}\)
Croissance comparee\(\displaystyle\lim_{x \to +\infty}\frac{\ln x}{x} = 0\)
Croissance comparee\(\displaystyle\lim_{x \to 0^+} x\ln x = 0\)
Logarithme décimal\(\log x = \dfrac{\ln x}{\ln 10}\)
Valeurs cles : \(\ln 1 = 0\), \(\ln e = 1\), \(\ln e^2 = 2\), \(\ln\!\left(\frac{1}{e}\right) = -1\).
Solution du problème d’ouverture — Les decibels

Si l’intensite \(I\) est multipliee par 100, le nouveau niveau sonore est :

\(L' = 10 \log\!\left(\dfrac{100 \, I}{I_0}\right) = 10\left[\log 100 + \log\!\left(\dfrac{I}{I_0}\right)\right] = 10 \times 2 + L = L + 20\).

Le niveau sonore augmente de 20 decibels. C’est la puissance de l’échelle logarithmique : une multiplication par 100 de l’intensite ne correspond qu’a une addition de 20 dB.

Solution de l’énigme — Un doublement mysterieux

On resout \(1{,}05^n = 2\).

En passant au logarithme : \(n \ln(1{,}05) = \ln(2)\), soit \(n = \dfrac{\ln 2}{\ln 1{,}05}\).

\(n = \dfrac{0{,}693}{0{,}0488} \approx 14{,}2\).

Il faut donc environ 15 ans pour doubler son capital a 5 % par an.

Astuce : la « règle de 72 » donne une approximation rapide : \(72/5 = 14{,}4\) ans.

Pieges et contre-exemples

Logarithme neperien : teste d’abord ton intuition.

Score : 0 / 6 pieges identifies
1 Logarithme d’une somme

« \(\ln(a + b) = \ln a + \ln b\). »

Cette affirmation est-elle correcte ?

Explication

Faux. \(\ln(ab) = \ln a + \ln b\), mais \(\ln(a+b) \neq \ln a + \ln b\). Le logarithme transforme les produits en sommes, pas les sommes !

Contre-exemple : \(\ln(1+1) = \ln 2 \approx 0{,}69\), mais \(\ln 1 + \ln 1 = 0\).

Mini-test : \(\ln(2 \times 3) = ?\)

2 Logarithme d’un nombre négatif

« \(\ln(-3)\) est un nombre réel négatif. »

Cette affirmation est-elle correcte ?

Explication

Faux. \(\ln\) n’est défini que pour \(x > 0\). \(\ln(-3)\) n’existe pas dans les réels.

Domaine de \(\ln\) : \(]0 ; +\infty[\). Attention aussi : \(\ln 0\) n’existe pas.

Mini-test : \(\ln(x^2)\) est-il défini pour tout \(x \neq 0\) ?

3 Simplification abusive

« \(\dfrac{\ln a}{\ln b} = \ln\!\left(\dfrac{a}{b}\right)\). »

Cette affirmation est-elle correcte ?

Explication

Faux. \(\ln\!\left(\frac{a}{b}\right) = \ln a - \ln b\), pas \(\frac{\ln a}{\ln b}\). Le quotient des logarithmes est la formule de changement de base.

\(\ln(a/b) = \ln a - \ln b\) (difference). \(\frac{\ln a}{\ln b} = \log_b a\) (changement de base).

Mini-test : \(\ln\!\left(\frac{e^2}{e}\right) = ?\)

4 Croissance comparee

« \(\ln x\) finit par depasser toute puissance de \(x\). »

Cette affirmation est-elle correcte ?

Explication

Faux. C’est exactement l’inverse : \(\lim_{x \to +\infty} \frac{\ln x}{x^a} = 0\) pour tout \(a > 0\). Le logarithme croit beaucoup plus lentement que toute puissance.

Hierarchie en \(+\infty\) : \(\ln x \ll x^a \ll e^x\) pour tout \(a > 0\).

Mini-test : \(\lim_{x \to +\infty} \frac{\ln x}{\sqrt{x}} = ?\)

5 Exponentielle de ln

« \(e^{\ln x} = x\) pour tout réel \(x\). »

Cette affirmation est-elle correcte ?

Explication

Faux (pas pour tout réel). \(e^{\ln x} = x\) est vrai uniquement pour \(x > 0\), car \(\ln\) n’est défini que sur \(]0;+\infty[\).

Toujours verifier le domaine de definition avant de simplifier.

Mini-test : \(\ln(e^{-2}) = ?\)

6 Dérivée de ln

« \((\ln x)' = \dfrac{1}{x}\) pour \(x > 0\). »

Cette affirmation est-elle correcte ?

Explication

C’est vrai ! La dérivée du logarithme neperien est \(\frac{1}{x}\) sur \(]0;+\infty[\). C’est un résultat fondamental du calcul.

Et pour une composée : \((\ln u)' = \frac{u'}{u}\).

Mini-test : \((\ln(x^2+1))' = ?\)

➡️ Pour la suite
Ch. 5 — Fonctions sinus et cosinus — Tu approfondiras les fonctions trigonométriques et leur étude.