« Fonction exponentielle/Étude de la fonction exponentielle » : différence entre les versions
Contenu supprimé Contenu ajouté
→Tangente remarquable : +courbe au-dessus |
la dérivabilité de exp définie comme bij réciproque de log est nécessairement admise, et le th qui le montrerait donnerait du même coup exp'=exp |
||
Ligne 9 :
== Dérivée de la fonction exponentielle ==
{{Propriété|titre=Rappel
| contenu=La dérivée de la fonction <math>
:<math> Cette propriété est inhérente à la définition de <math>\exp</math> comme solution d'une équation différentielle (chap. 1). Nous avons admis (chap. 2) que cette définition de <math>\exp</math> est équivalente à celle à partir du logarithme.
== Variations de la fonction exponentielle ==
Ligne 27 ⟶ 20 :
| contenu =
Pour tout <math>x\in\R,~\exp(x)>0</math>}}
{{Démonstration déroulante|contenu=
|