Démontrons les propriétés suivantes :

1. Pour tout réel x, exp( x)  exp(  x)  1 .

On pose h( x)  exp( x)  exp( x) .

a. Calculons la dérivée h '( x) .

On pose :
u ( x)  exp( x) donc u '( x)  exp( x ). Justifier cette conclusion.
v( x)  exp( x) donc v '( x)   exp( x ). Justifier.
Ainsi,
h '( x)  u '( x)v( x)  v '( x)u ( x)
 exp( x) exp( x)  exp( x) exp( x)
h '( x)  0
b. Que peut-on dire de la fonction h ? (sachant que sa dérivée est nulle ?)
c. Or h(0)  exp(0)  exp(0)  1 1  1
Comme h est une fonction constante alors pour tout réel x , h( x)  1 .
Cela veut dire que pour tout réel x, exp( x)  exp(  x)  1 .
1
2. Pour tout réel x, exp( x)  .
exp( x)
Cette propriété est une conséquence évidente de la 1ère propriété ci – dessus.
3. Relation fonctionnelle : Pour tous réels x et y, exp( x  y )  exp( x)  exp( y ) .
Pour un réel quelconque y , on pose pour tout réel x, h( x)  exp( x  y )  exp( x) .
a. Calculer la dérivée h '( x) .
b. En déduire que h est une fonction constante.
c. Calculer h (0) et conclure.
exp( x)
4. Pour tous réels x et y, exp( x  y )  .
exp( y )
On écrit exp( x  y)  exp  x  ( y)  , puis on applique la relation fonctionnelle et la
propriété 2 ci – dessus.
5. Pour tout réel x et tout entier n,exp(nx)   exp( x)  .
n

Considérons la suite  un  définie par un  exp(nx), où x est un réel donné. On a :

un 1  exp  (n  1) x 
 exp(nx  x)
 exp(nx)  exp( x)
un 1  un  exp( x)
Ainsi  un  est une suite géométrique de raison exp( x) et de 1er terme u0  1 .
Donc, pour tout entier naturel n , un   exp( x)  .
n

D’où exp(nx)   exp( x)  . On admet que c’est vrai pour tout entier n .
n