par SoS-Math(9) » dim. 17 nov. 2013 17:45
Edward,
En étudiant la fonction f(x)=xe^x, tu montres qu'elle est strictement croissante sur [0;+inf[ et que f(x) appartient à [0;e].
On va alors montrer que (Un) est décroissante par l'absurde !
On suppose donc qu'il existe un entier k tel que U(k+1) > Uk.
Alors comme f est croissante sur [0;+inf[ et que (Un) est positive (cela se montre facilement), alors f(U(k+1)) > f(Uk) soit 1/(k+1) > 1/k.
Ceci est absurde.
Donc notre hypothèse (il existe un entier k tel que U(k+1) > Uk.) est fausse,
donc sa négation (pour tout entier k (non nul), U(k+1) =< Uk.) est vraie !
Donc (Un) est décroissante.
Je ne vois pas plus simple comme démonstration.
SoSMath.
Edward,
En étudiant la fonction f(x)=xe^x, tu montres qu'elle est strictement croissante sur [0;+inf[ et que f(x) appartient à [0;e].
On va alors montrer que (Un) est décroissante par l'absurde !
On suppose donc qu'il existe un entier k tel que U(k+1) > Uk.
Alors comme f est croissante sur [0;+inf[ et que (Un) est positive (cela se montre facilement), alors f(U(k+1)) > f(Uk) soit 1/(k+1) > 1/k.
Ceci est absurde.
Donc notre hypothèse (il existe un entier k tel que U(k+1) > Uk.) est fausse,
donc sa négation (pour tout entier k (non nul), U(k+1) =< Uk.) est vraie !
Donc (Un) est décroissante.
Je ne vois pas plus simple comme démonstration.
SoSMath.