« Discussion:Fonction exponentielle/Propriétés algébriques de l'exponentielle » : différence entre les versions
Contenu supprimé Contenu ajouté
Nouvelle page : On peut éviter le recours au log. On a pris pour definition : l'unique fonction dérivable sur R vérifiant le systeme de Cauchy f'=f et f(0)=1 : On fixe b et on derive f : x--> exp... |
Aucun résumé des modifications |
||
Ligne 1 :
On peut éviter le recours au log. On a pris pour definition : l'unique fonction dérivable sur R vérifiant le systeme de Cauchy f'=f et f(0)=1 : On fixe b et on derive f : x--> exp(x+b)/exp(b), on tombe sur f, et f(0)=1 donc f=exp, on évalue en a. Si on ne dispose pas de l'unicité dans Cauchy-Lipschitz, faut justifier que <math>e^b \neq 0</math>...
|