2/10
d'où ln
= lna – lnb
. Pour a = 1, on a : ln
= ln1 – lnb = - lnb
3- Logarithme d’un produit de nombres réels strictement positifs
Propriété :
Pour tous réels a1, a2, …, an de ] 0 ; + ∞ [,
ln ( a1 a2 … an ) = ln a1 + ln a2 + … + ln an
Démonstration :
. pour n = 2, la proposition est vraie : ln(a1a2) = lna1 + lna2, d'après la propriété fondamentale
. on suppose qu'il existe un rang k pour lequel la propriété est vraie :
hypothèse de récurrence : ln (a1a2…ak) = ln a1 + ln a2 + … + ln ak
Alors, ln (a1a2…ak+1) = ln ((a1a2…ak)ak+1) = ln (a1a2…ak) + ln ak+1, d'après la propriété précédente
D'où, ln (a1a2…ak+1) = (ln a1 + ln a2 + … + ln ak) + ln ak+1
Donc la propriété est démontrée au rang k + 1
. Les axiomes de récurrence permettent de conclure que pour tous réels a1, a2, …, an de ] 0 ; + ∞ [,
ln ( a1 a2 … an ) = ln a1 + ln a2 + … + ln an
Propriété :
Pour tout réel a de ] 0 ; + ∞ [, et tout entier relatif n, ln (an) = n ln a
Démonstration :
. dans le résultat précédent, lorsque a1 = a2 = … = an = a, on obtient : pour tout naturel n ≥ 1, pour tout a > 0, ln
an = n ln a
. et si n est strictement négatif, on écrit :
ln (an) = ln
= - ( ln a-n)
Or – n > 0 donc ln (a-n) = -n ln a, et ln (an) = n ln a
. si n = 0, ln an = ln a0 = ln 1 = 0 et n ln a = 0
ln a = 0
4- Logarithme d’une racine carrée
Propriété :
Pour tout réel a de ] 0 ; + ∞ [, ln
=
ln a
Démonstration :
a =
donc, d'après la propriété fondamentale, ln a = ln
+ ln
= 2 ln
d'où : ln
=
ln a
§ 3 Etude de la fonction logarithme