Dokaz Rimanove teoreme je VRLO intuitivan, a ja sad tek shvatih da je pesmom tražen dokaz.
'Nači ovako. Od članova početnog, neapsolutno konvergentnog reda napraviš dva nova reda: red(an+) i red(an-). Prvi sadrži sve pozitivne članove reda, a drugi sve negativne članove reda. Oni imaju beskonačno mnogo članova.
Kako je početni red neapsolutno konvergentan, znači da oba ova reda divergiraju.
Sad odabereš neki proizvoljan realan broj A.
Sabereš prvih nekoliko članova reda an+, tako da ta suma premaši A (zaustaviš se nakon što je prvi put premašena). A zaista može biti proizvoljan broj s obzirom na to da an+ ima beskonačno mnogo članova (analogno će važiti i za an-).
E, sad dodaš tom redu negativne članove, tj. uzmeš toliko članova iz reda an- koliko ti je potrebno da ponovo premašiš A ali u drugom smeru.
Ponavljaš postupak u oba smera mnogo puta.
Dobićeš ovako nešto. Članove an+ ću označiti sa s, a an- sa -t. Dakle:
(s1+s2+s3+...s_n1)+(-t1-t2-....-tm1)+(s_n1+1 + ... + s_n2) + (-t_m1+1 - ... - t_m2) < A. Ovo mogu skraćeno napisati u opštem slučaju kao: Q_nk < A, tj. Q_nk je jednako levoj strani nejednakosti.
Ovo će konvergirati ka A, jer možeš da proceniš sa poslednjim dodatim s_nk ili t_mk tj. važi |Q_nk - A| < s_nk i analogno za t_mk, a važi da s_nk->0 i t_mk->0 kad n->inf i m->inf zato što polazni red konvergira (opšti član konv. reda mora da teži nuli). Tada zbog toga što desna strana teži nuli, leva teži još brže i važi Q_nk-->A.
Ovo, kao što je napomenuto, važi za proizvoljno A. Možeš odabrati konkretan broj kad hoćeš nekome da pokažeš
Btw, pošto ovde u Q_nk postoje ove zagrade, one bi trebalo da se sklone, što je moguće jer su svi članovi unutar zagrade istog znaka. Može se pokazati i to da važi ali se ne sećam kako
Have fun