Geometrische Reihe

Eine geometrische Reihe ist eine spezielle mathematische Reihe. Eine geometrische Reihe ist die Reihe einer geometrischen Folge. Bei einer geometrischen Folge ist der Quotient $q$ zweier benachbarter Folgenglieder konstant. Für $|q|<1$ gilt

$\sum _{k=0}^{\infty }a_{0}q^{k}={\frac {a_{0}}{1-q}}$

Ein Startwert der geometrischen Folge von 1 und ein Quotient größer als 1 (hier 2) ergibt eine divergierende geometrische Reihe: 1, 1+2, 1+2+4, 1+2+4+8,… , zusammengefasst also 1, 3, 7, 15,…

Bei identischem Startwert und einem Quotienten von 1/2 ergibt sich hingegen die geometrische Reihe: 1, 1+1/2, 1+1/2+1/4, 1+1/2+1/4+1/8, … , also 1, 3/2, 7/4, 15/8, … mit dem Grenzwert ${\tfrac {1}{1-1/2}}=2$.

Berechnung der (endlichen) Partialsummen einer geometrischen Reihe

Eine Reihe ist per Definition eine Folge von Partialsummen, der Wert der Reihe der Grenzwert dieser Folge von Partialsummen. Eine endliche Summe ist somit ein Folgenglied aus der Folge der Partialsummen. Die (endliche) Summe der ersten $n$ Glieder einer Reihe bezeichnet man also als $n$-te Partialsumme und nicht etwa als „Partialreihe“ o. ä.

Gegeben sei eine geometrische Folge $(a_{k})_{k\in \mathbb {N} _{0}}$.

$s=\sum _{k=0}^{\infty }a_{k}$ ist die zugehörige geometrische Reihe.

Wir können daraus eine neue Folge

$(s_{n})=\left(\sum _{k=0}^{n}a_{k}\right)=\left(\sum _{k=0}^{0}a_{k},\sum _{k=0}^{1}a_{k},\sum _{k=0}^{2}a_{k},\sum _{k=0}^{3}a_{k},\ldots \right)=\left(a_{0},a_{0}+a_{1},a_{0}+a_{1}+a_{2},a_{0}+a_{1}+a_{2}+a_{3},\ldots \right)$

konstruieren, deren $n$-tes Glied jeweils die Summe der ersten $n$ Glieder der Reihe $s$ ist, die sogenannte $n$-te Partialsumme von $s$. Diese Folge heißt die Folge der Partialsummen zu $s$. (Genau genommen wird in umgekehrter Reihenfolge die Reihe auf Grundlage von Partialsummen einer Folge definiert. Die obige und übliche Schreibweise für die Reihe gibt das aber nicht her, deshalb müssen wir aus ihr erst die Folge der Partialsummen rekonstruieren.) Falls sie konvergiert, wird über sie der Wert der Reihe $s$ definiert. Es gilt für den Wert der Reihe s (hier wird nicht mehr von „Grenzwert“ gesprochen):

$s:=\lim _{n\to \infty }s_{n};$

in Worten: Der Wert der Reihe $s$ ist definiert als der Grenzwert der zu ihr gehörigen Partialsummen-Folge, falls diese konvergiert, andernfalls wird die Reihe als divergent bezeichnet. Falls in diesem Falle die Folge der Partialsummen gegen (plus / minus) Unendlich strebt, schreibt man gewöhnlich $s=\lim _{n\to \infty }s_{n}=\infty$ oder ${-}\infty$ und sagt, die Folge konvergiere gegen den uneigentlichen Grenzwert (plus / minus) Unendlich oder die Reihe habe den uneigentlichen Wert (plus / minus) Unendlich. (Eine Berechnungsformel für den Grenzwert folgt weiter unten.)

Mit $q$ bezeichnen wir nun das Verhältnis $a_{k+1}/a_{k}$ zweier benachbarter Glieder, das für alle $k$ gleich ist.

Dann gilt $a_{k}=a_{0}q^{k}$ für alle $k$.

Für die $n$-te Partialsumme $s_{n}$ ergibt sich damit:

$s_{n}=a_{0}\sum _{k=0}^{n}q^{k}$

Wenn $q\neq 1$, dann gilt (Herleitung siehe unten)

$s_{n}=a_{0}{\frac {q^{n+1}-1}{q-1}}=a_{0}{\frac {1-q^{n+1}}{1-q}}$

Falls $q=1$, so gilt

$s_{n}=a_{0}(n+1)$

Das Obige gilt, wenn die Folgenglieder Elemente eines unitären Ringes sind, also insbesondere, wenn es reelle Zahlen sind.

Verwandte Summenformel 1

Die Partialsumme

$s_{n}=\sum _{k=0}^{n}a_{0}q^{k}k$

hat für $q\neq 1$ das Ergebnis

$s_{n}=a_{0}{\frac {nq^{n+2}-(n+1)q^{n+1}+q}{(q-1)^{2}}}$

und für $q=1$ (vgl. Gaußsche Summenformel)

$s_{n}=a_{0}\sum _{k=0}^{n}1^{k}k=a_{0}\sum _{k=0}^{n}1k=a_{0}\sum _{k=0}^{n}k=a_{0}{\frac {n(n+1)}{2}}$

Verwandte Summenformel 2

Die Partialsumme

$s_{n}=\sum _{k=0}^{n}a_{0}q^{k}k^{2}$

hat für $q\neq 1$ das Ergebnis

$s_{n}=a_{0}{\frac {n^{2}q^{n+3}-(2n^{2}+2n-1)q^{n+2}+(n+1)^{2}q^{n+1}-q^{2}-q}{(q-1)^{3}}}$

und für $q=1$ (vgl. Potenzsummen)

$s_{n}=a_{0}{\frac {n(n+1)(2n+1)}{6}}$

Beispiele

Zahlenbeispiel

Gegeben sei die geometrische Folge

$a_{0}=5,\ a_{1}=15,\ a_{2}=45,\ a_{3}=135,\ \dots$

mit $a_{0}=5$ und $q=3.$ Die zugehörige geometrische Reihe ist

$s=\sum _{k=0}^{\infty }5\cdot 3^{k}=5+15+45+135+\ldots =\infty$

Die zugehörige Folge von Partialsummen ergibt sich zu

$s_{0}=5=5{\frac {1-3^{1}}{1-3}}$

$s_{1}=5+15=20=5{\frac {1-3^{2}}{1-3}}$

$s_{2}=5+15+45=65=5{\frac {1-3^{3}}{1-3}}$

$s_{3}=5+15+45+135=200=5{\frac {1-3^{4}}{1-3}}$

usw.

Rentenrechnung

Angenommen, man zahlt am Anfang eines jeden Jahres 2.000 € bei einer Bank ein und die Zinsen liegen bei 5 % [d.h. der Zinsfaktor ist: 1+(5/100)= 1,05]. Wie viel Geld hat man am Ende des fünften Jahres?

Das im ersten Jahr eingezahlte Geld wird fünf Jahre lang verzinst, man erhält dafür am Ende inklusive Zinseszins 2.000 · 1,05⁵ €. Das im zweiten Jahr eingezahlte Geld wird nur noch vier Jahre verzinst und so weiter. Insgesamt ergibt sich dann ein angesparter Betrag von

${\begin{aligned}&2\,000\cdot 1{,}05^{5}+2\,000\cdot 1{,}05^{4}+2\,000\cdot 1{,}05^{3}+2\,000\cdot 1{,}05^{2}+2\,000\cdot 1{,}05^{1}\\&\quad =2\,000\cdot 1{,}05\cdot (1{,}05^{4}+1{,}05^{3}+1{,}05^{2}+1{,}05^{1}+1{,}05^{0})\\&\quad =2\,000\cdot 1{,}05\cdot \sum _{k=0}^{4}1{,}05^{k}\\&\quad =2\,000\cdot 1{,}05\cdot {\frac {1{,}05^{4+1}-1}{1{,}05-1}}\\&\quad =2\,000\cdot 1{,}05\cdot {\frac {1{,}05^{5}-1}{0{,}05}}\\&\quad =11\,603{,}826\end{aligned}}$

Durch Zinsen hat sich das Kapital somit um 1603,83 € erhöht. Beim Nachrechnen von Kontoauszügen ist zu bedenken, dass im Bankenwesen nicht mathematisch gerundet wird.

Zum Vergleich: Würden nicht Jahr für Jahr je 2000 € eingezahlt sondern gleich von Beginn an die ganzen 10000 € über 5 Jahre bei 5 % Zinsen angelegt, so wäre der Endbetrag

$10\,000\cdot 1{,}05^{5}=12\,762{,}8156$

also ein Kapitalertrag von 2762,82 €.

Allgemein gilt: Beträgt die Einlage am Anfang jedes Jahres $a_{0}$, der Zinsfaktor q und die Laufzeit n Jahre, dann ist der Endwert

$a_{0}q{\frac {q^{n}-1}{q-1}}$

Rentenrechnung mit linearer Dynamik

Zahlt man im Gegensatz zum vorigen Beispiel nicht jährlich einen festen Beitrag $a_{0}$, sondern ab dem 2. Jahr jedes Jahr $d$ € mehr als im Vorjahr ein, so ist der Endwert

${\begin{aligned}&\sum _{k=1}^{n}q^{k}(a_{0}+d(n-k))=\sum _{k=1}^{n}(q^{k}(a_{0}+dn)-q^{k}dk)\\&\qquad =\left(\sum _{k=1}^{n}q^{k}(a_{0}+dn)\right)-\left(\sum _{k=1}^{n}q^{k}dk\right)\\&\qquad =(a_{0}+dn)\left(\sum _{k=1}^{n}q^{k}\right)-d\left(\sum _{k=1}^{n}q^{k}k\right)\\&\qquad =(a_{0}+dn){\frac {q^{n+1}-q}{q-1}}-d{\frac {nq^{n+2}-(n+1)q^{n+1}+q}{(q-1)^{2}}}\end{aligned}}$

zum Beispiel mit $a_{0}=2.000$ € im ersten Jahr, jedes Jahr $d=100$ € mehr als im Vorjahr, 5 % Zinsen (also Zinsfaktor $q=1,05$) und $n=5$ Jahren Laufzeit, dann ist der am Ende des 5. Jahres angesparte Betrag

${\begin{aligned}&(2\,000+100\cdot 5)\cdot {\frac {1{,}05^{5+1}-1{,}05}{1{,}05-1}}-100\cdot {\frac {5\cdot 1{,}05^{5+2}-(5+1)\cdot 1{,}05^{5+1}+1{,}05}{(1{,}05-1)^{2}}}\\&\qquad =2\,500\cdot {\frac {0{,}29}{0{,}05}}-100\cdot {\frac {7{,}03-8{,}04+1{,}05}{0{,}0025}}\\&\qquad =2\,500\cdot 5{,}8-100\cdot {\frac {0{,}0449}{0{,}0025}}\\&\qquad =14\,504{,}78-100\cdot 17{,}97\\&\qquad =12\,707{,}65\end{aligned}}$

wobei in diesem Beispiel nicht 10.000 €, sondern insgesamt 11.000 € eingezahlt wurden, also beträgt der Gewinn 1.707,65 €. Zahlt man statt $a_{0}=2.000$ € im ersten Jahr nur $a_{0}=1.800$ € ein und lässt die anderen Faktoren gleich (sodass man wie im vorletzten Beispiel insgesamt 10.000 € einzahlt), dann ist der Endwert nur noch 11.547,27 €, das heißt zahlt man den gleichen Betrag ein, nur zu Beginn weniger, dafür später mehr, dann entgehen einem Gewinne (Opportunitätskosten).

Periodische Dezimalbrüche

Periodische Dezimalbruchentwicklungen enthalten eine geometrische Reihe, welche mit den obigen Formeln wieder in einen Bruch umgewandelt werden kann. Zum Beispiel:

${\begin{aligned}0,2{\overline {67}}&={\frac {2}{10}}+{\frac {1}{1000}}\sum _{k=0}^{\infty }{\frac {67}{100^{k}}}={\frac {2}{10}}+{\frac {67}{1000}}\,{\frac {1}{1-{\frac {1}{100}}}}\\&={\frac {2}{10}}+{\frac {67}{1000}}\,{\frac {100}{99}}={\frac {2}{10}}+{\frac {67}{990}}\\&={\frac {265}{990}}={\frac {53}{198}}\end{aligned}}$

Konvergenz und Wert der geometrischen Reihe

Eine geometrische Reihe bzw. die Folge ihrer Partialsummen konvergiert genau dann, wenn der Betrag der reellen (oder komplexen) Zahl $q$ kleiner als Eins oder ihr Anfangsglied $a_{0}$ gleich Null ist. Für $|q|<1$ oder $a_{0}=0$ konvergiert die zugrundeliegende geometrische Folge nämlich gegen Null:

$\lim _{k\to \infty }a_{0}q^{k}=0$

Das ist eine notwendige Bedingung für die Konvergenz der geometrischen Reihe. Da für $|q|>1$ und $a_{0}\neq 0$ die Grundfolge divergiert, liegt in diesem Falle somit auch Divergenz der Reihe vor. Für $q=1$ rührt die Divergenz der geometrischen Reihe direkt von der Tatsache her, dass dann $\sum _{k=0}^{N}a_{0}q^{k}=\sum _{k=0}^{N}a_{0}\cdot 1=N\cdot a_{0}$, ein Ausdruck, der für $N\to \infty$ und $a_{0}\neq 0$ divergiert. Für den Fall $q>1$ ergibt sich die Divergenz immer als bestimmte Divergenz (s. o.), für den Fall $q\leq -1$ immer als unbestimmte Divergenz. Die geometrische Reihe konvergiert auch absolut, sofern sie auf normale Weise konvergiert.

Der Wert der Reihe im Konvergenzfall ergibt sich aus jener obenstehenden Formel für die $n$-ten Partialsummen durch Grenzwertbildung ($n\to \infty$) für $|q|<1$ zu

$\sum _{k=0}^{\infty }a_{0}q^{k}=\lim _{n\to \infty }\sum _{k=0}^{n}a_{0}q^{k}=\lim _{n\to \infty }a_{0}{\frac {1-q^{n+1}}{1-q}}={\frac {a_{0}}{1-q}},$

denn es ist $\lim _{n\to \infty }(1-q^{n+1})=1.$

Die letzte Formel ist sogar in jeder Banach-Algebra gültig, solange die Norm von $q$ kleiner als Eins ist; im Kontext linearer Operatoren spricht man auch von der Neumann-Reihe.

Herleitungen

Herleitung der Formel für die Partialsummen

Die $n$-te Partialsumme der geometrischen Reihe lässt sich wie folgt berechnen:

$s_{n}=\sum _{k=0}^{n}a_{0}q^{k}=a_{0}+a_{0}q+a_{0}q^{2}+\dots +a_{0}q^{n}=a_{0}(1+q+q^{2}+\dots +q^{n})$

Vereinfacht:

$s_{n}=a_{0}(1+q+q^{2}+\dots +q^{n})$   (Gleichung 1)

Durch Multiplikation mit $q$ ergibt sich:

$qs_{n}=a_{0}(q+q^{2}+q^{3}+\dots +q^{n+1})$   (Gleichung 2)

Wenn man Gleichung 2 von Gleichung 1 subtrahiert erhält man:

$s_{n}-qs_{n}=a_{0}(1-q^{n+1})$

Ausklammern von $s_{n}$:

$s_{n}(1-q)=a_{0}(1-q^{n+1})\$

Teilen durch $(1-q)$ liefert für $q\neq 1$ die gesuchte Formel für die Partialsummen:

$s_{n}=a_{0}{{1-q^{n+1}} \over {1-q}}$

Herleitung der Varianten

Mithilfe der oben angegebenen Formel lassen sich durch gliedweise Differentiation auch folgende endliche Reihen geschlossen darstellen, für $q\neq 1$

${\begin{aligned}\sum _{k=0}^{n}kq^{k}&=\sum _{k=0}^{n}q{\frac {\mathrm {d} }{\mathrm {d} q}}q^{k}=q{\frac {\mathrm {d} }{\mathrm {d} q}}\sum _{k=0}^{n}q^{k}=q{\frac {\mathrm {d} }{\mathrm {d} q}}{\frac {1-q^{n+1}}{1-q}}\\&={\frac {nq^{n+2}-(n+1)q^{n+1}+q}{(1-q)^{2}}}\end{aligned}}$

${\begin{aligned}\sum _{k=0}^{n}k^{2}q^{k}&=\sum _{k=0}^{n}q{\frac {\mathrm {d} }{\mathrm {d} q}}q{\frac {\mathrm {d} }{\mathrm {d} q}}q^{k}=q{\frac {\mathrm {d} }{\mathrm {d} q}}q{\frac {\mathrm {d} }{\mathrm {d} q}}\sum _{k=0}^{n}q^{k}=q{\frac {\mathrm {d} }{\mathrm {d} q}}q{\frac {\mathrm {d} }{\mathrm {d} q}}{\frac {1-q^{n+1}}{1-q}}\\&={\frac {n^{2}q^{n+3}-(2n^{2}+2n-1)q^{n+2}+(n+1)^{2}q^{n+1}-q^{2}-q}{(q-1)^{3}}}\end{aligned}}$

Für $|q|<1$ konvergieren nach Grenzwertbildung der zugehörigen endlichen Reihe auch die unendlichen Reihen (folglich sind diese sogar gliedweise integrierbar):

$\sum _{k=0}^{\infty }kq^{k}=q{\frac {\mathrm {d} }{\mathrm {d} q}}\sum _{k=0}^{\infty }q^{k}=q{\frac {\mathrm {d} }{\mathrm {d} q}}{\frac {1}{1-q}}={\frac {q}{(1-q)^{2}}}$

$\sum _{k=0}^{\infty }k^{2}q^{k}=q{\frac {\mathrm {d} }{\mathrm {d} q}}q{\frac {\mathrm {d} }{\mathrm {d} q}}\sum _{k=0}^{\infty }q^{k}=q{\frac {\mathrm {d} }{\mathrm {d} q}}q{\frac {\mathrm {d} }{\mathrm {d} q}}{\frac {1}{1-q}}=q{\frac {\mathrm {d} }{\mathrm {d} q}}{\frac {q}{(1-q)^{2}}}={\frac {q(1+q)}{(1-q)^{3}}}$

analog für höhere Potenzen.

Siehe auch

• Die Konvergenz bzw. Divergenz der geometrischen Reihe ist die Grundlage für das Wurzelkriterium und das Quotientenkriterium.
• Geometrische Verteilung
• Arithmetische Reihe
• Harmonische Reihe

Literatur

• Otto Forster: Analysis 1. Differential- und Integralrechnung einer Veränderlichen. Vieweg-Verlag, 8. Aufl. 2006, ISBN 3-528-67224-2