2
On peut écrire ln(a
1
.a
2
. L .a
n
.a
n + 1
) = ln(a
1
.a
2
. L .a
n
) + ln (a
n + 1
)
puisque ln(ab) = lna + lnb
et de plus comme la proposition est vraie pour n, on a
ln(a
1
.a
2
. L .a
n
) = lna
1
+ lna
2
+ ... + lna
n
Donc ln(a
1
.a
2
. L .a
n
.a
n + 1
) = lna
1
+ lna
2
+ ... + lna
n
+ ln(a
n + 1
)
c'est-à-dire que la proposition est vraie pour n + 1.
On a donc démontré par récurrence que la proposition est vraie pour tout entier n ≥ 1.
III) Étude de la fonction logarithme népérien
1) Propriétés
• La fonction ln est strictement croissante sur ]0 ; +∞[
a et b sont deux réels tels que 0 < a < b c'est-à-dire tels que e
lna
< e
lnb
.
La stricte croissance de l'exponentielle permet d'écrire lna < lnb.
• Si x > 1 alors lnx > 0 et Si 0 < x < 1 alors lnx < 0
De même par la stricte croissance de la fonction ln.
• La fonction ln est continue et dérivable sur ]0 ; +∞[ et on a ln' (x) = 1
x
La continuité et la dérivabilité peuvent être déduites graphiquement de la courbe de la
fonction exponentielle qui est sa fonction réciproque. La formule peut être obtenue en dérivant e
lnx
1 = (x)' =
( )
e
lnx
' = ln'(x) e
lnx
= ln'(x) × x d'où ln' (x) = 1
x
Remarque (caractérisation par les primitives de la fonction ln) :
On appelle fonction logarithme népérien, notée ln, la primitive définie sur ]0;+∞[ qui
s'annule en 1 de la fonction x → 1
x
•
x
→
+
∞
lim ln x = +∞ et
x
→
0
x > 0
lim ln x = -∞.
La fonction ln étant strictement croissante, on a ln 2 > ln 1 donc ln 2 > 0 .
Alors
n
→
+
∞
lim n ln 2 = +∞ c'est-à-dire
n
→
+
∞
lim ln 2n = +∞.
ln 2n est donc aussi grand que l'on veut en prenant n assez grand.
La fonction ln étant croissante, si x ≥ 2n on a lnx ≥ ln 2n
Donc lnx est aussi grand que l'on veut en prenant x assez grand, c'est-à-dire que
x
→
+
∞
lim ln x = +∞
Pour étudier
x
→
0
x > 0
lim ln x posons X = 1
x c'est-à-dire x = 1
X
Lorsque x tend vers 0 par valeurs positives X tend vers +∞ et on a lnx = ln1
X = - lnX
Donc
x
→
0
x > 0
lim ln x =
X
→
+
∞
lim - lnX = -∞.
• Le tableau de variations de la fonction ln est :
• Résolutions d'équations et d'inéquations
Comme ln réalise une bijection croissante de ]0;+∞[ sur r
Pour tous réels a et b strictement positifs, a = b ⇔ lna = lnb
Pour tous réels a et b strictement positifs, a < b ⇔ lna < lnb
Pour tout x > 0, lnx = y ⇔ x = e
y
x 0 +∞
+∞
ln
-∞