On considère la fonction
f définie sur
[0;+∞[ par
f(x)=xe−x.
Partie A — Étude de la fonction1. Démontrer que, pour tout réel
x⩾0,
f′(x)=(1−x)e−x.
2. Dresser le tableau de variations de
f sur
[0;+∞[ (la limite en
+∞ n'est pas demandée) et préciser son maximum.
Partie B — Étude d'une suite. On considère la suite
(un) définie par
u0=1 et, pour tout entier naturel
n,
un+1=f(un)=une−un.
1. Démontrer par récurrence que, pour tout entier naturel
n,
0<un⩽1.
2. Démontrer que la suite
(un) est décroissante.
3. En déduire que la suite
(un) converge. Déterminer sa limite en justifiant.
4. On considère la fonction Python ci-dessous.
from math import exp
def seuil():
u = 1
n = 0
while u >= 0.1:
u = u * exp(-u)
n = n + 1
return n
Expliquer ce que renvoie cette fonction. On admet qu'elle renvoie
8 : interpréter ce résultat.
Partie C — Une somme associée. Pour tout entier naturel
n, on pose
Sn=u0+u1+⋯+un.
1. Démontrer par récurrence que, pour tout entier naturel
n,
un+1=e−Sn.
2. Justifier que la suite
(Sn) est croissante.
3. On suppose que
(Sn) converge vers un réel
L. Démontrer qu'alors
(un) converge vers
e−L, et conclure à une contradiction.
4. En déduire la limite de la suite
(Sn).