Logarithme népérien Terminale : propriétés, équations et limites

Le logarithme népérien répond à une question inverse de l'exponentielle : quel exposant faut-il donner à e pour obtenir un réel positif donné ? Cette origine explique son domaine, ses propriétés algébriques et le lien symétrique entre les deux courbes.

La vigilance porte sur les conditions d'existence. Une transformation avec ln n'a de sens que pour des arguments strictement positifs ; ces contraintes doivent être posées avant de résoudre une équation ou une inéquation.

Construire ln comme fonction réciproque

Définition du logarithme népérien

Pour tout réel x strictement positif, ln⁡x\ln x est l'unique réel y tel que ey=xe^y=x. Ainsi ln⁡(ey)=y\ln(e^y)=y pour tout réel y et eln⁡x=xe^{\ln x}=x pour x>0x\gt 0.

On en déduit ln⁡1=0\ln1=0 et ln⁡e=1\ln e=1. La fonction ln est définie uniquement sur ]0,+∞[]0,+\infty[, strictement croissante, négative entre 0 et 1, puis positive au-delà de 1. Sa courbe est l'image de celle de l'exponentielle par la symétrie d'axe y=xy=x.

Transformer produits, quotients et puissances

Propriétés algébriques

Pour a>0a\gt 0, b>0b\gt 0 et tout entier n, ln⁡(ab)=ln⁡a+ln⁡b\ln(ab)=\ln a+\ln b, ln⁡(a/b)=ln⁡a−ln⁡b\ln(a/b)=\ln a-\ln b et ln⁡(an)=nln⁡a\ln(a^n)=n\ln a.

Ces égalités transforment une multiplication en addition. Elles ne s'étendent pas à une somme : en général, ln⁡(a+b)≠ln⁡a+ln⁡b\ln(a+b)\neq\ln a+\ln b. Avant de séparer un quotient, les deux arguments doivent être positifs ; une expression globale positive ne garantit pas que ses facteurs le soient séparément.

ln⁡(ex)=x,eln⁡x=x (x>0)\ln(e^x)=x,\qquad e^{\ln x}=x\ (x\gt 0)

Dérivée, variations et courbe

Dérivée du logarithme

La fonction ln est dérivable sur ]0,+∞[]0,+\infty[ et (ln⁡x)′=1/x(\ln x)'=1/x. Plus généralement, (ln⁡u)′=u′/u(\ln u)'=u'/u là où u est strictement positive.

Comme 1/x>01/x\gt 0 sur le domaine, ln est strictement croissante. Sa dérivée seconde −1/x2-1/x^2 est négative : la fonction est concave et sa courbe reste sous ses tangentes. La tangente en 1 a pour équation y=x−1y=x-1, d'où l'inégalité ln⁡x≤x−1\ln x\leq x-1 pour tout x positif.

Exponentielle et logarithme, fonctions réciproques
Les deux courbes sont symétriques par rapport à la droite y égale x.

Résoudre une équation logarithmique

  1. Déterminer les conditions qui rendent chaque logarithme défini.
  2. Utiliser les propriétés algébriques seulement sous ces conditions.
  3. Exploiter l'injectivité de ln ou appliquer l'exponentielle.
  4. Résoudre l'équation obtenue.
  5. Conserver uniquement les solutions compatibles avec le domaine initial.

Pour ln⁡(x−1)+ln⁡(x+1)=ln⁡8\ln(x-1)+\ln(x+1)=\ln8, le domaine impose x>1x\gt 1. On obtient ln⁡(x2−1)=ln⁡8\ln(x^2-1)=\ln8, donc x2=9x^2=9. Les candidats sont 3 et -3, mais seul 3 appartient au domaine. La vérification finale n'est pas facultative.

Inéquations, limites et croissances comparées

Comme ln est strictement croissante, ln⁡u≤ln⁡v\ln u\leq\ln v équivaut à u≤vu\leq v lorsque u et v sont positifs. On a ln⁡x→−∞\ln x\to-\infty quand x→0+x\to0^+ et ln⁡x→+∞\ln x\to+\infty quand x→+∞x\to+\infty. Malgré cette croissance, toute puissance positive de x domine ln à l'infini : ln⁡x/xα→0\ln x/x^\alpha\to0.

Une limite de référence à savoir transformer

La limite xln⁡x→0x\ln x\to0 quand x→0+x\to0^+ intervient dans des études de fonctions. Elle ne signifie pas que ln reste bornée : le facteur x tend vers zéro assez rapidement pour dominer la divergence logarithmique.

Contrôles avant de conclure

Erreur fréquente : écrire ln d'un nombre négatif ou nul au cours d'une résolution. Le domaine doit être conservé à chaque étape.
Contrôle utile : après résolution, substituer chaque candidat dans les arguments initiaux et vérifier leur stricte positivité.

La construction réciproque s'appuie sur la fonction exponentielle. Le comportement asymptotique complète les limites et croissances comparées. La primitive de 1/x1/x sera réinvestie dans le calcul intégral.

Les propriétés exigibles de ln sont définies par le programme officiel de Terminale, spécialité mathématiques.