Quelltext der Seite Benutzer:Googolplexian1221/Satz von Dirichlet

[[Datei:Peter Gustav Lejeune Dirichlet.jpg|mini|Peter Gustav Lejeune Dirichlet]]
Der '''Satz von Dirichlet''', gelegentlich auch '''Dirichletscher Primzahlsatz''' (nach [[Peter Gustav Lejeune Dirichlet|P. G. L. Dirichlet]]), ist eine Aussage aus dem [[Mathematik|mathematischen]] Teilgebiet der [[Zahlentheorie]], der besagt, dass eine [[arithmetische Folge]] unendlich viele [[Primzahl]]en enthält, wenn dies nicht aus trivialen Gründen unmöglich ist.

In der einfachsten Fassung lautet der Satz: Es sei <math>m</math> eine [[natürliche Zahl]] und <math>a</math> eine zu <math>m</math> [[teilerfremd]]e natürliche Zahl. Dann enthält die [[arithmetische Folge]]
: <math>a, a+m, a+2m, a+3m,\ldots </math>
unendlich viele Primzahlen. Anders formuliert: Es gibt unendlich viele Primzahlen, die [[Kongruenz (Zahlentheorie)|kongruent]] zu <math>a</math> modulo <math>m</math> sind.

Wären <math>a</math> und <math>m</math> nicht teilerfremd und <math>g>1</math> ein gemeinsamer Teiler, so wäre jedes Folgenglied durch <math>g</math> teilbar; zwei verschiedene Primzahlen können aber nicht beide durch <math>g</math> teilbar sein. Deshalb ist die Bedingung der Teilerfremdheit von <math>a</math> und <math>m</math> notwendig.

Jede [[Parität (Mathematik)|ungerade natürliche Zahl]] hat die Form <math>4k+1</math> oder <math>4k+3</math> mit einer nichtnegativen ganzen Zahl <math>k</math>. Der dirichletsche Primzahlsatz sagt in diesem Spezialfall aus, dass es von beiden Formen jeweils unendlich viele Primzahlen gibt.

Bezogen auf das [[Dezimalsystem]] sagt der Satz aus, dass es jeweils unendlich viele Primzahlen gibt, die im Dezimalsystem auf eine&nbsp;1, auf eine&nbsp;3, auf eine 7 und auf eine 9 enden. Allgemeiner kann man sagen: Gibt es zwei verschiedene Primzahlen, die in einem Zahlensystem auf die gleiche Ziffernfolge enden, so gibt es unendlich viele weitere Primzahlen, die in diesem Zahlensystem auf diese Ziffernfolge enden.

In einer quantitativen Fassung, die beispielsweise aus dem [[Tschebotarjowscher Dichtigkeitssatz|tschebotarjowschen Dichtigkeitssatz]] folgt, lautet der dirichletsche Primzahlsatz:
: <math>  \lim_{x\to\infty}\frac{\pi_{m,a}(x)}{\pi(x)}:=\lim_{x\to\infty}\frac{\#\{p\leq x\mid p\ \mathrm{prim},\quad p\equiv a\pmod m\}}{\#\{p\leq x\mid p\ \mathrm{prim}\}}=\frac1{\varphi(m)}</math>
mit der [[Eulersche φ-Funktion|eulerschen φ-Funktion]]. Diese Aussage bedeutet, dass es in jeder der [[Prime Restklasse|primen Restklassen]] modulo <math>m</math> in einem gewissen Sinne gleich viele Primzahlen gibt.

Dirichlets Beweis (1837, ausführlicher 1839) war ein wichtiger Schritt zur Begründung der analytischen Zahlentheorie ([[Dirichlet-Reihe|Dirichlet L-Reihen]], [[Charakter (Mathematik)|Dirichlet-Charaktere]], analytische [[Klassenzahlformel]] für quadratische Zahlkörper). Die Einführung der [[L-Funktion]] geschah in Analogie zu Eulers Einführung der Zetafunktion bei der Primzahlverteilung. Dirichlet zeigte dann das Nicht-Verschwinden der L-Funktion an der Stelle 1. Die Vermutung über Primzahlen in arithmetischen Folgen stammt von [[Adrien-Marie Legendre]], der in seinem Lehrbuch der Zahlentheorie einen fehlerhaften Beweis gab, wie Dirichlet darlegte.

Der Fehlerterm in der vom Satz von Dirichlet beschriebenen Primzahlverteilung ist Gegenstand des [[Satz von Siegel-Walfisz|Satzes von Siegel-Walfisz]], des [[Satz von Bombieri und Winogradow|Satzes von Bombieri und Winogradow]] und der [[Vermutung von Elliott und Halberstam]].

== Aussage des Satzes ==

=== Primzahlen ===
{{Hauptartikel|Primzahl}}

Im Zentrum der [[Zahlentheorie]], jenes Zweiges der Mathematik, der sich mit den Eigenschaften der [[Natürliche Zahl|natürlichen Zahlen]] 1, 2, 3, 4 … beschäftigt, stehen die Primzahlen 2, 3, 5, 7, 11 …. Diese sind ausgezeichnet durch die Eigenschaft, genau zwei [[Teilbarkeit|Teiler]] zu haben, nämlich die 1 und sich selbst. [[Primzahl#Warum 1 keine Primzahl ist|Die 1 ist keine Primzahl]]. Primzahlen bilden gewissermaßen die [[Atom]]e der ganzen Zahlen, da sich jede positive ganze Zahl eindeutig multiplikativ in solche zerlegen lässt. Dieses Resultat wird auch als [[Fundamentalsatz der Arithmetik]] bezeichnet. Zum Beispiel gilt 21 = 3 · 7 und 110 = 2 · 5 · 11.

Trotz ihrer einfachen Definition ist nach mehreren Jahrtausenden Mathematikgeschichte bis heute kein Muster bekannt, dem sich die Primzahlen in ihrer Folge unterwerfen. Ihre Natur ist eine der bedeutendsten offenen Fragen der Mathematik. In der modernen Mathematik gibt es jedoch tiefliegende Vermutung, die das Verhalten der Primzahlen als [[Pseudozufall|pseudozufällig]] einordnen und Verbindungen zur [[Quantenphysik]] sehen. All diese Aussagen liegen im Themenbereich der [[Riemannsche Vermutung|Riemannschen Vermutung]].

=== Der Satz von Dirichlet ===

Eine arithmetische Progression ist eine [[Folge (Mathematik)|Folge]] von ganzen Zahlen, wobei die Differenz zweier aufeinanderfolgender Zahlen konstant ist. Beispiele sind 
:<math> 1, 5, 9, 13, 17, 21, ...</math>
oder auch
:<math> 17, 117, 217, 317, ... .</math>
Der Satz von Dirichlet besagt, dass eine arithmetische Progression stets unendlich viele Primzahlen beinhaltet, es sei denn, dies ist aus trivialen Gründen unmöglich. Formaler lautet er:
: ''Es seien <math>a</math> und <math>N</math> natürliche Zahlen, die zueinander teilerfremd sind. Dann enthält die Folge <math>a, a+N, a+2N, a+3N,...</math> bereits unendlich viele Primzahlen.''

=== Beispiele ===

Aus dem Satz von Dirichlet folgt zum Beispiel, dass unendlich viele Primzahlen auf die Ziffern 1, 3, 7 oder 9 enden. Noch allgemeiner gibt es unendlich viele Primzahlen, deren letzte Ziffern auf 37, 113 oder 567241 enden. 

Triviale Gründe, wann der Satz nicht gilt, liegen vor, wenn <math>a</math> und <math>N</math> nicht teilerfremd sind. Dann gibt es eine ganze Zahl <math>d > 1</math>, die sowohl <math>a</math> und <math>N</math> teilt. Damit teilt <math>d</math> jede der Zahlen <math>a + kN</math> mit natürlichen <math>k</math>, und somit enthält diese Folge höchstens (einmal) die Primzahl <math>d</math>, falls <math>d</math> überhaupt prim ist. Etwa sind <math>a=8</math> und <math>N=12</math> nicht teilerfremd. In der Tat sind alle Zahlen der Progression 
:<math> 8, 20, 32, 44, ...</math>
alle durch 4 teilbar. Damit enthält sie keine einzige Primzahl.

Trivialerweise impliziert der Satz von Dirichlet den [[Satz des Euklid]], der besagt, dass es unendlich viele Primzahlen gibt. Setzt man etwa <math>a=N=1</math>, so besagt er, dass die Progression
:<math> 1,2,3,4,5,...</math>
unendlich viele Primzahlen enthält.

== Geschichte ==
Die mathematische Entdeckungsgeschichte über die Verteilung der Primzahlen reicht bis in die Antike zurück. Schon Euklid erkannte, dass es unendlich viele Primzahlen gibt. Sein Resultat wird als der [[Satz des Euklid]] bezeichnet. Ab dem 18. Jahrhundert wurde begonnen, dieses qualitative Resultat quantitativ zu vertiefen. Dabei spielten zunehmend Methoden aus der Analysis eine Rolle, die den alten Griechen noch nicht zur Verfügung standen. 

=== Eine Entdeckung Eulers ===
{{Hauptartikel|Satz von Euler (Primzahlen)}}
[[Datei:Leonhard Euler.jpg|mini|hochkant=0.8|Leonhard Euler (1753)]]

Leonhard Eulers Entdeckungen zu den Primzahlen waren ein Wegweiser für die kommende Entwicklung von einer elementaren, in der Tradition der alten Griechen stehenden, hin zu einer modernen Form der Zahlentheorie. Im Jahr 1737, während seiner [[Leonhard Euler#Zeit in Sankt Petersburg|ersten Zeit in Sankt Petersburg]], untersuchte Euler einen neuartigen Zugang zu den Primzahlen und fand heraus, dass sie „verhältnismäßig dicht“ unter den natürlichen Zahlen verstreut sind. Genauer bewies er
:<math> (\mathrm{P}) \quad \sum_{p \, \text{Primzahl}} \frac{1}{p} = \frac12 + \frac13 + \frac15 + \frac17 + \frac{1}{11} + \frac{1}{13} + \frac{1}{17} + \cdots = \infty.</math>
Summiert man also nacheinander die [[Kehrwert]]e der Primzahlen zusammen, wird auf Dauer jede noch so große obere Schranke durchbrochen. Dies zeigt auf, dass Primzahlen eher „dicht“ unter den natürlichen Zahlen verstreut sind; zum Beispiel „dichter“ als die Quadratzahlen,<ref>Harold M. Edwards: ''Riemann’s Zeta Function.'' Dover, S. 1.</ref> denn ebenfalls Euler zeigte
:<math>1 + \frac{1}{2^2} + \frac{1}{3^2} + \frac{1}{4^2} + \frac{1}{5^2} + \cdots = \frac{\pi^2}{6} \approx 1{,}645 < \infty.</math>
Quadratzahlen wachsen also langfristig schnell genug an, dass die Summe ihrer Kehrwerte den endlichen Wert 1,645 nicht überschreitet. Euler stand seiner Zeit nicht die mathematische Sprache zur Verfügung, diese Verschärfung des Euklidischen Satzes präzise zu interpretieren, und es gibt keinen Nachweis, dass er sich mit exakten Aussagen zur Verteilung von Primzahlen beschäftigte.<ref>Harold M. Edwards: ''Riemann’s Zeta Function.'' Dover, S. 2.</ref> 

Eulers Beweisstrategie für <math>(\mathrm{P})</math> nutzt das sog. [[Euler-Produkt]]. Dabei spielt die eindeutige Zerlegbarkeit natürlicher Zahlen in [[Primfaktor]]en eine Schlüsselrolle. Das Euler-Produkt steht in Zusammenhang zu einem Objekt, das bis heute in der Primzahlforschung benutzt wird, und in der modernen Mathematik als [[Riemannsche Zeta-Funktion]] bekannt ist. Die Zeta-Funktion spielt ebenfalls für die Riemannsche Vermutung eine zentrale Rolle. Die neuartige Leistung bestand darin, Fragen zu Primzahlen systematisch durch [[Funktion (Mathematik)|funktionale Zusammenhänge]] zwischen Zahlen zu attackieren. Euler gilt deswegen als Initiator der [[Analytische Zahlentheorie|analytischen Zahlentheorie]].<ref>Jörg Brüdern: ''Einführung in die analytische Zahlentheorie.'' Springer Verlag, S. 4.</ref>

Auch Euler hatte sich bereits Gedanken über Primzahlen in arithmetischen Progressionen gemacht. So behauptete er 1785, dass es zu jeder Zahl <math>N</math> unendlich viele Primzahlen mit <math>p \equiv 1 \pmod{N}</math> gibt.<ref>Władysław Narkiewicz: ''The Development in Prime Number Theory'', Springer Monographs in Mathematics, S. 49.</ref>

=== Erste vollständige Formulierungen und Beweisversuche ===

Zur Gänze wurde das Problem erstmals von [[Adrien-Marie Legendre]] im Jahre 1798 formuliert. Dies war verbunden mit dem ersten Beweisversuch, der ebenfalls von Legendre unternommen wurde. In der zweiten Auflage seines Buchs ''Essai sur la théorie des nombres'' (publiziert 1808) gab er 1798 einen fehlerhaften Beweis. In der dritten Auflage von 1830 wiederholte er den selben Fehler. Legendre's Irrtum verbarg sich hinter den Worten „''Wie man einfach sieht, ...''“, die am Ende des 409. Abschnittes der dritten Auflage auftauchten. Dort skizzierte er den Beweis eines für seinen Beweis zentralen Lemmas, das er in Abschnitt 410 formulierte:

: ''Es seien <math>q_1, ..., q_r</math> paarweise verschiedene, ungerade Primzahlen, und es bezeichne <math>q</math> die <math>r</math>-te Primzahl, dann gibt es stets innerhalb <math>q</math> aufeinanderfolgender Terme in der arithmetischen Progression <math>kx+l</math> mit <math>\mathrm{ggT}(k,l)=1</math> eine Zahl, die durch keinen der Werte <math>q_j</math> teilbar ist.''

Die Unzulänglichkeit des Beweises von Legendre wurde bereits von Dirichlet hervorgehoben: 

{{Zitat
 |Text=Dieser Beweis, dessen Prinzip sehr genial ist, scheint unvollständig zu sein; wenn man ihn mit großer Aufmerksamkeit betrachtet, sieht man, dass der Autor ein Theorem verwendet, das er nur auf Induktion stützt und das möglicherweise ebenso schwer zu beweisen ist wie die Aussage, die der Autor daraus ableitet. Auf jeden Fall waren meine Bemühungen, das Studium von Legendre zu vervollständigen, nicht erfolgreich, und ich musste ganz andere Mittel finden. 
 |Autor=Peter Dirichlet 
 |ref=<ref>Władysław Narkiewicz: ''The Development in Prime Number Theory'', Springer Monographs in Mathematics, S. 49–50.</ref>}}

Das Lemma von Legendre, das nach A. Desboves (1855) sogar die bis heute unbewiesene [[Legendresche Vermutung|Legendre-Vermutung]] als Konsequenz gehabt hätte, stellte sich schließlich als falsch heraus. Der Fehler wurde zuerst von A. Dupré in einer bei der ''Paris Academy'' eingereichten Schrift benannt.<ref name="WN50">Władysław Narkiewicz: ''The Development in Prime Number Theory'', Springer Monographs in Mathematics, S. 49–50.</ref> Dupré zeigte, dass es berets bei <math>k=1</math> und mit der Wahl <math>q_j</math> als die ersten <math>r</math> Primzahlen mit <math>q_r = 23, 37</math> oder <math>43 \leq q_r \leq 113</math> scheitert. Dass das Lemma in dieser Konstellation sogar für alle <math>q_r \geq 43</math> scheitert, wurde 1930 von A. Brauer und H. Zeitz gezeigt.<ref name="WN50"/>

=== Alte Ideen, neuer Zugang: Dirichlet führt Eulers Überlegungen weiter aus ===

Obwohl Euler das Problem über die Unendlichkeit von Primzahlen in geeigneten arithmetischen Progressionen nicht löste, lieferte er bedeutende Vorarbeit.

== Beweis ==

=== Benötigte Grundlagen ===

Der Satz von Dirichlet wird mit analytischen Mitteln bewiesen. Unumgänglich für ein Verständnis des Beweises ist daher der Begriff der [[Funktion (Mathematik)|Funktion]]. Auch eine sichere Beherrschung der aus der [[Sekundarstufe I|Mittelstufe]] bekannten [[Potenz (Mathematik)#Potenzgesetze|Potenzgesetze]] ist unabdingbar. 

==== Rechnen mit Resten ====
{{Hauptartikel|Division mit Rest}}

Geht eine ganzzahlige Division nicht auf, kann dies durch die Angabe eines Restes ausgedrückt werden. Etwa ist 17 geteilt durch 4 gleich 4 (Rest 1). Man sagt auch, dass 17 kongruent zu 1 ist modulo 4, kurz <math>17 \equiv 1 \pmod{4}</math>. Nach diesem Prinzip lassen sich sämtliche ganze Zahlen durch die Angabe der entsprechenden ''Restklasse'' unterteilen. Bleibt man bei der Division durch 4, ergeben sich für 0, 1, 2, 3, 4, 5, 6, 7, 8, ... die Reste 0, 1, 2, 3, 0, 1, 2, 3, ..., usw. Dieses Muster setzt sich auch in die negativen Zahlen fort, etwa hat -1 bei Division durch 4 den Rest 3. Auffallend ist das periodische Muster der Reste. Zudem kann man mit Resten rechnen. Haben zwei Zahlen <math>m</math> und <math>n</math> die Reste <math>a</math> und <math>b</math>, so hat <math>m+n</math> (bis auf nichtige Vielfache der Zahl 4) den Rest <math>a+b</math>. Etwa ist 7 kongruent 3 modulo 4 und 5 kongruent 1 modulo 4, und die Summe 7+5 = 12 ist kongruent 3+1 = 4 modulo 4, was aber wieder dem Rest 0 entspricht. Ähnliches gilt für Produkte von Restklassen. Somit kann gesagt werden, dass Reste „stabil“ unter Addition und Multiplikation: so ist es unerheblich, ob zuerst zwei Zahlen addiert/multipliziert werden, und anschließend mit Rest dividiert wird, oder die bereits ermittelten Einzelreste addiert/multipliziert werden.

==== Dirichlet-Reihen ====
{{Hauptartikel|Dirichlet-Reihe}}
Unter einer [[Reihe (Mathematik)|''Reihe'']] versteht man, veranschaulicht, eine niemals endende Summe von Zahlen. Dies können reelle, aber auch komplexe Zahlen sein. Die [[Dezimalschreibweise]] einer reellen Zahl kann als Reihe aufgefasst werden, etwa
:<math> \frac13 = 0{,}333333 \ldots = 0{,}3 + 0{,}03 + 0{,}003 + 0{,}0003 + 0{,}00003 + 0{,}000003 + \cdots </math>
oder auch
:<math>\pi = 3{,}14159\ldots = 3 + 0{,}1 + 0{,}04 + 0{,}001 + 0{,}0005 + 0{,}00009 + \cdots </math>
mit der [[Kreiszahl]] <math>\pi</math>. Die durch die Punkte angedeuteten Summen enden niemals, da die Dezimalentwicklung von <math>\tfrac13</math> [[Dezimalsystem#Periode|periodisch]] und die Kreiszahl [[Irrationale Zahl|irrational]] ist. Es gibt Reihen, deren Wert nicht als Zahl darstellbar ist,
:<math> 1 + 2 + 3 + 4 + \cdots</math>
aber auch solche, die gegen einen [[Grenzwert (Folge)|Grenzwert konvergieren]] (wie die oberen Beispiele mit Grenzwerten <math>\tfrac13</math> bzw. <math>\pi</math>). Reihen wie <math>1+2+3+\cdots</math>, die ''nicht'' konvergieren, nennt man ''divergent''. Veranschaulichend gesagt kann eine Reihe <math>\textstyle \sum_{n=1}^\infty a_n := a_1 + a_2 + a_3 + \cdots </math> nur dann konvergieren, falls die Glieder <math>a_n</math> „schnell genug gegen 0 streben“. Aber nicht jede Reihe, deren Glieder gegen 0 streben, konvergiert, wie man an der [[Harmonische Reihe|harmonischen Reihe]]
:<math>1 + \frac12 + \frac13 + \frac14 + \frac15 + \cdots = \infty</math>
sieht. Eine ganz besondere Form der Konvergenz ist die ''[[absolute Konvergenz]]'', bei der gefordert wird, dass die Summe der Absolutbeträge der Reihenglieder konvergiert. In diesem Fall lassen sich auch die Summanden in der Reihe nach Belieben umordnen, ohne den Grenzwert zu verändern. 

Es ist auch möglich, Funktionen durch Reihen zu definieren. Ein für den Satz von Dirichlet zentrales Beispiel ist die sog. [[Riemannsche Zeta-Funktion]]:
:<math> x \mapsto \zeta(x) := 1 + \frac{1}{2^x} + \frac{1}{3^x} + \frac{1}{4^x} + \cdots = \sum_{n=1}^\infty \frac{1}{n^x}.</math>
Für <math>x > 1</math> konvergiert diese Reihe immer gegen eine Zahl, die den Funktionswert an der Stelle <math>x</math> Darstellt. Daher kann man die Zeta-Funktion damit auf dem Intervall <math>(1,\infty)</math> definieren. Wegen der Divergenz der harmonischen Reihe gilt aber 
:<math> \lim_{x \to 1^+} \zeta(x) = \infty.</math>
Allgemeiner kann man einer Folge von Zahlen <math>f(1), f(2), f(3), ...</math> eine ''Dirichlet-Reihe'' zuordnen, via
:<math>D_f(x) := f(1) + \frac{f(2)}{2^x} + \frac{f(3)}{3^x} + \cdots = \sum_{n=1}^\infty \frac{f(n)}{n^x}.</math>
Wächst <math>f</math> nicht zu stark an, so gibt es eine Zahl <math>x_0</math>, so dass die Reihe für alle Werte <math>(x_0, \infty)</math> konvergiert. Für den Fall, dass <math>f</math> sogar beschränkt ist, kann stets <math>(1,\infty)</math> gewählt werden, da dann wegen <math>|f(n)| \leq B</math> und der Konvergenz der Reihe <math>B + \tfrac{B}{2^x} + \tfrac{B}{3^x} + \cdots = B \zeta(x)</math> für <math>x >1</math> erst recht jene über <math>f</math> folgt. Dieses Prinzip spielt eine wichtige Rolle beim Beweis des Satzes von Dirichlet.

==== Euler-Produkte ====
{{Hauptartikel|Euler-Produkt}}

Der Eckpfeiler zwischen Analysis und Zahlentheorie liegt im Euler-Produkt. Dieses ist eine Identität zwischen einem unendlichen Produkt und einer Reihe, und gilt dann, wenn bestimmte Voraussetzungen erfüllt sind. 

Haben die Koeffizienten einer Dirichlet-Reihe untereinander eine multiplikative Relation, gilt also <math>f(mn) = f(m)f(n)</math> für alle <math>m,n</math> ohne gemeinsame Teiler, so findet man im Bereich der absoluten Konvergenz der Dirichlet-Reihe
:<math>\left( 1 + \frac{f(2)}{2^x} + \frac{f(2^2)}{4^x} + \frac{f(2^3)}{8^x} + \cdots \right) \cdot \left( 1 + \frac{f(3)}{3^x} + \frac{f(3^2)}{9^x} + \frac{f(3^3)}{27^x} + \cdots  \right) \cdot \left( 1 + \frac{f(5)}{5^x} + \cdots  \right) \cdot \left( 1 + \frac{f(7)}{7^x} + \cdots  \right) \cdots = 1 + \frac{f(2)}{2^x} + \frac{f(3)}{3^x} + \frac{f(4)}{4^x} + \frac{f(5)}{5^x} + \cdots = \sum_{n=1}^\infty \frac{f(n)}{n^x}.</math>
Auf der linken Seite ist allgemein für jede Primzahl <math>p</math> die Reihe
:<math>\sum_{m=0}^\infty \frac{f(p^m)}{p^{mx}} = 1 + \frac{f(p)}{p^x} + \frac{f(p^2)}{p^{2x}} + \cdots </math>
als Faktor vertreten. Die Formel lässt sich mittels des Prinzips, dass sich jede Zahl eindeutig als Produkt von Primzahlpotenzen schreiben lässt, und gewöhnliches [[Ausmultiplizieren]] von Klammern, erklären. Etwa ergibt sich für den Faktor <math>\tfrac{f(1092)}{1092^x}</math> auf der rechten Seite wegen <math>1092 = 2^2 \cdot 3 \cdot 7 \cdot 13</math>:
:<math>\frac{f(1092)}{1092^x} = \frac{f(2^2 \cdot 3 \cdot 7 \cdot 13)}{(2^2 \cdot 3 \cdot 7 \cdot 13)^x} = \frac{f(2^2)}{2^{2x}} \cdot \frac{f(3)}{3^x} \cdot \frac{f(7)}{7^x} \cdot \frac{f(13)}{13^x}.</math>
Dabei wurde die von <math>f</math> geforderte Multiplikativität ausgenutzt - es sind naturgemäß Potenzen verschiedener Primzahlen ohne gemeinsame (nichttriviale) Teiler. Der Term zur linken kann nun durch die entsprechende Auswahl an Summanden in den Klammern beim Ausmultiplizieren gewonnen werden.

Eine noch stärkere Version des Euler-Produktes erhält man dann, wenn die Koeffizienten sogar vollständig multiplikativ sind, also <math>f(mn) = f(m)f(n)</math> für ausnahmslos alle ganzen Zahlen <math>n,m</math> erfüllt ist. Dann gilt insbesondere <math>f(p^m) = f(p)^m</math> für alle Primzahlen <math>p</math>, und man erhält mit der [[Geometrische Reihe|geometrischen Reihe]]
:<math> (\mathrm{E}) \quad D_f(x) = \prod_{p \ \text{Primzahl}} \sum_{m=0}^\infty \frac{f(p^m)}{p^{mx}} = \prod_{p \ \text{Primzahl}} \sum_{m=0}^\infty \frac{f(p)^m}{p^{mx}} = \prod_{p \ \text{Primzahl}} \frac{1}{1 - \frac{f(p)}{p^x}}.</math>

==== Logarithmen ====
{{Hauptartikel|Natürlicher Logarithmus}}
Von entscheidender Bedeutung für den Beweis sind Logarithmen. Mit diesen wird ermöglicht, das Euler-Produkt (mit Primzahlfaktoren) auf eine ''Summe'' mit Primzahltermen zurückzuführen. Dabei wird die für Logarithmen eigentümliche Beziehung 
:<math>\log(ab) = \log(a) + \log(b)</math>
mit <math>x,y > 0</math> ausgenutzt, die sich unter gewissen Bedingungen aber auch auf [[komplexe Zahl]]en ausdehnt. Man erhält für vollständig multiplikative <math>f</math> zusammen mit <math>(\mathrm{E})</math> im absoluten Konvergenzbereich:
:<math> \log(D_f(x)) = \sum_{p \ \text{Primzahl}} \log\left( \frac{1}{1-\frac{f(p)}{p^x}}\right).</math>
[[Datei:LogApprox.svg|mini|hochkant=1.3|Annäherung der Funktion <math>w \mapsto \log(1+w)</math> (blau) durch die Ursprungsgerade mit Steigung 1 (orange) im Punkt <math>w=0</math>.]]
Es wird stets der natürliche Logarithmus betrachtet. Dies hat den Grund, dass dieser eine besonders einfache Ableitung besitzt, nämlich
:<math>\log'(w) = \frac{1}{w}.</math>
Wegen <math>\log(1) = 0</math> und <math>\log'(1) = \tfrac11 = 1</math> ist die Ursprungsgerade für kleine Werte <math>w</math> eine sehr gute Annäherung an <math>w \mapsto \log(1+w)</math>, siehe Bild. Der Fehler ist hierbei quadratisch, es gilt also 
:<math> \log(1+w) = w + O(w^2), \qquad w \to 0</math>
in Termen der [[Landau-Symbole|Landau-O-Notation]]. Diese Annäherung, die erst durch die Differentialrechnung ermöglicht wird, ist von großer Bedeutung, da sie hilft, die auftretenden Logarithmen durch deutlich leichtere lineare Funktionen zu ersetzen, wobei der Fehler vernachlässigt werden kann. Zusammen mit <math>\log(\tfrac1w) = -\log(w)</math> erhält man
:<math> (\mathrm{L}) \quad \log(D_f(x)) = - \sum_{p \ \text{Primzahl}} \log\left( 1-\frac{f(p)}{p^x} \right) = \sum_{p \ \text{Primzahl}} \frac{f(p)}{p^x} + \sum_{p \ \text{Primzahl}} O\left( \frac{f(p)^2}{p^{2x}}\right).</math>
Ist <math>f</math> beschränkt, so ist diese Funktion nach dem oberen Prinzip auf <math>(1,\infty)</math> definiert, und der Fehler für <math>x \to 1^+</math> beschränkt, da <math>f(p)^2</math> immer noch beschränkt ist und der Exponent <math>x = 2 \cdot 1 = 2</math> nicht unterboten wird.

=== Erläuterung der Strategie an einem Beispiel ===

Die Erläuterung der Beweisstrategie von Dirichlet wird mit einem Beispielfall begleitet. Es wird der Fall <math>a=3</math> und <math>N=4</math> betrachtet, d.h., es wird exemplarisch gezeigt, dass die Progression 
:<math> 3, 7, 11, 15, 19, 23, 27, 31, 35, ...</math>
unendlich viele Primzahlen
:<math> 3, 7, 11, 19, 23, 31, ...</math>
enthält. Es wird sogar noch eine stärkere Aussage gezeigt: Dirichlet konnte nachweisen, dass die Summe über alle Kehrwerte der Primzahlen <math>p \equiv 3 \pmod{4}</math> divergiert, also <math> \tfrac13 + \tfrac{1}{7} + \tfrac{1}{11} + \tfrac{1}{19} + \tfrac{1}{23} + \cdots = \infty. </math> Definiert man auf den ganzen Zahlen eine Funktion <math>f_{4,3}</math>, die nur an den „passenden“ Zahlen ..., -1, 3, 7, 11, 15, 19, 23, ... den Wert 1 annimmt, und sonst nur 0, so kann man die zu untersuchende Reihe auch als Reihe über alle Primzahlen schreiben. 
:<math> \frac13 + \frac{1}{7} + \frac{1}{11} + \frac{1}{19} + \frac{1}{23} + \cdots = \sum_{p \ \text{Primzahl}} \frac{f_{4,3}(p)}{p}. </math>

Die Strategie sieht vor, die Divergenz der Eulerschen Primzahlreihe <math>(\mathrm{P})</math> zu nutzen, um daraus die Divergenz der oberen Primzahlreihe zu erzwingen. Dafür führt man die Variable <math>x \geq 1</math> ein, und beweist
:<math> (*) \quad  \lim_{x \to 1^+} \sum_{p \ \text{Primzahl}} \frac{f_{4,3}(p)}{p^x} = \infty.</math>

Die Schlüsselidee ist, geeignete Abbildungen <math>\chi_0</math> und <math>\chi_1</math> auf den Restklassen <math>\{0,1,2,3\}</math> zu definieren. Diese erweitern sich durch 4-Periodizität auf Abbildungen auf den ganzen Zahlen, und sollen die folgende Eigenschaften haben: 

# Ausschluss der trivialen Restklassen: Es nehmen beide Funktionen auf 0 und 2 den Wert 0 an. 
# Möglichkeit, nur Primzahlen in der passenden Restklasse zu betrachten: Es lässt sich jede 4-periodische Funktion auf 1 und 3, also insgesamt den Zahlen ... -3, -1, 1, 3, 5, ..., durch <math>\chi_0</math> und <math>\chi_1</math> durch geeignete [[Linearkombination]] erzeugen. 
# Multiplikativität bzw. Euler-Produkt Eigenschaft: Es gilt <math>\chi_j(mn) = \chi_j(m)\chi_j(n)</math> für alle <math>m,n</math> und <math>j = 0,1</math>, also sind die Erzeuger <math>\chi_0</math> und <math>\chi_1</math> vollständig multiplikativ.

Durch die oberen Bedingungen lassen sich tatsächlich genau zwei solche Funktionen finden:

{| class="wikitable" style="text-align:center; font-size:90%; width:100%"
|-
! <math>n</math>
| &hellip; || -3 || -2 || -1 || 0 || 1 || 2 || 3 || 4 || 5 || 6 || 7 || 8 || 9 || 10 || 11 || 12 || &hellip; 
|-
! <math>\chi_0(n)</math>
| &hellip; || 1 || 0 || 1 || 0 || 1 || 0 || 1 || 0 || 1 || 0 || 1 || 0 || 1 || 0 || 1 || 0 || &hellip; 
|-
! <math>\chi_1(n)</math>
| &hellip; || 1 || 0 || -1 || 0 || 1 || 0 || -1 || 0 || 1 || 0 || -1 || 0 || 1 || 0 || -1 || 0 || &hellip; 
|}

Da die [[Vektor]]en <math>\binom{1}{1}</math> und <math>\binom{1}{-1}</math> [[linear unabhängig]] sind, gilt Eigenschaft 2., und man kann aus diesen beiden Funktionen jede 4-periodische Funktion auf den ganzen Zahlen kombinieren, die auf geraden Zahlen verschwindet. Von Interesse ist die Abbildung <math>f_{4,3}(4k+3) = 1</math> für alle <math>k \in \Z</math>, und <math>f_{4,3}(n)=0</math> sonst, da man sich im Beispiel nur für Primzahlen in der Progression <math>(4k+3)_{k \in \N_0}</math> interessiert. Es gilt 
:<math> f_{4,3}(n) = \frac{\chi_0(n) - \chi_1(n)}{2}.</math>
Also gilt 
:<math> \frac{1}{3^x} + \frac{1}{7^x} + \frac{1}{11^x} + \frac{1}{19^x} + \frac{1}{23^x} + \cdots = \sum_{p \ \text{Primzahl}} \frac{f_{4,3}(p)}{p^x} = \frac{1}{2} \sum_{p \ \text{Primzahl}} \frac{\chi_0(p)}{p^x} - \frac12 \sum_{p \ \text{Primzahl}} \frac{\chi_1(p)}{p^x}.</math>
Offensichtlich gilt nach Euler <math>(\mathrm{P})</math> 
:<math> \lim_{x \to 1^+} \sum_{p \ \text{Primzahl}} \frac{\chi_0(p)}{p^x} = \infty,</math>
da stets <math>\chi_0(p) = 1</math> für alle <math>p > 2</math> ist. Kann man außerdem zeigen, dass die Funktion
:<math> x \mapsto \frac12 \sum_{p \ \text{Primzahl}} \frac{\chi_1(p)}{p^x}</math>
für <math>x \to 1^+</math> beschränkt ist, folgt insgesamt <math>(*)</math>. Für diesen Schluss wird das logarithmierte Euler-Produkt verwendet. Es ist <math>\chi_1</math> offenbar beschränkt, und wegen der absoluten Multiplikativität von <math>\chi_1</math> folgt mit <math>(\mathrm{L})</math>
:<math> \log\left( 1 - \frac{1}{3^x} + \frac{1}{5^x} - \frac{1}{7^x} + \cdots \right) = \sum_{p \ \text{Primzahl}} \frac{\chi_1(p)}{p^x} + E(x)</math>
mit einem für <math>x \to 1^+</math> beschränkten Fehler <math>E</math>. Es ist aber auch 
:<math> \lim_{x \to 1^+} \log\left( 1 - \frac{1}{3^x} + \frac{1}{5^x} - \frac{1}{7^x} + \cdots \right) = \log\left( 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \cdots \right) < \infty,</math>
denn die alternierende Reihe <math>1 - \tfrac13 + \tfrac15 - \tfrac17 + \cdots </math> gegen eine ''positive'' Zahl konvergiert nach dem [[Leibniz-Kriterium]]. Es muss also <math>\tfrac12 \sum_{p \ \text{Primzahl}} \tfrac{\chi_1(p)}{p^x}</math> für <math>x \to 1^+</math> beschränkt sein.

=== Der allgemeine Fall ===
Im allgemeinen Fall ist es von entscheidender Bedeutung, Funktionen <math>\chi_0, \chi_1, ..., \chi_{\varphi(N)-1}</math> auf den nichttrivialen Restklassen modulo <math>N</math> zu finden, die dort sämtliche Kombinationsfreiheit lassen und darüber hinaus vollständig multiplikativ sind. Dass dies immer möglich ist, ist nicht trivial. Solche Funktionen bezeichnet man auch als [[Dirichlet-Charakter]]e.

Zu einem beliebigen Dirichlet-Charakter <math>\chi</math> kann eine Dirichlet-Reihe zugeordnet werden:
:<math>L(s; \chi) := \sum_{n=1}^\infty \frac{\chi(n)}{n^s}.</math>
Diese wird auch als [[Dirichletsche L-Funktion]] zu <math>\chi</math> bezeichnet. Es gilt für komplexe Zahlen <math>s</math> mit <math>\mathrm{Re}(s) > 1</math> 
:<math>L(s; \chi) = \prod_{p \ \text{Primzahl}} \frac{1}{1 - \frac{\chi(p)}{p^s}}.</math>

Der Charakter, der auf allen Restklassen <math>a</math> mit <math>\mathrm{ggT}(a,N) = 1</math> den Wert 1 annimmt (und ansonsten 0), heißt auch ''Hauptcharakter''. Dieser korrespondiert zur Reihe von Euler über die Kehrwerte der Primzahlen, die bekanntermaßen divergiert. Alle anderen Charaktere nehmen auch Werte außer 0 und 1 an, im allgemeinen Fall komplexe [[Einheitswurzel]]n. Die oben demonstrierte Beweisidee ist im Allgemeinen die Gleiche. Es wird die Identität 
:<math> \sum_{{p \ \text{Primzahl} \atop p \ \equiv a \ \pmod{N}}} \frac{1}{p^x} = \frac{1}{\varphi(N)} \sum_{\chi \ \pmod{N}} \overline{\chi(a)} \sum_{p \ \text{Primzahl}} \frac{\chi(p)}{p^x}</math>
genutzt, und die hinteren Summen <math> \textstyle \sum_{p \ \text{Primzahl}} \frac{\chi(p)}{p^x}</math> verhalten sich für <math>x \to 1^+</math> wegen des Euler-Produktes im Wesentlichen wie <math>\log(L(x; \chi))</math>. Es kann mit einer Verallgemeinerung des Leibniz-Kriteriums, der Ableschen partiellen Summation, gezeigt werden, dass <math>L(1;\chi)</math> existiert. Damit <math>\lim_{x \to 1^+} \log(L(x; \chi))</math> beschränkt bleibt, muss daher nur der Fall <math>L(1;\chi)=0</math> ausgeschlossen werden. Der Beweis dieses Schlüssellemmas bildet das Herzstück des Beweises des Satzes von Dirichlet.

=== Beweis des Schlüssellemmas ===

== Verallgemeinerungen ==

=== Primzahlsatz in arithmetischen Progressionen ===

=== Primzahlen als Darstellung anderer Polynome ===

=== Zahlkörper ===

== Literatur ==
* P. G. L. Dirichlet: ''Beweis des Satzes, dass jede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinschaftlichen Factor sind, unendlich viele Primzahlen enthält''. In: ''Abhand. Ak. Wiss. Berlin'', 48, 1837([http://bibliothek.bbaw.de/bibliothek-digital/digitalequellen/schriften/anzeige?band=07-abh/1837&seite:int=00000286 bbaw.de])
** ''Recherches sur diverses applications de l’analyse à la théorie des nombres''. In: ''Journal für Reine und Angewandte Mathematik'', Band 19, 1839, S. 324–369, Band 21, 1840, S. 1–12, 134–155 (und Dirichlet, Werke, Band 1)
* [[Winfried Scharlau (Mathematiker)|Winfried Scharlau]], Hans Opolka: ''From Fermat to Minkowski''. Springer, 1985
* [[Władysław Narkiewicz]]: ''The development of prime number theory''. Springer, 2000

== Weblinks ==
* {{MathWorld |id=DirichletsTheorem |title=Dirichlet’s Theorem}}
* A. Granville, G. Martin: ''Prime Number Races''. 2004, {{arXiv|math/0408319}}
* [http://primes.utm.edu/notes/Dirichlet.html Dirichlet’s Theorem on Primes in Arithmetic Progressions]

[[:Kategorie:Satz (Mathematik)]]
[[:Kategorie:Primzahl]]