Erasmus_First ha scritto:Testo nascosto, fai click qui per vederlo
Nel precedente messaggio ... ho spudoratamente barato per aspettare le dovute critiche che mi avrebbe fatto Alex
... o forse d
an95, o
orsoulx o altri scrupolosi utenti!
93 visite e nessun intervento tranne la mia replica!
--------
Per prima cosa correggo quanto, barando, avevo imbrogliato.
Il quesito corretto e completo è:
«Dimostrare che al tendere di $n$ all'infinito il limite di $s_n = n|sum_{k=1}^(n-1)(-1)^k/k + ln(2)|$ è $s_∞ = 1/2$»
o, più precisamente:
«Posto per ogni n intero positivo $s_n=n[ln(2)+sum_{k=1}^(n-1)(-1)^k/k]$, dimostrare che al crescere indefinitamente dell'indice $n$ il termine corrente $s_n$ tende a valere $1/2$ per $n$ dispari e $-1/2$ per $n$ pari»
La tesi si verifica subito "sperimentalmente".
Per esempio:
$199[ln(2)+sum_{k=1}^(198)(-1)^k/k]≈0,5012562655$; $1999[ln(2)+sum_{k=1}^(1998)(-1)^k/k]≈0,50012506251$;
$19999[ln(2)+sum_{k=1}^(19998)(-1)^k/k]≈0,500012500365$;
$200[ln(2)+sum_{k=1}^(199)(-1)^k/k]≈–0,5012499844$; $2000[ln(2)+sum_{k=1}^(1999)(-1)^k/k]≈ -0,50012499999$;
$20000[ln(2)+sum_{k=1}^(19999)(-1)^k/k]≈–0,500012500260$.
La prova teorica della tesi ... non la so!
Essendo $ln(2) = -sum_{k=1}^(+∞)(-1)^k/k$, si ha:
$n[ln(2)+sum_{k=1}^(n-1)(-1)^k/k]=-nsum_{k=n}^(+∞)(-1)^k/k=-(-1)^n(1–n/(n+1)+n/(n+2)-n/(n+3)+...)=$
$=(-1)^(n+1)sum_{k=0}^(+∞)n/((n+2k)(n+2k+1))$
___