Bonsoir,
Je vous propose un petit exercice que j'ai trouvé zoli
Bonjour, effectivement c'est la seconde formule de ThierryMasula qui est exacte.
Je la préfère sous la forme n(n+1)(2*n+1)/6
La somme des cubes des n premiers entiers naturels est le carré de la somme des n premiers entiers naturels = (n*(n+1)/2)2
Sur la convergence de la série :
Soit Un=1/(p2)
1<=p<=n
La condition nécessaire de convergence d'une série est remplie à savoir Lim Un=0 (n--> +oo)
La règle de d'Alembert pour les séries à termes positifs ne permet pas de conclure car
Lim Un+1/Un=1- n--> +oo
Si cela avait été 1+, on aurait pu conclure à la divergence.
Utilisons celle de Cauchy
A = Lim (Un)(1/n)= Lim (1/(n3/3))1/n=Lim(3/n3)1/n
n--> +oo
Après passage au Ln pour l'expression B = (3/n3)1/n on obtient Ln B --> 0-
et B --> 1- Donc on ne peut encore rien dire pour l'instant sur la convergence de Un
La décomposition de 1/(n(n+1)(2*n+1)/6)=6*(1/n + 1/(n+1) -4/(2*n+1))
n'arrange pas vraiment nos affaires non plus (série harmonique)...
Il faut comparer avec une intégrale
Soit f(x)= 6/(x*(x+1)*(2*x+1)
On a f(1)=U1 = 1
f(2)=U2 = 1/5
...
f(n)=Un
Il est démontré que si f(x)dx converge alors la série converge (1<= x <= +oo)
On calcule = 6*(Ln(x*(x+1)/(2*x+1)2) entre 1 et +oo donne 6*Ln(9/8) Donc la série initiale est CONVERGENTE
Précisons que la comparaison avec une intégrale se fait ici dans le cadre d'une série à termes positifs non croissants
U1>=2U>= ..... Un
Bonjour à tous
tringlarido :
Bonjour tout le monde,
Ici, je propose la substitution suivante :
Il me semble que cela prend la bonne direction... Y a de la série harmonique dans l'air, avec du à la clef !
C'est ce que j'avais déjà proposé il me semble mais pour l'instant pas de résultat. Faut-il trouver une fonction décomposable en série de Fourier ?
Je mettrai la démo demain j'ai pas le temps maintenant. Rendez-vous galant oblige!
Résultat : 6(3-4Ln(2)) = 1,364 environ
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :