La fonction logarithme nprien

Dfinition de la fonction logarithme nprien

2

A = ln(X).

1
y = 1/x
2X

La fonction logarithme est lunique fonction f, dfinie et drivable sur ]0, +[

1
et vrifiant f(1) = 0 et pour tout rel x > 0, f (x) = .
x
1
ln est la primitive de la fonction x 7 sur ]0, +[ qui sannule en 1.
x
Zx
1
dt.
Pour tout rel x > 0, ln(x) =
1 t

ln(e) = 1

La fonction logarithme nprien est dfinie

et drivable sur ]0, +[ et

y = ex

Proprits analytiques

Pour tout rel x > 0, (ln) (x) =

2
y = ln

(x)

La fonction logarithme nprien est continue et

strictement croissante sur ]0, +[.
Limites aux bornes du domaine :
lim ln(x) = , lim ln(x) = +.
x+

x0
x>0

1
.
x

Thorme de croissances compares :

lim

x+

ln(x)
= 0.
x

Nombre driv en 1 :

ln(1) = 0

lim

h0

ln(1 + h)
= 1.
h

4
5

Proprits algbriques
Pour tous rels x > 0 et y >0, ln(x y) = ln(x) + ln(y).
1
= ln(x).
Pour tout rel x > 0, ln
x
 
x
= ln(x) ln(y).
Pour tous rels x > 0 et y > 0, ln
y
Pour tout rel x > 0 et tout entier relatif n, ln(xn ) =
n ln(x).

Pour tous rels x > 0 et y > 0, ln(x)

 +
 ln(y) = ln(x y).
1
Pour tout rel x > 0, ln(x) = ln
.
x
 
x
Pour tous rels x > 0 et y > 0, ln(x) ln(y) = ln
.
y
Pour tout rel x > 0 et tout entier relatif n, n ln(x) =
ln(xn ).

Liens avec la fonction exponentielle

Pour tout rel x, ln(ex ) = x. Pour tout rel x strictement positif, eln(x) = x.

Rsolution dquations et dinquations

Pour tout rel a, lquation ln(x) = a a une solution et une seule.
Pour tous rels x > 0 et y > 0, (ln(x) = ln(y) x = y).

Pour tout rel x > 0 et tout rel a, ln(x) = a x = ea .

Pour tous rels x > 0 et y > 0, (ln(x) < ln(y) x < y).

Pour tout rel x > 0 et tout rel a, ln(x) < a x < ea .

La fonction logarithme nprien est strictement croissante sur ]0, +[. Donc

c Jean-Louis Rouget, 2012. Tous droits rservs.

http ://www.maths-france.fr