On désigne par $f$ la fonction définie sur l'intervalle $[0~;~\pi]$ par
$$f(x) = \mathrm{e}^x \sin (x).$$
On note $\mathcal{C}_f$ la courbe représentative de $f$ dans un repère.
-
- Démontrer que pour tout réel $x$ de l'intervalle $[0~;~\pi]$,
$$f'(x) = \mathrm{e}^x[\sin(x) + \cos(x)].$$
- Justifier que la fonction $f$ est strictement croissante sur l'intervalle
$\left[0~;~\dfrac{\pi}{2}\right]$
-
- Déterminer une équation de la tangente $T$ à la courbe $\mathcal{C}_f$ au point d'abscisse $0$.
- Démontrer que la fonction $f$ est convexe sur l'intervalle $\left[0~;~\dfrac{\pi}{2}\right]$.
- En déduire que pour tout réel $x$ de l'intervalle $\left[0~;~\dfrac{\pi}{2}\right]$, $\mathrm{e}^x \sin (x) \geqslant x$.
- Justifier que le point d'abscisse $\dfrac{\pi}{2}$ de la courbe représentative de la fonction $f$ est un point d'inflexion.
On note
$I = \displaystyle\int_0^{\frac{\pi}{2}} \mathrm{e}^x \sin (x)\, \text{d}x$ et $J = \displaystyle\int_0^{\frac{\pi}{2}} \mathrm{e}^x \cos (x)\, \text{d}x.$
- En intégrant par parties l'intégrale $I$ de deux manières différentes, établir les deux relations suivantes :
$$I= 1+J \qquad \text{et}\qquad I= \mathrm{e}^{\frac{\pi}{2}} - J.$$
- En déduire que $I = \dfrac{1 + \mathrm{e}^{\frac{\pi}{2}}}{2}$.
- On note $g$ la fonction définie sur $\mathbb{R}$ par $g(x) = x$.
Les courbes représentatives des fonctions $f$ et $g$ sont tracées dans le repère orthogonal ci-dessous sur l'intervalle $[0~;~\pi]$.
Calculer la valeur exacte de l'aire du domaine hachuré situé entre les courbes $\mathcal{C}_f$ et $\mathcal{C}_g$ et les droites d'équation $x = 0$ et $x = \dfrac{\pi}{2}$.