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 la fonction ln est drivable sur ]0 ; +[ et (ln x)' =

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

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 1 +
0 +

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) 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) Rsoudre l'quation ln(2x + 1) = ln(3 x).

et

g(x) = ln(x x 2) 4 telle que F(1) = 2. x

0.

II) Thorme fondamental

Thorme 1 Pour tous rels a et b strictement positifs : ln(ab) = ln a + ln b

(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 constante c : G(x) = ln x + 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

a + ln

a = 2 ln

a d'o ln

a=

1 ln a 2

Fonction logarithme nperien

page 2

G. COSTANTINI

III) tude de la fonction ln

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

lim ln x =
x 0 x >0

x +

lim ln x = +

Dmonstration : tablissons, pour commencer, le deuxime rsultat : Soit p un entier naturel. On a ln 2 = p ln 2. D'o lim ln 2 = lim p ln 2 = +.
p + p +
p p

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

Soit x un nombre rel tel que x

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

g alors lim
p

ln 2 .

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

x +

lim g) :

lim ln x

p +

lim ln 2

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

p + x +

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 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.

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

On a donc ln e = 1. Le nombre e s'obtient avec une calculatrice avec la touche ex et x = 1. On obtient e 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

2,718...

x = e9 3

8100

Fonction logarithme nperien

page 3

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. Remarque : on a mme : ln x
x 1, pour tout x ]0 : +[. (Dmonstration analogue)

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

x2 2

ln(1 + x)

x.

Thorme 4
x +

lim

ln x =0 x

x +

lim

ln x = 0 (n xn
n

)
*

lim x ln x = 0
x 0 x >0

lim x ln x = 0 (n
x 0 x >0

lim

x1

ln x =1 x 1

Fonction logarithme nperien

page 4

G. COSTANTINI

Dmonstration : D'aprs le lemme, on peut crire, pour tout x > 0 : ln x< x x Autre mthode : on compare avec une intgrale : ln x =

1 ln x < 2 Et pour x > 1, on a :

0 < ln x < 2 x 0< ln x 2 < x x

D'o, pour x

1:0

Comme lim

x +

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

On en dduit, comme simple consquence que pour n

x +

lim

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 1 : 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 2:

n1

On en dduit, comme simple consquence que pour n lim x ln x = lim x

x 0 x >0 x 0 x >0
n n1

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

= 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 1 : x0

lim

Notons que cette limite peut s'crire sous d'autres formes : lim

h 0

ln(1 + h) 1 = 1 ou lim x ln 1 + = 1. x + h x

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

x +

ln x =0. P( x)

Soit n

le degr de P. Notons P(x) =

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. x + a x n x + x n P( x) n

Fonction logarithme nperien

Dmonstration :

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

page 5

x1

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

1 dt t

x
1

1 dt t

2 x 2 2 2 x x

ln x x

G. COSTANTINI

Exemples : tudier la limite suivante :

x +

lim

ln( x + 1) x

Aucune limite du thorme 4 semble convenir pour une telle limite. Cependant, on sent bien un air de famille avec la limite de variable : ln( x + 1) ln( x + 1) x + 1 = x x +1 x Or, lim
x +

ln x en +. L'ide consiste s'y ramener via l'artifice suivant puis un changement de 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

x +

D'o, par produit, lim tudier la limite suivante :

ln( x + 1) =0 x
x +

lim

ln x
x
2 ln x x

En remarquant que x =

( x ) , nous avons :
2

ln x

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

x +

= lim

2 ln x x

x +

= lim 2
X +

ln X =0 X

Par un raisonnement analogue, montrer que : lim +

x 0

x ln 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 :

Driver sur ]0 ; +[ : (x) = ln

2 1 x2 + 1 2x = ln(x + 1) ln x. On obtient : '(x) = 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) = 1 1 = . x x

Fonction logarithme nperien

page 6

G. COSTANTINI

 Trouver une primitive sur ]

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

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

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

e . x

ln 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