« Discussion:Fonction exponentielle/Propriétés algébriques de l'exponentielle » : différence entre les versions

On peut éviter le recours au log. On a pris pour definition : l'unique fonction dérivable sur R vérifiant le systemesystème 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>...{{non signé|83.152.37.242}}