Tetdoss a écrit:Re salut

J'ai refait mes calculs et j'ai prouvé proprement avec une récurrence que Wn est croissante, il me manque donc à prouver qu'elle est majorée.
Pourtant j'ai cru avoir réussi mais en refaisant mes calculs je tombe sur :
Wn = Sn - (nU(n+1) + U0)
Donc la démarche de DamX ne fonctionne plus pour prouver que Wn est majorée à cause du signe - ...
Par contre c'est très bon signe pour la question 2 car j'ai dans l'expression nU(n+1)
Voilà merci encore pour votre aide
Je ne me servais pas de majoration danscxe que je disais, mon argument reste valable, je détaille un peu mieux :
J'affirme en fait que nU(n+1) tend vers 0.
Cela pour les raisons suivantes. Un est une suite positive décroissante.
Si par l'absurde tu supposes que n.Un ne tend pas vers 0, il existe e>0 tq pour tout N, il existe n>N tq Un>e. (négation de Un->0). donc en fait tu as une infinité de termes de ta suite qui sont supérieurs à e. Et donc la somme des Un tend nécessairement vers +infini, ce qui est en contradiction avec l'enoncé.
On a donc n.Un->0. Et par suite n.U(n+1)->0.
Du coup dans ton expression Wn = Sn - (nU(n+1) + U0), tout converge. Et Wn -> S - U0.
Pas besoin d'essayer de la majorer et d'étudier sa croissance.
Par ailleurs si tu as montré la croissance de Wn, la majoration est directe car Sn = 0 donc Wn <= S - U0
Damien