« Fonction logarithme/Définition du logarithme néperien » : différence entre les versions

Contenu supprimé Contenu ajouté
maintenance
Ligne 27 :
Lorsqu'on cherche une primitive de <math>x\mapsto\frac1x</math> comme on chercherait celle de <math>x\mapsto\frac1{x^2}</math>, on essaye <math>x\mapsto\frac1{x^0}</math> car l’exposant doit augmenter de 1 à la dérivation. Or, <math>\frac1{x^0}=\frac11=1</math>, donc sa dérivée est nulle...
On enpourrait conclutdémontrer que <math>x\mapsto\frac1x</math> n’a pas de primitive parmi les fonctions usuelles.
Pourtant, la fonction étant continue sur <math>\R^{+*}</math> , un théorème nous assure l’existence d’une primitive…