2° Propriété
La fonction exponentielle est strictement positive sur I; R.
Démonstration
On démontre maintenant, par l'absurde, que la fonction exp est strictement positive.
Supposons que la fonction exp ne soit pas strictement positive.
exp strictement positive signifie que, pour tout réel x, exp(x) >0
exp non strictement positive signifie qu'il existe un réel x, tel que exp(x)
0.
Supposons donc qu'il existe un réel x0 tel que exp(x0)
0.
On a alors exp(x0)
0 < exp(0).
Comme la fonction exp est dérivable sur I; R, elle est continue sur I; R.
On peut donc appliquer le théorème des valeurs intermédiaires sur l'intervalle de bornes x0 et 0 ([0 ; x0] ou [x0 ; 0])
à la fonction exp : il existe donc une solution à l'équation exp(x) = 0 dans l'intervalle [0 ; x0] (ou [x0 ; 0]).
Ceci est impossible puisqu'on a démontré que exp ne s'annule jamais sur I; R.
Donc il n'existe pas de réel x0 tel que exp(x0)
0 c'est à dire que pour tout réel x, exp(x) > 0
Remarque : si f est continue sur un intervalle I et si f ne s'annule pas sur cet intervalle alors f garde un signe
constant sur l'intervalle I.
3° Propriété ("caractéristique" de la fonction exp)
Pour tous nombres réels a et b, exp (a + b) = exp(a)
exp(b).
Remarque On a vu que pour tout réel x exp(x)
exp(– x) = 1 = exp(x + (– x))
Démonstration
Soit la fonction g définie sur I; R par g(x) = exp(a+ b – x)
exp(x) où a et b sont des nombres réels.
g est dérivable sur l'intervalle I; R, et on a pour tout réel x :
g '(x) = – exp(a + b – x)
exp (x) + exp(a + b – x)
exp '(x) = 0
car exp '(x) = exp(x)
La fonction g est donc constante sur l'intervalle I; R
g(b) = exp (a + b – a)
exp (b) = exp(a)
exp(b)
g(0) = exp(a + b – 0)
exp (0) = exp(a + b)
Donc, pour tout réel b, g(b) = g(0) c'est à dire : exp(a)
exp(b) = exp (a + b)
La propriété est "caractéristique" de la fonction exp
caractérise la fonction exp.
C'est à dire que si une fonction f vérifie
.
alors cette fonction est la fonction exp.
Démonstration Soit f une fonction vérifiant
Pour tout réel a, f(a + 0) = f(a)
f(0) donc pour tout réel a : f(a) (1 – f(0)) = 0
On sait que f '(0)
0, on peut dire que la fonction f n'est pas constante sur I et donc qu'il existe un réel a tel que
f(a)
0. On peut donc conclure que f(0) = 1
Pour tout réel a on pose ga la fonction définie sur I; R par : ga(x) = f(a + x) = f(a)
f(x).
ga est la composée de deux fonctions dérivables sur I; R elle est donc dérivable sur I; R
on peut alors calculer la fonction dérivable de g de deux manières différentes
En utilisant l'égalité : ga(x) = f(a + x)
Pour tout réel x on a donc :
Pour tout réel x on a ga(x) = f(a + x) donc ga '(x) = f '(a + x)
(x + a)'
En utilisant l'égalité : ga(x) = f(a)
f(x)
Pour tout réel x on a :ga(x) = f(a)
f(x) donc ga '(x) = f(a)
f '(x)
En comparant les deux calculs on peut dire que :
Pour tout réel x f '(a + x) = f (a)
f '(x).
Pour x = 0 on obtient (pour tout réel a): f '(a + 0) = f(a)
f '(0) c'est à dire f '(a) = f(a) (car f '(0) = 1)
On peut dire que pour tout réel a, f '(a) = f(a)? f vérifie donc : { f(0) = 1;f ' = f c'est donc la fonction exp