\( %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Mes commandes %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \newcommand{\multirows}[3]{\multirow{#1}{#2}{$#3$}}%pour rester en mode math \renewcommand{\arraystretch}{1.3}%pour augmenter la taille des case \newcommand{\point}[1]{\marginnote{\small\vspace*{-1em} #1}}%pour indiquer les points ou le temps \newcommand{\dpl}[1]{\displaystyle{#1}}%megamode \newcommand{\A}{\mathscr{A}} \newcommand{\LN}{\mathscr{N}} \newcommand{\LL}{\mathscr{L}} \newcommand{\K}{\mathbb{K}} \newcommand{\N}{\mathbb{N}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\M}{\mathcal{M}} \newcommand{\D}{\mathbb{D}} \newcommand{\E}{\mathcal{E}} \renewcommand{\P}{\mathcal{P}} \newcommand{\G}{\mathcal{G}} \newcommand{\Kk}{\mathcal{K}} \newcommand{\Cc}{\mathcal{C}} \newcommand{\Zz}{\mathcal{Z}} \newcommand{\Ss}{\mathcal{S}} \newcommand{\B}{\mathbb{B}} \newcommand{\inde}{\bot\!\!\!\bot} \newcommand{\Proba}{\mathbb{P}} \newcommand{\Esp}[1]{\dpl{\mathbb{E}\left(#1\right)}} \newcommand{\Var}[1]{\dpl{\mathbb{V}\left(#1\right)}} \newcommand{\Cov}[1]{\dpl{Cov\left(#1\right)}} \newcommand{\base}{\mathcal{B}} \newcommand{\Som}{\textbf{Som}} \newcommand{\Chain}{\textbf{Chain}} \newcommand{\Ar}{\textbf{Ar}} \newcommand{\Arc}{\textbf{Arc}} \newcommand{\Min}{\text{Min}} \newcommand{\Max}{\text{Max}} \newcommand{\Ker}{\text{Ker}} \renewcommand{\Im}{\text{Im}} \newcommand{\Sup}{\text{Sup}} \newcommand{\Inf}{\text{Inf}} \renewcommand{\det}{\texttt{det}} \newcommand{\GL}{\text{GL}} \newcommand{\crossmark}{\text{\ding{55}}} \renewcommand{\checkmark}{\text{\ding{51}}} \newcommand{\Card}{\sharp} \newcommand{\Surligne}[2]{\text{\colorbox{#1}{ #2 }}} \newcommand{\SurligneMM}[2]{\text{\colorbox{#1}{ #2 }}} \newcommand{\norm}[1]{\left\lVert#1\right\rVert} \renewcommand{\lim}[1]{\underset{#1}{lim}\,} \newcommand{\nonor}[1]{\left|#1\right|} \newcommand{\Un}{1\!\!1} \newcommand{\sepon}{\setlength{\columnseprule}{0.5pt}} \newcommand{\sepoff}{\setlength{\columnseprule}{0pt}} \newcommand{\flux}{Flux} \newcommand{\Cpp}{\texttt{C++\ }} \newcommand{\Python}{\texttt{Python\ }} %\newcommand{\comb}[2]{\begin{pmatrix} #1\\ #2\end{pmatrix}} \newcommand{\comb}[2]{C_{#1}^{#2}} \newcommand{\arrang}[2]{A_{#1}^{#2}} \newcommand{\supp}[1]{Supp\left(#1\right)} \newcommand{\BB}{\mathcal{B}} \newcommand{\arc}[1]{\overset{\rotatebox{90}{)}}{#1}} \newcommand{\modpi}{\equiv_{2\pi}} \renewcommand{\Re}{Re} \renewcommand{\Im}{Im} \renewcommand{\bar}[1]{\overline{#1}} \newcommand{\mat}{\mathcal{M}} \newcommand{\und}[1]{{\mathbf{\color{red}\underline{#1}}}} \newcommand{\rdots}{\text{\reflectbox{$\ddots$}}} \newcommand{\Compa}{Compa} \newcommand{\dint}{\dpl{\int}} \newcommand{\intEFF}[2]{\left[\!\left[#1 ; #2\right]\!\right]} \newcommand{\intEFO}[2]{\left[\!\left[#1 ; #2\right[\!\right[} \newcommand{\intEOF}[2]{\left]\!\left]#1 ; #2\right]\!\right]} \newcommand{\intEOO}[2]{\left]\!\left]#1 ; #2\right[\!\right[} \newcommand{\ou}{\vee} \newcommand{\et}{\wedge} \newcommand{\non}{\neg} \newcommand{\implique}{\Rightarrow} \newcommand{\equivalent}{\Leftrightarrow} \newcommand{\Ab}{\overline{A}} \newcommand{\Bb}{\overline{B}} \newcommand{\Cb}{\overline{C}} \newcommand{\Cl}{\texttt{Cl}} \newcommand{\ab}{\overline{a}} \newcommand{\bb}{\overline{b}} \newcommand{\cb}{\overline{c}} \newcommand{\Rel}{\mathcal{R}} \newcommand{\superepsilon}{\varepsilon\!\!\varepsilon} \newcommand{\supere}{e\!\!e} \makeatletter \newenvironment{console}{\noindent\color{white}\begin{lrbox}{\@tempboxa}\begin{minipage}{\columnwidth} \ttfamily \bfseries\vspace*{0.5cm}} {\vspace*{0.5cm}\end{minipage}\end{lrbox}\colorbox{black}{\usebox{\@tempboxa}} } \makeatother \def\ie{\textit{i.e. }} \def\cf{\textit{c.f. }} \def\vide{ { $ {\text{ }} $ } } %Commande pour les vecteurs \newcommand{\grad}{\overrightarrow{Grad}} \newcommand{\Vv}{\overrightarrow{v}} \newcommand{\Vu}{\overrightarrow{u}} \newcommand{\Vw}{\overrightarrow{w}} \newcommand{\Vup}{\overrightarrow{u'}} \newcommand{\Zero}{\overrightarrow{0}} \newcommand{\Vx}{\overrightarrow{x}} \newcommand{\Vy}{\overrightarrow{y}} \newcommand{\Vz}{\overrightarrow{z}} \newcommand{\Vt}{\overrightarrow{t}} \newcommand{\Va}{\overrightarrow{a}} \newcommand{\Vb}{\overrightarrow{b}} \newcommand{\Vc}{\overrightarrow{c}} \newcommand{\Vd}{\overrightarrow{d}} \newcommand{\Ve}[1]{\overrightarrow{e_{#1}}} \newcommand{\Vf}[1]{\overrightarrow{f_{#1}}} \newcommand{\Vn}{\overrightarrow{0}} \newcommand{\Mat}{Mat} \newcommand{\Pass}{Pass} \newcommand{\mkF}{\mathfrak{F}} \renewcommand{\sp}{Sp} \newcommand{\Co}{Co} \newcommand{\vect}[1]{\texttt{Vect}\dpl{\left( #1\right)}} \newcommand{\prodscal}[2]{\dpl{\left\langle #1\left|\vphantom{#1 #2}\right. #2\right\rangle}} \newcommand{\trans}[1]{{\vphantom{#1}}^{t}{#1}} \newcommand{\ortho}[1]{{#1}^{\bot}} \newcommand{\oplusbot}{\overset{\bot}{\oplus}} \SelectTips{cm}{12}%Change le bout des flèches dans un xymatrix \newcommand{\pourDES}[8]{ \begin{itemize} \item Pour la ligne : le premier et dernier caractère forment $#1#2$ soit $#4$ en base 10. \item Pour la colonne : les autres caractères du bloc forment $#3$ soit $#5$ en base 10. \item A l'intersection de la ligne $#4+1$ et de la colonne $#5+1$ de $S_{#8}$ se trouve l'entier $#6$ qui, codé sur $4$ bits, est \textbf{\texttt{$#7$}}. \end{itemize} } \)

Exponentielle

Définition et premières propriétés

Il est indispensable d'avoir assimiler le cours sur les logarithmes pour pouvoir suivre ce cours sur les exponentielles. Ici tout sera beaucoup plus rapide que le précédent chapitre. Pas que nous souhaitons bâcler le travail mais plutôt que nous allons entièrement nous appuyer sur la fonction logarithme, raison pour laquelle nous insistons sur son assimilation. D'ailleurs à la fin du cours sur le logarithme, avec l'aide du théorème des valeurs intermédiaire, nous avions observer que l'équation \( ln(x)=1\) admettait une unique solution que l'on note \( e\) et dont la valeur approchée, estimée à l'aide d'un ordinateur, est \( 2.71828\) . Qu'en est-il de manière générale de l'équation \( ln(x)=a\) pour n'importe quelle nombre réel \( a\) ? D'après le théorème des valeurs intermédiaire, il existe une unique solution.

Définition


Pour tout nombre réel \( a\) on note \( exp(a)\) l'unique solution de l'équation \( ln(x)=a\) . On l'appel exponentielle de \( a\) . C'est la fonction réciproque du logarithme népérien.
On a immédiatement les propriétés suivantes.

Proposition


  1. Quelque soit le réel \( a\) , \( exp(a){>}0\) .
  2. \( exp(0)=1\) .
  3. Si \( a{<}0\) alors \( exp(a){<}1\) .
  4. Si \( a{>}0\) alors \( exp(a){>}1\) .
  5. Pour tout \( x{>}0\) alors \( exp(ln(x))=x\) .
  6. Pour tout \( x\in\R\) alors \( ln(exp(x))=x\) .

Démonstration

  1. Puisque \( ln(exp(a))=a\) , le nombre \( exp(a)\) appartient au domaine de définition de \( ln\) qui est \( ]0 ; +\infty[\) . Dis autrement \( exp(a){>}0\) .
  2. Puisque \( ln(1)=0=ln(exp(0))\) alors \( exp(0)=1\) .
  3. Si \( a{<}0\) alors \( ln(exp(a))=a{<}0=ln(1)\) donc \( exp(a){<}1\) .
  4. Si \( a{>}0\) alors \( ln(exp(a))=a{>}0=ln(1)\) donc \( exp(a){>}1\) .
  5. C'est une conséquence de la réciprocité entre le \( ln\) et le \( exp\) .
  6. C'est une conséquence de la réciprocité entre le \( ln\) et le \( exp\) .

Croissances comparées

Théorème


Quelque soit les nombres réels \( a\) et \( b\) : \[exp(a+b)=exp(a)\times exp(b)\]

Démonstration

\begin{eqnarray*} ln(exp(a+b))&=&a+b\\ &=&ln(exp(a))+ln(exp(b))\\ &=&ln(exp(a)\times exp(b))\quad\text{Propriété du logarithme} \end{eqnarray*} Puisque \( ln(exp(a+b))=ln(exp(a)\times exp(b))\) alors \( exp(a+b)=exp(a)\times exp(b)\)

Corollaire


Soient \( a\) et \( b\) deux nombres réels.
  1. \( exp(a-b)=\dfrac{exp(a)}{exp(b)}\)
  2. \( exp(-a)=\dfrac{1}{exp(a)}\)
  3. \( exp\left(\frac{a}{2}\right)=\sqrt{exp(a)}\)
  4. \( \left(exp(a)\right)^n=exp(na)\)

Démonstration

Il suffit, encore une fois de repasser par la fonction logarithme.

De \( exp(x)\) à \( e^x\)

Tout est dans le titre. On observe que les formules et propriétés de l'exponentielle sont étrangement similaire à celle des puissances. Par exemple d'un coté on \( exp(a+b)=exp(a)\times exp(b)\) et d'un autre coté \( 10^{n+m}=10^n10^m\) ... du coup on se demande si il n'y a pas un liens entre nos familières puissances et l'exponentielle. La réponse est oui par une très simple observation : \[ln(exp(x))=x=x\times 1=x\times ln(e)=ln(e^x)\] d'après les règles de calcul sur le logarithme. Cette égalité implique donc que \( exp(x)=e^x\) et ce pour tous les \( x\) réel. Autant \( 10^n\) n'était définie que pour des \( n\) entiers autant \( e^x=exp(x)\) est définie pour tous les nombres réels ! D'ailleurs on pourrait s'amuser à définir \( 10^x\) pour n'importe quel \( x\) réelle. Tenté ? Allez on y va ! Grâce à cette formule de réciprocité entre \( ln\) et \( exp\) , on peut écrire que \( 10^x=exp(ln(10^x))\) sauf que le logarithme gère très bien les puissances : \( ln(10^x)=xln(10)\) . On a \( 10^x=exp(xln(10))\) et l'exponentielle ne soufre d'aucun problème de définition. Ca y est ! On a défini \( 10^x\) . Pourquoi s'arrêterait-on en si bon chemin ?

Définition


Soit \( a{>}0\) et \( b\in\R\) . On défini \( a^b\) par la formule : \[a^b=exp(b ln(a))=e^{b ln(a)}\]
Le calcul quant à lui se fait à l'aide d'une calculatrice, mais à présent des expressions comme \( 2^{\sqrt{2}}\) ont un sens.

Ce qu'il faut retenir

  1. \( \mathscr{D}=\R\)
  2. Si \( x{<}0, exp(x){<}1\)
  3. \( exp(0)=1\)
  4. Si \( x{>}0, exp(x){>}1\)
  5. \( exp(a+b)=exp(a)\times exp(b)\)
  6. \( \dfrac{exp(a)}{exp(b)}=exp(a-b)\)
  7. \( exp(a)^n=exp(na)\)
  8. \( \sqrt{exp(a)}=exp\left(\dfrac{1}{2}a\right)\)