# Geometrische Reihe

Eine geometrische Reihe ist die Reihe 
  
    
      
        
          
            ∑
            
              k
              =
              0
            
            
              ∞
            
          
          
            a
            
              k
            
          
        
      
    
    {\displaystyle \textstyle \sum _{k=0}^{\infty }a_{k}}
  
 einer geometrischen Folge 
  
    
      
        
          a
          
            n
          
        
      
    
    {\displaystyle a_{n}}
  
, sodass also zwei aufeinanderfolgende Reihenglieder stets dasselbe Verhältnis haben. Die Bezeichnung weist darauf hin, dass jeder Summand das geometrische Mittel aus Vorgänger und Nachfolger ist. Ein Beispiel einer geometrischen Reihe ist 
  
    
      
        1
        +
        
          
            
              1
              2
            
          
        
        +
        
          
            
              1
              4
            
          
        
        +
        
          
            
              1
              8
            
          
        
        +
        
          
            
              1
              16
            
          
        
        +
        ⋯
      
    
    {\displaystyle 1+{\tfrac {1}{2}}+{\tfrac {1}{4}}+{\tfrac {1}{8}}+{\tfrac {1}{16}}+\cdots }
  
 mit Reihenwert 
  
    
      
        2
      
    
    {\displaystyle 2}
  
. Ganz allgemein besitzt sie die Gestalt 
  
    
      
        a
        +
        a
        q
        +
        a
        
          q
          
            2
          
        
        +
        a
        
          q
          
            3
          
        
        +
        ⋯
      
    
    {\displaystyle a+aq+aq^{2}+aq^{3}+\cdots }
  
 mit einem Vorfaktor 
  
    
      
        a
      
    
    {\displaystyle a}
  
 und dem gemeinsamen Verhältnis 
  
    
      
        q
        ≠
        0
      
    
    {\displaystyle q\not =0}
  
. In der Literatur wird jedoch häufig schlicht 
  
    
      
        a
        =
        1
      
    
    {\displaystyle a=1}
  
 gesetzt.
Bei geometrischen Reihen handelt es sich um Reihen „besonders einfacher Bauart“. In der Mathematik, besonders der Analysis, hat dies große Vorteile. Soll etwa eine bestimmte unendliche Reihe analysiert werden, die komplizierte Eigenschaften hat, so kann sie manchmal durch eine geometrische Reihe „imitiert“ werden, und diese Vereinfachung ermöglicht es schließlich doch, Aussagen zu treffen. Diese „Imitation“ ist zum Beispiel bezüglich allgemeiner Potenzreihen hinsichtlich Fragen der Konvergenz „fast perfekt“, was schließlich zum Begriff des Konvergenzradius führt, einer sehr aussagekräftigen Kenngröße dieser Reihen und damit der Funktionentheorie im Allgemeinen.
Allgemeine unendliche Reihen haben in verschiedensten Disziplinen Anwendungen, etwa in den Ingenieurswissenschaften oder der analytischen Zahlentheorie. Historisch entstanden ist die geometrische Reihe jedoch aus dem Bestreben heraus, die Flächen oder Volumina von Figuren (wie einer Parabel oder einem Tetraeder) durch „Ausschöpfen“ zu ermitteln. Die Idee hierbei ist, die Figur in sehr viele kleine Teile zu zerlegen, deren Flächeninhalte oder Volumina aber einfach ermittelt werden können, wie dies etwa bei Rechtecken oder Quadern der Fall ist. Das Volumen der komplizierten Figur ist dann im Grenzwert die gegebenenfalls unendliche Summe der immer kleiner werdenden, aber einfachen Volumina der Teilfiguren. In dieser Hinsicht kann die geometrische Reihe auch als Urahn der modernen Integralrechnung gesehen werden: Schon Pierre de Fermat konnte mit ihr erfolgreich die Kurve der Potenzfunktion 
  
    
      
        f
        (
        x
        )
        =
        
          x
          
            a
          
        
      
    
    {\displaystyle f(x)=x^{a}}
  
 für Hochzahlen 
  
    
      
        a
        >
        −
        1
      
    
    {\displaystyle a>-1}
  
 integrieren.
Aufgrund der einfachen Gestalt der Summanden ist es möglich, die Partialsummen 
  
    
      
        
          
            s
            
              n
            
          
          :=
          
            ∑
            
              k
              =
              0
            
            
              n
            
          
          
            q
            
              k
            
          
        
      
    
    {\displaystyle \textstyle s_{n}:=\sum _{k=0}^{n}q^{k}}
  
 der zugehörigen geometrischen Reihe in geschlossener Form zu berechnen. Eine wichtige Tatsache ist ferner, dass die geometrische Reihe 
  
    
      
        
          
            ∑
            
              k
              =
              0
            
            
              ∞
            
          
          
            q
            
              k
            
          
        
      
    
    {\displaystyle \textstyle \sum _{k=0}^{\infty }q^{k}}
  
 genau dann konvergiert, falls 
  
    
      
        
          |
        
        q
        
          |
        
        <
        1
      
    
    {\displaystyle |q|<1}
  
 gilt. Ihr Grenzwert ist in diesem Falle

  
    
      
        
          ∑
          
            k
            =
            0
          
          
            ∞
          
        
        
          q
          
            k
          
        
        =
        
          
            1
            
              1
              −
              q
            
          
        
      
    
    {\displaystyle \sum _{k=0}^{\infty }q^{k}={\frac {1}{1-q}}}
  
.
Dabei ist es unerheblich, ob es sich bei 
  
    
      
        q
      
    
    {\displaystyle q}
  
 um eine reelle oder allgemeiner komplexe Zahl handelt.
Die geometrische Reihe zählt zu den wichtigsten Reihen überhaupt. Anwendungen hat sie als Majorante (etwa beim Beweis von Konvergenzkriterien wie dem Quotientenkriterium) und im Bereich der Potenzreihenentwicklungen rationaler Funktionen. Weitere Anwendungsbereiche sind die Rentenrechnung, Geometrie, Fourier-Analysis, Wahrscheinlichkeitstheorie (etwa hinsichtlich der geometrischen Verteilung) und Zahlentheorie. So spielt sie etwa bei der Herleitung des Euler-Produktes der Riemannschen Zeta-Funktion eine zentrale Rolle, woraus in letzter Konsequenz schließlich die Formulierung der Riemannschen Vermutung hervorgeht, eines der sieben Millennium-Probleme der Mathematik.


## Einführung
Unter einer Reihe versteht man anschaulich eine niemals endende Summe von Zahlen. Zum Beispiel kann die Dezimalschreibweise einer reellen Zahl als Reihe aufgefasst werden, etwa 

  
    
      
        
          
            1
            3
          
        
        =
        0,333
        333
        …
        =
        0
        
          ,
        
        3
        +
        0
        
          ,
        
        03
        +
        0,003
        +
        0,000
        3
        +
        0,000
        03
        +
        0,000
        003
        +
        ⋯
      
    
    {\displaystyle {\frac {1}{3}}=0{,}333333\ldots =0{,}3+0{,}03+0{,}003+0{,}0003+0{,}00003+0{,}000003+\cdots }
  

oder auch die Kreiszahl 
  
    
      
        π
      
    
    {\displaystyle \pi }
  
:

  
    
      
        π
        =
        3,141
        59
        …
        =
        3
        +
        0
        
          ,
        
        1
        +
        0
        
          ,
        
        04
        +
        0,001
        +
        0,000
        5
        +
        0,000
        09
        +
        ⋯
      
    
    {\displaystyle \pi =3{,}14159\ldots =3+0{,}1+0{,}04+0{,}001+0{,}0005+0{,}00009+\cdots }
  
.
Die durch die Punkte angedeuteten Summen enden niemals, da die Dezimalentwicklung von 
  
    
      
        
          
            
              1
              3
            
          
        
      
    
    {\displaystyle {\tfrac {1}{3}}}
  
 periodisch und die Kreiszahl irrational ist. Es gibt Reihen, denen kein Wert zugeordnet werden kann, etwa Grandis Reihe

  
    
      
        1
        −
        1
        +
        1
        −
        1
        +
        1
        −
        1
        +
        1
        −
        1
        +
        1
        −
        1
        +
        ⋯
        ,
      
    
    {\displaystyle 1-1+1-1+1-1+1-1+1-1+\cdots ,}
  

aber auch solche, die gegen einen Grenzwert konvergieren (wie die obigen Beispiele mit Grenzwerten 
  
    
      
        
          
            
              1
              3
            
          
        
      
    
    {\displaystyle {\tfrac {1}{3}}}
  
 bzw. 
  
    
      
        π
      
    
    {\displaystyle \pi }
  
).
Während die Dezimalentwicklung von 
  
    
      
        π
      
    
    {\displaystyle \pi }
  
 sehr irregulär ist, ist zum Beispiel im Fall 
  
    
      
        
          
            
              1
              3
            
          
        
      
    
    {\displaystyle {\tfrac {1}{3}}}
  
 ein sehr reguläres Muster zu erkennen. Es handelt sich hier um ein erstes Beispiel einer geometrischen Reihe. Entscheidend ist, dass im Wesentlichen nur aufsteigende Potenzen derselben Basiszahl summiert werden. Die Basis ist in diesem Beispiel 
  
    
      
        
          
            
              1
              10
            
          
        
      
    
    {\displaystyle {\tfrac {1}{10}}}
  
:

  
    
      
        
          
            1
            3
          
        
        =
        0
        
          ,
        
        3
        +
        0
        
          ,
        
        03
        +
        0,003
        +
        0,000
        3
        +
        0,000
        03
        +
        0,000
        003
        +
        ⋯
        =
        3
        
          (
          
            
              1
              10
            
          
          )
        
        +
        3
        
          
            (
            
              
                1
                10
              
            
            )
          
          
            2
          
        
        +
        3
        
          
            (
            
              
                1
                10
              
            
            )
          
          
            3
          
        
        +
        3
        
          
            (
            
              
                1
                10
              
            
            )
          
          
            4
          
        
        +
        3
        
          
            (
            
              
                1
                10
              
            
            )
          
          
            5
          
        
        +
        3
        
          
            (
            
              
                1
                10
              
            
            )
          
          
            6
          
        
        +
        ⋯
        .
      
    
    {\displaystyle {\frac {1}{3}}=0{,}3+0{,}03+0{,}003+0{,}0003+0{,}00003+0{,}000003+\cdots =3\left({\frac {1}{10}}\right)+3\left({\frac {1}{10}}\right)^{2}+3\left({\frac {1}{10}}\right)^{3}+3\left({\frac {1}{10}}\right)^{4}+3\left({\frac {1}{10}}\right)^{5}+3\left({\frac {1}{10}}\right)^{6}+\cdots .}
  

Auch das oben schon genannte Beispiel 
  
    
      
        1
        −
        1
        +
        1
        −
        1
        +
        ⋯
        =
        (
        −
        1
        
          )
          
            0
          
        
        +
        (
        −
        1
        
          )
          
            1
          
        
        +
        (
        −
        1
        
          )
          
            2
          
        
        +
        (
        −
        1
        
          )
          
            3
          
        
        +
        ⋯
      
    
    {\displaystyle 1-1+1-1+\cdots =(-1)^{0}+(-1)^{1}+(-1)^{2}+(-1)^{3}+\cdots }
  
 ist in diesem Sinne eine divergente geometrische Reihe, ebenso wie die divergente Reihe

  
    
      
        1
        +
        2
        +
        4
        +
        8
        +
        16
        +
        32
        +
        64
        +
        128
        +
        256
        +
        ⋯
      
    
    {\displaystyle 1+2+4+8+16+32+64+128+256+\cdots }
  

der sich stets verdoppelnden Zahlen. Was die geometrische Reihe für die Mathematik so wichtig macht, ist die Einfachheit ihrer Bauart. Damit ist zum Beispiel die Tatsache verbunden, dass es sehr leicht zu entscheiden ist, ob eine vorgelegte geometrische Reihe konvergiert oder divergiert und wie gegebenenfalls ihr Grenzwert aussieht. Gleichzeitig kommt sie mit diesen Eigenschaften bei der Untersuchung weit komplizierterer und allgemeinerer unendlicher Reihen zum Einsatz, bei denen diese Fragen zunächst schwer zu beantworten sind.


## Definition
Für reelle (oder komplexe) Zahlen 
  
    
      
        q
      
    
    {\displaystyle q}
  
 definiert man die geometrische Reihe als

  
    
      
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          q
          
            n
          
        
        .
      
    
    {\displaystyle \sum _{n=0}^{\infty }q^{n}.}
  

Ihre Partialsummen sind also gegeben durch 
  
    
      
        
          
            s
            
              n
            
          
          =
          
            ∑
            
              k
              =
              0
            
            
              n
            
          
          
            q
            
              k
            
          
        
      
    
    {\displaystyle \textstyle s_{n}=\sum _{k=0}^{n}q^{k}}
  
, und die ersten Glieder sind

  
    
      
        1
        ,
        
        1
        +
        q
        ,
        
        1
        +
        q
        +
        
          q
          
            2
          
        
        ,
        
        1
        +
        q
        +
        
          q
          
            2
          
        
        +
        
          q
          
            3
          
        
        ,
        
        …
      
    
    {\displaystyle 1,\quad 1+q,\quad 1+q+q^{2},\quad 1+q+q^{2}+q^{3},\quad \ldots }
  

In allgemeinerer Form wird für reelle (oder komplexe) Zahlen 
  
    
      
        a
        ≠
        0
        ,
        q
      
    
    {\displaystyle a\not =0,q}
  
 die Reihe

  
    
      
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        a
        
          q
          
            n
          
        
        =
        a
        +
        a
        q
        +
        a
        
          q
          
            2
          
        
        +
        a
        
          q
          
            3
          
        
        +
        ⋯
        =
        a
        
          (
          
            1
            +
            q
            +
            
              q
              
                2
              
            
            +
            
              q
              
                3
              
            
            +
            
              q
              
                4
              
            
            +
            ⋯
          
          )
        
        =
        a
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          q
          
            n
          
        
      
    
    {\displaystyle \sum _{n=0}^{\infty }aq^{n}=a+aq+aq^{2}+aq^{3}+\cdots =a\left(1+q+q^{2}+q^{3}+q^{4}+\cdots \right)=a\sum _{n=0}^{\infty }q^{n}}
  

auch als geometrische Reihe bezeichnet. Diese ist jedoch bis auf einen skalaren Faktor gleich der geometrischen Reihe 
  
    
      
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            q
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=0}^{\infty }q^{n}}
  
. Aus rein analytischer Sicht reicht es also aus, die Reihe 
  
    
      
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            q
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=0}^{\infty }q^{n}}
  
 zu studieren, obwohl der Vorfaktor 
  
    
      
        a
      
    
    {\displaystyle a}
  
 in einigen geometrischen Anwendungen (hinsichtlich Skalierung) eine unentbehrliche Rolle spielt. Zu beachten ist zudem, dass die allgemeinere Form auch andere untere Summenindizes als 
  
    
      
        n
        =
        0
      
    
    {\displaystyle n=0}
  
 mit einschließt, wobei die dafür genutzte Skalierung jedoch von 
  
    
      
        q
      
    
    {\displaystyle q}
  
 abhängt. Mit der Wahl 
  
    
      
        a
        =
        c
        
          q
          
            ℓ
          
        
      
    
    {\displaystyle a=cq^{\ell }}
  
 erhält man:

  
    
      
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        a
        
          q
          
            n
          
        
        =
        c
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          q
          
            n
            +
            ℓ
          
        
        =
        c
        
          ∑
          
            n
            =
            ℓ
          
          
            ∞
          
        
        
          q
          
            n
          
        
        .
      
    
    {\displaystyle \sum _{n=0}^{\infty }aq^{n}=c\sum _{n=0}^{\infty }q^{n+\ell }=c\sum _{n=\ell }^{\infty }q^{n}.}
  

Eine charakteristische Eigenschaft geometrischer Reihen mit ausschließlich positiven Größen, aus der sich auch die Benennung geometrisch ableitet, ist, dass jedes Reihenglied geometrisches Mittel von Vorgänger und Nachfolger ist. In der Tat hat man für 
  
    
      
        
          a
          
            n
          
        
        :=
        c
        
          q
          
            n
          
        
      
    
    {\displaystyle a_{n}:=cq^{n}}
  
 und 
  
    
      
        c
        ,
        q
        >
        0
      
    
    {\displaystyle c,q>0}
  

  
    
      
        
          
            
              a
              
                n
                −
                1
              
            
            
              a
              
                n
                +
                1
              
            
          
        
        =
        
          
            
              c
              
                2
              
            
            
              q
              
                2
                n
              
            
          
        
        =
        c
        
          q
          
            n
          
        
        =
        
          a
          
            n
          
        
        .
      
    
    {\displaystyle {\sqrt {a_{n-1}a_{n+1}}}={\sqrt {c^{2}q^{2n}}}=cq^{n}=a_{n}.}
  


## Konvergenzkriterium
Für 
  
    
      
        
          |
        
        q
        
          |
        
        <
        1
      
    
    {\displaystyle |q|<1}
  
 konvergiert die geometrische Reihe. Es gilt in diesem Fall

  
    
      
        
          ∑
          
            k
            =
            0
          
          
            ∞
          
        
        
          q
          
            k
          
        
        =
        1
        +
        q
        +
        
          q
          
            2
          
        
        +
        ⋯
        =
        
          
            1
            
              1
              −
              q
            
          
        
      
    
    {\displaystyle \sum _{k=0}^{\infty }q^{k}=1+q+q^{2}+\dots ={\frac {1}{1-q}}}
  
.
Bewiesen werden kann dies über Betrachtung der Partialsummen:

  
    
      
        
          s
          
            n
          
        
        :=
        
          ∑
          
            k
            =
            0
          
          
            n
          
        
        
          q
          
            k
          
        
        =
        
          
            
              1
              −
              
                q
                
                  n
                  +
                  1
                
              
            
            
              1
              −
              q
            
          
        
      
    
    {\displaystyle s_{n}:=\sum _{k=0}^{n}q^{k}={\frac {1-q^{n+1}}{1-q}}}
  
,
und die letzte Gleichheit folgt aus

  
    
      
        (
        1
        −
        q
        )
        
          s
          
            n
          
        
        =
        
          ∑
          
            k
            =
            0
          
          
            n
          
        
        
          q
          
            k
          
        
        −
        
          ∑
          
            k
            =
            1
          
          
            n
            +
            1
          
        
        
          q
          
            k
          
        
        =
        1
        −
        
          q
          
            n
            +
            1
          
        
        .
      
    
    {\displaystyle (1-q)s_{n}=\sum _{k=0}^{n}q^{k}-\sum _{k=1}^{n+1}q^{k}=1-q^{n+1}.}
  

Es ist 
  
    
      
        
          q
          
            n
          
        
      
    
    {\displaystyle q^{n}}
  
 für 
  
    
      
        
          |
        
        q
        
          |
        
        <
        1
      
    
    {\displaystyle |q|<1}
  
 eine Nullfolge, also gilt

  
    
      
        
          lim
          
            n
            →
            ∞
          
        
        
          s
          
            n
          
        
        =
        
          lim
          
            n
            →
            ∞
          
        
        
          
            
              1
              −
              
                q
                
                  n
                  +
                  1
                
              
            
            
              1
              −
              q
            
          
        
        =
        
          
            
              1
              −
              0
            
            
              1
              −
              q
            
          
        
        =
        
          
            1
            
              1
              −
              q
            
          
        
      
    
    {\displaystyle \lim _{n\to \infty }s_{n}=\lim _{n\to \infty }{\frac {1-q^{n+1}}{1-q}}={\frac {1-0}{1-q}}={\frac {1}{1-q}}}
  
.
Es ist also 
  
    
      
        
          |
        
        q
        
          |
        
        <
        1
      
    
    {\displaystyle |q|<1}
  
 hinreichend für die Konvergenz der geometrischen Reihe. Zugleich ist dies jedoch auch notwendig: Für 
  
    
      
        
          |
        
        q
        
          |
        
        ≥
        1
      
    
    {\displaystyle |q|\geq 1}
  
 folgt die Divergenz der Reihe 
  
    
      
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            q
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=0}^{\infty }q^{n}}
  
 aus dem Nullfolgenkriterium, da 
  
    
      
        
          q
          
            n
          
        
      
    
    {\displaystyle q^{n}}
  
 in diesem Fall für 
  
    
      
        n
        →
        ∞
      
    
    {\displaystyle n\to \infty }
  
 nicht gegen 0 strebt.

Ein Quotient 
  
    
      
        q
      
    
    {\displaystyle q}
  
 mit 
  
    
      
        
          |
        
        q
        
          |
        
        ≥
        1
      
    
    {\displaystyle |q|\geq 1}
  
 ergibt eine divergente geometrische Reihe, z. B. für 
  
    
      
        q
        =
        2
      
    
    {\displaystyle q=2}
  
 und Startwert 
  
    
      
        1
      
    
    {\displaystyle 1}
  

  
    
      
        1
        ,
         
        1
        +
        2
        ,
         
        1
        +
        2
        +
        4
        ,
         
        1
        +
        2
        +
        4
        +
        8
        ,
        …
      
    
    {\displaystyle 1,~1+2,~1+2+4,~1+2+4+8,\dots }
  
 zusammengefasst also 
  
    
      
        1
        ,
         
        3
        ,
         
        7
        ,
         
        15
        ,
        …
      
    
    {\displaystyle 1,~3,~7,~15,\dots }
  
.
Im Falle der hier abgebildeten Zweierpotenzen erscheinen stets die Mersenneschen Zahlen 
  
    
      
        
          s
          
            n
          
        
        =
        
          2
          
            n
            +
            1
          
        
        −
        1
      
    
    {\displaystyle s_{n}=2^{n+1}-1}
  
 als Werte der Summe.


## Geschichte
### Bei Zenon von Elea (490 v. Chr. bis 430 v. Chr.)
Im antiken Griechenland beschäftigte sich Zenon von Elea (ca. 490 v. Chr. bis 430 v. Chr.) bereits mit Paradoxien und Trugschlüssen, die beim Umgang mit dem Unendlichen entstehen können. Oft handelte es sich dabei um Gedankenexperimente im Umfeld von Raum, Zeit und Bewegung.


#### Teilungsparadoxon
Bereits vor ca. 2500 Jahren standen griechische Mathematiker vor einem Paradoxon, da sie glaubten, dass eine unendlich lange Liste von Zahlen, die alle größer als null sind, stets zu unendlich summiert wird. Deshalb erschien es paradox, als Zenon von Elea im Rahmen seines Teilungsparadoxons darauf hinwies, dass man, um von einem Ort zum anderen zu gelangen, zuerst die Hälfte der Strecke gehen muss, dann die Hälfte der verbleibenden Strecke und danach wieder die Hälfte der dann noch verbleibenden Strecke. Dieser Vorgang setzt sich unendlich oft fort, da man, egal wie klein die verbleibende Strecke ist, immer die erste Hälfte davon zurücklegen muss. Dadurch verwandelte Zenon von Elea eine kurze Strecke in eine unendlich lange Liste von halbierten Reststrecken, die allesamt größer als null sind. Das Problem bestand nun darin: Wie kann eine Strecke beschränkt (der Zielort ist offenbar endlich weit entfernt!) und gleichzeitig unendlich lang sein, da man eine unendlich lange Liste positiver Strecken summiert? Zenon selbst argumentierte, dass seine Überlegungen zeigten, dass eine Bewegung „unmöglich“ sei. Das Paradoxon zeigt hingegen, dass die Annahme, eine unendlich lange Liste von Zahlen größer als null summiere sich stets zu unendlich, falsch ist. In der Tat ist es unmittelbar mit der Zerlegung der 1 in die folgende unendliche, geometrische Reihe verknüpft:

  
    
      
        
          
            1
            2
          
        
        +
        
          
            1
            
              2
              
                2
              
            
          
        
        +
        
          
            1
            
              2
              
                3
              
            
          
        
        +
        
          
            1
            
              2
              
                4
              
            
          
        
        +
        
          
            1
            
              2
              
                5
              
            
          
        
        +
        ⋯
        =
        1.
      
    
    {\displaystyle {\frac {1}{2}}+{\frac {1}{2^{2}}}+{\frac {1}{2^{3}}}+{\frac {1}{2^{4}}}+{\frac {1}{2^{5}}}+\cdots =1.}
  


#### Achilles und die Schildkröte
Ein sehr anschauliches Beispiel für die Anwendung (und sogar Herleitung des Grenzwerts) der geometrischen Reihe ist die Geschichte von Achilles und der Schildkröte. Bekannt ist es als einer von mehreren bekannten Trugschlüssen, die Zenon von Elea zugeschrieben werden, und eines von vier Paradoxa, die Aristoteles in seiner Abhandlung Physik beschreibt.
Der für seine Schnelligkeit bekannte Athlet Achilles tritt in einem Wettlauf gegen eine langsame Schildkröte an. Beide starten zum selben Zeitpunkt, aber die Schildkröte erhält anfangs einen Vorsprung von zum Beispiel 
  
    
      
        100
        
        
          m
        
      
    
    {\displaystyle 100\,{\text{m}}}
  
. Obwohl Achilles mit einer um den Faktor 
  
    
      
        p
      
    
    {\displaystyle p}
  
, mit 
  
    
      
        p
        >
        1
      
    
    {\displaystyle p>1}
  
, höheren Geschwindigkeit als die der Schildkröte läuft, kann er sie scheinbar niemals einholen. Denn: Sobald Achilles 
  
    
      
        100
        
        
          m
        
      
    
    {\displaystyle 100\,{\text{m}}}
  
 weit gelaufen ist, also den Punkt erreicht hat, an dem die Schildkröte gestartet ist, ist eine gewisse Zeit verstrichen. In dieser Zeit hat die Schildkröte die Strecke 
  
    
      
        
          
            
              
                100
                
                
                  m
                
              
              p
            
          
        
      
    
    {\displaystyle {\tfrac {100\,{\text{m}}}{p}}}
  
 zurückgelegt. Achilles muss also die entsprechende Strecke weiterlaufen, um die Schildkröte einzuholen. Derweil hat die Schildkröte jedoch weitere 
  
    
      
        
          
            
              
                100
                
                
                  m
                
              
              
                p
                
                  2
                
              
            
          
        
      
    
    {\displaystyle {\tfrac {100\,{\text{m}}}{p^{2}}}}
  
 zurückgelegt. Achilles hat die Schildkröte immer noch nicht eingeholt. Er läuft entsprechend weiter, muss nun allerdings feststellen, dass die Schildkröte in der Zwischenzeit abermals eine gewisse Strecke zusätzlich zurückgelegt hat; dieses Mal sind es 
  
    
      
        
          
            
              
                100
                
                
                  m
                
              
              
                p
                
                  3
                
              
            
          
        
      
    
    {\displaystyle {\tfrac {100\,{\text{m}}}{p^{3}}}}
  
. Dieses Spiel setzt sich unendlich oft fort.
Der Punkt 
  
    
      
        x
      
    
    {\displaystyle x}
  
, an welchem Achilles die Schildkröte endlich einholen wird, ist gegeben durch die unendliche Summe (Einheit stets in Metern)

  
    
      
        x
        =
        100
        +
        
          
            100
            p
          
        
        +
        
          
            100
            
              p
              
                2
              
            
          
        
        +
        
          
            100
            
              p
              
                3
              
            
          
        
        +
        ⋯
        =
        100
        
          ∑
          
            k
            =
            0
          
          
            ∞
          
        
        
          p
          
            −
            k
          
        
        .
      
    
    {\displaystyle x=100+{\frac {100}{p}}+{\frac {100}{p^{2}}}+{\frac {100}{p^{3}}}+\dots =100\sum _{k=0}^{\infty }p^{-k}.}
  

Alternativ kann 
  
    
      
        x
      
    
    {\displaystyle x}
  
 durch das Aufstellen zweier linearer Gleichungen bestimmt werden. Es sind

  
    
      
        
          
            
              
                
                  s
                  
                    S
                  
                
                (
                t
                )
              
              
                
                :=
                v
                
                t
                +
                100
                
                
                  bzw.
                
              
            
            
              
                
                  s
                  
                    A
                  
                
                (
                t
                )
              
              
                
                :=
                p
                
                v
                
                t
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}s_{\text{S}}(t)&:=v\,t+100\quad {\text{bzw.}}\\s_{\text{A}}(t)&:=p\,v\,t\end{aligned}}}
  

die Bewegungsgleichungen der Schildkröte bzw. von Achilles, wobei 
  
    
      
        v
      
    
    {\displaystyle v}
  
 die Geschwindigkeit der Schildkröte und 
  
    
      
        t
      
    
    {\displaystyle t}
  
 die verstrichene Zeit ist. Es wird die 
  
    
      
        t
      
    
    {\displaystyle t}
  
-Koordinate des Schnittpunkts von 
  
    
      
        
          s
          
            S
          
        
        (
        t
        )
      
    
    {\displaystyle s_{\text{S}}(t)}
  
 und 
  
    
      
        
          s
          
            A
          
        
        (
        t
        )
      
    
    {\displaystyle s_{\text{A}}(t)}
  
 gesucht. Durch Gleichsetzen erhält man für die Strecke 

  
    
      
        x
        =
        p
        
        v
        
        t
        =
        
          
            100
            
              1
              −
              
                
                  
                    1
                    p
                  
                
              
            
          
        
        .
      
    
    {\displaystyle x=p\,v\,t={\frac {100}{1-{\tfrac {1}{p}}}}.}
  

Der Wert ist endlich; Achilles wird die Schildkröte also doch einholen (womit sich das scheinbare Paradoxon auflöst). Wird diese Lösung mit derjenigen von oben verglichen, so findet man

  
    
      
        100
        
          ∑
          
            k
            =
            0
          
          
            ∞
          
        
        
          p
          
            −
            k
          
        
        =
        
          
            100
            
              1
              −
              
                
                  1
                  p
                
              
            
          
        
        ,
        
      
    
    {\displaystyle 100\sum _{k=0}^{\infty }p^{-k}={\frac {100}{1-{\frac {1}{p}}}},\quad }
  
 oder äquivalent 
  
    
      
        
        
          ∑
          
            k
            =
            0
          
          
            ∞
          
        
        
          q
          
            k
          
        
        =
        
          
            1
            
              1
              −
              q
            
          
        
        ,
      
    
    {\displaystyle \quad \sum _{k=0}^{\infty }q^{k}={\frac {1}{1-q}},}
  

wobei im letzten Schritt auf beiden Seiten durch 
  
    
      
        100
      
    
    {\displaystyle 100}
  
 geteilt und die Variable 
  
    
      
        q
        :=
        
          
            
              1
              p
            
          
        
      
    
    {\displaystyle q:={\tfrac {1}{p}}}
  
, mit 
  
    
      
        0
        <
        q
        <
        1
      
    
    {\displaystyle 0<q<1}
  
, eingeführt wurde.


### Euklid (ca. 300 v. Chr.)
Euklid hat in seinen Elementen wichtige Beiträge zur Erforschung der geometrischen Reihe geleistet, insbesondere in Buch VIII und IX. Seine Arbeit legte den Grundstein für spätere Entwicklungen in diesem Bereich der Mathematik. Proposition 35 im Buch IX der Elemente befasst sich mit der Summe einer geometrischen Reihe. Euklid stellt hier einen allgemeinen Satz über geometrische Reihen auf, ohne jedoch den Begriff geometrische Reihe explizit zu verwenden. Die Proposition besagt sinngemäß: Wenn man eine Reihe von Zahlen hat, bei der jede Zahl ein konstantes Vielfaches der vorherigen ist (also eine geometrische Folge), und man die Summe aller Zahlen bis zu einem bestimmten Punkt bildet, dann steht diese Summe in einem bestimmten Verhältnis zur letzten Zahl der Reihe. Euklid beweist diesen Satz geometrisch, was typisch für seine Herangehensweise ist. Obwohl Euklid den Satz nicht in der heute geläufigen algebraischen Form darstellt, enthält seine Proposition im Kern die Formel für die Summe einer geometrischen Reihe.


### Archimedes (287 v. Chr. bis 212 v. Chr.)
Archimedes (287 v. Chr. bis 212 v. Chr.) benutzte die Summe einer geometrischen Reihe, um die von einer Parabel und einer Geraden eingeschlossene Fläche zu berechnen. Seine Methode bestand darin, die Fläche in eine unendliche Anzahl von Dreiecken zu zerlegen. Das Theorem von Archimedes besagt, dass die gesamte Fläche unter der Parabel 
  
    
      
        
          
            
              4
              3
            
          
        
      
    
    {\displaystyle {\tfrac {4}{3}}}
  
 der Fläche des blauen Dreiecks im Bild beträgt.
Archimedes stellte fest, dass jedes grüne Dreieck 
  
    
      
        
          
            
              1
              8
            
          
        
      
    
    {\displaystyle {\tfrac {1}{8}}}
  
 der Fläche des blauen Dreiecks hat, jedes gelbe Dreieck 
  
    
      
        
          
            
              1
              8
            
          
        
      
    
    {\displaystyle {\tfrac {1}{8}}}
  
 der Fläche eines grünen Dreiecks und so weiter. Nimmt man an, das blaue Dreieck habe die Fläche 1, dann ergibt die gesamte Fläche eine unendliche Summe:

  
    
      
        1
        +
        2
        
          (
          
            
              1
              8
            
          
          )
        
        +
        4
        
          
            (
            
              
                1
                8
              
            
            )
          
          
            2
          
        
        +
        8
        
          
            (
            
              
                1
                8
              
            
            )
          
          
            3
          
        
        +
        ⋯
        .
      
    
    {\displaystyle 1+2\left({\frac {1}{8}}\right)+4\left({\frac {1}{8}}\right)^{2}+8\left({\frac {1}{8}}\right)^{3}+\cdots .}
  

Der erste Term repräsentiert die Fläche des blauen Dreiecks, der zweite Term die Flächen der zwei grünen Dreiecke, der dritte Term die Flächen der vier gelben Dreiecke und so weiter. Die Brüche vereinfacht ergeben

  
    
      
        1
        +
        
          
            1
            4
          
        
        +
        
          
            1
            16
          
        
        +
        
          
            1
            64
          
        
        +
        ⋯
        .
      
    
    {\displaystyle 1+{\frac {1}{4}}+{\frac {1}{16}}+{\frac {1}{64}}+\cdots .}
  

Dies ist eine geometrische Reihe mit dem Verhältnis 
  
    
      
        
          
            
              1
              4
            
          
        
      
    
    {\displaystyle {\tfrac {1}{4}}}
  
 und der Bruchteil ist gleich

  
    
      
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          
            (
            
              
                1
                4
              
            
            )
          
          
            n
          
        
        =
        1
        +
        
          
            1
            4
          
        
        +
        
          
            1
            
              4
              
                2
              
            
          
        
        +
        
          
            1
            
              4
              
                3
              
            
          
        
        +
        ⋯
        =
        
          
            1
            
              1
              −
              
                
                  1
                  4
                
              
            
          
        
        =
        
          
            4
            3
          
        
        .
      
    
    {\displaystyle \sum _{n=0}^{\infty }\left({\frac {1}{4}}\right)^{n}=1+{\frac {1}{4}}+{\frac {1}{4^{2}}}+{\frac {1}{4^{3}}}+\cdots ={\frac {1}{1-{\frac {1}{4}}}}={\frac {4}{3}}.}
  

Diese Berechnung verwendet die Exhaustionsmethode, eine frühe Version der Integration. Mit Hilfe der Analysis könnte dieselbe Fläche durch ein bestimmtes Integral gefunden werden. Allerdings lässt sich die Approximation von Flächen durch Dreiecke nur für sehr spezielle Kurven anwenden.


### Nicole Oresme (1350)
Auch Nicole Oresme beschäftigte sich mit der Theorie unendlicher Reihen und fand etwa einen einfachen Beweis der Divergenz der harmonischen Reihe. Darüber hinaus wurde im Jahr 1350 von ihm bewiesen, dass die Reihe

  
    
      
        
          
            1
            2
          
        
        +
        
          
            2
            4
          
        
        +
        
          
            3
            8
          
        
        +
        
          
            4
            16
          
        
        +
        
          
            5
            32
          
        
        +
        
          
            6
            64
          
        
        +
        
          
            7
            128
          
        
        +
        ⋯
        +
        
          
            n
            
              2
              
                n
              
            
          
        
        +
        ⋯
      
    
    {\displaystyle {\frac {1}{2}}+{\frac {2}{4}}+{\frac {3}{8}}+{\frac {4}{16}}+{\frac {5}{32}}+{\frac {6}{64}}+{\frac {7}{128}}+\cdots +{\frac {n}{2^{n}}}+\cdots }
  

gegen den Wert 2 konvergiert, die eng verwandt zur geometrischen Reihe ist. Sein Diagramm für seinen geometrischen Beweis, ähnlich dem benachbarten Diagramm, zeigt eine „zweidimensionale geometrische Reihe“. Die erste Dimension ist horizontal und zeigt in der unteren Reihe die geometrische Reihe

  
    
      
        S
        =
        
          
            1
            2
          
        
        +
        
          
            1
            4
          
        
        +
        
          
            1
            8
          
        
        +
        
          
            1
            16
          
        
        +
        
          
            1
            32
          
        
        +
        ⋯
        ,
      
    
    {\displaystyle S={\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{8}}+{\frac {1}{16}}+{\frac {1}{32}}+\cdots ,}
  

die die geometrische Reihe mit dem Koeffizienten 
  
    
      
        a
        =
        
          
            
              1
              2
            
          
        
      
    
    {\displaystyle a={\tfrac {1}{2}}}
  
 und dem gemeinsamen Verhältnis 
  
    
      
        r
        =
        
          
            
              1
              2
            
          
        
      
    
    {\displaystyle r={\tfrac {1}{2}}}
  
 ist, die gegen 1 konvergiert. Die zweite Dimension ist vertikal, wobei die untere Reihe ein neuer Koeffizient 
  
    
      
        
          a
          
            T
          
        
      
    
    {\displaystyle a_{T}}
  
 ist, der 
  
    
      
        S
      
    
    {\displaystyle S}
  
 entspricht, und jede nachfolgende Reihe darüber um dasselbe gemeinsame Verhältnis 
  
    
      
        r
        =
        
          
            
              1
              2
            
          
        
      
    
    {\displaystyle r={\tfrac {1}{2}}}
  
 skaliert wird, wodurch eine weitere geometrische Reihe entsteht,

  
    
      
        T
        =
        1
        +
        
          
            1
            2
          
        
        +
        
          
            1
            4
          
        
        +
        
          
            1
            8
          
        
        +
        
          
            1
            16
          
        
        +
        ⋯
        ,
      
    
    {\displaystyle T=1+{\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{8}}+{\frac {1}{16}}+\cdots ,}
  

die die geometrische Reihe mit dem Koeffizienten 
  
    
      
        
          a
          
            T
          
        
        =
        S
        =
        1
      
    
    {\displaystyle a_{T}=S=1}
  
 und dem gemeinsamen Verhältnis 
  
    
      
        r
        =
        
          
            
              1
              2
            
          
        
      
    
    {\displaystyle r={\tfrac {1}{2}}}
  
 ist, die insgesamt gegen

  
    
      
        T
        =
        
          
            
              a
              
                T
              
            
            
              1
              −
              r
            
          
        
        =
        
          
            S
            
              1
              −
              r
            
          
        
        =
        
          
            1
            
              1
              −
              
                
                  1
                  2
                
              
            
          
        
        =
        2
      
    
    {\displaystyle T={\frac {a_{T}}{1-r}}={\frac {S}{1-r}}={\frac {1}{1-{\frac {1}{2}}}}=2}
  

konvergiert.


### Fermat (1636)
Pierre de Fermat nutzte die geometrische Reihe im Jahr 1636 für die Berechnung des Integrals

  
    
      
        
          ∫
          
            0
          
          
            B
          
        
        
          x
          
            a
          
        
        
          d
        
        x
      
    
    {\displaystyle \int _{0}^{B}x^{a}\mathrm {d} x}
  

für 
  
    
      
        a
        >
        −
        1
      
    
    {\displaystyle a>-1}
  
 und 
  
    
      
        B
        >
        0
      
    
    {\displaystyle B>0}
  
. Dabei ging er wie folgt vor: Zunächst zerlegte er den Definitionsbereich 
  
    
      
        (
        0
        ,
        B
        )
      
    
    {\displaystyle (0,B)}
  
 des Integranden 
  
    
      
        
          x
          
            a
          
        
      
    
    {\displaystyle x^{a}}
  
 für 
  
    
      
        0
        <
        θ
        <
        1
      
    
    {\displaystyle 0<\theta <1}
  
 in Einzelteile mit Abschnitten

  
    
      
        B
        ,
        
        B
        θ
        ,
        
        B
        
          θ
          
            2
          
        
        ,
        
        …
        .
      
    
    {\displaystyle B,\quad B\theta ,\quad B\theta ^{2},\quad \ldots .}
  

Die entsprechenden Funktionswerte sind dann

  
    
      
        
          B
          
            a
          
        
        ,
        
        
          B
          
            a
          
        
        
          θ
          
            a
          
        
        ,
        
        
          B
          
            a
          
        
        
          θ
          
            2
            a
          
        
        ,
        
        …
      
    
    {\displaystyle B^{a},\quad B^{a}\theta ^{a},\quad B^{a}\theta ^{2a},\quad \ldots }
  

Fermat approximierte den Flächeninhalt über die Obersumme der entsprechenden Rechtecke:

  
    
      
        (
        B
        −
        B
        θ
        )
        
          B
          
            a
          
        
        +
        (
        B
        θ
        −
        B
        
          θ
          
            2
          
        
        )
        
          B
          
            a
          
        
        
          θ
          
            a
          
        
        +
        (
        B
        
          θ
          
            2
          
        
        −
        B
        
          θ
          
            3
          
        
        )
        
          B
          
            a
          
        
        
          θ
          
            2
            a
          
        
        +
        ⋯
        =
        
          B
          
            a
            +
            1
          
        
        (
        1
        −
        θ
        )
        (
        1
        +
        
          θ
          
            a
            +
            1
          
        
        +
        
          θ
          
            2
            a
            +
            2
          
        
        +
        ⋯
        )
        =
        
          B
          
            a
            +
            1
          
        
        
          
            
              1
              −
              θ
            
            
              1
              −
              
                θ
                
                  a
                  +
                  1
                
              
            
          
        
        .
      
    
    {\displaystyle (B-B\theta )B^{a}+(B\theta -B\theta ^{2})B^{a}\theta ^{a}+(B\theta ^{2}-B\theta ^{3})B^{a}\theta ^{2a}+\cdots =B^{a+1}(1-\theta )(1+\theta ^{a+1}+\theta ^{2a+2}+\cdots )=B^{a+1}{\frac {1-\theta }{1-\theta ^{a+1}}}.}
  

Nun gilt bei Verfeinerung der Unterteilung 
  
    
      
        θ
        →
        
          1
          
            −
          
        
      
    
    {\displaystyle \theta \to 1^{-}}
  

  
    
      
        
          B
          
            a
            +
            1
          
        
        
          
            
              1
              −
              θ
            
            
              1
              −
              
                θ
                
                  a
                  +
                  1
                
              
            
          
        
        
          
            ⟶
            
              θ
              →
              
                1
                
                  −
                
              
            
          
        
        
          
            
              B
              
                a
                +
                1
              
            
            
              a
              +
              1
            
          
        
        ,
      
    
    {\displaystyle B^{a+1}{\frac {1-\theta }{1-\theta ^{a+1}}}{\overset {\theta \to 1^{-}}{\longrightarrow }}{\frac {B^{a+1}}{a+1}},}
  

was man zum Beispiel mit der Regel von L’Hospital sieht. Damit schloss Fermat das (korrekte) Ergebnis

  
    
      
        
          ∫
          
            0
          
          
            B
          
        
        
          x
          
            a
          
        
        
          d
        
        x
        =
        
          
            
              B
              
                a
                +
                1
              
            
            
              a
              +
              1
            
          
        
        .
      
    
    {\displaystyle \int _{0}^{B}x^{a}\mathrm {d} x={\frac {B^{a+1}}{a+1}}.}
  

Zu beachten ist, dass die Methode schon bei der Hyperbel 
  
    
      
        y
        =
        
          x
          
            −
            1
          
        
      
    
    {\displaystyle y=x^{-1}}
  
 nicht mehr funktioniert.


### Bedeutung für die Entwicklung der modernen Theorie unendlicher Reihen
Im 18. Jahrhundert war das unbedarfte Rechnen mit divergenten unendlichen Reihen noch sehr verbreitet. So gaben etwa Leonhard Euler und auch Joseph-Louis Lagrange die „Identität“

  
    
      
        cos
        ⁡
        (
        x
        )
        +
        cos
        ⁡
        (
        2
        x
        )
        +
        cos
        ⁡
        (
        3
        x
        )
        +
        ⋯
        =
        −
        
          
            1
            2
          
        
      
    
    {\displaystyle \cos(x)+\cos(2x)+\cos(3x)+\cdots =-{\frac {1}{2}}}
  

an, obwohl sich die Summe zur Linken keinem Grenzwert nähert. Auf den Wert 
  
    
      
        −
        
          
            
              1
              2
            
          
        
      
    
    {\displaystyle -{\tfrac {1}{2}}}
  
 stießen sie dabei formal über Manipulationen auch basierend auf der geometrischen Reihe. Dieses Prozedere wurde jedoch unter anderem von Jean-Baptiste le Rond d’Alembert kritisiert. Als Reaktion auf die Kritik fragte Lagrange, ob „für eine unendliche geometrische Reihe wie 
  
    
      
        1
        +
        x
        +
        
          x
          
            2
          
        
        +
        ⋯
      
    
    {\displaystyle 1+x+x^{2}+\cdots }
  
“ nicht stets „der Term 
  
    
      
        
          
            
              1
              
                1
                −
                x
              
            
          
        
      
    
    {\displaystyle {\tfrac {1}{1-x}}}
  
 substituiert“ werden könne, obwohl Gleichheit „nur dann herrsche, wenn das Glied 
  
    
      
        
          x
          
            ∞
          
        
      
    
    {\displaystyle x^{\infty }}
  
 gleich 0 wäre“.
In eine ähnliche Richtung geht die nach Guido Grandi benannte Grandi-Reihe

  
    
      
        1
        −
        1
        +
        1
        −
        1
        +
        1
        −
        1
        +
        ⋯
        =
        
          
            1
            2
          
        
        ,
      
    
    {\displaystyle 1-1+1-1+1-1+\cdots ={\frac {1}{2}},}
  

die er 1703 mit geometrischen Methoden rechtfertigte. Heuristisch wird diese durch die geometrischen Reihen

  
    
      
        
          
            1
            
              1
              +
              x
            
          
        
        =
        1
        −
        x
        +
        
          x
          
            2
          
        
        −
        
          x
          
            3
          
        
        +
        ⋯
      
    
    {\displaystyle {\frac {1}{1+x}}=1-x+x^{2}-x^{3}+\cdots }
  

und

  
    
      
        
          
            1
            
              1
              +
              
                x
                
                  2
                
              
            
          
        
        =
        1
        −
        
          x
          
            2
          
        
        +
        
          x
          
            4
          
        
        −
        
          x
          
            6
          
        
        +
        ⋯
      
    
    {\displaystyle {\frac {1}{1+x^{2}}}=1-x^{2}+x^{4}-x^{6}+\cdots }
  

an „der Stelle 
  
    
      
        x
        =
        1
      
    
    {\displaystyle x=1}
  
“ erklärt. Erst später konnten solche in der mathematischen Strenge falschen Aussagen in eine rigorose Theorie eingebettet werden. Im Laufe des 20. Jahrhunderts wurde unter anderem eine solche „strenge“ Theorie der divergenten Reihen, unter Vorbehalt gewisser Voraussetzungen, aufgebaut. Bei diesen Limitierungsverfahren wird, unter Berücksichtigung des quantitativen Verständnisses von Reihen, durch Limesbildung der Konvergenzbegriff verallgemeinert, sodass die Klasse „konvergenter Reihen“ ausgedehnt wird.


## Anwendungen
### Rentenrechnung
Angenommen, man zahlt am Anfang eines jeden Jahres 2000 € bei einer Bank ein und die Zinsen liegen bei 5 % [d. h. der Zinsfaktor ist: 
  
    
      
        1
        +
        (
        5
        
          /
        
        100
        )
        =
        1
        
          ,
        
        05
      
    
    {\displaystyle 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 
  
    
      
        2000
        ⋅
        1
        
          ,
        
        
          05
          
            5
          
        
      
    
    {\displaystyle 2000\cdot 1{,}05^{5}}
  
 €. Das im zweiten Jahr eingezahlte Geld wird nur noch vier Jahre verzinst und so weiter. Insgesamt ergibt sich dann durch die Rentenrechnung nach fünf Jahren ein angesparter Betrag von

  
    
      
        
          
            
              
              
                2
                
                000
                ⋅
                1
                
                  ,
                
                
                  05
                  
                    5
                  
                
                +
                2
                
                000
                ⋅
                1
                
                  ,
                
                
                  05
                  
                    4
                  
                
                +
                2
                
                000
                ⋅
                1
                
                  ,
                
                
                  05
                  
                    3
                  
                
                +
                2
                
                000
                ⋅
                1
                
                  ,
                
                
                  05
                  
                    2
                  
                
                +
                2
                
                000
                ⋅
                1
                
                  ,
                
                
                  05
                  
                    1
                  
                
              
            
            
              
              
                
                
                =
                2
                
                000
                ⋅
                1
                
                  ,
                
                05
                ⋅
                (
                1
                
                  ,
                
                
                  05
                  
                    4
                  
                
                +
                1
                
                  ,
                
                
                  05
                  
                    3
                  
                
                +
                1
                
                  ,
                
                
                  05
                  
                    2
                  
                
                +
                1
                
                  ,
                
                
                  05
                  
                    1
                  
                
                +
                1
                
                  ,
                
                
                  05
                  
                    0
                  
                
                )
              
            
            
              
              
                
                
                =
                2
                
                000
                ⋅
                1
                
                  ,
                
                05
                ⋅
                
                  ∑
                  
                    k
                    =
                    0
                  
                  
                    4
                  
                
                1
                
                  ,
                
                
                  05
                  
                    k
                  
                
              
            
            
              
              
                
                
                =
                2
                
                000
                ⋅
                1
                
                  ,
                
                05
                ⋅
                
                  
                    
                      1
                      
                        ,
                      
                      
                        05
                        
                          4
                          +
                          1
                        
                      
                      −
                      1
                    
                    
                      1
                      
                        ,
                      
                      05
                      −
                      1
                    
                  
                
              
            
            
              
              
                
                
                =
                11
                
                603,826
              
            
          
        
      
    
    {\displaystyle {\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 =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
        ⋅
        1
        
          ,
        
        
          05
          
            5
          
        
        =
        12
        
        762,815
        6
      
    
    {\displaystyle 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
          
        
      
    
    {\displaystyle a_{0}}
  
, der
Zinsfaktor 
  
    
      
        q
      
    
    {\displaystyle q}
  
 und die Laufzeit 
  
    
      
        n
      
    
    {\displaystyle n}
  
 Jahre, dann ist der Endwert

  
    
      
        
          a
          
            0
          
        
        
          ∑
          
            k
            =
            1
          
          
            n
          
        
        
          q
          
            k
          
        
        =
        
          a
          
            0
          
        
        q
        
          
            
              
                q
                
                  n
                
              
              −
              1
            
            
              q
              −
              1
            
          
        
      
    
    {\displaystyle a_{0}\sum _{k=1}^{n}q^{k}=a_{0}q{\frac {q^{n}-1}{q-1}}}
  
.


### Periodische Dezimalbrüche
Periodische Dezimalbruchentwicklungen enthalten eine geometrische Reihe, welche mit den obigen Formeln wieder in einen Bruch umgewandelt werden kann.
Beispiel 1:

  
    
      
        
          
            
              
                0
                
                  ,
                
                2
                
                  
                    67
                    ¯
                  
                
              
              
                
                =
                
                  
                    2
                    10
                  
                
                +
                
                  
                    67
                    1000
                  
                
                ⋅
                
                  ∑
                  
                    k
                    =
                    0
                  
                  
                    ∞
                  
                
                
                  
                    (
                    
                      
                        1
                        100
                      
                    
                    )
                  
                  
                    k
                  
                
                =
                
                  
                    2
                    10
                  
                
                +
                
                  
                    67
                    1000
                  
                
                ⋅
                
                  
                    1
                    
                      1
                      −
                      
                        
                          1
                          100
                        
                      
                    
                  
                
              
            
            
              
              
                
                =
                
                  
                    2
                    10
                  
                
                +
                
                  
                    67
                    1000
                  
                
                ⋅
                
                  
                    100
                    99
                  
                
                =
                
                  
                    2
                    10
                  
                
                +
                
                  
                    67
                    990
                  
                
                =
                
                  
                    265
                    990
                  
                
                =
                
                  
                    53
                    198
                  
                
                .
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}0{,}2{\overline {67}}&={\frac {2}{10}}+{\frac {67}{1000}}\cdot \sum _{k=0}^{\infty }\left({\frac {1}{100}}\right)^{k}={\frac {2}{10}}+{\frac {67}{1000}}\cdot {\frac {1}{1-{\frac {1}{100}}}}\\&={\frac {2}{10}}+{\frac {67}{1000}}\cdot {\frac {100}{99}}={\frac {2}{10}}+{\frac {67}{990}}={\frac {265}{990}}={\frac {53}{198}}.\end{aligned}}}
  

Beispiel 2:

  
    
      
        0
        
          ,
        
        
          
            9
            ¯
          
        
        =
        
          
            9
            10
          
        
        +
        
          
            9
            100
          
        
        +
        
          
            9
            1000
          
        
        +
        ⋯
        =
        
          
            9
            10
          
        
        ⋅
        
          ∑
          
            k
            =
            0
          
          
            ∞
          
        
        
          
            (
            
              
                1
                10
              
            
            )
          
          
            k
          
        
        =
        
          
            9
            10
          
        
        ⋅
        
          
            1
            
              1
              −
              
                
                  1
                  10
                
              
            
          
        
        =
        
          
            9
            10
          
        
        ⋅
        
          
            10
            9
          
        
        =
        1.
      
    
    {\displaystyle 0{,}{\overline {9}}={\frac {9}{10}}+{\frac {9}{100}}+{\frac {9}{1000}}+\dotsb ={\frac {9}{10}}\cdot \sum _{k=0}^{\infty }\left({\frac {1}{10}}\right)^{k}={\frac {9}{10}}\cdot {\frac {1}{1-{\frac {1}{10}}}}={\frac {9}{10}}\cdot {\frac {10}{9}}=1.}
  

Verallgemeinern lässt sich dies auf sog. g-ale Entwicklungen: Ist eine ganze Zahl 
  
    
      
        g
        ≥
        2
      
    
    {\displaystyle g\geq 2}
  
 fest gewählt und 
  
    
      
        
          x
          
            k
          
        
        ∈
        {
        0
        ,
        …
        g
        −
        1
        }
      
    
    {\displaystyle x_{k}\in \{0,\ldots g-1\}}
  
 eine Folge, so heißt

  
    
      
        x
        =
        
          ∑
          
            k
            =
            1
          
          
            ∞
          
        
        
          x
          
            k
          
        
        
          g
          
            −
            k
          
        
      
    
    {\displaystyle x=\sum _{k=1}^{\infty }x_{k}g^{-k}}
  

die g-ale Entwicklung der reellen Zahl 
  
    
      
        x
      
    
    {\displaystyle x}
  
. Wegen der Abschätzung

  
    
      
        0
        ≤
        
          ∑
          
            k
            =
            1
          
          
            ∞
          
        
        
          x
          
            k
          
        
        
          g
          
            −
            k
          
        
        ≤
        (
        g
        −
        1
        )
        
          ∑
          
            k
            =
            1
          
          
            ∞
          
        
        
          g
          
            −
            k
          
        
        =
        1
      
    
    {\displaystyle 0\leq \sum _{k=1}^{\infty }x_{k}g^{-k}\leq (g-1)\sum _{k=1}^{\infty }g^{-k}=1}
  
,
welche die geometrische Reihe nutzt, gilt zudem 
  
    
      
        x
        ∈
        [
        0
        ,
        1
        ]
      
    
    {\displaystyle x\in [0,1]}
  
. Dies kann dazu verwendet werden, die Überabzählbarkeit der reellen Zahlen zu zeigen.


### Wahrscheinlichkeitstheorie
#### Geometrische Verteilung
Die geometrische Reihe kommt bei der namensverwandten geometrischen Verteilung zum Einsatz. Diese modelliert ein beliebig häufig wiederholtes Bernoulli-Experiment mit möglichen Ausgängen

„Erfolg“ mit Wahrscheinlichkeit 
  
    
      
        r
      
    
    {\displaystyle r}
  

„Misserfolg“ mit Wahrscheinlichkeit 
  
    
      
        1
        −
        r
      
    
    {\displaystyle 1-r}
  
.
In einem Spiel wird Runde für Runde so lange gespielt, bis ein Erfolg vorliegt (womit das Spiel endet). Liegt sofort ein Erfolg vor, korrespondiert dies zu der Wahrscheinlichkeit 
  
    
      
        r
      
    
    {\displaystyle r}
  
, bei einem Misserfolg und einem anschließenden Erfolg ist es 
  
    
      
        (
        1
        −
        r
        )
        r
      
    
    {\displaystyle (1-r)r}
  
. Allgemein bezieht sich 
  
    
      
        (
        1
        −
        r
        
          )
          
            n
          
        
        r
      
    
    {\displaystyle (1-r)^{n}r}
  
 auf 
  
    
      
        n
      
    
    {\displaystyle n}
  
 Misserfolge hintereinander mit einem anschließenden Erfolg in der 
  
    
      
        n
        +
        1
      
    
    {\displaystyle n+1}
  
-ten Runde. Bei positiver Erfolgswahrscheinlichkeit 
  
    
      
        r
        >
        0
      
    
    {\displaystyle r>0}
  
 wird fast sicher irgendwann mal ein Erfolg eintreffen; gleichzeitig repräsentieren die 
  
    
      
        
          r
          
            n
          
        
        (
        1
        −
        r
        )
      
    
    {\displaystyle r^{n}(1-r)}
  
 alle unterschiedliche Ereignisse. Damit erhält die geometrische Reihe eine probabilistische Interpretation:

  
    
      
        r
        +
        (
        1
        −
        r
        )
        r
        +
        (
        1
        −
        r
        
          )
          
            2
          
        
        r
        +
        (
        1
        −
        r
        
          )
          
            3
          
        
        r
        +
        (
        1
        −
        r
        
          )
          
            4
          
        
        r
        +
        ⋯
        =
        1.
      
    
    {\displaystyle r+(1-r)r+(1-r)^{2}r+(1-r)^{3}r+(1-r)^{4}r+\cdots =1.}
  


#### Ruin des Spielers
Die geometrische Reihe spielt auch beim sogenannten Ruin des Spielers eine zentrale Rolle. Ausgangspunkt ist ein Spiel zwischen einem Spieler und der Bank, das in mehreren Runden ausgetragen wird. Jede Runde läuft unabhängig von der vorherigen ab und mit Wahrscheinlichkeit 
  
    
      
        p
      
    
    {\displaystyle p}
  
 gewinnt der Spieler einen Euro in einer Runde. Entsprechend verliert der Spieler mit der Gegenwahrscheinlichkeit 
  
    
      
        q
        =
        1
        −
        p
      
    
    {\displaystyle q=1-p}
  
 einen Euro in einer Runde gegen die Bank. Angenommen wird, dass der Spieler mit einem Kapital von 
  
    
      
        i
        >
        0
      
    
    {\displaystyle i>0}
  
 Euro startet und die Bank 
  
    
      
        a
        −
        i
        >
        0
      
    
    {\displaystyle a-i>0}
  
 an Kapital besitzt (womit das gesamte Kapitalvolumen aus Spieler und Bank 
  
    
      
        i
        +
        a
        −
        i
        =
        a
      
    
    {\displaystyle i+a-i=a}
  
 beträgt). Die Frage ist, mit welcher Wahrscheinlichkeit 
  
    
      
        
          q
          
            i
          
        
      
    
    {\displaystyle q_{i}}
  
 der Spieler verlieren wird, also sein Kapital komplett verbraucht; die Bank verliert, wenn der Spieler irgendwann 
  
    
      
        a
      
    
    {\displaystyle a}
  
 Euro besitzt, ohne davor pleitegegangen zu sein. Über die geometrische Reihe kann man diese Wahrscheinlichkeit in Abhängigkeit von 
  
    
      
        p
      
    
    {\displaystyle p}
  
, 
  
    
      
        a
      
    
    {\displaystyle a}
  
 und 
  
    
      
        i
      
    
    {\displaystyle i}
  
 ausdrücken:

  
    
      
        
          q
          
            i
          
        
        =
        1
        −
        
          
            
              (
              
                
                  p
                  q
                
              
              
                )
                
                  a
                  −
                  i
                
              
              −
              (
              
                
                  p
                  q
                
              
              
                )
                
                  a
                
              
            
            
              1
              −
              (
              
                
                  p
                  q
                
              
              
                )
                
                  a
                
              
            
          
        
        .
      
    
    {\displaystyle q_{i}=1-{\frac {({\frac {p}{q}})^{a-i}-({\frac {p}{q}})^{a}}{1-({\frac {p}{q}})^{a}}}.}
  


### Geometrie
#### Volumina geometrischer Figuren
Besonders im historischen Kontext wurde die geometrische Reihe dazu verwendet, durch die Exhaustionsmethode (d. h. kontinuierliches Ausschöpfen) die Volumina (sowohl Flächen als auch räumlich) diverser Figuren zu ermitteln. Mehr Details finden sich im Abschnitt Geschichte.
Das große gleichseitige Dreieck 
  
    
      
        A
        B
        C
      
    
    {\displaystyle ABC}
  
, dessen Flächeninhalt ohne Beschränkung der Allgemeinheit als 
  
    
      
        1
      
    
    {\displaystyle 1}
  
 angenommen wird, setzt sich aus drei flächengleichen unendlichen Folgen gleichseitiger Dreiecke (rot, gelb, blau) zusammen, deren Grenzwerte jeweils 
  
    
      
        
          
            
              1
              3
            
          
        
      
    
    {\displaystyle {\tfrac {1}{3}}}
  
mal so groß sind wie das Dreieck 
  
    
      
        A
        B
        C
      
    
    {\displaystyle ABC}
  
 im Bild. Wegen der Selbstähnlichkeit der Dreiecke 
  
    
      
        A
        B
        C
      
    
    {\displaystyle ABC}
  
, 
  
    
      
        
          A
          
            1
          
        
        
          B
          
            1
          
        
        C
      
    
    {\displaystyle A_{1}B_{1}C}
  
, 
  
    
      
        
          A
          
            2
          
        
        
          B
          
            2
          
        
        C
      
    
    {\displaystyle A_{2}B_{2}C}
  
, … und ihrer Mittendreieck-Eigenschaften besitzt jede der drei Dreiecksfolgen den Grenzwert

  
    
      
        
          ∑
          
            k
            =
            1
          
          
            ∞
          
        
        
          
            (
            
              
                1
                4
              
            
            )
          
          
            k
          
        
      
    
    {\displaystyle \sum _{k=1}^{\infty }\left({\frac {1}{4}}\right)^{k}}
  
.
Also gilt

  
    
      
        
          ∑
          
            k
            =
            1
          
          
            ∞
          
        
        
          
            (
            
              
                1
                4
              
            
            )
          
          
            k
          
        
        =
        
          
            1
            3
          
        
      
    
    {\displaystyle \sum _{k=1}^{\infty }\left({\frac {1}{4}}\right)^{k}={\frac {1}{3}}}
  
.


#### Fraktale
Die Fläche innerhalb der Kochschen Schneeflocke kann als Vereinigung von unendlich vielen gleichseitigen Dreiecken beschrieben werden (siehe Abbildung). Jede Seite des grünen Dreiecks ist genau 
  
    
      
        
          
            
              1
              3
            
          
        
      
    
    {\displaystyle {\tfrac {1}{3}}}
  
 so groß wie eine Seite des großen blauen Dreiecks und hat daher genau 
  
    
      
        
          
            
              1
              9
            
          
        
      
    
    {\displaystyle {\tfrac {1}{9}}}
  
 der Fläche. Ebenso hat jedes gelbe Dreieck 
  
    
      
        
          
            
              1
              9
            
          
        
      
    
    {\displaystyle {\tfrac {1}{9}}}
  
 der Fläche eines grünen Dreiecks und so weiter. Wenn man das blaue Dreieck als Einheit der Fläche nimmt, ergibt die gesamte Fläche der Schneeflocke

  
    
      
        1
        +
        3
        
          (
          
            
              1
              9
            
          
          )
        
        +
        12
        
          
            (
            
              
                1
                9
              
            
            )
          
          
            2
          
        
        +
        48
        
          
            (
            
              
                1
                9
              
            
            )
          
          
            3
          
        
        +
        ⋯
        .
      
    
    {\displaystyle 1+3\left({\frac {1}{9}}\right)+12\left({\frac {1}{9}}\right)^{2}+48\left({\frac {1}{9}}\right)^{3}+\cdots .}
  

Der erste Term dieser Reihe repräsentiert die Fläche des blauen Dreiecks, der zweite Term die Gesamtfläche der drei grünen Dreiecke, der dritte Term die Gesamtfläche der zwölf gelben Dreiecke und so weiter. Abgesehen von der anfänglichen 1 ist diese Reihe geometrisch mit einem konstanten Verhältnis 
  
    
      
        r
        =
        
          
            
              4
              9
            
          
        
      
    
    {\displaystyle r={\tfrac {4}{9}}}
  
. Der erste Term der geometrischen Reihe ist 
  
    
      
        a
        =
        3
        ⋅
        
          
            
              1
              9
            
          
        
        =
        
          
            
              1
              3
            
          
        
      
    
    {\displaystyle a=3\cdot {\tfrac {1}{9}}={\tfrac {1}{3}}}
  
, sodass die Summe

  
    
      
        1
        +
        
          
            a
            
              1
              −
              r
            
          
        
        =
        1
        +
        
          
            
              1
              3
            
            
              1
              −
              
                
                  4
                  9
                
              
            
          
        
        =
        
          
            8
            5
          
        
      
    
    {\displaystyle 1+{\frac {a}{1-r}}=1+{\frac {\frac {1}{3}}{1-{\frac {4}{9}}}}={\frac {8}{5}}}
  

ist. Somit ist die Fläche der Kochschen Schneeflocke Faktor 
  
    
      
        
          
            
              8
              5
            
          
        
      
    
    {\displaystyle {\tfrac {8}{5}}}
  
 der Fläche des Basisdreiecks.


### Harmonische Reihe und Zeta-Werte
Die 
  
    
      
        n
      
    
    {\displaystyle n}
  
-te harmonische Zahl ist gegeben durch

  
    
      
        
          H
          
            n
          
        
        =
        1
        +
        
          
            1
            2
          
        
        +
        
          
            1
            3
          
        
        +
        
          
            1
            4
          
        
        +
        
          
            1
            5
          
        
        +
        ⋯
        +
        
          
            1
            n
          
        
        .
      
    
    {\displaystyle H_{n}=1+{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{4}}+{\frac {1}{5}}+\cdots +{\frac {1}{n}}.}
  

Über die geometrische Reihe erhält man die Integralformel

  
    
      
        
          H
          
            n
          
        
        =
        
          ∑
          
            k
            =
            1
          
          
            n
          
        
        
          
            1
            k
          
        
        =
        
          ∑
          
            k
            =
            0
          
          
            n
            −
            1
          
        
        
          
            [
            
              
                
                  t
                  
                    k
                    +
                    1
                  
                
                
                  k
                  +
                  1
                
              
            
            ]
          
          
            0
          
          
            1
          
        
        =
        
          ∫
          
            0
          
          
            1
          
        
        
          ∑
          
            k
            =
            0
          
          
            n
            −
            1
          
        
        
          t
          
            k
          
        
        
          d
        
        t
        =
        
          ∫
          
            0
          
          
            1
          
        
        
          
            
              1
              −
              
                t
                
                  n
                
              
            
            
              1
              −
              t
            
          
        
        
          d
        
        t
        .
      
    
    {\displaystyle H_{n}=\sum _{k=1}^{n}{\frac {1}{k}}=\sum _{k=0}^{n-1}\left[{\frac {t^{k+1}}{k+1}}\right]_{0}^{1}=\int _{0}^{1}\sum _{k=0}^{n-1}t^{k}\mathrm {d} t=\int _{0}^{1}{\frac {1-t^{n}}{1-t}}\mathrm {d} t.}
  

Damit kann eine Ausweitung der harmonischen Zahlen auf komplexe Werte definiert werden: Für komplexe Werte 
  
    
      
        s
      
    
    {\displaystyle s}
  
 mit 
  
    
      
        Re
        ⁡
        (
        s
        )
        >
        −
        1
      
    
    {\displaystyle \operatorname {Re} (s)>-1}
  
 kann man

  
    
      
        
          H
          
            s
          
        
        =
        
          ∫
          
            0
          
          
            1
          
        
        
          
            
              1
              −
              
                t
                
                  s
                
              
            
            
              1
              −
              t
            
          
        
        
          d
        
        t
      
    
    {\displaystyle H_{s}=\int _{0}^{1}{\frac {1-t^{s}}{1-t}}\mathrm {d} t}
  

definieren, und es gilt

  
    
      
        
          H
          
            s
            −
            1
          
        
        +
        
          
            1
            s
          
        
        =
        
          H
          
            s
          
        
        ,
      
    
    {\displaystyle H_{s-1}+{\frac {1}{s}}=H_{s},}
  

was rekursiv eine Berechnung für alle 
  
    
      
        s
        ∈
        
          C
        
        ∖
        {
        −
        1
        ,
        −
        2
        ,
        …
        }
      
    
    {\displaystyle s\in \mathbb {C} \setminus \{-1,-2,\ldots \}}
  
 ermöglicht. Es gilt 
  
    
      
        
          H
          
            s
          
        
        =
        
          ψ
          
            0
          
        
        (
        s
        +
        1
        )
        +
        γ
      
    
    {\displaystyle H_{s}=\psi _{0}(s+1)+\gamma }
  
 mit der Digammafunktion 
  
    
      
        
          ψ
          
            0
          
        
      
    
    {\displaystyle \psi _{0}}
  
 und der Euler-Mascheroni-Konstanten 
  
    
      
        γ
      
    
    {\displaystyle \gamma }
  
.
Zudem folgt, als direkte Verallgemeinerung der oberen Überlegungen, über Anwendung der geometrischen Reihe die Multiintegraldarstellung

  
    
      
        ζ
        (
        n
        )
        =
        
          ∑
          
            k
            =
            1
          
          
            ∞
          
        
        
          
            1
            
              k
              
                n
              
            
          
        
        =
        
          ∫
          
            0
          
          
            1
          
        
        
          ∫
          
            0
          
          
            1
          
        
        ⋯
        
          ∫
          
            0
          
          
            1
          
        
        
          
            
              
                d
              
              
                x
                
                  1
                
              
              
                d
              
              
                x
                
                  2
                
              
              ⋯
              
                d
              
              
                x
                
                  n
                
              
            
            
              1
              −
              
                x
                
                  1
                
              
              
                x
                
                  2
                
              
              ⋯
              
                x
                
                  n
                
              
            
          
        
        ,
        
        (
        n
        >
        1
        )
        .
      
    
    {\displaystyle \zeta (n)=\sum _{k=1}^{\infty }{\frac {1}{k^{n}}}=\int _{0}^{1}\int _{0}^{1}\cdots \int _{0}^{1}{\frac {\mathrm {d} x_{1}\mathrm {d} x_{2}\cdots \mathrm {d} x_{n}}{1-x_{1}x_{2}\cdots x_{n}}},\qquad (n>1).}
  

Hierbei bezeichnet 
  
    
      
        ζ
        (
        s
        )
      
    
    {\displaystyle \zeta (s)}
  
 die Riemannsche Zeta-Funktion. Die eng verwandte, ebenfalls über die geometrische Reihe gewonnene Identität

  
    
      
        −
        
          ∫
          
            0
          
          
            1
          
        
        
          ∫
          
            0
          
          
            1
          
        
        
          
            
              log
              ⁡
              (
              x
              y
              )
            
            
              1
              −
              x
              y
            
          
        
        (
        x
        y
        
          )
          
            r
          
        
        
          d
        
        x
        
        
          d
        
        y
        =
        2
        
          (
          
            ζ
            (
            3
            )
            −
            
              ∑
              
                k
                =
                1
              
              
                r
              
            
            
              
                1
                
                  k
                  
                    3
                  
                
              
            
          
          )
        
        ,
        
        (
        r
        ∈
        
          N
        
        )
        ,
      
    
    {\displaystyle -\int _{0}^{1}\int _{0}^{1}{\frac {\log(xy)}{1-xy}}(xy)^{r}\mathrm {d} x\,\mathrm {d} y=2\left(\zeta (3)-\sum _{k=1}^{r}{\frac {1}{k^{3}}}\right),\qquad (r\in \mathbb {N} ),}
  

spielt bei einem Beweis der Irrationalität der Apéry-Konstante 
  
    
      
        ζ
        (
        3
        )
      
    
    {\displaystyle \zeta (3)}
  
 eine wichtige Rolle.


### Unendliche Reihen
#### Quotienten- und Wurzelkriterium
Ist 
  
    
      
        
          
            ∑
            
              n
              =
              1
            
            
              ∞
            
          
          
            a
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=1}^{\infty }a_{n}}
  
 eine Reihe mit 
  
    
      
        
          a
          
            n
          
        
        ≠
        0
      
    
    {\displaystyle a_{n}\not =0}
  
 für alle bis auf endlich viele 
  
    
      
        n
      
    
    {\displaystyle n}
  
 und existiert eine Zahl 
  
    
      
        0
        <
        q
        <
        1
      
    
    {\displaystyle 0<q<1}
  
 mit

  
    
      
        
          |
          
            
              
                a
                
                  n
                  +
                  1
                
              
              
                a
                
                  n
                
              
            
          
          |
        
        ≤
        q
      
    
    {\displaystyle \left|{\frac {a_{n+1}}{a_{n}}}\right|\leq q}
  

für alle bis auf endlich viele 
  
    
      
        n
      
    
    {\displaystyle n}
  
, besagt das Quotientenkriterium dann, dass unter diesen Voraussetzungen 
  
    
      
        
          
            ∑
            
              n
              =
              1
            
            
              ∞
            
          
          
            a
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=1}^{\infty }a_{n}}
  
 absolut konvergiert. Bewiesen kann dies unter Anwendung der geometrischen Reihe gezeigt werden. Für hinreichend große 
  
    
      
        n
        ≥
        N
      
    
    {\displaystyle n\geq N}
  
 gilt

  
    
      
        
          |
        
        
          a
          
            n
          
        
        
          |
        
        ≤
        
          |
        
        
          a
          
            n
            −
            1
          
        
        
          |
        
        q
        ≤
        
          |
        
        
          a
          
            n
            −
            2
          
        
        
          |
        
        
          q
          
            2
          
        
        ≤
        …
        ≤
        
          |
        
        
          a
          
            N
          
        
        
          |
        
        
          q
          
            n
            −
            N
          
        
        =
        
          
            
              
                |
              
              
                a
                
                  N
                
              
              
                |
              
            
            
              q
              
                N
              
            
          
        
        
          q
          
            n
          
        
        .
      
    
    {\displaystyle |a_{n}|\leq |a_{n-1}|q\leq |a_{n-2}|q^{2}\leq \ldots \leq |a_{N}|q^{n-N}={\frac {|a_{N}|}{q^{N}}}q^{n}.}
  

Damit stellt die absolut konvergente geometrische Reihe 
  
    
      
        
          
            ∑
            
              n
              =
              N
            
            
              ∞
            
          
          
            
              
                
                  |
                
                
                  a
                  
                    N
                  
                
                
                  |
                
              
              
                q
                
                  N
                
              
            
          
          
            q
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=N}^{\infty }{\frac {|a_{N}|}{q^{N}}}q^{n}}
  
 eine Majorante zu 
  
    
      
        
          
            ∑
            
              n
              =
              N
            
            
              ∞
            
          
          
            a
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=N}^{\infty }a_{n}}
  
 dar, womit die Aussage durch das Majorantenkriterium folgt.
Durch eine ähnliche Argumentation, wieder unter Anwendung des Majorantenkriteriums und der geometrischen Reihe, kann das Wurzelkriterium gezeigt werden.


#### Potenzreihen
Auch in der Theorie der Potenzreihen nimmt die geometrische Reihe die Rolle einer Majorante ein. Grob gesagt ist die Idee, eine allgemeine Potenzreihe 
  
    
      
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            a
            
              n
            
          
          
            q
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=0}^{\infty }a_{n}q^{n}}
  
 durch die geometrische Reihe 
  
    
      
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            q
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=0}^{\infty }q^{n}}
  
 zu „imitieren“. Eine wichtige Aussage in diesem Kontext ist die Existenz eines Konvergenzradius für Potenzreihen: Für jede formale Potenzreihe 
  
    
      
        F
        (
        q
        )
        =
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            a
            
              n
            
          
          
            q
            
              n
            
          
        
      
    
    {\displaystyle F(q)=\textstyle \sum _{n=0}^{\infty }a_{n}q^{n}}
  
 existiert eine eindeutig bestimmte Zahl 
  
    
      
        0
        ≤
        R
        ≤
        ∞
      
    
    {\displaystyle 0\leq R\leq \infty }
  
, so dass 
  
    
      
        F
        (
        q
        )
      
    
    {\displaystyle F(q)}
  
 für alle 
  
    
      
        
          |
        
        q
        
          |
        
        <
        R
      
    
    {\displaystyle |q|<R}
  
 konvergiert und für alle 
  
    
      
        
          |
        
        q
        
          |
        
        >
        R
      
    
    {\displaystyle |q|>R}
  
 divergiert. Dabei ist die Menge der 
  
    
      
        q
      
    
    {\displaystyle q}
  
 mit 
  
    
      
        
          |
        
        q
        
          |
        
        <
        0
      
    
    {\displaystyle |q|<0}
  
 bzw. 
  
    
      
        
          |
        
        q
        
          |
        
        >
        ∞
      
    
    {\displaystyle |q|>\infty }
  
 per definitionem leer. Setzt man

  
    
      
        R
        :=
        sup
        {
        ϱ
        ≥
        0
        :
        (
        
          a
          
            n
          
        
        
          ϱ
          
            n
          
        
        
          )
          
            n
            ∈
            
              
                N
              
              
                0
              
            
          
        
        
        
          ist Nullfolge
        
        }
        ,
      
    
    {\displaystyle R:=\sup\{\varrho \geq 0\colon (a_{n}\varrho ^{n})_{n\in \mathbb {N} _{0}}\quad {\text{ist Nullfolge}}\},}
  

so existiert für alle 
  
    
      
        ϱ
        <
        
          ϱ
          
            1
          
        
        <
        R
      
    
    {\displaystyle \varrho <\varrho _{1}<R}
  
 eine Abschätzung für 
  
    
      
        
          |
        
        q
        
          |
        
        ≤
        ϱ
      
    
    {\displaystyle |q|\leq \varrho }
  
:

  
    
      
        
          |
        
        
          a
          
            n
          
        
        
          q
          
            n
          
        
        
          |
        
        ≤
        
          |
          
            
              a
              
                n
              
            
            
              ϱ
              
                1
              
              
                n
              
            
            
              
                
                  ϱ
                  
                    n
                  
                
                
                  ϱ
                  
                    1
                  
                  
                    n
                  
                
              
            
          
          |
        
        ≤
        
          M
          
            
              ϱ
              
                1
              
            
          
        
        ⋅
        
          
            (
            
              
                ϱ
                
                  ϱ
                  
                    1
                  
                
              
            
            )
          
          
            n
          
        
      
    
    {\displaystyle |a_{n}q^{n}|\leq \left|a_{n}\varrho _{1}^{n}{\frac {\varrho ^{n}}{\varrho _{1}^{n}}}\right|\leq M_{\varrho _{1}}\cdot \left({\frac {\varrho }{\varrho _{1}}}\right)^{n}}
  

für eine nur von 
  
    
      
        
          ϱ
          
            1
          
        
      
    
    {\displaystyle \varrho _{1}}
  
 (und natürlich der Potenzreihe als ganze) abhängigen Konstanten 
  
    
      
        
          M
          
            
              ϱ
              
                1
              
            
          
        
        >
        0
      
    
    {\displaystyle M_{\varrho _{1}}>0}
  
. Damit hat man

  
    
      
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          |
        
        
          a
          
            n
          
        
        
          q
          
            n
          
        
        
          |
        
        ≤
        
          M
          
            
              ϱ
              
                1
              
            
          
        
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          
            (
            
              
                ϱ
                
                  ϱ
                  
                    1
                  
                
              
            
            )
          
          
            n
          
        
        <
        ∞
      
    
    {\displaystyle \sum _{n=0}^{\infty }|a_{n}q^{n}|\leq M_{\varrho _{1}}\sum _{n=0}^{\infty }\left({\frac {\varrho }{\varrho _{1}}}\right)^{n}<\infty }
  
,
also muss die Potenzreihe 
  
    
      
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            a
            
              n
            
          
          
            q
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=0}^{\infty }a_{n}q^{n}}
  
 in letzter Konsequenz für alle 
  
    
      
        
          |
        
        q
        
          |
        
        <
        R
      
    
    {\displaystyle |q|<R}
  
 nach dem Majorantenkriterium konvergieren. Wegen des Nullfolgenkriteriums ist sie ferner nach Konstruktion für alle 
  
    
      
        
          |
        
        q
        
          |
        
        >
        R
      
    
    {\displaystyle |q|>R}
  
 divergent. Damit zeigt sich, dass allgemeine Potenzreihen stets auf Kreisscheiben konvergieren, gerade weil die spezielle geometrische Reihe dies als Potenzreihe tut.
Mit der geometrischen Reihe kann in manchen Fällen auch etwas über das Konvergenzverhalten von Potenzreihen mit Konvergenzradius 1 am Rand ihres Konvergenzbereichs ausgesagt werden. Das Konvergenzverhalten im Rand ist im Allgemeinen ein schwieriges Problem, da es sehr unterschiedliche Ausprägungen haben kann, und es gibt keine allgemeingültige und zugleich anwendbare Methode, Antworten zu finden. Ist jedoch 
  
    
      
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            a
            
              n
            
          
          
            q
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=0}^{\infty }a_{n}q^{n}}
  
 eine Potenzreihe mit Konvergenzradius 1, so dass 
  
    
      
        
          a
          
            n
          
        
        →
        0
      
    
    {\displaystyle a_{n}\to 0}
  
 und 
  
    
      
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            |
          
          
            a
            
              n
            
          
          −
          
            a
            
              n
              +
              1
            
          
          
            |
          
          <
          ∞
        
      
    
    {\displaystyle \textstyle \sum _{n=0}^{\infty }|a_{n}-a_{n+1}|<\infty }
  
 (was zum Beispiel dann zutrifft, wenn die 
  
    
      
        
          a
          
            n
          
        
      
    
    {\displaystyle a_{n}}
  
 eine monotone Nullfolge bilden), konvergiert 
  
    
      
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            a
            
              n
            
          
          
            q
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=0}^{\infty }a_{n}q^{n}}
  
 in jedem Randpunkt 
  
    
      
        
          |
        
        q
        
          |
        
        =
        1
      
    
    {\displaystyle |q|=1}
  
 mit 
  
    
      
        q
        ≠
        1
      
    
    {\displaystyle q\not =1}
  
. Gesehen werden kann dies mittels partieller Summation: Wegen der geometrischen Summenformel

  
    
      
        
          |
          
            
              ∑
              
                n
                =
                u
              
              
                v
              
            
            
              q
              
                n
              
            
          
          |
        
        =
        
          |
          
            
              
                
                  q
                  
                    u
                  
                
                −
                
                  q
                  
                    v
                    +
                    1
                  
                
              
              
                1
                −
                q
              
            
          
          |
        
        ≤
        
          
            
              
                |
              
              
                q
                
                  u
                
              
              
                |
              
              +
              
                |
              
              
                q
                
                  v
                  +
                  1
                
              
              
                |
              
            
            
              
                |
              
              1
              −
              q
              
                |
              
            
          
        
        =
        
          
            2
            
              
                |
              
              1
              −
              q
              
                |
              
            
          
        
      
    
    {\displaystyle \left|\sum _{n=u}^{v}q^{n}\right|=\left|{\frac {q^{u}-q^{v+1}}{1-q}}\right|\leq {\frac {|q^{u}|+|q^{v+1}|}{|1-q|}}={\frac {2}{|1-q|}}}
  

ist die Folge der Partialsummen 
  
    
      
        
          
            A
            
              u
              ,
              v
            
          
          :=
          
            ∑
            
              n
              =
              u
            
            
              v
            
          
          
            q
            
              n
            
          
        
      
    
    {\displaystyle \textstyle A_{u,v}:=\sum _{n=u}^{v}q^{n}}
  
 für 
  
    
      
        
          |
        
        q
        
          |
        
        =
        1
      
    
    {\displaystyle |q|=1}
  
 und 
  
    
      
        q
        ≠
        1
      
    
    {\displaystyle q\not =1}
  
 im Absolutwert gleichmäßig in 
  
    
      
        u
      
    
    {\displaystyle u}
  
 und 
  
    
      
        v
      
    
    {\displaystyle v}
  
 durch den Wert 
  
    
      
        
          
            
              2
              
                
                  |
                
                1
                −
                q
                
                  |
                
              
            
          
        
      
    
    {\displaystyle {\tfrac {2}{|1-q|}}}
  
 beschränkt. Damit folgt mit partieller Summation für 
  
    
      
        N
        ≥
        M
      
    
    {\displaystyle N\geq M}
  
 über die Dreiecksungleichung

  
    
      
        
          |
          
            
              ∑
              
                n
                =
                M
              
              
                N
              
            
            
              a
              
                n
              
            
            
              q
              
                n
              
            
          
          |
        
        =
        
          |
          
            
              a
              
                N
                +
                1
              
            
            
              A
              
                M
                ,
                N
              
            
            +
            
              ∑
              
                k
                =
                M
              
              
                N
              
            
            
              A
              
                M
                ,
                k
              
            
            (
            
              a
              
                k
              
            
            −
            
              a
              
                k
                +
                1
              
            
            )
          
          |
        
        ≤
        
          |
        
        
          a
          
            N
            +
            1
          
        
        
          A
          
            M
            ,
            N
          
        
        
          |
        
        +
        
          ∑
          
            k
            =
            M
          
          
            N
          
        
        
          |
        
        
          A
          
            M
            ,
            k
          
        
        
          |
        
        
          |
        
        
          a
          
            k
          
        
        −
        
          a
          
            k
            +
            1
          
        
        
          |
        
        ≤
        
          
            2
            
              
                |
              
              1
              −
              q
              
                |
              
            
          
        
        
          (
          
            
              |
            
            
              a
              
                N
                +
                1
              
            
            
              |
            
            +
            
              ∑
              
                k
                =
                M
              
              
                N
              
            
            
              |
            
            
              a
              
                k
              
            
            −
            
              a
              
                k
                +
                1
              
            
            
              |
            
          
          )
        
        ,
      
    
    {\displaystyle \left|\sum _{n=M}^{N}a_{n}q^{n}\right|=\left|a_{N+1}A_{M,N}+\sum _{k=M}^{N}A_{M,k}(a_{k}-a_{k+1})\right|\leq |a_{N+1}A_{M,N}|+\sum _{k=M}^{N}|A_{M,k}||a_{k}-a_{k+1}|\leq {\frac {2}{|1-q|}}\left(|a_{N+1}|+\sum _{k=M}^{N}|a_{k}-a_{k+1}|\right),}
  

womit 
  
    
      
        
          
            ∑
            
              n
              =
              M
            
            
              N
            
          
          
            a
            
              n
            
          
          
            q
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=M}^{N}a_{n}q^{n}}
  
 für 
  
    
      
        M
        →
        ∞
      
    
    {\displaystyle M\to \infty }
  
 nach Voraussetzung (gleichmäßig in 
  
    
      
        N
        ≥
        M
      
    
    {\displaystyle N\geq M}
  
) gegen 0 strebt. Damit muss 
  
    
      
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            a
            
              n
            
          
          
            q
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=0}^{\infty }a_{n}q^{n}}
  
 nach dem Cauchy-Kriterium konvergieren.
Geometrische Reihen können auch dabei helfen, Koeffizienten von invertierten Potenzreihen zu berechnen. Ist (nach möglicher Normierung) eine formale Potenzreihe von der Form

  
    
      
        P
        (
        q
        )
        =
        1
        −
        
          ∑
          
            n
            =
            1
          
          
            ∞
          
        
        
          a
          
            n
          
        
        
          q
          
            n
          
        
      
    
    {\displaystyle P(q)=1-\sum _{n=1}^{\infty }a_{n}q^{n}}
  

gegeben, so kann

  
    
      
        R
        (
        q
        )
        =
        
          
            1
            
              P
              (
              q
              )
            
          
        
        =
        
          
            1
            
              1
              −
              
                ∑
                
                  n
                  =
                  1
                
                
                  ∞
                
              
              
                a
                
                  n
                
              
              
                q
                
                  n
                
              
            
          
        
      
    
    {\displaystyle R(q)={\frac {1}{P(q)}}={\frac {1}{1-\sum _{n=1}^{\infty }a_{n}q^{n}}}}
  

erneut in eine formale Potenzreihe entwickelt werden. Die Koeffizienten lassen sich dann via sukzessiver Cauchy-Faltung formal durch die geometrische Reihe berechnen:

  
    
      
        R
        (
        q
        )
        =
        1
        +
        
          (
          
            
              ∑
              
                n
                =
                1
              
              
                ∞
              
            
            
              a
              
                n
              
            
            
              q
              
                n
              
            
          
          )
        
        +
        
          
            (
            
              
                ∑
                
                  n
                  =
                  1
                
                
                  ∞
                
              
              
                a
                
                  n
                
              
              
                q
                
                  n
                
              
            
            )
          
          
            2
          
        
        +
        
          
            (
            
              
                ∑
                
                  n
                  =
                  1
                
                
                  ∞
                
              
              
                a
                
                  n
                
              
              
                q
                
                  n
                
              
            
            )
          
          
            3
          
        
        +
        ⋯
        .
      
    
    {\displaystyle R(q)=1+\left(\sum _{n=1}^{\infty }a_{n}q^{n}\right)+\left(\sum _{n=1}^{\infty }a_{n}q^{n}\right)^{2}+\left(\sum _{n=1}^{\infty }a_{n}q^{n}\right)^{3}+\cdots .}
  

Anwendung hat dies unter anderem in der Theorie der Bernoulli-Zahlen (etwa im Umfeld von Rekursionsformeln). Analoge Überlegungen existieren auch für Dirichlet-Reihen, etwa im Umfeld der Produktkompositionen.
Geometrische Reihen spielen auch eine wichtige Rolle in der Theorie der Lambert-Reihen, die mit der Theorie der Potenzreihen verwandt ist.


#### Summierbarkeit
Eine möglicherweise nicht konvergente Reihe 
  
    
      
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            a
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=0}^{\infty }a_{n}}
  
 heißt Abel-summierbar gegen den Grenzwert 
  
    
      
        A
      
    
    {\displaystyle A}
  
, falls die zugehörige Potenzreihe 
  
    
      
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            a
            
              n
            
          
          
            x
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=0}^{\infty }a_{n}x^{n}}
  
 für alle 
  
    
      
        
          |
        
        x
        
          |
        
        <
        1
      
    
    {\displaystyle |x|<1}
  
 konvergiert und ferner

  
    
      
        
          lim
          
            x
            →
            
              1
              
                −
              
            
          
        
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          a
          
            n
          
        
        
          x
          
            n
          
        
        =
        A
      
    
    {\displaystyle \lim _{x\to 1^{-}}\sum _{n=0}^{\infty }a_{n}x^{n}=A}
  

gilt. Abel selbst konnte zeigen, dass gewöhnliche Konvergenz von 
  
    
      
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            a
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=0}^{\infty }a_{n}}
  
 bereits Abel-Summierbarkeit impliziert und die Grenzwerte übereinstimmen. In diesem Kontext wird die folgende Quotientenformel mit der geometrischen Reihe und 
  
    
      
        
          
            s
            
              n
            
          
          :=
          
            ∑
            
              k
              =
              0
            
            
              n
            
          
          
            a
            
              k
            
          
        
      
    
    {\displaystyle \textstyle s_{n}:=\sum _{k=0}^{n}a_{k}}
  
 genannt,

  
    
      
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          a
          
            n
          
        
        
          x
          
            n
          
        
        =
        
          
            
              
                ∑
                
                  n
                  =
                  0
                
                
                  ∞
                
              
              
                s
                
                  n
                
              
              
                x
                
                  n
                
              
            
            
              
                ∑
                
                  n
                  =
                  0
                
                
                  ∞
                
              
              
                x
                
                  n
                
              
            
          
        
        ,
      
    
    {\displaystyle \sum _{n=0}^{\infty }a_{n}x^{n}={\frac {\sum _{n=0}^{\infty }s_{n}x^{n}}{\sum _{n=0}^{\infty }x^{n}}},}
  

wobei der hintere Ausdruck für 
  
    
      
        
          s
          
            n
          
        
        →
        A
      
    
    {\displaystyle s_{n}\to A}
  
 als ein „asymptotischer Mittelwert“ interpretiert werden kann.


### Funktionentheorie
#### Explizite Taylor-Reihen
Taylor-Reihen zu einigen Funktionen können mittels der geometrischen Reihe berechnet werden. Das betrifft zum Beispiel die natürliche Logarithmusfunktion

  
    
      
        −
        log
        ⁡
        (
        1
        −
        x
        )
        =
        
          ∫
          
            0
          
          
            x
          
        
        
          
            
              
                d
              
              t
            
            
              1
              −
              t
            
          
        
        =
        
          ∫
          
            0
          
          
            x
          
        
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          t
          
            n
          
        
        
          d
        
        t
        =
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          
            
              x
              
                n
                +
                1
              
            
            
              n
              +
              1
            
          
        
        =
        x
        +
        
          
            
              x
              
                2
              
            
            2
          
        
        +
        
          
            
              x
              
                3
              
            
            3
          
        
        +
        
          
            
              x
              
                4
              
            
            4
          
        
        +
        
          
            
              x
              
                5
              
            
            5
          
        
        +
        ⋯
        ,
        
        (
        
          |
        
        x
        
          |
        
        <
        1
        )
        .
      
    
    {\displaystyle -\log(1-x)=\int _{0}^{x}{\frac {\mathrm {d} t}{1-t}}=\int _{0}^{x}\sum _{n=0}^{\infty }t^{n}\mathrm {d} t=\sum _{n=0}^{\infty }{\frac {x^{n+1}}{n+1}}=x+{\frac {x^{2}}{2}}+{\frac {x^{3}}{3}}+{\frac {x^{4}}{4}}+{\frac {x^{5}}{5}}+\cdots ,\qquad (|x|<1).}
  

Dabei wurde im letzten Schritt die Summe gliedweise integriert. Etwas Ähnliches gilt auch für die Arkustangensfunktion:

  
    
      
        arctan
        ⁡
        (
        x
        )
        =
        
          ∫
          
            0
          
          
            x
          
        
        
          
            
              
                d
              
              t
            
            
              1
              +
              
                t
                
                  2
                
              
            
          
        
        =
        
          ∫
          
            0
          
          
            x
          
        
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        (
        −
        1
        
          )
          
            n
          
        
        
          t
          
            2
            n
          
        
        
          d
        
        t
        =
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        (
        −
        1
        
          )
          
            n
          
        
        
          
            
              x
              
                2
                n
                +
                1
              
            
            
              2
              n
              +
              1
            
          
        
        =
        x
        −
        
          
            
              x
              
                3
              
            
            3
          
        
        +
        
          
            
              x
              
                5
              
            
            5
          
        
        −
        
          
            
              x
              
                7
              
            
            7
          
        
        +
        
          
            
              x
              
                9
              
            
            9
          
        
        −
        ⋯
        ,
        
        (
        
          |
        
        x
        
          |
        
        <
        1
        )
        .
      
    
    {\displaystyle \arctan(x)=\int _{0}^{x}{\frac {\mathrm {d} t}{1+t^{2}}}=\int _{0}^{x}\sum _{n=0}^{\infty }(-1)^{n}t^{2n}\mathrm {d} t=\sum _{n=0}^{\infty }(-1)^{n}{\frac {x^{2n+1}}{2n+1}}=x-{\frac {x^{3}}{3}}+{\frac {x^{5}}{5}}-{\frac {x^{7}}{7}}+{\frac {x^{9}}{9}}-\cdots ,\qquad (|x|<1).}
  

Mit dem Leibniz-Kriterium und dem Abelschen Grenzwertsatz folgt damit die Leibniz-Reihe:

  
    
      
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          
            
              (
              −
              1
              
                )
                
                  n
                
              
            
            
              2
              n
              +
              1
            
          
        
        =
        1
        −
        
          
            1
            3
          
        
        +
        
          
            1
            5
          
        
        −
        
          
            1
            7
          
        
        +
        
          
            1
            9
          
        
        −
        
          
            1
            11
          
        
        +
        
          
            1
            13
          
        
        −
        ⋯
        =
        arctan
        ⁡
        (
        1
        )
        =
        
          
            π
            4
          
        
        .
      
    
    {\displaystyle \sum _{n=0}^{\infty }{\frac {(-1)^{n}}{2n+1}}=1-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+{\frac {1}{9}}-{\frac {1}{11}}+{\frac {1}{13}}-\cdots =\arctan(1)={\frac {\pi }{4}}.}
  


#### Rationale Funktionen
Die geometrische Reihe bildet den Grundstock für einige Untersuchungen rationaler Funktionen. In etwa spielt sie, bzw. allgemein die Taylor-Reihen zu 
  
    
      
        z
        ↦
        (
        1
        −
        z
        
          )
          
            −
            m
          
        
      
    
    {\displaystyle z\mapsto (1-z)^{-m}}
  
 um 
  
    
      
        z
        =
        0
      
    
    {\displaystyle z=0}
  
, eine wichtige Rolle bei der Bestimmung der Taylor-Koeffizienten rationaler Funktionen. Hat die rationale Funktion

  
    
      
        r
        (
        z
        )
        =
        
          ∑
          
            j
            =
            1
          
          
            n
          
        
        
          ∑
          
            h
            =
            1
          
          
            
              m
              
                j
              
            
          
        
        
          
            
              a
              
                j
                ,
                h
              
            
            
              (
              z
              −
              
                z
                
                  j
                
              
              
                )
                
                  h
                
              
            
          
        
      
    
    {\displaystyle r(z)=\sum _{j=1}^{n}\sum _{h=1}^{m_{j}}{\frac {a_{j,h}}{(z-z_{j})^{h}}}}
  

paarweise verschiedene Polstellen in 
  
    
      
        
          z
          
            1
          
        
        ,
        ⋯
        ,
        
          z
          
            n
          
        
      
    
    {\displaystyle z_{1},\cdots ,z_{n}}
  
 und strebt für 
  
    
      
        
          |
        
        z
        
          |
        
        →
        ∞
      
    
    {\displaystyle |z|\to \infty }
  
 gegen 0, so ist ihre Taylor-Reihe um einen Punkt 
  
    
      
        
          z
          
            0
          
        
        ∉
        {
        
          z
          
            1
          
        
        ,
        …
        ,
        
          z
          
            n
          
        
        }
      
    
    {\displaystyle z_{0}\notin \{z_{1},\ldots ,z_{n}\}}
  
 stets von der Form

  
    
      
        r
        (
        z
        )
        =
        
          ∑
          
            k
            =
            0
          
          
            ∞
          
        
        
          a
          
            k
          
        
        (
        z
        −
        
          z
          
            0
          
        
        
          )
          
            k
          
        
        ,
      
    
    {\displaystyle r(z)=\sum _{k=0}^{\infty }a_{k}(z-z_{0})^{k},}
  

wobei

  
    
      
        
          a
          
            k
          
        
        =
        
          ∑
          
            j
            =
            1
          
          
            n
          
        
        
          p
          
            j
          
        
        (
        k
        )
        (
        
          z
          
            j
          
        
        −
        
          z
          
            0
          
        
        
          )
          
            −
            k
          
        
        ,
      
    
    {\displaystyle a_{k}=\sum _{j=1}^{n}p_{j}(k)(z_{j}-z_{0})^{-k},}
  
 mit den Polynomen 
  
    
      
        
          p
          
            j
          
        
        (
        k
        )
        =
        
          ∑
          
            h
            =
            1
          
          
            
              m
              
                j
              
            
          
        
        (
        −
        1
        
          )
          
            h
          
        
        
          a
          
            j
            ,
            h
          
        
        
          
            
              (
              
                z
                
                  j
                
              
              −
              
                z
                
                  0
                
              
              
                )
                
                  −
                  h
                
              
            
            
              (
              h
              −
              1
              )
              !
            
          
        
        (
        k
        +
        1
        
          )
          
            h
            −
            1
          
        
        .
      
    
    {\displaystyle p_{j}(k)=\sum _{h=1}^{m_{j}}(-1)^{h}a_{j,h}{\frac {(z_{j}-z_{0})^{-h}}{(h-1)!}}(k+1)_{h-1}.}
  

Dabei bezeichnet 
  
    
      
        (
        x
        
          )
          
            n
          
        
        :=
        x
        (
        x
        −
        1
        )
        ⋯
        (
        x
        −
        n
        +
        1
        )
      
    
    {\displaystyle (x)_{n}:=x(x-1)\cdots (x-n+1)}
  
 die fallende Faktorielle. Es gilt auch die Umkehrung, d. h. Taylor-Koeffizienten dieser Art erzeugen rationale Funktionen. Unmittelbare Anwendung hat dieses sehr allgemeine Prinzip beim Auflösen von Differenzengleichungen. Ein Beispiel in diesem Kontext ist die explizite Formel von Binet für die Fibonacci-Folge 
  
    
      
        (
        
          f
          
            n
          
        
        )
      
    
    {\displaystyle (f_{n})}
  
:

  
    
      
        
          f
          
            n
          
        
        =
        
          
            1
            
              5
            
          
        
        
          (
          
            
              
                (
                
                  
                    
                      1
                      +
                      
                        
                          5
                        
                      
                    
                    2
                  
                
                )
              
              
                n
              
            
            −
            
              
                (
                
                  
                    
                      1
                      −
                      
                        
                          5
                        
                      
                    
                    2
                  
                
                )
              
              
                n
              
            
          
          )
        
        .
      
    
    {\displaystyle f_{n}={\frac {1}{\sqrt {5}}}\left(\left({\frac {1+{\sqrt {5}}}{2}}\right)^{n}-\left({\frac {1-{\sqrt {5}}}{2}}\right)^{n}\right).}
  


#### Cauchyscher Entwicklungssatz
Ein zentrales Resultat der Funktionentheorie ist, dass holomorphe Funktionen analytisch sind. Das bedeutet, dass sie in jedem Punkt ihres (offenen) Definitionsbereichs in eine Potenzreihe entwickelt werden können, die in einer offenen Kreisscheibe konvergiert und dort die Funktion darstellt. Präziser gilt der Cauchysche Entwicklungssatz: Ist 
  
    
      
        c
        ∈
        U
      
    
    {\displaystyle c\in U}
  
 mit offenem 
  
    
      
        U
      
    
    {\displaystyle U}
  
, 
  
    
      
        
          B
          
            r
          
        
        (
        c
        )
      
    
    {\displaystyle B_{r}(c)}
  
 die größte Kreisscheibe um 
  
    
      
        c
      
    
    {\displaystyle c}
  
 in 
  
    
      
        U
      
    
    {\displaystyle U}
  
 und 
  
    
      
        f
        :
        U
        →
        
          C
        
      
    
    {\displaystyle f\colon U\to \mathbb {C} }
  
 holomorph, so ist 
  
    
      
        f
      
    
    {\displaystyle f}
  
 um 
  
    
      
        c
      
    
    {\displaystyle c}
  
 in eine Taylorreihe 
  
    
      
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            a
            
              n
            
          
          (
          z
          −
          c
          
            )
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=0}^{\infty }a_{n}(z-c)^{n}}
  
 entwickelbar, die in 
  
    
      
        
          B
          
            r
          
        
        (
        c
        )
      
    
    {\displaystyle B_{r}(c)}
  
 auf kompakten Teilmengen absolut und gleichmäßig konvergiert. Die Koeffizienten sind gegeben durch

  
    
      
        
          a
          
            n
          
        
        =
        
          
            
              
                f
                
                  (
                  n
                  )
                
              
              (
              c
              )
            
            
              n
              !
            
          
        
        =
        
          
            1
            
              2
              π
              i
            
          
        
        
          ∮
          
            ∂
            
              B
              
                d
              
            
            (
            c
            )
          
        
        
          
            
              f
              (
              w
              )
            
            
              (
              w
              −
              c
              
                )
                
                  n
                  +
                  1
                
              
            
          
        
        
          d
        
        w
      
    
    {\displaystyle a_{n}={\frac {f^{(n)}(c)}{n!}}={\frac {1}{2\pi i}}\oint _{\partial B_{d}(c)}{\frac {f(w)}{(w-c)^{n+1}}}\mathrm {d} w}
  
, wobei 
  
    
      
        0
        <
        d
        <
        r
        .
      
    
    {\displaystyle 0<d<r.}
  

Dabei wird der Integrationsweg in mathematisch positiver Richtung einfach durchlaufen (siehe auch komplexes Kurvenintegral). Bemerkenswert ist die Tatsache, dass für den Beweis des Entwicklungssatzes lediglich die Reihenentwicklungen der Funktionen 
  
    
      
        z
        ↦
        (
        z
        −
        c
        
          )
          
            −
            n
            −
            1
          
        
      
    
    {\displaystyle z\mapsto (z-c)^{-n-1}}
  
 im Inneren des Integrals benötigt werden, was allgemein durch Ableitungen der geometrischen Reihe ausgedrückt werden kann, sowie Vertauschbarkeit von Summation und Integration. Für den Fall 
  
    
      
        k
        =
        0
      
    
    {\displaystyle k=0}
  
 wurde dies bereits 1831 von Cauchy durchgeführt.


#### Abschätzung von Taylor-Koeffizienten
Das Wachstum der Taylor-Koeffizienten einer Potenzreihe sagt etwas über das Wachstum der zugehörigen Funktion aus und umgekehrt. Um dies präziser zu fassen, ist es von Nutzen, die geometrische Reihe passend zu verallgemeinern. Mittels der Euler-Polynome 
  
    
      
        
          A
          
            m
          
        
        (
        q
        )
      
    
    {\displaystyle A_{m}(q)}
  
 erhält man für ganze Zahlen 
  
    
      
        m
        ≥
        0
      
    
    {\displaystyle m\geq 0}
  

  
    
      
        
          ∑
          
            n
            =
            1
          
          
            ∞
          
        
        
          n
          
            m
          
        
        
          q
          
            n
          
        
        =
        
          
            
              q
              
                A
                
                  m
                
              
              (
              q
              )
            
            
              (
              1
              −
              q
              
                )
                
                  m
                  +
                  1
                
              
            
          
        
        .
      
    
    {\displaystyle \sum _{n=1}^{\infty }n^{m}q^{n}={\frac {qA_{m}(q)}{(1-q)^{m+1}}}.}
  

Dabei gilt stets 
  
    
      
        
          |
        
        
          A
          
            m
          
        
        (
        q
        )
        
          |
        
        ≤
        m
        !
      
    
    {\displaystyle |A_{m}(q)|\leq m!}
  
 für alle 
  
    
      
        
          |
        
        q
        
          |
        
        ≤
        1
      
    
    {\displaystyle |q|\leq 1}
  
. Gilt nun 
  
    
      
        
          |
        
        
          a
          
            n
          
        
        
          |
        
        ≤
        M
        
          n
          
            m
          
        
      
    
    {\displaystyle |a_{n}|\leq Mn^{m}}
  
 für die Koeffizienten einer Potenzreihe 
  
    
      
        
          f
          (
          z
          )
          :=
          
            ∑
            
              n
              =
              1
            
            
              ∞
            
          
          
            a
            
              n
            
          
          
            q
            
              n
            
          
        
      
    
    {\displaystyle \textstyle f(z):=\sum _{n=1}^{\infty }a_{n}q^{n}}
  
, so ist 
  
    
      
        f
      
    
    {\displaystyle f}
  
 in der Einheitskreisscheibe 
  
    
      
        
          B
          
            1
          
        
        (
        0
        )
        =
        {
        z
        ∈
        
          C
        
        :
        
          |
        
        z
        
          |
        
        <
        1
        }
      
    
    {\displaystyle B_{1}(0)=\{z\in \mathbb {C} \colon |z|<1\}}
  
 eine holomorphe Funktion, und es folgt

  
    
      
        
          |
        
        f
        (
        q
        )
        
          |
        
        ≤
        
          ∑
          
            n
            =
            1
          
          
            ∞
          
        
        M
        
          n
          
            m
          
        
        
          |
        
        q
        
          
            |
          
          
            n
          
        
        =
        
          
            
              M
              
                |
              
              q
              
                |
              
              
                A
                
                  m
                
              
              (
              
                |
              
              q
              
                |
              
              )
            
            
              
                |
              
              1
              −
              
                |
              
              q
              
                |
              
              
                
                  |
                
                
                  m
                  +
                  1
                
              
            
          
        
        ≤
        
          
            
              M
              m
              !
            
            
              (
              1
              −
              
                |
              
              q
              
                |
              
              
                )
                
                  m
                  +
                  1
                
              
            
          
        
        .
      
    
    {\displaystyle |f(q)|\leq \sum _{n=1}^{\infty }Mn^{m}|q|^{n}={\frac {M|q|A_{m}(|q|)}{|1-|q||^{m+1}}}\leq {\frac {Mm!}{(1-|q|)^{m+1}}}.}
  

Bis zu einem gewissen Grad kann diese Aussage umgekehrt werden. Mit Hilfe der Cauchyschen Integralformel folgt unter der Voraussetzung

  
    
      
        
          |
        
        f
        (
        q
        )
        
          |
        
        ≤
        
          
            M
            
              (
              1
              −
              
                |
              
              q
              
                |
              
              
                )
                
                  m
                
              
            
          
        
      
    
    {\displaystyle |f(q)|\leq {\frac {M}{(1-|q|)^{m}}}}
  

für ein 
  
    
      
        m
        ∈
        
          
            N
          
          
            0
          
        
      
    
    {\displaystyle m\in \mathbb {N} _{0}}
  
 und alle 
  
    
      
        
          |
        
        q
        
          |
        
        <
        1
      
    
    {\displaystyle |q|<1}
  
 bereits für alle 
  
    
      
        0
        <
        r
        <
        1
      
    
    {\displaystyle 0<r<1}
  
 mit der Standardabschätzung für Integrale

  
    
      
        
          |
        
        
          a
          
            n
          
        
        
          |
        
        =
        
          |
          
            
              
                1
                
                  2
                  π
                  i
                
              
            
            
              ∮
              
                ∂
                
                  B
                  
                    r
                  
                
                (
                0
                )
              
            
            
              
                
                  f
                  (
                  q
                  )
                
                
                  q
                  
                    n
                    +
                    1
                  
                
              
            
            
              d
            
            q
          
          |
        
        ≤
        
          
            M
            
              2
              π
            
          
        
        
          
            
              2
              π
              r
            
            
              
                r
                
                  n
                  +
                  1
                
              
              (
              1
              −
              
                |
              
              r
              
                |
              
              
                )
                
                  m
                
              
            
          
        
        =
        
          
            M
            
              
                r
                
                  n
                
              
              (
              1
              −
              
                |
              
              r
              
                |
              
              
                )
                
                  m
                
              
            
          
        
        .
      
    
    {\displaystyle |a_{n}|=\left|{\frac {1}{2\pi i}}\oint _{\partial B_{r}(0)}{\frac {f(q)}{q^{n+1}}}\mathrm {d} q\right|\leq {\frac {M}{2\pi }}{\frac {2\pi r}{r^{n+1}(1-|r|)^{m}}}={\frac {M}{r^{n}(1-|r|)^{m}}}.}
  

Dabei wird die Integrationskurve, also der Kreis mit Mittelpunkt 0 und Radius 
  
    
      
        r
      
    
    {\displaystyle r}
  
, in mathematisch positiver Richtung einfach umlaufen. Durch die spezifische Wahl von 
  
    
      
        r
        =
        1
        −
        
          
            
              1
              
                n
                +
                1
              
            
          
        
      
    
    {\displaystyle r=1-{\tfrac {1}{n+1}}}
  
 erhält man wegen 
  
    
      
        (
        1
        −
        
          
            
              1
              
                n
                +
                1
              
            
          
        
        
          )
          
            −
            n
          
        
        ≤
        e
      
    
    {\displaystyle (1-{\tfrac {1}{n+1}})^{-n}\leq e}
  
 insgesamt

  
    
      
        
          |
        
        
          a
          
            n
          
        
        
          |
        
        ≤
        M
        e
        (
        n
        +
        1
        
          )
          
            m
          
        
        ≤
        M
        e
        
          2
          
            m
          
        
        
          n
          
            m
          
        
        .
      
    
    {\displaystyle |a_{n}|\leq Me(n+1)^{m}\leq Me2^{m}n^{m}.}
  

Anwendung finden diese Überlegungen besonders im Kontext der Fourier-Reihen, etwa im Kontext von Modulformen und Dirichlet-Reihen.


### Trigonometrie
Die geometrische Reihe, bzw. ihre Partialsummen, kann dabei helfen, trigonometrische Identitäten zu beweisen. In der Praxis betrifft dies zum Beispiel unmittelbar den sog. Dirichlet-Kern

  
    
      
        
          D
          
            n
          
        
        (
        x
        )
        =
        
          ∑
          
            k
            =
            −
            n
          
          
            n
          
        
        
          e
          
            i
            k
            x
          
        
        =
        
          (
          
            1
            +
            2
            
              ∑
              
                k
                =
                1
              
              
                n
              
            
            cos
            ⁡
            (
            k
            x
            )
          
          )
        
        ,
      
    
    {\displaystyle D_{n}(x)=\sum _{k=-n}^{n}e^{ikx}=\left(1+2\sum _{k=1}^{n}\cos(kx)\right),}
  

der in der Fourier-Analysis Anwendung findet. Wegen der Rechenregel 
  
    
      
        
          e
          
            i
            k
            x
          
        
        =
        (
        
          e
          
            i
            x
          
        
        
          )
          
            k
          
        
      
    
    {\displaystyle e^{ikx}=(e^{ix})^{k}}
  
 sowie der Eulerschen Formel ergibt sich mit der geometrischen Reihe dann

  
    
      
        
          ∑
          
            k
            =
            −
            n
          
          
            n
          
        
        
          e
          
            i
            k
            x
          
        
        =
        
          
            
              
                e
                
                  −
                  (
                  n
                  +
                  
                    
                      1
                      2
                    
                  
                  )
                  i
                  x
                
              
              −
              
                e
                
                  (
                  n
                  +
                  
                    
                      1
                      2
                    
                  
                  )
                  i
                  x
                
              
            
            
              
                e
                
                  −
                  
                    
                      
                        i
                        x
                      
                      2
                    
                  
                
              
              −
              
                e
                
                  
                    
                      i
                      x
                    
                    2
                  
                
              
            
          
        
        =
        
          
            
              −
              2
              i
              sin
              ⁡
              (
              (
              n
              +
              
                
                  1
                  2
                
              
              )
              x
              )
            
            
              −
              2
              i
              sin
              ⁡
              (
              
                
                  x
                  2
                
              
              )
            
          
        
        =
        
          
            
              sin
              ⁡
              (
              (
              n
              +
              
                
                  1
                  2
                
              
              )
              x
              )
            
            
              sin
              ⁡
              (
              
                
                  x
                  2
                
              
              )
            
          
        
        ,
      
    
    {\displaystyle \sum _{k=-n}^{n}e^{ikx}={\frac {e^{-(n+{\frac {1}{2}})ix}-e^{(n+{\frac {1}{2}})ix}}{e^{-{\frac {ix}{2}}}-e^{\frac {ix}{2}}}}={\frac {-2i\sin((n+{\frac {1}{2}})x)}{-2i\sin({\frac {x}{2}})}}={\frac {\sin((n+{\frac {1}{2}})x)}{\sin({\frac {x}{2}})}},}
  

also die geschlossene Gestalt in Form eines Sinus-Quotienten.
Ein anderes Beispiel betrifft die Reihe

  
    
      
        
          ∑
          
            k
            =
            0
          
          
            ∞
          
        
        
          
            
              sin
              ⁡
              (
              k
              x
              )
            
            
              r
              
                k
              
            
          
        
        =
        
          
            
              r
              sin
              ⁡
              (
              x
              )
            
            
              1
              −
              2
              r
              cos
              ⁡
              (
              x
              )
              +
              
                r
                
                  2
                
              
            
          
        
        ,
        
        (
        x
        ∈
        
          R
        
        ,
        
          |
        
        r
        
          |
        
        >
        1
        )
        ,
      
    
    {\displaystyle \sum _{k=0}^{\infty }{\frac {\sin(kx)}{r^{k}}}={\frac {r\sin(x)}{1-2r\cos(x)+r^{2}}},\qquad (x\in \mathbb {R} ,|r|>1),}
  

die schon von Leonhard Euler studiert wurde. Der Beweis dafür ergibt sich aus der Tatsache, dass

  
    
      
        sin
        ⁡
        (
        k
        x
        )
        =
        
          
            
              
                e
                
                  i
                  k
                  x
                
              
              −
              
                e
                
                  −
                  i
                  k
                  x
                
              
            
            
              2
              i
            
          
        
        ,
      
    
    {\displaystyle \sin(kx)={\frac {e^{ikx}-e^{-ikx}}{2i}},}
  

was eine Konsequenz der Eulerschen Formel ist. Wenn man dies in die ursprüngliche Reihe einsetzt, erhält man

  
    
      
        
          ∑
          
            k
            =
            0
          
          
            ∞
          
        
        
          
            
              sin
              ⁡
              (
              k
              x
              )
            
            
              r
              
                k
              
            
          
        
        =
        
          
            1
            
              2
              i
            
          
        
        
          [
          
            
              ∑
              
                k
                =
                0
              
              
                ∞
              
            
            
              
                (
                
                  
                    
                      e
                      
                        i
                        x
                      
                    
                    r
                  
                
                )
              
              
                k
              
            
            −
            
              ∑
              
                k
                =
                0
              
              
                ∞
              
            
            
              
                (
                
                  
                    
                      e
                      
                        −
                        i
                        x
                      
                    
                    r
                  
                
                )
              
              
                k
              
            
          
          ]
        
        .
      
    
    {\displaystyle \sum _{k=0}^{\infty }{\frac {\sin(kx)}{r^{k}}}={\frac {1}{2i}}\left[\sum _{k=0}^{\infty }\left({\frac {e^{ix}}{r}}\right)^{k}-\sum _{k=0}^{\infty }\left({\frac {e^{-ix}}{r}}\right)^{k}\right].}
  

Dies ist die Differenz zweier geometrischer Reihen, und daher ist es eine einfache Anwendung der Formel für unendliche geometrische Reihen, die den Beweis vervollständigt.


### Zahlentheorie
#### Euler-Produkte
Im Umfeld der analytischen Zahlentheorie gehört das Euler-Produkt

  
    
      
        ζ
        (
        s
        )
        =
        
          ∑
          
            n
            =
            1
          
          
            ∞
          
        
        
          
            1
            
              n
              
                s
              
            
          
        
        =
        
          ∏
          
            p
             
            
              Primzahl
            
          
        
        
          
            1
            
              1
              −
              
                
                  1
                  
                    p
                    
                      s
                    
                  
                
              
            
          
        
      
    
    {\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\prod _{p\ {\text{Primzahl}}}{\frac {1}{1-{\frac {1}{p^{s}}}}}}
  

der Riemannschen Zeta-Funktion zu den bedeutendsten Formeln, da sie die Folge der Primzahlen mit einer vergleichsweise „einfach strukturierten“ analytischen Funktion in Verbindung bringt. Dabei gelten die angegebenen Formeln jedoch nur im eingeschränkten Bereich 
  
    
      
        Re
        ⁡
        (
        s
        )
        >
        1
      
    
    {\displaystyle \operatorname {Re} (s)>1}
  
, wobei sich dies auf den Realteil der komplexen Zahl 
  
    
      
        s
      
    
    {\displaystyle s}
  
 bezieht. Durch Ausmultiplizieren und Anwendung der geometrischen Reihe

  
    
      
        1
        +
        
          
            1
            
              p
              
                s
              
            
          
        
        +
        
          
            1
            
              p
              
                2
                s
              
            
          
        
        +
        
          
            1
            
              p
              
                3
                s
              
            
          
        
        +
        ⋯
        =
        
          
            1
            
              1
              −
              
                
                  1
                  
                    p
                    
                      s
                    
                  
                
              
            
          
        
      
    
    {\displaystyle 1+{\frac {1}{p^{s}}}+{\frac {1}{p^{2s}}}+{\frac {1}{p^{3s}}}+\dotsb ={\frac {1}{1-{\frac {1}{p^{s}}}}}}
  

mit 
  
    
      
        
          |
        
        
          p
          
            −
            s
          
        
        
          |
        
        <
        1
      
    
    {\displaystyle |p^{-s}|<1}
  
 erkennt man für die ersten 
  
    
      
        n
      
    
    {\displaystyle n}
  
 Primzahlen

  
    
      
        
          
            1
            
              1
              −
              
                
                  1
                  
                    2
                    
                      s
                    
                  
                
              
            
          
        
        ⋅
        
          
            1
            
              1
              −
              
                
                  1
                  
                    3
                    
                      s
                    
                  
                
              
            
          
        
        ⋅
        
          
            1
            
              1
              −
              
                
                  1
                  
                    5
                    
                      s
                    
                  
                
              
            
          
        
        ⋅
        ⋯
        ⋅
        
          
            1
            
              1
              −
              
                
                  1
                  
                    p
                    
                      n
                    
                    
                      s
                    
                  
                
              
            
          
        
        =
        
          ∑
          
            
              
                m
                =
                
                  2
                  
                    
                      a
                      
                        1
                      
                    
                  
                
                
                  3
                  
                    
                      a
                      
                        2
                      
                    
                  
                
                
                  5
                  
                    
                      a
                      
                        3
                      
                    
                  
                
                ⋯
                
                  p
                  
                    n
                  
                  
                    
                      a
                      
                        n
                      
                    
                  
                
              
              
                
                  a
                  
                    1
                  
                
                ,
                
                  a
                  
                    2
                  
                
                ,
                
                  a
                  
                    3
                  
                
                ,
                …
                ,
                
                  a
                  
                    n
                  
                
                ≥
                0
              
            
          
        
        
          
            1
            
              m
              
                s
              
            
          
        
        .
      
    
    {\displaystyle {\frac {1}{1-{\frac {1}{2^{s}}}}}\cdot {\frac {1}{1-{\frac {1}{3^{s}}}}}\cdot {\frac {1}{1-{\frac {1}{5^{s}}}}}\cdot \cdots \cdot {\frac {1}{1-{\frac {1}{p_{n}^{s}}}}}=\sum _{m=2^{a_{1}}3^{a_{2}}5^{a_{3}}\cdots p_{n}^{a_{n}} \atop a_{1},a_{2},a_{3},\dots ,a_{n}\geq 0}{\frac {1}{m^{s}}}.}
  

Nun kann man in dieser Formel 
  
    
      
        n
      
    
    {\displaystyle n}
  
 gegen unendlich laufen lassen und erhält

  
    
      
        
          ∏
          
            p
             
            
              Primzahl
            
          
        
        
          
            1
            
              1
              −
              
                
                  1
                  
                    p
                    
                      s
                    
                  
                
              
            
          
        
        =
        
          lim
          
            n
            →
            ∞
          
        
        
          ∑
          
            m
            =
            
              2
              
                
                  a
                  
                    1
                  
                
              
            
            
              3
              
                
                  a
                  
                    2
                  
                
              
            
            
              5
              
                
                  a
                  
                    3
                  
                
              
            
            ⋯
            
              p
              
                n
              
              
                
                  a
                  
                    n
                  
                
              
            
          
        
        
          
            1
            
              m
              
                s
              
            
          
        
        =
        
          ∑
          
            m
            =
            1
          
          
            ∞
          
        
        
          
            1
            
              m
              
                s
              
            
          
        
        =
        1
        +
        
          
            1
            
              2
              
                s
              
            
          
        
        +
        
          
            1
            
              3
              
                s
              
            
          
        
        +
        
          
            1
            
              4
              
                s
              
            
          
        
        +
        ⋯
        =
        ζ
        (
        s
        )
        ,
      
    
    {\displaystyle \prod _{p\ {\text{Primzahl}}}{\frac {1}{1-{\frac {1}{p^{s}}}}}=\lim _{n\to \infty }\sum _{m=2^{a_{1}}3^{a_{2}}5^{a_{3}}\cdots p_{n}^{a_{n}}}{\frac {1}{m^{s}}}=\sum _{m=1}^{\infty }{\frac {1}{m^{s}}}=1+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+{\frac {1}{4^{s}}}+\cdots =\zeta (s),}
  

da jede Zahl 
  
    
      
        m
      
    
    {\displaystyle m}
  
 nach dem Fundamentalsatz der Arithmetik genau eine Zerlegung 
  
    
      
        m
        =
        
          2
          
            
              a
              
                1
              
            
          
        
        
          3
          
            
              a
              
                2
              
            
          
        
        
          5
          
            
              a
              
                3
              
            
          
        
        ⋯
      
    
    {\displaystyle m=2^{a_{1}}3^{a_{2}}5^{a_{3}}\cdots }
  
 besitzt. Somit folgt das Euler-Produkt im Bereich der absoluten Konvergenz der Reihe zu 
  
    
      
        ζ
        (
        s
        )
      
    
    {\displaystyle \zeta (s)}
  
. Das Euler-Produkt spielt eine zentrale Rolle in der Primzahltheorie, etwa dem Beweis des Primzahlsatzes und im Umfeld der Riemannschen Vermutung, eines der sieben Millennium-Probleme der Mathematik.
Dieses Argument verallgemeinert sich auf vollständig multiplikative zahlentheoretische Funktionen 
  
    
      
        
          a
          
            n
          
        
      
    
    {\displaystyle a_{n}}
  
 (d. h. 
  
    
      
        
          a
          
            m
            n
          
        
        =
        
          a
          
            m
          
        
        
          a
          
            n
          
        
      
    
    {\displaystyle a_{mn}=a_{m}a_{n}}
  
 für alle 
  
    
      
        m
        ,
        n
      
    
    {\displaystyle m,n}
  
 und 
  
    
      
        
          a
          
            1
          
        
        ≠
        0
      
    
    {\displaystyle a_{1}\not =0}
  
) in Form der Identität

  
    
      
        
          ∑
          
            n
            =
            1
          
          
            ∞
          
        
        
          a
          
            n
          
        
        =
        
          ∏
          
            p
             
            
              Primzahl
            
          
        
        
          
            1
            
              1
              −
              
                a
                
                  p
                
              
            
          
        
        ,
      
    
    {\displaystyle \sum _{n=1}^{\infty }a_{n}=\prod _{p\ {\text{Primzahl}}}{\frac {1}{1-a_{p}}},}
  

die dann zutrifft, wenn die Reihe 
  
    
      
        
          
            ∑
            
              n
              =
              1
            
            
              ∞
            
          
          
            a
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=1}^{\infty }a_{n}}
  
 absolut konvergiert.


#### Satz von Weyl über Gleichverteilung
Die geometrische Reihe spielt eine wichtige Rolle an einer kritischen Stelle im Beweis des Satzes von Weyl für Gleichverteilung. Bei diesem wird eine reelle Zahl 
  
    
      
        α
      
    
    {\displaystyle \alpha }
  
 gewählt und die Folge aller Vielfachen

  
    
      
        α
        ,
        
        2
        α
        ,
        
        3
        α
        ,
        
        4
        α
        ,
        
        …
      
    
    {\displaystyle \alpha ,\quad 2\alpha ,\quad 3\alpha ,\quad 4\alpha ,\quad \ldots }
  

betrachtet. Daraus kann eine Folge mit Werten in 
  
    
      
        [
        0
        ,
        1
        ]
      
    
    {\displaystyle [0,1]}
  
 konstruiert werden mit der Gaußklammer

  
    
      
        
          a
          
            n
          
        
        (
        α
        )
        :=
        n
        α
        −
        ⌊
        n
        α
        ⌋
        .
      
    
    {\displaystyle a_{n}(\alpha ):=n\alpha -\lfloor n\alpha \rfloor .}
  

Der Satz von Weyl gibt eine Charakterisierung dafür, dass die Werte 
  
    
      
        
          a
          
            n
          
        
        (
        α
        )
      
    
    {\displaystyle a_{n}(\alpha )}
  
 im asymptotischen Sinne im Intervall 
  
    
      
        [
        0
        ,
        1
        ]
      
    
    {\displaystyle [0,1]}
  
 gleichverteilt ist. Dabei bedeutet „gleichverteilt“ präzise, dass für alle 
  
    
      
        0
        ≤
        a
        <
        b
        ≤
        1
      
    
    {\displaystyle 0\leq a<b\leq 1}
  
 bereits

  
    
      
        
          lim
          
            N
            →
            ∞
          
        
        
          
            
              
                |
              
              {
              n
              ∈
              
                N
              
              :
              
                a
                
                  n
                
              
              (
              α
              )
              ∈
              (
              a
              ,
              b
              )
              ,
              n
              ≤
              N
              }
              
                |
              
            
            N
          
        
        =
        b
        −
        a
        .
      
    
    {\displaystyle \lim _{N\to \infty }{\frac {|\{n\in \mathbb {N} \colon a_{n}(\alpha )\in (a,b),n\leq N\}|}{N}}=b-a.}
  

Dies trifft genau dann zu, falls 
  
    
      
        α
      
    
    {\displaystyle \alpha }
  
 eine irrationale Zahl ist. Die Richtung

  
    
      
        α
      
    
    {\displaystyle \alpha }
  
 rational 
  
    
      
        
        ⟹
        
      
    
    {\displaystyle \implies }
  
 
  
    
      
        
          a
          
            n
          
        
        (
        α
        )
      
    
    {\displaystyle a_{n}(\alpha )}
  
 nicht asymptotisch gleichverteilt
kann dabei schnell gesehen werden. Für die andere Richtung zeigt man dies über das Weyl-Kriterium, das besagt, dass eine Folge 
  
    
      
        
          ξ
          
            n
          
        
        ∈
        [
        0
        ,
        1
        ]
      
    
    {\displaystyle \xi _{n}\in [0,1]}
  
 genau dann gleichverteilt ist, wenn

  
    
      
        
          lim
          
            N
            →
            ∞
          
        
        
          
            1
            N
          
        
        
          ∑
          
            n
            =
            1
          
          
            N
          
        
        
          e
          
            2
            π
            i
            k
            
              ξ
              
                n
              
            
          
        
        =
        0
      
    
    {\displaystyle \lim _{N\to \infty }{\frac {1}{N}}\sum _{n=1}^{N}e^{2\pi ik\xi _{n}}=0}
  

für alle ganzen Zahlen 
  
    
      
        k
        ≠
        0
      
    
    {\displaystyle k\not =0}
  
. Der Beweis des Weyl-Kriteriums kann mit elementarer Fourier-Analysis geführt werden. Mit der 1-Periodizität der komplexen Exponentialfunktion 
  
    
      
        
          e
          
            2
            π
            i
            x
          
        
      
    
    {\displaystyle e^{2\pi ix}}
  
 erhält man für irrationale 
  
    
      
        α
      
    
    {\displaystyle \alpha }
  
 über die geometrische Summenformel

  
    
      
        
          
            1
            N
          
        
        
          ∑
          
            n
            =
            1
          
          
            N
          
        
        
          e
          
            2
            π
            i
            k
            
              a
              
                n
              
            
            (
            α
            )
          
        
        =
        
          
            1
            N
          
        
        
          ∑
          
            n
            =
            1
          
          
            N
          
        
        
          e
          
            2
            π
            i
            k
            (
            n
            α
            −
            ⌊
            n
            α
            ⌋
            )
          
        
        =
        
          
            1
            N
          
        
        
          ∑
          
            n
            =
            1
          
          
            N
          
        
        
          
            (
            
              e
              
                2
                π
                i
                k
                α
              
            
            )
          
          
            n
          
        
        =
        
          
            
              e
              
                2
                π
                i
                k
                α
              
            
            N
          
        
        
          
            
              1
              −
              
                e
                
                  2
                  π
                  i
                  k
                  α
                  N
                
              
            
            
              1
              −
              
                e
                
                  2
                  π
                  i
                  k
                  α
                
              
            
          
        
        ,
        
      
    
    {\displaystyle {\frac {1}{N}}\sum _{n=1}^{N}e^{2\pi ika_{n}(\alpha )}={\frac {1}{N}}\sum _{n=1}^{N}e^{2\pi ik(n\alpha -\lfloor n\alpha \rfloor )}={\frac {1}{N}}\sum _{n=1}^{N}\left(e^{2\pi ik\alpha }\right)^{n}={\frac {e^{2\pi ik\alpha }}{N}}{\frac {1-e^{2\pi ik\alpha N}}{1-e^{2\pi ik\alpha }}},\quad }
  
 (wegen der Irrationalität von 
  
    
      
        α
      
    
    {\displaystyle \alpha }
  
 ist 
  
    
      
        α
        k
      
    
    {\displaystyle \alpha k}
  
 für ganze 
  
    
      
        k
        ≠
        0
      
    
    {\displaystyle k\not =0}
  
 nie ganzzahlig, also insbesondere 
  
    
      
        
          e
          
            2
            π
            i
            k
            α
          
        
        ≠
        1
      
    
    {\displaystyle e^{2\pi ik\alpha }\not =1}
  
),
wobei der letzte Ausdruck für 
  
    
      
        N
        →
        ∞
      
    
    {\displaystyle N\to \infty }
  
 gegen 0 strebt.


#### Analytische Kombinatorik
Die geometrische Reihe findet häufige Anwendung in der analytischen Kombinatorik, zum Beispiel in der Theorie der Partitionen.
Ist 
  
    
      
        n
      
    
    {\displaystyle n}
  
 eine natürliche Zahl, so ist eine absteigende Kette 
  
    
      
        
          λ
          
            1
          
        
        ≥
        
          λ
          
            2
          
        
        ≥
        
          λ
          
            3
          
        
        ≥
        ⋯
      
    
    {\displaystyle \lambda _{1}\geq \lambda _{2}\geq \lambda _{3}\geq \cdots }
  
 positiver ganzer Zahlen eine Partition von 
  
    
      
        n
      
    
    {\displaystyle n}
  
, falls

  
    
      
        
          λ
          
            1
          
        
        +
        
          λ
          
            2
          
        
        +
        
          λ
          
            3
          
        
        +
        
          λ
          
            4
          
        
        +
        ⋯
        =
        n
      
    
    {\displaystyle \lambda _{1}+\lambda _{2}+\lambda _{3}+\lambda _{4}+\cdots =n}
  

gilt. Die Anzahl der Partitionen von 
  
    
      
        n
      
    
    {\displaystyle n}
  
 wird mit 
  
    
      
        p
        (
        n
        )
      
    
    {\displaystyle p(n)}
  
 bezeichnet, und formal gilt 
  
    
      
        p
        (
        0
        )
        =
        1
      
    
    {\displaystyle p(0)=1}
  
. Mit der geometrischen Reihe kann für die erzeugende Funktion der 
  
    
      
        p
        (
        n
        )
      
    
    {\displaystyle p(n)}
  
 die Produktidentität

  
    
      
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        p
        (
        n
        )
        
          q
          
            n
          
        
        =
        
          ∏
          
            n
            =
            1
          
          
            ∞
          
        
        
          
            1
            
              1
              −
              
                q
                
                  n
                
              
            
          
        
      
    
    {\displaystyle \sum _{n=0}^{\infty }p(n)q^{n}=\prod _{n=1}^{\infty }{\frac {1}{1-q^{n}}}}
  

gezeigt werden. Diese verbindet die Partitionsfunktion über die Dedekindsche Etafunktion mit der Theorie der Modulformen und erlaubt es unter anderem, konvergente Reihen zu konstruieren, die als Grenzwerte 
  
    
      
        p
        (
        n
        )
      
    
    {\displaystyle p(n)}
  
 haben. Sie tritt außerdem bei einer elementaren Abschätzung der Partitionsfunktion 
  
    
      
        p
        (
        n
        )
      
    
    {\displaystyle p(n)}
  
 und beim Beweis von Identitäten wie

  
    
      
        
          ∏
          
            n
            =
            1
          
          
            ∞
          
        
        (
        1
        −
        
          q
          
            n
          
        
        
          )
          
            3
          
        
        =
        
          ∑
          
            n
            =
            −
            ∞
          
          
            ∞
          
        
        (
        −
        1
        
          )
          
            n
          
        
        
          q
          
            
              
                
                  n
                  
                    2
                  
                
                +
                n
              
              2
            
          
        
      
    
    {\displaystyle \prod _{n=1}^{\infty }(1-q^{n})^{3}=\sum _{n=-\infty }^{\infty }(-1)^{n}q^{\frac {n^{2}+n}{2}}}
  

auf.
Die Theorie der Partitionen lässt sich erneut über die geometrische Reihe auf ähnliche Funktionen 
  
    
      
        
          p
          
            f
          
        
        (
        n
        )
      
    
    {\displaystyle p_{f}(n)}
  
 des Typs

  
    
      
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          p
          
            f
          
        
        (
        n
        )
        
          q
          
            n
          
        
        =
        
          ∏
          
            n
            =
            1
          
          
            ∞
          
        
        
          
            1
            
              (
              1
              −
              
                q
                
                  n
                
              
              
                )
                
                  f
                  (
                  n
                  )
                
              
            
          
        
        ,
      
    
    {\displaystyle \sum _{n=0}^{\infty }p_{f}(n)q^{n}=\prod _{n=1}^{\infty }{\frac {1}{(1-q^{n})^{f(n)}}},}
  

mit Exponenten 
  
    
      
        f
        (
        n
        )
        ≥
        0
      
    
    {\displaystyle f(n)\geq 0}
  
 verallgemeinern, die in verschiedensten zahlentheoretischen Kontexten auftreten.


### Integraldarstellungen
Mit der geometrischen Reihe kann eine Integraldarstellung für die Riemannsche Zeta-Funktion 

  
    
      
        ζ
        (
        s
        )
        =
        
          ∑
          
            n
            =
            1
          
          
            ∞
          
        
        
          
            1
            
              n
              
                s
              
            
          
        
        ,
        
        (
        
          R
          e
        
        (
        s
        )
        >
        1
        )
      
    
    {\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}},\qquad (\mathrm {Re} (s)>1)}
  

gewonnen werden. Grundlage dieser Darstellung ist die eulersche Integral-Darstellung der Gamma-Funktion

  
    
      
        Γ
        (
        s
        )
        =
        
          ∫
          
            0
          
          
            ∞
          
        
        
          e
          
            −
            x
          
        
        
          x
          
            s
            −
            1
          
        
        
          d
        
        x
        ,
        
        (
        
          R
          e
        
        (
        s
        )
        >
        0
        )
        ,
      
    
    {\displaystyle \Gamma (s)=\int _{0}^{\infty }e^{-x}x^{s-1}\mathrm {d} x,\qquad (\mathrm {Re} (s)>0),}
  

aus der nach der Substitution 
  
    
      
        x
        =
        t
        n
      
    
    {\displaystyle x=tn}
  
 mit 
  
    
      
        n
        =
        1
        ,
        2
        ,
        3
        ,
        …
      
    
    {\displaystyle n=1,2,3,\dotsc }
  
 und Division durch 
  
    
      
        
          n
          
            s
          
        
      
    
    {\displaystyle n^{s}}
  
 nach beidseitigem Summieren über die geometrische Reihe der Ausdruck

  
    
      
        ζ
        (
        s
        )
        Γ
        (
        s
        )
        =
        
          ∑
          
            n
            =
            1
          
          
            ∞
          
        
        
          ∫
          
            0
          
          
            ∞
          
        
        
          e
          
            −
            n
            t
          
        
        
          t
          
            s
            −
            1
          
        
        
          d
        
        t
        =
        
          ∫
          
            0
          
          
            ∞
          
        
        
          
            
              t
              
                s
                −
                1
              
            
            
              
                e
                
                  t
                
              
              −
              1
            
          
        
        
          d
        
        t
      
    
    {\displaystyle \zeta (s)\Gamma (s)=\sum _{n=1}^{\infty }\int _{0}^{\infty }e^{-nt}t^{s-1}\mathrm {d} t=\int _{0}^{\infty }{\frac {t^{s-1}}{e^{t}-1}}\mathrm {d} t}
  

hervorgeht. Diese Darstellung von 
  
    
      
        ζ
        (
        s
        )
        Γ
        (
        s
        )
      
    
    {\displaystyle \zeta (s)\Gamma (s)}
  
 gilt naturgemäß nur auf der Halbebene 
  
    
      
        {
        s
        ∈
        
          C
        
        :
        Re
        ⁡
        (
        s
        )
        >
        1
        }
      
    
    {\displaystyle \{s\in \mathbb {C} \colon \operatorname {Re} (s)>1\}}
  
. Die zweite Integraldarstellung von 
  
    
      
        ζ
        (
        s
        )
        Γ
        (
        s
        )
      
    
    {\displaystyle \zeta (s)\Gamma (s)}
  
 bezeichnet man auch als die Mellin-Transformation von 
  
    
      
        
          
            
              1
              
                
                  e
                  
                    t
                  
                
                −
                1
              
            
          
        
      
    
    {\displaystyle {\tfrac {1}{e^{t}-1}}}
  
. Dass das Vertauschen von Summe und Integral möglich ist, kann mit absoluter Konvergenz und dem Satz von Lebesgue begründet werden.
Eine Anwendung dieses Integrals betrifft die analytische Fortsetzung der Riemannschen Zeta-Funktion auf ganz 
  
    
      
        
          C
        
        ∖
        {
        1
        }
      
    
    {\displaystyle \mathbb {C} \setminus \{1\}}
  
 (mit einer einfachen Polstelle in 
  
    
      
        s
        =
        1
      
    
    {\displaystyle s=1}
  
). Entscheidendes Hilfsmittel ist die Existenz einer Laurent-Entwicklung der (zunächst nur für 
  
    
      
        t
        >
        0
      
    
    {\displaystyle t>0}
  
 definierten) geometrischen Reihe

  
    
      
        
          ∑
          
            n
            =
            1
          
          
            ∞
          
        
        
          e
          
            −
            n
            t
          
        
        =
        
          
            1
            
              
                e
                
                  t
                
              
              −
              1
            
          
        
        =
        
          ∑
          
            ν
            =
            0
          
          
            ∞
          
        
        
          
            
              B
              
                ν
              
            
            
              ν
              !
            
          
        
        
          t
          
            ν
            −
            1
          
        
        =
        
          
            1
            t
          
        
        −
        
          
            1
            2
          
        
        +
        
          
            t
            12
          
        
        −
        
          
            
              t
              
                3
              
            
            720
          
        
        +
        ⋯
        
        (
        0
        <
        
          |
        
        t
        
          |
        
        <
        2
        π
        )
      
    
    {\displaystyle \sum _{n=1}^{\infty }e^{-nt}={\frac {1}{e^{t}-1}}=\sum _{\nu =0}^{\infty }{\frac {B_{\nu }}{\nu !}}t^{\nu -1}={\frac {1}{t}}-{\frac {1}{2}}+{\frac {t}{12}}-{\frac {t^{3}}{720}}+\cdots \qquad (0<|t|<2\pi )}
  

in Termen der Bernoulli-Zahlen 
  
    
      
        
          B
          
            ν
          
        
      
    
    {\displaystyle B_{\nu }}
  
.


### Algebraische Geometrie
Innerhalb der algebraischen Geometrie tritt die geometrische Reihe im Kontext von Hasse-Weil-Zetafunktionen des projektiven Raums 
  
    
      
        
          
            P
          
          
            N
          
        
      
    
    {\displaystyle \mathbb {P} ^{N}}
  
 über dem algebraischen Abschluss eines endlichen Körpers 
  
    
      
        
          
            F
          
          
            q
          
        
      
    
    {\displaystyle \mathbb {F} _{q}}
  
 auf (wobei 
  
    
      
        q
      
    
    {\displaystyle q}
  
 eine Primzahlpotenz ist). Für die Anzahl der 
  
    
      
        
          
            F
          
          
            
              q
              
                n
              
            
          
        
      
    
    {\displaystyle \mathbb {F} _{q^{n}}}
  
-rationalen Punkte 
  
    
      
        
          
            P
          
          
            N
          
        
        (
        
          
            F
          
          
            
              q
              
                n
              
            
          
        
        )
      
    
    {\displaystyle \mathbb {P} ^{N}(\mathbb {F} _{q^{n}})}
  
 folgt

  
    
      
        
          |
        
        
          
            P
          
          
            N
          
        
        (
        
          
            F
          
          
            
              q
              
                n
              
            
          
        
        )
        
          |
        
        =
        
          ∑
          
            j
            =
            0
          
          
            N
          
        
        
          q
          
            n
            j
          
        
        =
        
          
            
              
                q
                
                  n
                  (
                  N
                  +
                  1
                  )
                
              
              −
              1
            
            
              
                q
                
                  n
                
              
              −
              1
            
          
        
        ,
      
    
    {\displaystyle |\mathbb {P} ^{N}(\mathbb {F} _{q^{n}})|=\sum _{j=0}^{N}q^{nj}={\frac {q^{n(N+1)}-1}{q^{n}-1}},}
  

denn jeder Punkt 
  
    
      
        [
        
          x
          
            0
          
        
        ,
        …
        ,
        
          x
          
            N
          
        
        ]
        ∈
        
          
            P
          
          
            N
          
        
        (
        
          
            F
          
          
            
              q
              
                n
              
            
          
        
        )
      
    
    {\displaystyle [x_{0},\ldots ,x_{N}]\in \mathbb {P} ^{N}(\mathbb {F} _{q^{n}})}
  
 bleibt unter Multiplikation mit einem Skalar aus 
  
    
      
        
          
            F
          
          
            
              q
              
                n
              
            
          
        
        ∖
        {
        0
        }
      
    
    {\displaystyle \mathbb {F} _{q^{n}}\setminus \{0\}}
  
 unverändert. Dies hat unmittelbare Auswirkungen auf die Hasse-Weil-Zetafunktion von 
  
    
      
        
          
            P
          
          
            N
          
        
        
          /
        
        
          
            F
          
          
            q
          
        
      
    
    {\displaystyle \mathbb {P} ^{N}/\mathbb {F} _{q}}
  
, die folglich eine rationale Funktion der Gestalt

  
    
      
        Z
        (
        
          
            P
          
          
            N
          
        
        
          /
        
        
          
            F
          
          
            q
          
        
        ;
        T
        )
        =
        
          
            1
            
              (
              1
              −
              T
              )
              (
              1
              −
              q
              T
              )
              ⋯
              (
              1
              −
              
                q
                
                  N
                
              
              T
              )
            
          
        
      
    
    {\displaystyle Z(\mathbb {P} ^{N}/\mathbb {F} _{q};T)={\frac {1}{(1-T)(1-qT)\cdots (1-q^{N}T)}}}
  

ist.


## Verallgemeinerungen und Varianten
### Binomische Reihe
Die geometrische Reihe ist ein Spezialfall der binomischen Reihe

  
    
      
        (
        1
        −
        x
        
          )
          
            α
          
        
        =
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          
            
              (
            
            
              α
              n
            
            
              )
            
          
        
        (
        −
        x
        
          )
          
            n
          
        
        
        (
        
          |
        
        x
        
          |
        
        <
        1
        )
        ,
      
    
    {\displaystyle (1-x)^{\alpha }=\sum _{n=0}^{\infty }{\alpha  \choose n}(-x)^{n}\qquad (|x|<1),}
  

die für alle 
  
    
      
        α
        ∈
        
          C
        
      
    
    {\displaystyle \alpha \in \mathbb {C} }
  
 gültig ist, wobei 
  
    
      
        
          
            
              
                (
              
              
                α
                n
              
              
                )
              
            
          
        
      
    
    {\displaystyle \textstyle {\alpha  \choose n}}
  
 die verallgemeinerten Binomialkoeffizienten bezeichnen. Mit 
  
    
      
        α
        =
        −
        1
      
    
    {\displaystyle \alpha =-1}
  
 erhält man

  
    
      
        
          
            
              (
            
            
              
                −
                1
              
              n
            
            
              )
            
          
        
        =
        (
        −
        1
        
          )
          
            n
          
        
        ,
      
    
    {\displaystyle {-1 \choose n}=(-1)^{n},}
  

also nach Einsetzen die geometrische Reihe:

  
    
      
        
          
            1
            
              1
              −
              x
            
          
        
        =
        (
        1
        −
        x
        
          )
          
            −
            1
          
        
        =
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          
            
              (
            
            
              
                −
                1
              
              n
            
            
              )
            
          
        
        (
        −
        x
        
          )
          
            n
          
        
        =
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        (
        −
        1
        
          )
          
            n
          
        
        (
        −
        1
        
          )
          
            n
          
        
        
          x
          
            n
          
        
        =
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          x
          
            n
          
        
        .
      
    
    {\displaystyle {\frac {1}{1-x}}=(1-x)^{-1}=\sum _{n=0}^{\infty }{-1 \choose n}(-x)^{n}=\sum _{n=0}^{\infty }(-1)^{n}(-1)^{n}x^{n}=\sum _{n=0}^{\infty }x^{n}.}
  


### Endliche Summenformeln
Die Partialsummen der geometrischen Reihe lassen sich im Umfeld der Faulhaberschen Formeln, welche von Johannes Faulhaber entdeckt wurden, verallgemeinern.


### Verwandte Potenzreihen und spezielle Funktionen
Mittels der Euler-Polynome 
  
    
      
        
          A
          
            m
          
        
        (
        q
        )
      
    
    {\displaystyle A_{m}(q)}
  
 kann die verallgemeinerte Reihe 
  
    
      
        
          
            ∑
            
              n
              =
              1
            
            
              ∞
            
          
          
            n
            
              m
            
          
          
            q
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=1}^{\infty }n^{m}q^{n}}
  
 für beliebige 
  
    
      
        m
        ∈
        
          
            N
          
          
            0
          
        
      
    
    {\displaystyle m\in \mathbb {N} _{0}}
  
 direkt angegeben werden:

  
    
      
        
          ∑
          
            n
            =
            1
          
          
            ∞
          
        
        
          n
          
            m
          
        
        
          q
          
            n
          
        
        =
        
          
            
              q
              
                A
                
                  m
                
              
              (
              q
              )
            
            
              (
              1
              −
              q
              
                )
                
                  m
                  +
                  1
                
              
            
          
        
        ,
        
        (
        
          |
        
        q
        
          |
        
        <
        1
        )
        .
      
    
    {\displaystyle \sum _{n=1}^{\infty }n^{m}q^{n}={\frac {qA_{m}(q)}{(1-q)^{m+1}}},\qquad (|q|<1).}
  

Allgemein stellt diese Variante für 
  
    
      
        
          |
        
        q
        
          |
        
        <
        1
      
    
    {\displaystyle |q|<1}
  
 für beliebige komplexe 
  
    
      
        s
      
    
    {\displaystyle s}
  
 die Definition des Polylogarithmus dar:

  
    
      
        
          ∑
          
            n
            =
            1
          
          
            ∞
          
        
        
          
            
              q
              
                n
              
            
            
              n
              
                s
              
            
          
        
        =
        
          
            Li
          
          
            s
          
        
        (
        q
        )
        .
      
    
    {\displaystyle \sum _{n=1}^{\infty }{\frac {q^{n}}{n^{s}}}={\text{Li}}_{s}(q).}
  


### Banach-Algebren
Die geometrische Summenformel ist sogar in jeder Banach-Algebra gültig, solange die Norm von 
  
    
      
        q
      
    
    {\displaystyle q}
  
 kleiner als eins ist; im Kontext linearer Operatoren spricht man auch von der Neumann-Reihe.
Im Besonderen betrifft dies Anwendungen in der Theorie der Matrizen. Dort kann man sich folgendes Prinzip zu Nutze machen:

Lässt sich eine Funktion 
  
    
      
        f
        (
        λ
        )
      
    
    {\displaystyle f(\lambda )}
  
 in dem Kreis 
  
    
      
        
          |
        
        λ
        −
        
          λ
          
            0
          
        
        
          |
        
        <
        r
      
    
    {\displaystyle |\lambda -\lambda _{0}|<r}
  
 in eine Potenzreihe 
  
    
      
        
          f
          (
          λ
          )
          =
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            a
            
              n
            
          
          (
          λ
          −
          
            λ
            
              0
            
          
          
            )
            
              n
            
          
        
      
    
    {\displaystyle \textstyle f(\lambda )=\sum _{n=0}^{\infty }a_{n}(\lambda -\lambda _{0})^{n}}
  
 entwickeln, so bleibt diese Darstellung richtig, wenn man 
  
    
      
        λ
      
    
    {\displaystyle \lambda }
  
 durch eine Matrix 
  
    
      
        A
      
    
    {\displaystyle A}
  
 ersetzt, deren Eigenwerte im Innern des Konvergenzkreises der Reihe liegen.
Auf diese Weise kann man zum Beispiel das Matrixexponential erklären. Speziell erhält man für 
  
    
      
        m
        ×
        m
      
    
    {\displaystyle m\times m}
  
-Matrizen über die geometrische Reihe

  
    
      
        (
        
          I
          
            m
          
        
        −
        A
        
          )
          
            −
            1
          
        
        =
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          A
          
            n
          
        
        ,
      
    
    {\displaystyle (I_{m}-A)^{-1}=\sum _{n=0}^{\infty }A^{n},}
  

falls alle Eigenwerte 
  
    
      
        
          λ
          
            k
          
        
      
    
    {\displaystyle \lambda _{k}}
  
 von 
  
    
      
        A
      
    
    {\displaystyle A}
  
 schon 
  
    
      
        
          |
        
        
          λ
          
            k
          
        
        
          |
        
        <
        1
      
    
    {\displaystyle |\lambda _{k}|<1}
  
 erfüllen. Dabei bezeichnet 
  
    
      
        
          I
          
            m
          
        
      
    
    {\displaystyle I_{m}}
  
 die 
  
    
      
        m
        ×
        m
      
    
    {\displaystyle m\times m}
  
-Einheitsmatrix und 
  
    
      
        (
        
          I
          
            m
          
        
        −
        A
        
          )
          
            −
            1
          
        
      
    
    {\displaystyle (I_{m}-A)^{-1}}
  
 die zu 
  
    
      
        
          I
          
            m
          
        
        −
        A
      
    
    {\displaystyle I_{m}-A}
  
 inverse Matrix.


### Hypergeometrische Reihen
Eine Reihe 
  
    
      
        
          
            ∑
            
              n
              =
              0
            
            
              ∞
            
          
          
            c
            
              n
            
          
        
      
    
    {\displaystyle \textstyle \sum _{n=0}^{\infty }c_{n}}
  
 heißt hypergeometrische Reihe, wenn der Quotient 
  
    
      
        n
        ↦
        
          
            
              
                c
                
                  n
                  +
                  1
                
              
              
                c
                
                  n
                
              
            
          
        
      
    
    {\displaystyle n\mapsto {\tfrac {c_{n+1}}{c_{n}}}}
  
 eine rationale Funktion in 
  
    
      
        n
      
    
    {\displaystyle n}
  
 ist. Durch Faktorisierungen der Polynome kann man ohne Beschränkung der Allgemeinheit

  
    
      
        
          
            
              c
              
                n
                +
                1
              
            
            
              c
              
                n
              
            
          
        
        =
        
          
            
              (
              n
              +
              
                a
                
                  1
                
              
              )
              (
              n
              +
              
                a
                
                  2
                
              
              )
              ⋯
              (
              n
              +
              
                a
                
                  p
                
              
              )
              x
            
            
              (
              n
              +
              
                b
                
                  1
                
              
              )
              (
              n
              +
              
                b
                
                  2
                
              
              )
              ⋯
              (
              n
              +
              
                b
                
                  q
                
              
              )
              (
              n
              +
              1
              )
            
          
        
      
    
    {\displaystyle {\frac {c_{n+1}}{c_{n}}}={\frac {(n+a_{1})(n+a_{2})\cdots (n+a_{p})x}{(n+b_{1})(n+b_{2})\cdots (n+b_{q})(n+1)}}}
  

schreiben. Damit gilt stets

  
    
      
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          c
          
            n
          
        
        =
        
          c
          
            0
          
        
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          
            
              
                a
                
                  1
                
                
                  
                    n
                    ¯
                  
                
              
              ⋯
              
                a
                
                  p
                
                
                  
                    n
                    ¯
                  
                
              
            
            
              
                b
                
                  1
                
                
                  
                    n
                    ¯
                  
                
              
              ⋯
              
                b
                
                  q
                
                
                  
                    n
                    ¯
                  
                
              
            
          
        
        
          
            
              x
              
                n
              
            
            
              n
              !
            
          
        
        .
      
    
    {\displaystyle \sum _{n=0}^{\infty }c_{n}=c_{0}\sum _{n=0}^{\infty }{\frac {a_{1}^{\overline {n}}\cdots a_{p}^{\overline {n}}}{b_{1}^{\overline {n}}\cdots b_{q}^{\overline {n}}}}{\frac {x^{n}}{n!}}.}
  

Dabei bezeichnet 
  
    
      
        
          a
          
            
              n
              ¯
            
          
        
        =
        a
        (
        a
        +
        1
        )
        ⋯
        (
        a
        +
        n
        −
        1
        )
      
    
    {\displaystyle a^{\overline {n}}=a(a+1)\cdots (a+n-1)}
  
 die steigende Faktorielle.


## Literatur
Herbert Amann, Joachim Escher: Analysis 1. 3. Auflage. Birkhäuser, Basel/Boston/Berlin 2006, ISBN 978-3-7643-7755-7.
George E. Andrews: The Geometric Series in Calculus. The American Mathematical Monthly, Band 105, Nr. 1 (Jan., 1998), S. 36–40 (JSTOR:2589524)
George E. Andrews: The Theory of Partitions. Cambridge University Press, Cambridge 1984, ISBN 0-521-63766-X.
George E. Andrews, Richard Askey, Ranjan Roy: Special Functions. (= Encyclopedia of Mathematics and its Applications Band 71) Cambridge University Press, New York 2000, ISBN 978-0-521-78988-2.
Tom M. Apostol: Introduction to Analytic Number Theory. Springer Science+Business Media, New York/Heidelberg/Berlin 1976, ISBN 978-0-387-90163-3.
Tsuneo Arakawa, Tomoyoshi Ibukiyama, Masanobu Kankeo: Bernoulli Numbers and Zeta Functions. (= Springer Monographs in Mathematics) Springer-Verlag, Springer Japan, 2014, ISBN 978-4-431-54918-5.
Tilo Arens, Frank Hettich, Christian Karpfinger, Ulrich Kockelhorn, Klaus Lichtenegger, Hellmuth Stachel: Mathematik. 5. Auflage, Springer Spektrum, Berlin/Heidelberg 2022, ISBN 978-3-662-64388-4.
Albrecht Beutelspacher: Mathe-Basics zum Studienbeginn: Survival-Kit Mathematik. Springer Spektrum Wiesbaden, Wiesbaden 2016, ISBN 978-3-658-14647-4.
I. N. Bronstein, K. A. Semendjajew et al.: Taschenbuch der Mathematik. 6. Auflage. Verlag Harri Deutsch, Frankfurt am Main 2006, ISBN 978-3-8171-2006-2.
Robert B. Burckel: Classical Analysis in the Complex Plane. Birkhäuser-Verlag, New York 2021, ISBN 978-1-07-161963-6.
Harold Edwards: Riemann’s Zeta Function. Dover Publications Inc., Mineola New York 1974, ISBN 0-486-41740-9.
Giovanni Ferraro: The Rise and Development of the Theory of Series up to the Early 1820s (= Sources and Studies in the History of Mathematics and Physical Sciences.). Springer, New York (NY) 2008, ISBN 978-0-387-73467-5.
Otto Forster: Analysis 1. Differential- und Integralrechnung einer Veränderlichen. Vieweg-Verlag, 12. Aufl. 2015, ISBN 978-3-658-11544-9.
Eberhard Freitag, Rolf Busam: Funktionentheorie 1, 4. Auflage, Springer-Verlag, Berlin Heidelberg 2006, ISBN 978-3-540-31764-7.
Ernst Hairer, Gerhard Wanner: Analysis in historischer Entwicklung. Springer-Verlag, Berlin/Heidelberg 2011, ISBN 978-3-642-13766-2.
Peter Henrici: Applied and Computational Complex Analysis. Volume 1: Power Series - Integration - Conformal Mapping - Location of Zeros. John Wiley & Sons, New York London Sydney Toronto 1974, ISBN 0-471-37244-7.
Dietmar Herrmann: Die antike Mathematik. 2. Auflage, Springer-Verlag, Berlin 2020, ISBN 978-3-662-61394-8.
Stefan Hildebrandt: Analysis 1. Springer-Verlag, Berlin/Heidelberg 2006, ISBN 978-3-540-25368-6.
Richard Isaac: The Pleasures of Probability. Springer Verlag, New York 1995, ISBN 978-1-4612-6912-0.
Joscelyn A. Jarrett: Regular Polygons and the Geometric Series. The Mathematics Teacher, Band 75, Nr. 3 (März 1982), S. 258–261 (JSTOR:27962874)
Achim Klenke: Wahrscheinlichkeitstheorie (= Springer-Lehrbuch Masterclass.). 3., überarbeitete und ergänzte Auflage, Springer Spektrum, Berlin/Heidelberg 2013, ISBN 978-3-642-36018-3.
Konrad Knopp: Theorie und Anwendung der unendlichen Reihen. 6. Auflage, Springer-Verlag, Berlin u. a. 1996, ISBN 3-540-59111-7.
Jacob Korevaar: Tauberian Theory. A Century of Developments. Springer-Verlag, Berlin Heidelberg New York 2004, ISBN 3-540-21058-X.
Serge Lang: A First Course in Calculus. Fifth Edition, Springer-Verlag, New York 1986, ISBN 0-387-96201-8.
Ron Larson, Bruce Edwards: Calculus. With CalcChat and CalcView. 12e. Twelfth Edition, Cengage Learning, Inc., Australia u. a. 2023, ISBN 978-0-357-74916-6.
Reinhold Remmert, Georg Schumacher: Funktionentheorie 1, 5. Auflage, Springer-Verlag, Heidelberg 2002, ISBN 3-540-41855-5.
Elias Stein, Rami Shakarchi: Fourier Analysis. Princeton University Press, Princeton New Jersey 2003, ISBN 978-0-691-11384-5.
John Stillwell: Mathematics and Its History. Third Edition, Springer-Verlag, New York / Dordrecht / Heidelberg / London 2010, ISBN 978-1-4419-6052-8.
Terence Tao: Analysis I. Third Edition, Hindustan Book Agency, New Delhi 2017, ISBN 978-93-80250-64-9.
Gérald Tenenbaum: Introduction to Analytic and Probabilistic Number Theory. (= Graduate Studies in Mathematics. Band 163) Third Edition, American Mathematical Society, Providence (R.I.) 2015, ISBN 978-0-8218-9854-3.
Guido Walz (Hrsg.): Lexikon der Mathematik. Band 2. 2. Auflage, Springer-Verlag, Heidelberg 2017, ISBN 978-3-662-53503-5.
K. Zeller, W. Beekmann: Theorie der Limitierungsverfahren (= Ergebnisse der Mathematik und ihrer Grenzgebiete. Band 15). Springer-Verlag, Berlin / Heidelberg / New York 1970.


## Weblinks
Eric W. Weisstein: Geometric Series. In: MathWorld (englisch).
Encyclopaedia of Mathematics: Geometric progression.
Geometrische Folgen und Reihen auf mathematische-basteleien.de


## Einzelnachweise