Posté par
J-P J-P 
|U(n)| = (1/n) * [1/1 + 1/2 + 1/3 + ... + 1/n]
|U(n+1)| = (1/(n+1)) * [1/1 + 1/2 + 1/3 + ... + 1/n + 1/(n+1)]
|U(n+1)| - |U(n)| = [1/1 + 1/2 + 1/3 + ... + 1/n]*[1/(n+1) - 1/n] + 1/(n+1)²
|U(n+1)| - |U(n)| = [1/1 + 1/2 + 1/3 + ... + 1/n]*[-1/(n.(n+1))] + 1/(n+1)²
|U(n+1)| - |U(n)| = -[1/1 + 1/2 + 1/3 + ... + 1/n]/(n.(n+1)) + 1/(n+1)²
|U(n+1)| - |U(n)| < 0
|U(n+1)| < |U(n)| (1)
-----
Comme Somme(k=1 à n) 1/k est > 0 quel que soit n, la série est alternée par la présence du (-1)^n (2)
-----
0 <= (1/n) * (1 + 1/2 + 1/3 + ... + 1/n) <= ln(n)/n
0 <= lim(n-> +oo) (1/n) * (1 + 1/2 + 1/3 + ... + 1/n) <= lim(n-> +oo) [ln(n)/n]
0 <= lim(n-> +oo) (1/n) * (1 + 1/2 + 1/3 + ... + 1/n) <= 0
lim(n-> +oo) (1/n) * (1 + 1/2 + 1/3 + ... + 1/n) = 0 (3)
-----
Avec (1), (2) et (3), la série est convergente en vertu de théorème de Leibniz.
-------------
Rappel:
Théorème de Leibniz :
Si dans une série alternée u1 , -u2 , u3 , -u4 ... où u1 , u2 , u3 ... un ... sont positifs, les termes vont en décroissant (soit u1 > u2 > u3 > ...) et si lim(n-> oo) u(n) = 0, alors la série converge.
-----
Sauf distraction (pas vérifié)
