Fonction logarithme/Propriétés algébriques du logarithme
Une page de Wikiversité.
| Chapitre 2 | |||
| Leçon : Fonction logarithme | |||
|---|---|---|---|
| Chap. préc. : | Définition du logarithme néperien | ||
| Chap. suiv. : | Étude de la fonction logarithme népérien | ||
En raison de limitations techniques, la typographie souhaitable du titre, « Fonction logarithme : Propriétés algébriques du logarithme
Fonction logarithme/Propriétés algébriques du logarithme », n'a pu être restituée correctement ci-dessus.
[modifier] Exemple
Calculer séparément à la calculatrice :
[modifier] Propriété fondamentale du logarithme népérien
En s’inspirant de l'exemple, on peut remarquer la propriété algébrique (c’est-à-dire calculatoire) fondamentale du logarithme.
|
Théorème |
|
Pour tous nombres réels strictement positifs a et b, on a : ![]() |
Démonstration
Soit 
Pour tout 
donc pour tout 
Pour x=1, on obtient 
Donc la constante vaut ln(a).
Finalement, pour tout
, cqfd.
[modifier] Conséquences
|
Théorème |
|
Soient a et b deux réels strictement positifs :
|



![a\in ]0 : + \infty[~;~b\in ]0 : + \infty[](http://upload.wikimedia.org/math/5/c/b/5cbfdf1fc1a12ef6d69c9bfd2f25d597.png)

