1 Construction de la fonction logarithme n´ep´erien
Historiquement la fonction logarithme n´ep´erien a ´et´e introduite au XVIe
si`ecle par Neper afin de simplifier les calculs astronomiques. En particulier
la probl´ematique ´etait de rechercher une fonction transformant les multipli-
cations en additions (source : document d’accompagnement des programmes
de terminale STG).
On cherche une fonction donc une fonction fqui v´erifie f(ax) = f(a) +
f(x) pour tous les r´eels strictement positifs aet x.
Propri´et´e :
Soit fest une fonction d´erivable sur Rv´erifiant : pour tous r´eels aet x
strictement positifs, f(ax) = f(a) + f(x), alors f0(x) = k
xo`u kest un
nombre r´eel.
Preuve :
On suppose dans un premier temps qu’une telle fonction fexiste. Alors
f(1) = f(1 ×1) = f(1) + f(1) donc f(1) = 2f(1) d’o`u f(1) = 0. D’autre
part, soit a > 0, pour tous les r´eels x > 0, on a f(ax) = f(a) + f(x) d’o`u en
d´erivant af0(ax) = f0(x) et pour x= 1 on obtient af0(a) = f0(1) donc
f0(a) = f0(1)
a. D’o`u pour tous les r´eels x > 0, f0(x) = f0(1)
x. Choisissons
f0(1) = ko`u kest un r´eel quelconque puisqu’aucune contrainte ne semble
fixer f0(1). On a donc f0(x) = 1
xpour tout r´eel x > 0.
Propri´et´e et d´efinition :
Il existe une unique fonction not´ee ln d´efinie et d´erivable sur ]0; +∞[
dont l´e d´eriv´ee est ln0(x) = 1
xet ln(1) = 0. Cette fonction est appel´ee
fonction logarithme n´ep´erien.
2 Propri´et´es alg´ebriques
Propri´et´e :
Pour tous les r´eels aet bstrictement positifs, ln(ab) = ln(a) + ln(b).
2