PanaMaths [1-4] Décembre 2007
Synthèse de cours (Terminale ES)
Æ La fonction logarithme népérien
Définition et premières propriétés
Définition
La fonction logarithme népérien, notée « ln » est la primitive définie sur
[
0,+∞ et s’annulant
pour 1
= de la fonction 1
x
6.
Premières propriétés (directement liées à la définition)
• La fonction logarithme népérien est définie sur
0,
∞ ;
• ln1 0= ;
• ln est dérivable sur
[
0,+∞ et pour tout réel x de
0,
∞, on a :
()
1
ln' x
= ;
• La fonction ln est strictement croissante sur
0,
∞. Il en découle :
o Pour tout réel x de
0,1 , on a : ln 0x
;
o Pour tout réel x de
1,
∞, on a : ln 0x> ;
o Pour tous réels x et y de
0,
∞, on a : ln ln
y
équivaut à :
y= ;
o Pour tous réels x et y de
0,
∞, on a : ln ln
y> équivaut à :
y>.
Propriété fondamentale : logarithme népérien d’un produit
Logarithme népérien d’un produit
Pour tous réels x et y de
[
0,+∞ :
)
ln ln ln
yxy=+
Conséquences de la propriété fondamentale
• Pour tout réel x de
[
0,+∞ , on a : 1
ln ln
x
⎛⎞
=−
⎜⎟
⎝⎠ ;
• Pour tous réels x et y de
0,+∞ , on a : ln ln ln
x
y
y
⎛⎞
=−
⎜⎟
⎝⎠ ;