|
On suppose connu les propriétés suivantes:
- Toute fonction réelle \(f\) continue sur un intervalle \(I\) admet une primitive \(F: I \mapsto \mathbb R\) telle que \(F'=f\)
- 2 primitives de \(f\) différent d'une constante
- si \( f: I \mapsto \mathbb R\) est une fonction dérivable, avec une dérivée de signe fixe et qui ne s'annule qu'un nombre fini de fois, alors \(f\) définit une bijection de \(I\) sur l'intervalle \(J=f(I)\)
- Si \(f\) est monotone sur \(I\), alors, a chaque extrémité de \(I\), la fonction \(f\) admet une limite , finie ou infinie
La définition vue en post bac est quelque peu différente.
Définition:
| La fonction exponentielle, notée \(exp(x)\) ou \(e^x\), est la fonction réciproque de la fonction logarithme népérien. |
Proposition:
|
La fonction exponentielle est une bijection strictement croissante de \(\mathbb R\) dans \(\mathbb R_+^*\), vérifiant \(e^0=1\) ainsi que :
\(\begin{align*} \lim_{x \to -\infty} e^x=0 \end{align*}\) et \(\begin{align*} \lim_{x \to -\infty} e^x=0 \end{align*}\)
Elle est dérivable sur \(\mathbb R\) et on a \(\big[ e^x \big]'=e^x\)
|
Proposition:
| Pour \(x \in \mathbb R\), on a \(1+x \leq e^x\), avec égalité si, et seulement si \(x=0\) |
|