Aller au contenu

Fonction exponentielle Première : définition, propriétés et modèles

Niveau
Première
Thème
Algèbre
Type
Cours
Lecture
9 min

La fonction exponentielle est l'unique fonction ff dérivable sur R\mathbb R telle que f′=ff'=f et f(0)=1f(0)=1. On la note exp⁡\exp et on écrit exp⁡(x)=ex\exp(x)=e^x, avec e=exp⁡(1)≈2,718e=\exp(1)\approx2{,}718. Elle transforme les sommes en produits (ea+b=ea×ebe^{a+b}=e^a\times e^b), elle est strictement positive et strictement croissante, et la dérivée de t↦ektt\mapsto e^{kt} est t↦k ektt\mapsto k\,e^{kt}.

Exemple : e3×e−1=e3+(−1)=e2e^3\times e^{-1}=e^{3+(-1)}=e^2, et la fonction f(t)=5e0,2tf(t)=5e^{0{,}2t} a pour dérivée f′(t)=5×0,2 e0,2t=e0,2tf'(t)=5\times0{,}2\,e^{0{,}2t}=e^{0{,}2t}, qui est strictement positive : ff est croissante.

Vous saurez ensuite simplifier, résoudre, dériver et modéliser avec l'exponentielle. Prérequis : la dérivation en Première, en particulier la dérivée de g(ax+b)g(ax+b), et les règles de calcul sur les puissances.

Sommaire11 parties

Définition de la fonction exponentielle

Fonction exponentielle

Il existe une unique fonction ff dérivable sur R\mathbb R telle que

f′=fetf(0)=1.f'=f\qquad\text{et}\qquad f(0)=1.

Cette fonction est appelée fonction exponentielle et notée exp⁡\exp. L'existence est admise ; l'unicité est démontrée en fin de page.

La définition dit deux choses : en tout point, la pente de la tangente est égale à l'ordonnée du point (exp⁡′(x)=exp⁡(x)\exp'(x)=\exp(x)), et la courbe passe par (0 ;1)(0\,;1).

Exemple 1 : tangente en 0

exp⁡(0)=1\exp(0)=1 et exp⁡′(0)=exp⁡(0)=1\exp'(0)=\exp(0)=1. La tangente à la courbe au point d'abscisse 0 a donc pour équation y=1×(x−0)+1y=1\times(x-0)+1, soit y=x+1y=x+1.

Par approximation affine, pour hh proche de 0 : eh≈1+he^h\approx1+h. Par exemple e0,01≈1,01e^{0{,}01}\approx1{,}01 (la calculatrice donne 1,01005…1{,}01005\ldots).

Propriétés algébriques de l’exponentielle

Relation fonctionnelle et conséquences

Pour tous réels aa et bb et tout entier relatif nn :

exp⁡(a+b)=exp⁡(a)×exp⁡(b)exp⁡(−a)=1exp⁡(a)exp⁡(a−b)=exp⁡(a)exp⁡(b)exp⁡(na)=(exp⁡(a))n\begin{aligned}\exp(a+b)&=\exp(a)\times\exp(b)\\ \exp(-a)&=\frac{1}{\exp(a)}\\ \exp(a-b)&=\frac{\exp(a)}{\exp(b)}\\ \exp(na)&=\big(\exp(a)\big)^n\end{aligned}

En particulier, exp⁡(a)×exp⁡(−a)=exp⁡(0)=1\exp(a)\times\exp(-a)=\exp(0)=1 : l'exponentielle ne s'annule jamais.

Ces règles se déduisent toutes de la première. Par exemple exp⁡(a)×exp⁡(−a)=exp⁡(a−a)=1\exp(a)\times\exp(-a)=\exp(a-a)=1 donne la deuxième. La quatrième s'obtient en répétant la première : exp⁡(2a)=exp⁡(a+a)=exp⁡(a)2\exp(2a)=\exp(a+a)=\exp(a)^2, exp⁡(3a)=exp⁡(2a)exp⁡(a)=exp⁡(a)3\exp(3a)=\exp(2a)\exp(a)=\exp(a)^3, et ainsi de suite pour n≥1n\geq1. Pour n=0n=0, les deux membres valent 1. Pour nn négatif, −n≥1-n\geq1 et exp⁡(na)=1exp⁡(−na)=1exp⁡(a)−n=exp⁡(a)n\exp(na)=\dfrac1{\exp(-na)}=\dfrac1{\exp(a)^{-n}}=\exp(a)^n.

Le nombre e et la notation exponentielle

Le nombre e

On note e=exp⁡(1)e=\exp(1). Une valeur approchée est e≈2,71828e\approx2{,}71828.

Avec a=1a=1, la dernière propriété donne exp⁡(n)=exp⁡(1)n=en\exp(n)=\exp(1)^n=e^n pour tout entier nn. On prolonge cette écriture à tous les réels : on note exp⁡(x)=ex\exp(x)=e^x. Les règles de calcul ressemblent alors à celles des puissances :

PuissancesExponentielle
am×ap=am+pa^{m}\times a^{p}=a^{m+p}ex×ey=ex+ye^x\times e^y=e^{x+y}
a−m=1ama^{-m}=\dfrac1{a^m}e−x=1exe^{-x}=\dfrac1{e^x}
amap=am−p\dfrac{a^m}{a^p}=a^{m-p}exey=ex−y\dfrac{e^x}{e^y}=e^{x-y}
(am)p=amp(a^m)^p=a^{mp}(ex)n=enx(e^x)^n=e^{nx}

On a aussi e0=1e^0=1, e1=ee^1=e et (ex/2)2=ex\left(e^{x/2}\right)^2=e^x, donc e1/2=ee^{1/2}=\sqrt e (car e1/2>0e^{1/2}\gt 0).

Exemple 2 : simplifier des expressions

Pour tout réel xx :

A=e2x+1×e−x+3=e2x+1−x+3=ex+4B=(ex)3ex−2=e3xex−2=e3x−(x−2)=e2x+2C=ex(ex+e−x)=e2x+e0=e2x+1D=(ex+e−x)2=e2x+2+e−2x\begin{aligned}A&=e^{2x+1}\times e^{-x+3}\\&=e^{2x+1-x+3}=e^{x+4}\\ B&=\frac{(e^x)^3}{e^{x-2}}=\frac{e^{3x}}{e^{x-2}}\\&=e^{3x-(x-2)}=e^{2x+2}\\ C&=e^x\left(e^x+e^{-x}\right)\\&=e^{2x}+e^0=e^{2x}+1\\ D&=\left(e^x+e^{-x}\right)^2\\&=e^{2x}+2+e^{-2x}\end{aligned}

Pour DD, le double produit vaut 2 exe−x=2e0=22\,e^x e^{-x}=2e^0=2.

Exemple 3 : démontrer une égalité

Montrons que, pour tout réel xx, exex+1=11+e−x\dfrac{e^x}{e^x+1}=\dfrac1{1+e^{-x}}. On multiplie numérateur et dénominateur du membre de gauche par e−xe^{-x}, qui n'est pas nul :

exex+1=ex×e−x(ex+1)×e−x=11+e−x.\begin{aligned}\frac{e^x}{e^x+1}&=\frac{e^x\times e^{-x}}{(e^x+1)\times e^{-x}}\\&=\frac{1}{1+e^{-x}}.\end{aligned}

Signe, sens de variation et courbe

Positivité et stricte croissance

Pour tout réel xx, ex>0e^x\gt 0. La fonction exponentielle est strictement croissante sur R\mathbb R.

La croissance vient de la définition : exp⁡′(x)=exp⁡(x)>0\exp'(x)=\exp(x)\gt 0 pour tout xx. La courbe est entièrement au-dessus de l'axe des abscisses, passe par (0 ;1)(0\,;1) et (1 ;e)(1\,;e), et monte de plus en plus vite : plus la courbe est haute, plus sa pente est grande.

xx−∞-\infty00+∞+\infty
exp⁡′(x)\exp'(x)++++
exe^x↗\nearrow11↗\nearrow
Courbe de la fonction exponentielle
La fonction exponentielle reste positive, passe par le point (0,1) et sa croissance accélère.

Comparer, résoudre des équations et des inéquations

Comme exp⁡\exp est strictement croissante, pour tous réels aa et bb :

ea=eb  ⟺  a=bea<eb  ⟺  a<b\begin{aligned}e^a=e^b&\iff a=b\\ e^a\lt e^b&\iff a\lt b\end{aligned}

En particulier ex>1  ⟺  x>0e^x\gt 1\iff x\gt 0, et ex<1  ⟺  x<0e^x\lt 1\iff x\lt 0.

Condition d’utilisation

Ces équivalences comparent deux exponentielles. Une équation comme ex=3e^x=3 ne se résout pas ainsi en Première (il faudra le logarithme en Terminale) : on se contente d'un encadrement à la calculatrice. Une équation eu=ke^{u}=k avec k≤0k\leq0 n'a jamais de solution.

Exemple 4 : équations

  • e3x−1=ex+5  ⟺  3x−1=x+5  ⟺  x=3e^{3x-1}=e^{x+5}\iff3x-1=x+5\iff x=3. S={3}S=\{3\}.
  • ex2=e4x−3  ⟺  x2−4x+3=0e^{x^2}=e^{4x-3}\iff x^2-4x+3=0. Racine évidente 1, produit des racines 3 : S={1 ;3}S=\{1\,;3\}.
  • e2x=−1e^{2x}=-1 n'a aucune solution, puisque e2x>0e^{2x}\gt 0. S=∅S=\varnothing.

Exemple 5 : inéquations

  • e2x<e1−x  ⟺  2x<1−x  ⟺  x<13e^{2x}\lt e^{1-x}\iff2x\lt 1-x\iff x\lt \frac13. S=]−∞ ;13[S=\mathopen{]}-\infty\,;\tfrac13\mathclose{[}.
  • ex2−x≤e2  ⟺  x2−x−2≤0e^{x^2-x}\leq e^2\iff x^2-x-2\leq0. Les racines de x2−x−2x^2-x-2 sont −1-1 et 22, et ce trinôme est négatif entre ses racines : S=[−1 ;2]S=[-1\,;2].
  • (x−3)ex>0  ⟺  x−3>0(x-3)e^x\gt 0\iff x-3\gt 0, car ex>0e^x\gt 0 ne change pas le signe. S=]3 ;+∞[S=\mathopen{]}3\,;+\infty\mathclose{[}.

Dérivée de exp(at) et de exp(ax + b)

Formule : dérivée de exp(ax + b)

Pour tous réels aa et bb, la fonction x↦eax+bx\mapsto e^{ax+b} est dérivable sur R\mathbb R et

(eax+b)′=a eax+b.\left(e^{ax+b}\right)'=a\,e^{ax+b}.

En particulier, la dérivée de t↦eatt\mapsto e^{at} est t↦a eatt\mapsto a\,e^{at}.

C'est la formule de dérivation de x↦g(ax+b)x\mapsto g(ax+b) appliquée à g=exp⁡g=\exp : g′(ax+b)=eax+bg'(ax+b)=e^{ax+b}, multiplié par aa. Elle vaut sur tout R\mathbb R, sans condition sur aa et bb ; pour a=0a=0, on retrouve la dérivée nulle d'une constante.

Exemple 6 : trois dérivées

  • f(t)=3e−2tf(t)=3e^{-2t} : f′(t)=3×(−2)e−2t=−6e−2tf'(t)=3\times(-2)e^{-2t}=-6e^{-2t}.
  • g(x)=x exg(x)=x\,e^x (produit, u=xu=x, v=exv=e^x) : g′(x)=1×ex+x ex=(x+1)exg'(x)=1\times e^x+x\,e^x=(x+1)e^x.
  • h(x)=exxh(x)=\dfrac{e^x}{x} sur ]0 ;+∞[\mathopen{]}0\,;+\infty\mathclose{[} (quotient) : h′(x)=ex×x−ex×1x2=(x−1)exx2h'(x)=\dfrac{e^x\times x-e^x\times1}{x^2}=\dfrac{(x-1)e^x}{x^2}.

Exemple 7 : variations d’un produit par exp(-x)

Soit f(x)=(2x−1)e−xf(x)=(2x-1)e^{-x} sur R\mathbb R. Avec u=2x−1u=2x-1, u′=2u'=2, v=e−xv=e^{-x}, v′=−e−xv'=-e^{-x} :

f′(x)=2e−x−(2x−1)e−x=(3−2x)e−x.\begin{aligned}f'(x)&=2e^{-x}-(2x-1)e^{-x}\\&=(3-2x)e^{-x}.\end{aligned}

Comme e−x>0e^{-x}\gt 0, f′(x)f'(x) a le signe de 3−2x3-2x : positif avant 32\frac32, négatif après.

xx−∞-\infty32\frac32+∞+\infty
f′(x)f'(x)++00−-
f(x)f(x)↗\nearrowMM↘\searrow

Le maximum vaut M=f(32)=2e−3/2≈0,446M=f\left(\frac32\right)=2e^{-3/2}\approx0{,}446. Mettre e−xe^{-x} en facteur dès le début rend le signe immédiat.

Vérifier un calcul avec l’exponentielle

  • Simplification : tester l'égalité obtenue en x=0x=0 (où e0=1e^0=1), puis en x=1x=1 à la calculatrice.
  • Dérivée de ekte^{kt} : en t=0t=0, elle doit valoir kk, la pente de la tangente en (0 ;1)(0\,;1).
  • Signe : dans un produit u(x) e…u(x)\,e^{\ldots}, seul le facteur u(x)u(x) peut changer de signe.

Fonctions exp(kt) et exp(-kt)

Variations selon le signe de k

Soit k>0k\gt 0. La fonction t↦ektt\mapsto e^{kt} a pour dérivée k ekt>0k\,e^{kt}\gt 0 : elle est strictement croissante. La fonction t↦e−ktt\mapsto e^{-kt} a pour dérivée −k e−kt<0-k\,e^{-kt}\lt 0 : elle est strictement décroissante.

Toutes ces courbes passent par (0 ;1)(0\,;1), et la tangente en ce point a pour coefficient directeur kk ou −k-k. Plus kk est grand, plus la croissance (ou la décroissance) est rapide. La courbe de t↦e−ktt\mapsto e^{-kt} est symétrique de celle de t↦ektt\mapsto e^{kt} par rapport à l'axe des ordonnées, puisque e−k×t=ek×(−t)e^{-k\times t}=e^{k\times(-t)}.

Courbes de t ↦ eᵏᵗ pour k = 1, 0,5, −0,5 et −1 : toutes passent par (0 ; 1), croissantes pour k positif, décroissantes pour k négatif
Courbes de t↦ektt\mapsto e^{kt} pour k=1k=1, 0,50{,}5, −0,5-0{,}5 et −1-1. Elles passent toutes par (0 ;1)(0\,;1) ; celles de kk et −k-k sont symétriques par rapport à l'axe des ordonnées.

Lien avec les suites géométriques

La suite exp(na) est géométrique

Pour tout réel aa, la suite (un)(u_n) définie par un=enau_n=e^{na} est géométrique de raison q=eaq=e^a et de premier terme u0=1u_0=1. Plus généralement, si f(t)=C ektf(t)=C\,e^{kt}, la suite un=f(n)u_n=f(n) est géométrique de raison eke^k.

En effet un+1=e(n+1)a=ena×ea=un×eau_{n+1}=e^{(n+1)a}=e^{na}\times e^{a}=u_n\times e^a. Si a>0a\gt 0, alors ea>1e^a\gt 1 et la suite est croissante ; si a<0a\lt 0, 0<ea<10\lt e^a\lt 1 et elle est décroissante. Les suites géométriques, étudiées dans le cours sur les suites arithmétiques et géométriques, sont donc la version « à temps entier » des fonctions t↦Cektt\mapsto Ce^{kt}.

Exemple 8 : population observée chaque année

Une population est modélisée par P(t)=2 000 e0,03tP(t)=2\,000\,e^{0{,}03t}, où tt est en années. Pour tout entier nn :

P(n+1)P(n)=2 000 e0,03n+0,032 000 e0,03n=e0,03≈1,0305.\begin{aligned}\frac{P(n+1)}{P(n)}&=\frac{2\,000\,e^{0{,}03n+0{,}03}}{2\,000\,e^{0{,}03n}}\\&=e^{0{,}03}\approx1{,}0305.\end{aligned}

Les valeurs annuelles forment une suite géométrique de raison e0,03e^{0{,}03} : la population augmente d'environ 3,05 %3{,}05\,\% par an. Après 10 ans, P(10)=2 000 e0,3≈2 700P(10)=2\,000\,e^{0{,}3}\approx2\,700.

Modéliser une croissance ou une décroissance exponentielle

Une grandeur f(t)=C ektf(t)=C\,e^{kt} vérifie f′(t)=k C ekt=k f(t)f'(t)=k\,C\,e^{kt}=k\,f(t) : sa vitesse de variation est proportionnelle à sa valeur. C'est le cas d'une population sans contrainte, d'un médicament éliminé par l'organisme ou d'un noyau radioactif. Le coefficient C=f(0)C=f(0) est la valeur initiale ; le signe de kk distingue croissance (k>0k\gt 0) et décroissance (k<0k\lt 0).

Exemple 9 : élimination d’un médicament

La quantité de médicament dans le sang, en mg, est Q(t)=20e−0,1tQ(t)=20e^{-0{,}1t}, où tt est en heures.

  • Valeur initiale : Q(0)=20Q(0)=20 mg.
  • Q′(t)=20×(−0,1)e−0,1t=−2e−0,1t<0Q'(t)=20\times(-0{,}1)e^{-0{,}1t}=-2e^{-0{,}1t}\lt 0 : la quantité diminue. On a aussi Q′(t)=−0,1 Q(t)Q'(t)=-0{,}1\,Q(t).
  • D'une heure à la suivante, Q(t+1)Q(t)=e−0,1≈0,9048\dfrac{Q(t+1)}{Q(t)}=e^{-0{,}1}\approx0{,}9048 : la quantité baisse d'environ 9,5 %9{,}5\,\% par heure.
  • Quand passe-t-on sous 5 mg ? Q(t)<5  ⟺  e−0,1t<0,25Q(t)\lt 5\iff e^{-0{,}1t}\lt 0{,}25. Un tableau de valeurs à la calculatrice donne Q(13)≈5,45Q(13)\approx5{,}45 et Q(14)≈4,93Q(14)\approx4{,}93, puis Q(13,8)≈5,03Q(13{,}8)\approx5{,}03 et Q(13,9)≈4,98Q(13{,}9)\approx4{,}98. Le seuil est franchi entre 13,813{,}8 h et 13,913{,}9 h.

Exemple 10 : temps de doublement

Une culture de bactéries compte N(t)=500 e0,7tN(t)=500\,e^{0{,}7t} individus après tt heures. Comme e0,7≈2,014e^{0{,}7}\approx2{,}014, N(t+1)≈2,014 N(t)N(t+1)\approx2{,}014\,N(t) : la population double à peu près toutes les heures. Après 5 heures, N(5)=500e3,5≈16 558N(5)=500e^{3{,}5}\approx16\,558, proche de 500×25=16 000500\times2^5=16\,000.

Algorithmes : méthode d’Euler et approximation de e

Méthode d’Euler pour construire l’exponentielle

L'approximation affine f(x+h)≈f(x)+h f′(x)f(x+h)\approx f(x)+h\,f'(x), avec f′=ff'=f, donne f(x+h)≈(1+h)f(x)f(x+h)\approx(1+h)f(x). En partant de f(0)=1f(0)=1 et en avançant avec un pas hh, on obtient des valeurs approchées

y0=1,yk+1=(1+h) yk,doncyk=(1+h)k≈ekh.\begin{aligned}&y_0=1,\quad y_{k+1}=(1+h)\,y_k,\\&\text{donc}\quad y_k=(1+h)^k\approx e^{kh}.\end{aligned}

Les yky_k forment une suite géométrique de raison 1+h1+h. En Python :

def euler(h, xmax):
    x, y = 0, 1
    points = [(x, y)]
    while x < xmax - 1e-9:
        y = y + h * y      # f(x+h) ≈ f(x) + h f'(x), avec f' = f
        x = x + h
        points.append((round(x, 6), y))
    return points

print(euler(0.1, 1)[-1])    # (1.0, 2.5937424601)
print(euler(0.01, 1)[-1])   # (1.0, 2.704813829421526)

Avec h=0,1h=0{,}1, on obtient e≈1,110≈2,594e\approx1{,}1^{10}\approx2{,}594 ; avec h=0,01h=0{,}01, e≈1,01100≈2,705e\approx1{,}01^{100}\approx2{,}705. Plus le pas est petit, plus la valeur approchée est proche de e≈2,718e\approx2{,}718. La marge 1e-9 évite un pas de trop dû aux arrondis des flottants.

Approximation de e par (1 + 1/n) puissance n

Avec h=1nh=\frac1n, il faut nn pas pour atteindre x=1x=1, et la méthode d'Euler donne exactement (1+1n)n\left(1+\frac1n\right)^n. Ces nombres se rapprochent de ee quand nn grandit :

nn(1+1n)n\left(1+\frac1n\right)^n
1122
10102,5937…2{,}5937\ldots
1001002,7048…2{,}7048\ldots
1 0001\,0002,7169…2{,}7169\ldots
10610^62,71828…2{,}71828\ldots
for n in [1, 10, 100, 1000, 10**6]:
    print(n, (1 + 1/n)**n)

La convergence est lente : l'erreur est de l'ordre de e2n\frac{e}{2n}, soit environ 0,00140{,}0014 pour n=1 000n=1\,000.

Erreurs fréquentes avec l’exponentielle

Transformer une somme d’exposants en somme d’exponentielles

Ligne fausse : ex+2=ex+e2e^{x+2}=e^x+e^2. La relation fonctionnelle donne un produit : ex+2=ex×e2e^{x+2}=e^x\times e^2. Test avec x=0x=0 : e2≈7,39e^{2}\approx7{,}39, alors que e0+e2≈8,39e^0+e^2\approx8{,}39.

Confondre le carré de exp(x) et exp(x au carré)

Ligne fausse : (ex)2=ex2(e^x)^2=e^{x^2}. On a (ex)2=ex×ex=e2x(e^x)^2=e^x\times e^x=e^{2x}. Test avec x=1x=1 : (e1)2=e2≈7,39(e^1)^2=e^2\approx7{,}39, mais e12=e≈2,72e^{1^2}=e\approx2{,}72.

Dériver exp(3x) comme une puissance

Lignes fausses : (e3x)′=e3x(e^{3x})'=e^{3x}, ou (e3x)′=3x e3x−1(e^{3x})'=3x\,e^{3x-1}. La règle (xn)′=nxn−1(x^n)'=nx^{n-1} concerne un exposant constant ; ici l'exposant varie. La bonne dérivée est 3e3x3e^{3x}. Contrôle en 0 : la tangente à t↦ektt\mapsto e^{kt} en 0 a pour pente kk, donc 3 ici.

Croire que exp(-x) est négatif

Ligne fausse : « e−2<0e^{-2}\lt 0 ». Le signe moins est dans l'exposant : e−2=1e2≈0,135>0e^{-2}=\dfrac1{e^2}\approx0{,}135\gt 0. Une exponentielle est toujours strictement positive.

Tirer une conclusion fausse de la positivité

Ligne fausse : « e2x+1>0e^{2x+1}\gt 0, donc 2x+1>02x+1\gt 0, donc x>−12x\gt -\frac12. » La positivité ne dit rien sur l'exposant : e2x+1>0e^{2x+1}\gt 0 est vraie pour tout xx, donc S=RS=\mathbb R. Pour comparer des exposants, il faut deux exponentielles : ea<eb  ⟺  a<be^a\lt e^b\iff a\lt b.

Pour aller plus loin : démonstrations des propriétés

Ces démonstrations utilisent un résultat du chapitre sur les variations, admis ici : une fonction dont la dérivée est nulle sur R\mathbb R est constante.

Démonstration : l’exponentielle ne s’annule jamais

Soit g(x)=exp⁡(x)exp⁡(−x)g(x)=\exp(x)\exp(-x). La dérivée de x↦exp⁡(−x)x\mapsto\exp(-x) est x↦−exp⁡(−x)x\mapsto-\exp(-x) (forme g(ax+b)g(ax+b) avec a=−1a=-1). Par la formule du produit :

g′(x)=exp⁡(x)exp⁡(−x)+exp⁡(x)×(−exp⁡(−x))=0.\begin{aligned}g'(x)&=\exp(x)\exp(-x)\\&\quad+\exp(x)\times\big(-\exp(-x)\big)\\&=0.\end{aligned}

Donc gg est constante, égale à g(0)=exp⁡(0)2=1g(0)=\exp(0)^2=1. Ainsi exp⁡(x)exp⁡(−x)=1\exp(x)\exp(-x)=1 pour tout xx, et exp⁡(x)\exp(x) n'est jamais nul.

Démonstration : unicité de la fonction exponentielle

Soit ff dérivable sur R\mathbb R avec f′=ff'=f et f(0)=1f(0)=1. Posons φ(x)=f(x)exp⁡(−x)\varphi(x)=f(x)\exp(-x). Alors

φ′(x)=f′(x)exp⁡(−x)−f(x)exp⁡(−x)=0,\begin{aligned}\varphi'(x)&=f'(x)\exp(-x)\\&\quad-f(x)\exp(-x)\\&=0,\end{aligned}

car f′(x)=f(x)f'(x)=f(x). Donc φ\varphi est constante, égale à φ(0)=1\varphi(0)=1. Ainsi f(x)=1exp⁡(−x)=exp⁡(x)f(x)=\dfrac1{\exp(-x)}=\exp(x) pour tout xx : ff est la fonction exponentielle.

Démonstration : la relation fonctionnelle

Fixons un réel bb et posons k(x)=exp⁡(x+b)exp⁡(−x)k(x)=\exp(x+b)\exp(-x). La dérivée de x↦exp⁡(x+b)x\mapsto\exp(x+b) est x↦exp⁡(x+b)x\mapsto\exp(x+b), donc

k′(x)=exp⁡(x+b)exp⁡(−x)−exp⁡(x+b)exp⁡(−x)=0.\begin{aligned}k'(x)&=\exp(x+b)\exp(-x)\\&\quad-\exp(x+b)\exp(-x)\\&=0.\end{aligned}

kk est constante, égale à k(0)=exp⁡(b)k(0)=\exp(b). Donc exp⁡(x+b)=exp⁡(b)exp⁡(−x)=exp⁡(b)exp⁡(x)\exp(x+b)=\dfrac{\exp(b)}{\exp(-x)}=\exp(b)\exp(x). Avec x=ax=a, on obtient la relation.

Démonstration : positivité et stricte croissance

Pour tout réel xx, exp⁡(x)=exp⁡(x2+x2)=exp⁡(x2)2≥0\exp(x)=\exp\left(\frac x2+\frac x2\right)=\exp\left(\frac x2\right)^2\geq0. Comme exp⁡(x)≠0\exp(x)\neq0, on a exp⁡(x)>0\exp(x)\gt 0. Enfin exp⁡′=exp⁡>0\exp'=\exp\gt 0 sur R\mathbb R, donc exp⁡\exp est strictement croissante.

Pour vous entraîner sur chacun de ces points, voyez les exercices corrigés sur la fonction exponentielle en Première.