La fonction exponentielle : théorèmes et définitions - Maxicours

La fonction exponentielle : théorèmes et définitions

Objectif
• Introduire une nouvelle fonction usuelle, la fonction exponentielle.
• Donner les premières propriétés de cette fonction.
Théorème que l’on aura besoin d’appliquer dans une démonstration de cette fiche :
Si f est une fonction dérivable sur , alors la fonction g : x → f(ax + b) est aussi dérivable sur et l’on dispose pour tout réel x de l’égalité : g’(x) = a × f ’(ax + b).
1. Théorème d'existence et définition
Avant de définir la fonction exponentielle, on a besoin d’un « petit » théorème que l’on appelle généralement un lemme.

Lemme
Si f est une fonction dérivable sur telle que f ’ = f et f(0) = 1, alors f ne s’annule pas sur .

Démonstration
On doit démontrer pour tout réel x, f(x) ≠ 0, sachant que l’on dispose des propositions :
(f est dérivable sur ) et (sur , f ’ = f) et (f(0) = 1).

Le raisonnement pour y parvenir est vraiment très particulier.

En effet, on va poser pour tout réel x, et l’on va démontrer que , autrement dit que le produit de f(x) par f(-x) n’est pas nul, donc f(x) ≠ 0.

f est dérivable sur donc d’après le préambule, x → f(-x) l’est aussi ; est donc dérivable sur comme produit de deux fonctions dérivables.

Pour tout réel x, on a : .

Or, ici pour tout réel t, f ’(t) = f(t), donc f ’(x) = f(x) et f ’(-x) = f(-x),

donc .

Si , alors nécessairement , où C est une constante réelle.
Mais f(0) = 1, donc et ainsi .

On a bien pour tout réel x, f(x) × f(-x) = 1 et donc f(x) ≠ 0.

Théorème d’existence et définition
Il existe une UNIQUE fonction f définie et dérivable sur vérifiant les deux propositions : f ’ = f et f(0) = 1.
Cette unique fonction s’appelle la fonction exponentielle et on la note exp.
Autrement dit, exp est l’unique fonction définie et dérivable sur telle que pour tout réel x, exp ’(x) = exp(x) et exp(0) = 1.

Conformément au programme, l’existence d’une telle fonction est admise mais l’on démontre l’unicité.
Pour cela, on utilise un raisonnement par l’absurde.

On doit démontrer que la proposition P : (exp est unique) est vraie.
On suppose que (NON P) est vraie, c’est-à-dire que (exp n’est pas unique), c’est-à-dire qu’il existe une fonction g définie et dérivable sur telle que :
pour tout réel x, g’(x) = g(x) et g(0) = 1 et g ≠ exp.

On cherche alors une proposition contradictoire, c’est à-dire à la fois vraie et fausse.
Soit x un réel.
On a :
g est dérivable sur (comme dans le lemme) et on montre (toujours comme dans le lemme) que g(x) × g(-x) = 1 donc que g(x) ≠ 0.

On pose : .

Q est dérivable sur et ,

puisque exp’ = exp et g’ = g.
Donc Q’(x) = 0 et donc Q(x) = C où C est une constante.

Mais , donc C = 1 et g(x) = exp(x) et ainsi g ≠ exp est une proposition fausse.

Finalement la proposition (g ≠ exp) est à la fois vraie et fausse, elle est donc contradictoire, ce qui est impossible. La proposition (NON P) supposée vraie est donc fausse, c’est-à-dire que la proposition P est vraie.

Théorème 1
Pour tout réel x, .

La démonstration est une conséquence de la proposition : pour tout réel x, exp(x).exp(-x) = 1.
2. Relation fonctionnelle, théorèmes et nouvelle notation
Théorème 2 : appelé relation fonctionnelle de exp
Pour tout couple (a ; b) de réels, on dispose de l’égalité : exp(a + b) = exp(a).exp(b).

Démonstration
Soit b un réel fixe. On sait alors que : exp(b) ≠ 0.

On pose pour tout réel x, on pose .

x → exp(x + b) est dérivable sur (préambule) donc P l’est aussi (théorème opératoire du quotient).

,

puisque exp’ = exp.

Ainsi P’(x) = 0, donc P(x) = C, où C est une constante.

Or, , donc C = exp(b).

Ainsi, P(x) = exp(b), soit , ou encore exp(x + b) = exp(x) × exp(b).

Pour x = a, on a bien exp(a + b) = exp(a) × exp(b).

Remarque
On dit que la fonction exp transforme les produits en sommes.

Théorème 3
Pour tout réel x, exp(x) > 0.

Démonstration
Soit x un réel.
On a :
,

puisqu’un carré est toujours positif ou nul et que pour tout réel t exp(t) ≠ 0.

Théorème 4
Pour tout couple (a ; b) de réels, on dispose des propositions suivantes :

(P1) : .

(P2) : pour tout entier relatif n, exp(na) = (exp(a))n.

Démonstration
• Pour (P1), on a : .

• Pour (P2) : la démonstration du cas n est un entier naturel, se démontre à l’aide d’un raisonnement par récurrence, que l’on ne fait pas ici.

Pour le cas où n est un entier non naturel (donc négatif), on a :

; or n < 0, donc –n est un entier naturel.

On a donc : exp(-na) = exp(a)-n.

, d’après une propriété usuelle sur les puissances entières.


Une nouvelle notation
L’image du nombre 1 par la fonction exponentielle, à savoir le nombre exp(1), se note plus simplement e.
2,718 est une valeur approchée de e.
Cette notation est due au formidable mathématicien suisse Leonard EULER.

Ainsi, pour tout entier relatif n, exp(n) = exp(n×1) = (exp(1))n = (e)n = en.
Cette notation pour les entiers relatifs se généralise pour tous les réels x.

Ainsi pour tout réel x et pour tout couple (a ; b) de réels, on dispose des propositions suivantes :

• (ex)’ = ex et e0 = 1



• ex > 0

• ea + b = ea × eb



• Pour tout entier relatif n, ena = (ea)n.


Vous avez déjà mis une note à ce cours.

Découvrez les autres cours offerts par Maxicours !

Découvrez Maxicours

Comment as-tu trouvé ce cours ?

Évalue ce cours !

 

quote blanc icon

Découvrez Maxicours

Exerce toi en t’abonnant

Des profs en ligne

  • 6 j/7 de 17 h à 20 h
  • Par chat, audio, vidéo
  • Sur les matières principales

Des ressources riches

  • Fiches, vidéos de cours
  • Exercices & corrigés
  • Modules de révisions Bac et Brevet

Des outils ludiques

  • Coach virtuel
  • Quiz interactifs
  • Planning de révision

Des tableaux de bord

  • Suivi de la progression
  • Score d’assiduité
  • Un compte Parent

Inscrivez-vous à notre newsletter !

Votre adresse e-mail sera exclusivement utilisée pour vous envoyer notre newsletter. Vous pourrez vous désinscrire à tout moment, à travers le lien de désinscription présent dans chaque newsletter. Conformément à la Loi Informatique et Libertés n°78-17 du 6 janvier 1978 modifiée, au RGPD n°2016/679 et à la Loi pour une République numérique du 7 octobre 2016, vous disposez du droit d’accès, de rectification, de limitation, d’opposition, de suppression, du droit à la portabilité de vos données, de transmettre des directives sur leur sort en cas de décès. Vous pouvez exercer ces droits en adressant un mail à : contact-donnees@sejer.fr. Vous avez la possibilité de former une réclamation auprès de l’autorité compétente. En savoir plus sur notre politique de confidentialité