Cours 2020 Version 2
Cours 2020 Version 2
Cours 2020 Version 2
FONCTION LOGARITHME
NÉPÉRIEN
En 1614, un mathématicien écossais, John Napier (1550 ; 1617) ci-
contre, plus connu sous le nom francisé de Neper publie « Mirifici
logarithmorum canonis descriptio ».
Dans cet ouvrage, qui est la finalité d’un travail de 20 ans,
Neper présente un outil permettant de simplifier les calculs
opératoires : le logarithme.
Neper construit le mot à partir des mots grecs « logos » (logique) et
arithmos (nombre).
Toutefois cet outil ne trouvera son essor qu’après la mort de Neper.
Les mathématiciens anglais Henri Briggs (1561 ; 1630) et William
Oughtred (1574 ; 1660) reprennent et prolongent les travaux de Neper.
Les mathématiciens de l’époque établissent alors des tables de logarithmes de plus en plus
précises.
L’intérêt d’établir ces tables logarithmiques est de permettre de substituer une multiplication
par une addition (paragraphe II). Ceci peut paraître dérisoire aujourd’hui, mais il faut
comprendre qu’à cette époque, les calculatrices n’existent évidemment pas, les nombres
décimaux ne sont pas d’usage courant et les opérations posées telles que nous les utilisons ne
sont pas encore connues. Et pourtant l'astronomie, la navigation ou le commerce demandent
d’effectuer des opérations de plus en plus complexes.
I. Définition
Remarques :
Propriétés :
a) Pour 𝑥 > 0 : 𝑦 = ln 𝑥 ⇔ 𝑥 = 𝑒 𝑦
1
b) ln 1 = 0 ; ln 𝑒 = 1 ; ln 𝑒 = −1
c) ln 𝑒 𝑥 = 𝑥
d) Pour 𝑥 > 0 : 𝑒 ln 𝑥 = 𝑥
Démonstrations :
a) Par définition
b) - 𝑒 0 = 1 donc d’après a. : ln 1 = 0
- 𝑒 1 = 𝑒 donc d’après a. : ln 𝑒 = 1
1 1
- 𝑒 −1 = 𝑒 donc d’après a. : ln 𝑒 = −1
c) Si on pose 𝑦 = 𝑒 𝑥 , alors 𝑥 = ln 𝑦 = ln 𝑒 𝑥
d) Si on pose 𝑦 = ln 𝑥, alors 𝑥 = 𝑒 𝑦 = 𝑒 ln 𝑥
Démonstration :
𝑒 ln(𝑥×𝑦) = 𝑥 × 𝑦 = 𝑒 ln 𝑥 × 𝑒 ln 𝑦 = 𝑒 ln 𝑥+ln 𝑦
Donc : ln(𝑥 × 𝑦) = ln 𝑥 + ln 𝑦
2) Conséquences
Démonstrations :
1 1 1
a) ln 𝑥 + ln 𝑥 = ln (𝑥 × 𝑥) = ln 1 = 0 donc ln 𝑥 = − ln 𝑥
𝑥 1 1
b) ln 𝑦 = ln (𝑥 × 𝑦) = ln 𝑥 + ln 𝑦 = ln 𝑥 − ln 𝑦
1
c) 2 ln √𝑥 = ln √𝑥 + ln √𝑥 = ln(√𝑥 × √𝑥) = ln 𝑥 donc ln √𝑥 = ln 𝑥
2
d) On démontre ce résultat par récurrence le cas où 𝑛 est un entier naturel.
L'initialisation est triviale.
La démonstration de l'hérédité passe par la décomposition :
ln 𝑥 𝑘+1 = ln(𝑥 𝑘 × 𝑥) = ln 𝑥 𝑘 + ln 𝑥 = 𝑘 ln 𝑥 + ln 𝑥 = (𝑘 + 1) ln 𝑥
1) Continuité et dérivabilité
1
Propriété : La fonction logarithme népérien est dérivable sur ]0 ; +∞[ et (ln 𝑥)′ = .
𝑥
4
Démonstration au programme :
′
Rappel : (𝑒 𝑢(𝑥) ) = 𝑢′(𝑥)𝑒 𝑢(𝑥)
′
En posant : 𝑢(𝑥) = ln 𝑥, on a : (𝑒 ln 𝑥 ) = (ln 𝑥)′𝑒 ln 𝑥
′
Or (𝑒 ln 𝑥 ) = (𝑥)′ = 1.
Donc : (ln 𝑥)′𝑒 ln 𝑥 = 1
1
Soit : (ln 𝑥)′ = ln 𝑥
𝑒
1
Soit encore : (ln 𝑥)′ = .
𝑥
Exemple :
Vidéo https://youtu.be/yiQ4Z5FdFQ8
2
(ln 𝑥)
Dériver la fonction suivante sur l'intervalle ]0 ; +∞[ : 𝑓(𝑥) = 𝑥
1
2 × 𝑥 × ln 𝑥 × 𝑥 − (ln 𝑥)2 × 1
𝑓′(𝑥) =
𝑥2
2 ln 𝑥 − (ln 𝑥)2
=
𝑥2
2 − ln 𝑥
= ln 𝑥
𝑥2
2) Variations
Démonstration :
1
Pour tout réel 𝑥 > 0, (ln 𝑥)′ = >0
𝑥
Exemple:
ln 𝑥 = 2,
5
3) Convexité
Démonstration :
1
Pour tout réel 𝑥 > 0, (ln 𝑥)′ = .
𝑥
′′
1
(ln 𝑥) = − 2 < 0 donc la dérivée de la fonction 𝑙𝑛 est strictement décroissante sur
𝑥
]0 ; +∞[ et donc la fonction logarithme népérien est concave sur cet intervalle.
x 0 +∞
(ln 𝑥) ′ +
+∞
ln 𝑥
−∞
5) Tangentes particulières
1
- Au point d'abscisse 1, l'équation de la tangente est 𝑦 = 1 (𝑥 − 1) + ln 1 soit :
𝑦 = 𝑥 − 1.
1
- Au point d'abscisse e, l'équation de la tangente est 𝑦 = 𝑒 (𝑥 − 𝑒) + ln 𝑒 soit :
1
𝑦 = 𝑒 𝑥.
6
6) Courbe représentative
Valeurs particulières :
ln 1 = 0
ln 𝑒 = 1
ln 𝑥 ln 𝑥
Comme lim = 0, donc : lim 1 − = 1.
𝑥→+∞ 𝑥 𝑥→+∞ 𝑥
ln 𝑥
Et donc lim 𝑥 (1 − 𝑥 ) = +∞ comme limite d’un produit.
𝑥→+∞
Soit : lim 𝑥 − ln 𝑥 = +∞.
𝑥→+∞
¥
b) Il s'agit d'une forme indéterminée de type " ".
¥
Levons l'indétermination :
ln 𝑥 ln 𝑥
ln 𝑥 𝑥 𝑥
= 𝑥−1 = 1
𝑥−1 1−𝑥
𝑥
ln 𝑥 1
Comme lim = 0 et lim 1 − 𝑥 = 1, on a, comme limite d’un quotient :
𝑥→+∞ 𝑥 𝑥→+∞
ln 𝑥
𝑥 0
lim 1 = =0
𝑥→+∞ 1−𝑥 1
ln 𝑥
Soit : lim 𝑥−1 = 0.
𝑥→+∞
V. fonction ln (u)
Exemple :
f(x) = ln (x2 + 3) définie sur IR. Déterminer f’ puis les variations de f.
𝑢′(𝑥) 2𝑥
Ainsi f’(x) = = 𝑥 2 +3 et f est décroissante sur ]- ∞ ; 0] puis croissante sur [0 ; + ∞[
𝑢(𝑥)