7.3 Uendelige rekker og konvergens

Kan en uendelig sum bli endelig?

Still deg midt i rommet og gå halvparten av veien til veggen. Gå så halvparten av det som gjenstår. Og halvparten igjen. Du legger altså bak deg $\displaystyle \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots$ — uendelig mange strekninger. Kommer du noen gang frem? Intuisjonen sier at du nærmer deg veggen, og at den totale strekningen nærmer seg nøyaktig $1$. Men kan vi virkelig legge sammen uendelig mange tall og få et endelig svar?

Svaret er ja — noen ganger. Dette er et av de mest fascinerende resultatene i matematikken, og i dette kapittelet skal vi formalisere ideen og finne ut nøyaktig når en uendelig geometrisk rekke har en endelig sum.

Nøkkelbegrepene heter konvergens og divergens. En uendelig rekke $\sum_{n=1}^{\infty} a_n = a_1 + a_2 + a_3 + \cdots$ er konvergent dersom delsummene $S_n = a_1 + a_2 + \cdots + a_n$ nærmer seg en bestemt verdi $S$ når $n \to \infty$; da skriver vi $\sum_{n=1}^{\infty} a_n = S$. Nærmer delsummene seg ikke noen bestemt verdi, er rekken divergent. Vandringen mot veggen, en sprettball som spretter lavere og lavere, og til og med desimaltallene du har brukt hele livet — alle skjuler de en uendelig geometrisk rekke.

Konvergensbetingelsen og sumformelen

Når konvergerer en uendelig geometrisk rekke? Vi starter med den endelige summen fra forrige kapittel og skriver den om:

$$S_n = a_1 \cdot \frac{k^n - 1}{k - 1} = \frac{a_1}{1-k}(1 - k^n)$$

Alt avhenger av hva $k^n$ gjør når $n \to \infty$. Dersom $|k| < 1$, blir $k^n$ mindre og mindre og går mot null — og da gjenstår bare det vakre resultatet:

$$S = \lim_{n \to \infty} S_n = \frac{a_1}{1-k} \qquad \text{når } |k| < 1$$

Dersom $|k| \geq 1$, divergerer rekken. Betingelsen $|k| < 1$ betyr i praksis at hvert ledd er mindre enn det foregående i absoluttverdi — leddene bidrar stadig mindre. For $k = 1$ får vi $a + a + a + \cdots \to \infty$; for $k = -1$ oscillerer summen $a - a + a - a + \cdots$ uten å nærme seg noe; og for $|k| > 1$ vokser leddene i absoluttverdi.

La oss prøve: konvergerer $\displaystyle \sum_{n=0}^{\infty} 6 \cdot \left(\frac{1}{3}\right)^n$? Her er $a_1 = 6$ (leddet for $n = 0$) og $\displaystyle k = \frac{1}{3}$. Siden $|k| < 1$ konvergerer rekken, og summen er

$$S = \frac{6}{1 - \frac{1}{3}} = \frac{6}{\frac{2}{3}} = 9$$

Delsummene bekrefter det: $S_1 = 6$, $S_2 = 8$, $S_3 = 8{,}67$, $S_4 \approx 8{,}89$ — på vei mot 9. Merk at formen med startindeks 0, $\displaystyle \sum_{n=0}^{\infty} a \cdot k^n = \frac{a}{1-k}$, er den vanligste i teori og på eksamen.

En siste advarsel: at leddene går mot null er en nødvendig betingelse for konvergens — men ikke tilstrekkelig. Den harmoniske rekken $\displaystyle 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \cdots$ divergerer, selv om $\displaystyle \frac{1}{n} \to 0$. For geometriske rekker er imidlertid $|k| < 1$ hele historien.

Desimaltall og sprettballer

Her er en hemmelighet som har gjemt seg i tallene dine siden barneskolen: periodiske desimaltall er uendelige geometriske rekker. Ta $0{,}\overline{3} = 0{,}333\ldots$ Det er egentlig summen

$$\frac{3}{10} + \frac{3}{100} + \frac{3}{1000} + \cdots$$

en geometrisk rekke med $\displaystyle a_1 = \frac{3}{10}$ og $\displaystyle k = \frac{1}{10}$. Sumformelen gir $\displaystyle S = \frac{3/10}{1 - 1/10} = \frac{3/10}{9/10} = \frac{3}{9} = \frac{1}{3}$ — beviset for at $\displaystyle 0{,}\overline{3} = \frac{1}{3}$.

Samme teknikk fungerer for lengre perioder. Hva er $0{,}\overline{27} = 0{,}272727\ldots$ som brøk? Vi skriver $\displaystyle \frac{27}{100} + \frac{27}{10\,000} + \cdots$ med $\displaystyle a_1 = \frac{27}{100}$ og $\displaystyle k = \frac{1}{100}$:

$$S = \frac{\frac{27}{100}}{1 - \frac{1}{100}} = \frac{\frac{27}{100}}{\frac{99}{100}} = \frac{27}{99} = \frac{3}{11}$$

Slik viser geometriske rekker at alle periodiske desimaltall er rasjonale tall.

Så til den klassiske eksamensfavoritten: sprettballen. En ball slippes fra 10 meter, og hver gang den treffer bakken, spretter den til 60 % av forrige høyde. Hvor langt beveger ballen seg totalt? Vi deler bevegelsen i to. Nedover faller den $\displaystyle 10 + 6 + 3{,}6 + \cdots = \frac{10}{1 - 0{,}6} = \frac{10}{0{,}4} = 25$ meter. Oppover spretter den $\displaystyle 6 + 3{,}6 + \cdots = \frac{6}{0{,}4} = 15$ meter. Totalt $25 + 15 = 40$ meter — en endelig distanse, selv om ballen i teorien spretter uendelig mange ganger. Alternativt: total $= 10 + 2(6 + 3{,}6 + \cdots) = 10 + 2 \cdot 15 = 40$ m. Lignende regnestykker dukker opp for medisindoser som brytes ned, pendler som svinger seg til ro, og økonomiske strømmer som diskonteres — overalt der noe gjentar seg i stadig mindre skala.

Oppsummering: uendelig mange skritt, endelig vei

Vandringen mot veggen var ikke noe paradoks likevel: $\displaystyle \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots = 1$, akkurat som intuisjonen sa. En uendelig rekke konvergerer når delsummene $S_n$ nærmer seg en bestemt verdi, og for geometriske rekker er hele svaret samlet i én betingelse og én formel:

$$S = \frac{a_1}{1-k} \qquad \text{hvis og bare hvis } |k| < 1$$

Beviset bygde på omskrivingen $\displaystyle S_n = \frac{a_1}{1-k}(1 - k^n)$ og det faktum at $k^n \to 0$ når $|k| < 1$. For $|k| \geq 1$ divergerer rekken: leddene blir ikke små nok til at summen kan stabilisere seg. Og husk presiseringen: $a_n \to 0$ er nødvendig for konvergens, men ikke tilstrekkelig — den harmoniske rekken divergerer selv om leddene forsvinner.

Verktøyet viste seg overraskende allsidig. Periodiske desimaltall avslørte seg som geometriske rekker — $\displaystyle 0{,}\overline{3} = \frac{1}{3}$ og $\displaystyle 0{,}\overline{27} = \frac{3}{11}$ — som beviser at de er rasjonale tall. Sprettballen fra 10 meter la bak seg nøyaktig 40 meter, tross uendelig mange sprett. Samme matematikk styrer medisinkonsentrasjoner, pendelsvingninger og økonomiske strømmer.

Og nettopp økonomien venter i neste kapittel: når faste sparebeløp og lånebetalinger møter renters rente, er det summene fra dette kapittelet som gjør jobben.