On considère $n$ un entier naturel non nul et la fonction $f_n$ définie sur $[0~;~1]$ par :
$$f_n(x)=x^ne^{1-x}.$$
Partie A
Dans cette partie, on étudie $f_1(x)=xe^{1-x}$.
- Montrer que $f_1'(x)$ est strictement positive pour tout réel $x$ de $[0~;~1[$.
- En déduire le tableau de variations de $f_1$ sur $[0~;~1]$.
- En déduire que l'équation $f_1(x)=0,1$ admet une unique solution dans $[0~;~1]$.
Partie B
On considère la suite $(u_n)$ définie pour tout entier naturel $n$ non nul par :
$$u_n=\int_0^1x^ne^{1-x}\,\mathrm dx.$$
On admet que $u_1=e-2$.
-
- Justifier que pour tout $x\in[0~;~1]$ :
$$0\leqslant x^{n+1}\leqslant x^n.$$
- En déduire que :
$$0\leqslant u_{n+1}\leqslant u_n.$$
- Montrer que $(u_n)$ est convergente.
-
- À l'aide d'une intégration par parties, démontrer que :
$$u_{n+1}=(n+1)u_n-1.$$
- Compléter le script Python pour que
suite() renvoie la valeur de $\int_0^1x^8e^{1-x}\,\mathrm dx$.
-
- Démontrer que :
$$u_n\leqslant\dfrac{e}{n+1}.$$
- En déduire la limite de $(u_n)$.