II Relation fonctionnelle :
Propriété 1 : relation fonctionnelle
Pour tous nombres réels x et y, exp(x + y) = exp(x)
exp(y)
Démonstration :
Soit y un nombre réel donné. Le nombre exp(y) est non nul.
On considère la fonction g définie sur par g(x) = exp(x + y)
exp(y)
La fonction x exp(x + y) est dérivable sur et a pour dérivée x 1
exp’(x + y)
Car la dérivée de f(ax + b) est a
f’(ax + b). Or exp’ = exp
Donc la fonction g est dérivable sur et pour tout nombre x,
g’(x) = exp’(x + y)
exp(y) = exp(x + y)
exp(y) = g(x)
De plus : g(0) = exp(0 + y)
exp(y) = exp(y)
exp(y) = 1.
La fonction g est donc telle que g’ = g et g(0) = 1 : c’est la fonction exponentielle.
Ainsi pour tout réel x, exp(x) = exp(x + y)
exp(y) , d’où : exp(x + y) = exp(x)
exp(y).
Propriété 2 :
(1) Pour tout réel x, exp(-x) = 1
exp(x)
(2) Pour tous réels x et y, exp(x – y) = exp(x)
exp(y)
(3) Pour tout réel x et pour tout entier relatif n, exp(nx)= [exp(x)]n
Démonstrations :
(1) C’est une conséquence du lemme de départ : exp(-x)
exp(x) = 1
exp(-x) = 1
exp(x)
(2) Pour tous réels x et y, exp(x – y) = exp(x + (-y)) = exp(x)
exp(-y).
Or pour tout réel y, exp(-y) = 1
exp(y)
Il en résulte que exp(x – y) = exp(x)
1
exp(y) = exp(x)
exp(y)
(3) Démontrons cette égalité par récurrence, avec n entier naturel.
o Initialisation : pour n = 0, exp(0
x) = exp(0) = 1 = [exp(x)]0, car exp(x)
0.
La propriété est donc vraie au rang 0.
o Hérédité : Supposons la propriété vraie au rang k, k
0,
c’est-à-dire exp(kx)= [exp(x)]k
exp[(k + 1)x] = exp(kx + x) = exp(kx)
exp(x) d’après la relation fonctionnelle
exp[(k + 1)x] = [exp(x)]k
exp(x) par hypothèse de récurrence
exp[(k + 1)x] = [exp(x)]k+1