2LA FONCTION EXPONENTIELLE
4) Imaginez alors, à l’aide d’un tableur, une construction point par point de la représentation graphique d’une
approximation de fsur l’intervalle [−2,2].
5) Montrez que f(1) '1 + 1
nn
et calculez la valeur approchée correspondante de f(1) pour n= 10 000.
Pensez-vous que « 1∞» soit une forme indéterminée?
A-3 : Analyse : étude des propriétés mathématiques d’une solution
Soit fkune fonction dérivable sur IR vérifiant fk(0) = 1 et, pour tout x,f0
k(x) = k fk(x), avec k6= 0.
1) Montrez que f0
k(0) = k.
2) Soit aun réel fixé et gala fonction définie par
ga(x) = fk(x+a)fk(−x)
a) Montrez que gaest dérivable sur IR et calculez g0
a(x).
b) Calculez ga(0) et déduisez-en que pour tous xet aréels,
fk(x+a)fk(−x) = fk(a) (1)
3) Montrez alors successivement que
a) pour tout réel x,fk(x)fk(−x) = 1
b) fkne s’annule pas sur IR
c) pour tous réels xet a
fk(x+a) = fk(x)fk(a)
A-4 : Unicité de la fonction solution
Peut-on trouver une autre fonction, gk, distincte de fk, et vérifiant les mêmes propriétés que fk, à savoir : gkest
une fonction dérivable sur IR, vérifiant gk(0) = 1 et, pour tout x,g0
k(x) = k gk(x), avec k6= 0?
Comme fkne s’annule pas sur IR, on peut définir la fonction ϕk=gk/fk.
Vérifiez que ϕkest dérivable sur IR, calculez sa dérivée. Que peut-on en déduire pour ϕk? Montrez alors que
fk=gk.
A-5 : Synthèse
Nous avons cherché des solutions au problème
fkune fonction dérivable sur IR vérifiant fk(0) = 1 et, pour tout x,f0
k(x) = k fk(x), avec k6= 0.
Nous avons montré que, si une telle fonction existe (ce que nous prouverons dans un prochain chapitre), alors elle
est unique et elle vérifie nécessairement la relation
f(x+y) = f(x)f(y) (2)
Il reste à vérifier que, réciproquement, une fonction dérivable, non nulle, vérifiant la relation (2) est nécessairement
telle que f(0) = 1 et vérifie pour tout réel x f0(x) = kf(x), avec kun réel non nul.
Cette vérification n’est pas anodine et conclut notre raisonnement d’analyse-synthèse.
1) Montrez que fne s’annule pas et que fest à valeurs strictement positives.