Koŝia konverĝa provo

La koŝia konverĝa provo estas maniero por provi konverĝon de malfinia serio. Ĝi estas nomita laŭ Augustin Louis Cauchy, kiu publikigis ĝin en sia verko "Cours d'Analyse".

Deklaro

Serio

$\sum _{i=0}^{\mathrm{\infty }}{a}_i$

estas konverĝa se kaj nur se por ĉiu $\epsilon >0$ estas nombro N$\in \mathbb{N}$ tia ke

$|a_{n+1}+a_{n+2}+\dots +a_{n+p}|<\epsilon$

veras por ĉiuj n>N kaj $p\ge 1$.

Ekzemplo

La serio $1+\frac{1}{4}+\frac{1}{9}+\frac{1}{16}+\dots$ konverĝas, ĉar

$\left|\sum _{i=n+1}^m\frac{1}{i^2}\right|<\left|\sum _{i=n+1}^m\frac{1}{i(i-1)}\right|=\left|\sum _{i=n+1}^m(\frac{1}{i-1}-\frac{1}{i})\right|=\frac{1}{n}-\frac{1}{m}<\frac{1}{n}\le \frac{1}{N}<\epsilon$,

kiam $N>\frac{1}{\epsilon }$, dank' al la arĥimeda eco.

Provo

La provo laboras ĉar la serio estas konverĝa se kaj nur se la parta sumo $s_n:=\sum _{i=0}^n{a}_i$ estas koŝia vico: por ĉiu $\epsilon >0$ estas nombro N, tia ke por ĉiuj n,m>N veras $|s_m-s_n|<\epsilon .$ Oni povas supozi ke m>n kaj tial aro p=m-n. La serio estas konverĝa se kaj nur se

$|s_{n+p}-s_n|=|a_{n+1}+a_{n+2}+\dots +a_{n+p}|<\epsilon .$

Vidu ankaŭ

• Serio
• Konverĝa serio