Vous êtes sur la page 1sur 7

FONCTION LOGARITHME NPRIEN

On a vu dans le chapitre sur les primitives que toute fonction continue sur un intervalle I admet des primitives sur
I. La fonction "inverse", dfinie sur ]0 ; +[ par (x) =

1
, admet donc des primitives. Parmi ces primitives F,
x

que nous ne sommes pas capables d'expliciter, une seule vrifie la condition F(1) = 0. C'est prcisment cette
fonction F qui s'appelle logarithme nprien. De cette dfinition se dgagerons progressivement diverses
proprits qui finiront par nous clairer largement sur cette fonction logarithme.
I) Dfinition et consquences

Dfinition
On considre la fonction dfinie sur l'intervalle ]0 ; +[ par (x) =

1
(restriction de la fonction "inverse"
x

]0 ; +[). La fonction logarithme nprien note ln est la primitive F de telle que F(1) = 0
Consquences immdiates :
la fonction primitive est dfinie sur le mme intervalle que la fonction considre, donc la fonction ln est

dfinie sur ]0 ; +[
ln(1) = 0

1
pour tout x ]0 ; +[
x
la fonction ln est continue sur ]0 ; +[ puisque drivable sur cet intervalle

la fonction ln est drivable sur ]0 ; +[ et (ln x)' =

la fonction ln est strictement croissante sur ]0 ; +[ puisque sa drive est strictement positive sur cet

intervalle, ce qui permet une premire esquisse de son tableau de variations :


x 0
signe de la drive

1
x

variation de la fonction ln

ainsi, nous en dduisons galement le signe de la fonction ln :

ln x < 0 0 < x < 1


ln x = 0 x = 1
ln x > 0 x > 1
la fonction ln tant strictement croissante et continue, elle ralise une bijection de ]0 +[ sur l'intervalle

image (que nous prciserons ultrieurement). On en dduit que pour tous rels a et b de ]0 ; + [, on a :
ln a = ln b a = b
ln a < ln b a < b

En effet, si a = b alors il est clair que ln a = ln b. Pour la rciproque, voir l'annexe sur le raisonnement par
contraposition et le raisonnement par l'absurde.
De mme, si a < b alors (stricte croissance du ln) ln a < ln b. Pour la rciproque, voir l'annexe sur le
raisonnement par contraposition et le raisonnement par l'absurde.
Fonction logarithme nperien

page 1

G. COSTANTINI

Exercices :
Ensemble de dfinition des fonctions et g dfinies par : (x) = ln(x + 3)

g(x) = ln(x x 2)

et

Driver la fonction dfinie par : (x) = 3 x + ln x.


Dterminer la primitive F de la fonction dfinie sur ]0 ; +[ par (x) = 2 x
Rsoudre l'quation ln(x 2) = 0 et l'inquation ln(x 2)

4
telle que F(1) = 2.
x

0.

Rsoudre l'quation ln(2x + 1) = ln(3 x).

II) Thorme fondamental

Thorme 1
ln(ab) = ln a + ln b

Pour tous rels a et b strictement positifs :

(la fonction logarithme transforme les produits en somme)


Remarque : Si a et b sont strictement ngatifs, on a une relation analogue : ln(ab) = ln(a) + ln(b), et plus
gnralement, pour tous rels a et b de

: ln|ab| = ln|a| + ln|b|.

Dmonstration : pour tout rel a strictement positif, considrons la fonction G dfinie sur ]0 ; +[ par :
G(x) = ln(ax)
La fonction G est drivable (G est une compose de fonctions drivables : G = v o u avec u(x) = ax et v = ln), et :
G'(x) = a

1
1
= .
ax
x

La fonction G est donc une primitive de la fonction inverse tout comme la fonction ln. Elles diffrent donc d'une
G(x) = ln x + c

constante c :

ln(ax) = ln x + c
Calculons la constante c : si x = 1, on a : ln a = ln 1 + c = 0 + c d'o c = ln a et finalement :
ln(ax) = ln x + ln a pour tout rel x ]0 ; +[
Consquences : pour tous rels a et b strictement positifs :
ln

1
= ln b
b

ln

a
= ln a ln b
b

ln a p = p ln a (p )

ln

a=

1
ln a
2

Dmonstrations :
0 = ln 1 = ln (b
ln

1
1
1
) = ln b + ln d'o ln = ln b
b
b
b

a
1
1
= ln(a ) = ln a + ln = ln a ln b
b
b
b

Si p > 0 alors ln a p = ln (a a ... a) = ln a + ln a + ... + ln a = p ln a


Si p < 0 alors ln a p = ln

1
= ln ( a p ) = (p)ln a = p ln a
ap

La relation ln a p = p ln a sera tendue tout rel p au chapitre suivant.


ln a = ln

a a = ln

Fonction logarithme nperien

a + ln

a = 2 ln

a d'o ln

page 2

a=

1
ln a
2

G. COSTANTINI

III) tude de la fonction ln

1) Limites aux bornes de l'ensemble de dfinition ]0 ; +[


Thorme 2
lim ln x =

lim ln x = +

x +

x 0
x >0

Dmonstration :
tablissons, pour commencer, le deuxime rsultat :
p

Soit p un entier naturel. On a ln 2 = p ln 2. D'o lim ln 2 = lim p ln 2 = +.


p +

Soit x un nombre rel tel que x

p +

La reprsentation graphique
de ln admet donc une
asymptote verticale d'quation
x = 0 mais n'admet pas
d'asymptote horizontale.

2 . La fonction ln est strictement croissante, donc ln x

Passons la limite (thorme de compatibilit avec l'ordre si


lim ln x

x +

g alors lim

lim ln 2

ln 2 .

lim g) :

p +

Or, lim ln 2 = + donc lim ln x = +.


x +

p +

Le premier rsultat en dcoule simplement par changement de variable :


lim ln x = lim ln
x 0
x >0

x +

1
= lim ln x = .
x +
x

Thorme 3
La fonction ln est une bijection (strictement croissante) de ]0 ; +[ sur

Dmonstration :
La stricte croissance et la bijectivit ont dj t tablies. En outre, comme lim ln x = et lim ln x = + et
x 0
x >0

x +

comme la fonction ln est continue, elle prend toutes les valeurs intermdiaires entre et +. L'intervalle image
de ]0 ; +[ par la fonction ln est donc

2) Le nombre e
Puisque la fonction ln est une bijection de ]0 ; +[ dans

, pour tout rel l'quation ln x = admet une unique

solution dans ]0 + [.
Dfinition
On note e l'unique solution de l'quation ln x = 1. Ce nombre e s'appelle base du logarithme nprien.
On a donc ln e = 1. Le nombre e s'obtient avec une calculatrice avec la touche ex et x = 1. On obtient e

2,718...

Plus gnralement, ln e = p ln e = p, relation pratique pour la rsolution des quations :


ln(x + 3) = 9 pour x > 3
ln(x + 3) = ln e9
x + 3 = e9
x = e9 3

Fonction logarithme nperien

page 3

8100

G. COSTANTINI

3) Reprsentation graphique de la fonction ln

IV) Limites de rfrences

Lemme
La reprsentation graphique de la fonction ln est toujours situe sous la premire bissectrice (y = x) :
ln x < x pour tout x > 0
Dmonstration :
On considre la fonction dfinie sur I = ]0 ; +[ par (x) = x ln x. Sa drive ' est dfinie sur I par :
'(x) = 1

1 x 1
=
x
x

On a '(x) > 0 si et seulement si x > 1 d'o le tableau de variations de :


x 0

Signe de '

Variations de
1
La fonction admet un minimum m strictement positif en 1 : m = (1) = 1 ln 0 = 1.
Par consquent la fonction est strictement positive pour tout rel x positif, d'o le lemme.
x 1, pour tout x ]0 : +[. (Dmonstration analogue)

Remarque : on a mme : ln x

Exercice : dmontrer que, pour tout x ]0 ; +[, on a : x

x2
2

ln(1 + x)

x.

Thorme 4
lim

x +

ln x
=0
x

lim

x +

lim x ln x = 0

lim x ln x = 0 (n

x 0
x >0

x 0
x >0

lim

x1

Fonction logarithme nperien

ln x
= 0 (n
xn

)
*

ln x
=1
x 1

page 4

G. COSTANTINI

Dmonstration :
D'aprs le lemme, on peut crire, pour tout x > 0 : ln

x<

1
ln x <
2

Autre mthode : on compare avec une intgrale :


ln x =

0 < ln x < 2 x

Et pour x > 1, on a :

0<

x
1

D'o, pour x

1
dt
t
1:0

ln x
2
<
x
x

x
1

1
dt
t

ln x
x

2 x 2
2
2

x x

ln x
2
= 0, on a, d'aprs le thorme des gendarmes, lim
= 0.
x + x
x

Comme lim

x +

On en dduit, comme simple consquence que pour n


lim

x +

2:

ln x
ln x
1 ln x
1
= lim n1
= 0 car lim n1 = 0 et lim
= 0.
n
x
+
x
+
x
+
x
x
x
x
x







tablissons maintenant la limite suivante l'aide d'un changement de variable du type X =


lim x ln x = lim
x 0
x >0

X +

1
1
ln X
= lim
ln
= 0 d'aprs ce qui prcde.
X +
X
X
X

On en dduit, comme simple consquence que pour n


n

lim x ln x = lim x
x 0
x >0

1
:
x

n1

x 0
x >0

2:

x ln x = 0 car lim x
x 0
x >0

n1

= 0 et lim x ln x = 0.
x 0
x >0

Enfin, pour la dernire limite, on reconnat le l'accroissement moyen de la fonction ln en x0 = 1. La limite est
donc gale au nombre driv de la fonction ln en x0 soit

lim

x1

1
:
x0

ln x
ln x ln 1
1
= lim
= ln' 1 = = 1
x 1 x1 x 1
1

 

ln(1 + h)
1
Notons que cette limite peut s'crire sous d'autres formes : lim
= 1 ou lim x ln 1 +
= 1.
h 0
x +
h
x

Corollaire
Pour toute fonction polynme P de degr suprieur ou gal 1, on a : lim

x +

Dmonstration :
Soit n

le degr de P. Notons P(x) =

ln x
=0.
P( x)

a p x p (avec an 0)
p =0

Comme la limite en + d'une fonction polynme P est gale la limite de son terme de plus haut degr, nous
avons : lim

x +

ln x
ln x
ln x
= lim
= 0 puisque lim
= 0.
n
x
+
x
+
P( x)
an x
xn

Fonction logarithme nperien

page 5

G. COSTANTINI

Exemples :
tudier la limite suivante :

ln( x + 1)
x

lim

x +

Aucune limite du thorme 4 semble convenir pour une telle limite. Cependant, on sent bien un air de famille
avec la limite de

ln x
en +. L'ide consiste s'y ramener via l'artifice suivant puis un changement de
x

variable :
ln( x + 1)
ln( x + 1) x + 1
=

x
x +1
x
Or, lim

x +

x +1
ln( x + 1)
ln X
= 1 et lim
= lim
= 0 ... (On a juste pos X = x + 1 ainsi X +)
x
+
X
+
x
x +1
X

D'o, par produit, lim

x +

ln( x + 1)
=0
x

tudier la limite suivante :

En remarquant que x =

lim

ln x

x +

( x ) , nous avons :

ln x

x
2 ln x
x

En posant X = x (X +), nous obtenons :


lim

ln x

x +

2 ln x

= lim

x +

= lim 2
X +

ln X
=0
X

x ln x = 0

Par un raisonnement analogue, montrer que : lim +


x 0

IV) Drives et primitives

Thorme 5
Soit u une fonction strictement positive et drivable sur un intervalle I.
La fonction dfinie par ln u est drivable sur I et : (ln u)' =

u'
u

Dmonstration : consquence du thorme de drivation d'une fonction compose.


Thorme
Soit u une fonction drivable sur un intervalle I.
Une primitive de

u'
sur I est :
u

ln|u|

Dmonstration : on utilise le thorme prcdent en drivant ln|u|. On distinguera les intervalles o u > 0 de ceux
o u < 0.
Exemples :


2
1
x2 + 1
2x
 = ln(x + 1) ln x. On obtient : '(x) =
Driver sur ]0 ; +[ : (x) = ln 
.
2
x
x
x +1

Trouver une primitive F de la fonction inverse sur l'intervalle ] ; 0[ :


Solution : F(x) = ln(x). En effet F'(x) =

Fonction logarithme nperien

1
1
= .
x x

page 6

G. COSTANTINI

Trouver une primitive sur ]


; [ de la fonction tangente :
2 2

Posons (x) = tan x. On a (x) =

sin x
u'

=
avec u(x) = cos x > 0 sur ] ;
[. D'o une primitive de la
cos x
u
2 2

fonction tangente : F(x) = ln cos x.

Quelques thmes :
tudier et dterminer une primitive de la fonction dfinie sur ]0 ; +[ par (t) =

1
.
t ln t

tudier la fonction G dfinie sur ]1 ; +[ par G(t) = ln (ln t) et la fonction F dfinie sur ]0 ; 1[ ]1 ; +[ par
F(t) = ln |ln(t)|.
tudier la limite quand x tend vers + de ln x ln (ln x).
tudier les fonctions x

ln |x x 2 1 |.

Exemple d'quation transcendante admettant une racine vidente : on considre l'quation (E) : ln x =
Montrer que la fonction : x

ln x

e
.
x

e
est strictement croissante et prciser ses limites en 0 et en +. En
x

dduire que l'quation (E) admet une unique solution que l'on prcisera.

Fonction logarithme nperien

page 7

G. COSTANTINI