Fermat-Zahl

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 22. September 2022 um 22:05 Uhr durch imported>DJGrandfather(1740224) (Zahl geändert (Null weg)).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Eine Fermat-Zahl, benannt nach dem französischen Mathematiker Pierre de Fermat, ist eine Zahl der Form

mit einer ganzen Zahl . Die ersten lauten 3, 5 und 17.

Im August 1640 vermutete Fermat fälschlicherweise, dass alle Zahlen dieser Form (die später nach ihm benannt wurden) Primzahlen seien.[1] Dies wurde jedoch 1732 von Leonhard Euler widerlegt, der zeigte, dass schon die sechste Fermatzahl F5 durch 641 teilbar ist.[2] Man kennt außer den ersten fünf (3, 5, 17, 257, 65537) derzeit keine weitere Fermat-Zahl, die gleichzeitig Primzahl ist, und vermutet, dass es außer diesen fünf Zahlen auch keine weitere gibt (siehe Abschnitt weiter unten).

Fermat-Zahlen

Die ersten Fermat-Zahlen lauten und .[3]

Eine etwas längere Liste bis findet man in der folgenden aufklappbaren Box.

Wegen hat die Fermatzahl doppelt so viele oder um eine weniger als doppelt so viele Stellen wie ihr Vorgänger .

Fermatsche Primzahlen

Die Idee hinter Fermatschen Primzahlen ist der Satz, dass nur für und für mit prim sein kann:

Die Umkehrung dieses Satzes, dass also nicht nur (wegen offensichtlich) , sondern auch jede Fermat-Zahl prim sei, ist falsch. bis sind sogar die einzigen bisher bekannten Fermatschen Primzahlen:

Schon Fermat zeigte, dass diese ersten fünf Fermat-Zahlen Primzahlen sind, und vermutete 1640, dass dies auf alle Fermat-Zahlen zutreffe. Diese Vermutung wurde aber schon 1732 von Leonhard Euler einfach widerlegt, indem er mit 641 einen echten Teiler von F5 = 4.294.967.297 fand.[4]

Man vermutet inzwischen, dass außer den ersten fünf keine weiteren Fermatschen Primzahlen existieren. Diese Vermutung beruht auf statistischen Abschätzungen: Der Primzahlsatz besagt, dass die Anzahl der Primzahlen, die nicht größer als x sind, näherungsweise gleich x / ln x ist. Die Primzahldichte oder Wahrscheinlichkeit dafür, dass Fn als ungerade Zahl eine Primzahl ist, beträgt daher näherungsweise 2 / ln Fn ≈ 3/2n. Die Wahrscheinlichkeit, dass die Fermatzahl Fn oder eine der folgenden Fermatzahlen eine Primzahl ist, ergibt sich durch Summation der geometrische Reihe ungefähr zu 6/2n.

Für verbliebene weder teilweise noch vollständig faktorisierte Fermat-Zahlen ist diese Wahrscheinlichkeit mit etwa 6 · 10−10 mittlerweile aber sehr klein geworden.

Faktorisierungsergebnisse von Fermat-Zahlen

Die Zahlen F0 bis F4 sind, wie schon Fermat erkannt hat, Primzahlen:

n Fermat-Primzahl Fn
00 3
01 5
02 17
03 257
04 65537

Die Zahlen F5 bis F11 sind entgegen der Vermutung Fermats zusammengesetzt. Sie sind bereits vollständig faktorisiert:[5]

Ab F12 ist keine Fermat-Zahl mehr vollständig faktorisiert. Die ersten drei lauten:

Von F12 bis F32 und von einigen größeren Fermat-Zahlen ist bekannt, dass sie zusammengesetzt sind – hauptsächlich, weil ein oder mehrere Faktoren gefunden wurden. Von zwei Fermat-Zahlen (F20 und F24) kennt man zwar keinen Faktor, hat aber auf andere Art gezeigt, dass sie zusammengesetzt sind.[7][8]

Für F14 wurde am 3. Februar 2010 ein Faktor veröffentlicht,[9] für F22 am 25. März 2010.[10]

Die kleinste Fermat-Zahl, von der bislang nicht bekannt ist, ob sie prim oder zusammengesetzt ist, ist F33. Diese Zahl hat 2.585.827.973 Stellen. Insgesamt weiß man von den ersten 50 Fermat-Zahlen nur von 10 nicht, ob sie zusammengesetzt sind oder nicht.[11]

F18.233.954 ist die größte Fermat-Zahl, von der ein Faktor bekannt ist, nämlich die Primzahl 7 · 218.233.956 + 1. Dieser Faktor wurde am 5. Oktober 2020 von Ryan Propper mit Computer-Programmen von Geoffrey Reynolds, Jean Penné und Jim Fougeron entdeckt und hat 5.488.969 Stellen. Die Fermat-Zahl F18.233.954 selbst hat allerdings mehr als 105.488.966 Stellen.[12]

Insgesamt weiß man von 316 Fermat-Zahlen, dass sie zusammengesetzt sind. 360 Primfaktoren sind bisher bekannt (Stand: 26. November 2021).[5][13]

Der folgenden Tabelle kann man entnehmen, in welchem Intervall wie viele zusammengesetzte Fermat-Zahlen bekannt sind (Stand: 26. November 2021):

nachweislich keine Primzahl
n bekannt
zusammengesetzt
Anteil
05 ≤ n ≤ 32 028 100,0 %
033 ≤ n ≤ 100 032 047,1 %
101 ≤ n ≤ 500 062 015,5 %
0501 ≤ n ≤ 1000 022 004,4 %
1001 ≤ n ≤ 5000 050 001,3 %
05001 ≤ n ≤ 10000 027 000,5 %
TOTAL 221 002,2 %
nachweislich keine Primzahl
n bekannt
zusammengesetzt
Anteil
10001 ≤ n ≤ 50000 37 0,09250 %
050001 ≤ n ≤ 100000 11 0,02200 %
100001 ≤ n ≤ 500000 26 0,00650 %
0500001 ≤ n ≤ 1000000 06 0,00120 %
1000001 ≤ n ≤ 5000000 12 0,00030 %
05000001 ≤ n ≤ 20000000 03 0,00006 %
TOTAL 95 0,00048 %

Die kleinsten 25 Fermat-Primfaktoren sind die folgenden:

3, 5, 17, 257, 641, 65.537, 114.689, 274.177, 319.489, 974.849, 2.424.833, 6.700.417, 13.631.489, 26.017.793, 45.592.577, 63.766.529, 167.772.161, 825.753.601, 1.214.251.009, 6.487.031.809, 70.525.124.609, 190.274.191.361, 646.730.219.521, 2.710.954.639.361, 2.748.779.069.441, … (Folge A023394 in OEIS)

Um von einer Fermat-Zahl nachzuweisen, dass sie zusammengesetzt ist, benutzt man in der Regel den Pépin-Test und den Suyama-Test, die beide besonders auf diese Zahlen zugeschnitten und sehr schnell sind.

Die folgenden 16 Primfaktoren von Fermat-Zahlen wurden vor 1950 entdeckt.

Seit 1950 wurden alle weiteren Faktoren durch Einsatz von Computern gefunden.[14]

Eigenschaften

  • Für hat jeder Teiler von die Form (bewiesen von Euler und Lucas).
Beispiele:
Der Teiler 641 von F5: 641 = 5 · 27 + 1 = 5 · 128 + 1
Der Teiler 6700417 von F5: 6700417 = 52347 · 27 + 1 = 52347 · 128 + 1
  • Fermat-Zahlen lassen sich auf folgende Arten rekursiv berechnen:
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n = (F_{n-1}-1)^2 + 1}  für  Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 1}
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n = F_{n-1}+2^{2^{n-1}} \cdot F_0 \cdot F_1 \cdot \ldots \cdot F_{n-2}}  für  Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 2}
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n = F_{n-1}^2 - 2 \cdot (F_{n-2}-1)^2}  für  Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 2}
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n = F_0 \cdot F_1 \cdot \ldots \cdot F_{n-1} + 2}  für  Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 1}
  • Es gelten folgende Darstellungen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} :
  • Jede Fermat-Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 1} ist von der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 6m-1} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m \in \mathbb N} positiv ganzzahlig ist. (mit anderen Worten: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n \equiv -1 \pmod 6} )[15]
  • Jede Fermat-Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 1} ist von der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 4m+1} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m \in \mathbb N} positiv ganzzahlig ist. (mit anderen Worten: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n \equiv 1 \pmod 4} )
  • Jede Fermat-Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 1} ist von der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 3m+2} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m \in \mathbb N} positiv ganzzahlig ist. (mit anderen Worten: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n \equiv 2 \pmod 3} )
  • Jede Fermat-Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 2} ist von der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 10m+7} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m \in \mathbb N} positiv ganzzahlig ist. (mit anderen Worten: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n \equiv 7 \pmod {10}} )
Anders formuliert: Mit Ausnahme von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_0=3} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_1=5} endet jede Fermat-Zahl im Dezimalsystem mit der Ziffer 7. Die letzten beiden Ziffern sind 17, 37, 57 oder 97.[16]
  • Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n=2^{2^n}+1} die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -te Fermat-Zahl. Dann gilt:
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} hat unendlich viele Darstellungen der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n=x^2-2y^2} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x, y \in \mathbb N} positiv ganzzahlig, für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 2} [17]
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} hat mindestens eine Darstellung der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n=x^2-y^2} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x, y \in \mathbb N} positiv ganzzahlig. Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} zusammengesetzt, gibt es mehrere Möglichkeiten dieser Darstellung.[18]
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} kann niemals als Summe von zwei Primzahlen dargestellt werden, für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 2:} [19]
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n \not= p_1 + p_2} für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p_1, p_2 \in \mathbb P, n \geq 2}
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} kann niemals als Differenz von zwei p-ten Potenzen geschrieben werden, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} und p ungerade Primzahlen sind:[20]
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n \not= a^p - b^p} für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p \in \mathbb P, \, p \not= 2}
  • Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n=2^{2^n}+1} die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -te Fermat-Zahl und sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D(n)} die Anzahl der Stellen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} . Dann gilt:[21]
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D(n) = \lfloor \log_{10} \left( 2^{2^n}+1 \right) +1 \rfloor \approx \lfloor \log_{10} 2^{2^n}+1 \rfloor = \lfloor 2^n \cdot \log_{10} 2+1 \rfloor}
wobei mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lfloor x \rfloor} die Floor-Funktion gemeint ist (also die größte ganze Zahl, die kleiner oder gleich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} ist)
  • Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n=2^{2^n}+1} die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -te Fermat-Zahl mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 1} . Dann gilt:
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} ist eine Primzahl genau dann, wenn gilt: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 3^{\frac{F_n-1}{2}} \equiv -1 \pmod {F_n}}
Mit anderen Worten: Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 1} gilt:
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n \in \mathbb P \Longleftrightarrow 3^{\frac{F_n-1}{2}} \equiv -1 \pmod {F_n}}
Dieser Satz nennt sich Pépin-Test.
  • Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 2} gilt:[22]
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n^{\frac{F_{n+1}-1}{2}} \equiv 1 \pmod{F_{n+1}}}
  • Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 2} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k \geq 1} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_{n+k}} prim. Dann gilt:[22]
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n^{\frac{F_{n+k}-1}{2}} \equiv 1 \pmod{F_{n+k}}}
  • Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} eine Primzahl und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a \in \mathbb Z} eine ganze Zahl. Dann gilt für jede prime Fermat-Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_k} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_k \leq F_n} :[23]
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_k} teilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^{F_n}-a}
  • Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H_n:=2^{2^{n+1}}+2^{2^n}+1} . Dann gilt:[24]
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H_n=(F_{n-1}^2-3 F_{n-1}+3) \cdot H_{n-1}} für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 1}
  • Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n^n+1} eine Primzahl. Dann gilt:[25][26]
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n=F_m-1=2^{2^m}} mit einer positiven ganzen Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m \in \mathbb N}
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n^n+1 = F_{2^m+m}}
Beispiele:
Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m=0} erhält man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n^n+1=F_{2^0+0}=F_1=5 \in \mathbb P}
Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m=1} erhält man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n^n+1=F_{2^1+1}=F_3=257 \in \mathbb P}
Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m=2} erhält man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n^n+1=F_{2^2+2}=F_6=18.446.744.073.709.551.617 \not\in \mathbb P} (eine 20-stellige Zahl)
Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m=3} erhält man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n^n+1=F_{2^3+3}=F_{11} \not\in \mathbb P} (eine 617-stellige Zahl)
Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m=4} erhält man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n^n+1=F_{2^4+4}=F_{20} \not\in \mathbb P} (eine 315653-stellige Zahl)
Auch für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m=5} (eine 41373247568-stellige Zahl) und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m=11} (die Anzahl der Stellen dieser Zahl hat 620 Stellen) erhält man keine Primzahlen. Für alle anderen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m} ist noch nicht bekannt, ob es sich um Primzahlen handelt oder nicht.
Könnte man zeigen, dass es keine weiteren Primzahlen der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n^n+1} gibt, so wäre gleichzeitig auch bewiesen, dass es unendlich viele zusammengesetzte Fermat-Zahlen gibt.
  • Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n^{n^n}+1} eine Primzahl. Dann gilt:[26]
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n=F_m-1=2^{2^m}} mit einer positiven ganzen Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m \in \mathbb N}
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n^{n^n}+1 = F_{2^{2^m+m}+m}}
  • Zwei Fermat-Zahlen sind gleich oder teilerfremd, wie aus der letzten Aussage folgt (Goldbachs Theorem, nach Christian Goldbach, 1730). Daraus lässt sich folgern, dass es unendlich viele Primzahlen gibt (siehe auch Beweisarchiv).
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sum_{n=0}^{\infty} \frac{1}{F_n} = \sum_{n=0}^{\infty} \frac{1}{2^{2^n}+1} \approx 0{,}59606317211782167942379392586279} (Folge A051158 in OEIS)
Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P_F \subset \mathbb P} die Menge aller Primzahlen, die irgendeine Fermat-Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} teilen. Dann gilt:
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sum_{p \in P_F} \frac{1}{p}} ist konvergent.
  • Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p(F_n)} der größte Primteiler der Fermat-Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} . Dann gilt:[31]
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p(F_n) \geq 2^{n+2} \cdot (4n+9)+1}
für alle  Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 4} (bewiesen von Aleksander Grytczuk, Florian Luca und Marek Wójtowicz im Jahr 2001).
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2^{2^r} \equiv -1 \pmod {F_n}}
für mindestens ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0 \leq r < 2^n} (im Speziellen für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r=n} ).
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2^{\frac{F_n-1}{2}}=2^{2^n-1} \equiv \pm 1 \pmod {F_n}}
  • Jede zusammengesetzte Fermat-Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} ist eine fermatsche Pseudoprimzahl zur Basis 2. Das heißt, für alle Fermat-Zahlen gilt:
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2^{F_n-1} \equiv 1 \pmod {F_n}}
  • Eine prime Fermat-Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} ist niemals eine Wieferich-Primzahl.[33] Das heißt, für alle primen Fermat-Zahlen gilt:
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2^{F_n-1} \not\equiv 1 \pmod {F_n^2}}
  • Ein Produkt
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_a \cdot F_b \cdot \ldots \cdot F_s}
von Fermat-Zahlen mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a>b>\ldots>s>1} ist eine fermatsche Pseudoprimzahl zur Basis 2 genau dann, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2^s>a} (bewiesen von Michele Cipolla im Jahr 1904).[34]
  • Jede Fermat-Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} hat im Binärsystem die Form
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n = 1\;\!000\ldots000\;\!1}
mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2^n-1} Nullen zwischen den beiden Einsen am Anfang und Ende.[35]
Jede Fermat-Zahl ab Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_2} hat im Hexadezimalsystem die Form
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n = 1\;\!000 \ldots 000\;\!1}
mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2^{n-2}-1} Nullen zwischen den beiden Einsen am Anfang und Ende.

Ungelöste Probleme

  • Ist Fn eine zusammengesetzte Zahl für alle n ≥ 5?
  • Gibt es unendlich viele zusammengesetzte Fermatsche Zahlen? (Diese Behauptung ist etwas schwächer als die vorherige.)
  • Gibt es unendlich viele Fermatsche Primzahlen? (Diese Behauptung steht nicht im Widerspruch zur vorherigen; es könnten beide Behauptungen gelten. Es ist allerdings äußerst unwahrscheinlich, wie der untere Abschnitt zeigt.)
  • Gibt es Fermatsche Zahlen, die nicht quadratfrei sind?

Warum es wahrscheinlich keine weiteren Fermat-Primzahlen gibt

Man kann heuristisch annehmen, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_4 = 65537} die letzte (und somit auch die größte) Fermat-Primzahl ist. Die Überlegungen dafür sind die folgenden:

Der Primzahlsatz gibt an, dass eine zufällige ganze Zahl in einem geeigneten Intervall um Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} mit einer Wahrscheinlichkeit von etwa Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{1}{\ln n}} eine Primzahl ist. Wenn man nun heuristisch davon ausgeht, dass diese Aussage auch für Fermat-Primzahlen gilt, gepaart mit der Tatsache, dass die Fermat-Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_5, \ldots F_{32}} alle zusammengesetzt sind, kommt man für größere Fermat-Primzahlen zu folgendem Ergebnis:[36]

Die Wahrscheinlichkeit, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} eine Fermat-Primzahl ist, beträgt höchstens Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{4}{2^n}} .

Für eine neue, noch unbekannte Fermat-Primzahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} muss Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 33} sein. Somit beträgt die erwartete Anzahl an neuen, noch unbekannten Fermat-Primzahlen höchstens

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{4}{2^{33}} + \frac{4}{2^{34}} + \frac{4}{2^{35}} + \ldots = \frac{4}{2^{32}} = \frac{1}{2^{30}} < \frac{1}{10^{9}}}

Die Wahrscheinlichkeit, dass es noch eine weitere Fermat-Primzahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n>F_4} gibt, beträgt also weniger als 1 zu einer Milliarde, weswegen man davon ausgehen kann, dass es wahrscheinlich keine weiteren gibt.

Geometrische Anwendung der Fermatschen Primzahlen

Anzahl der Seiten bekannter konstruierbarer Polygone.
Rot: Seitenzahlen der 31 bekannten regulären Polygone mit ungerader Seitenzahl (Lesart von oben nach unten: Gleichseitiges Dreieck – regelmäßiges Fünfeck – regelmäßiges Fünfzehneck - … – 4294967295-Eck)
Schwarz: Seitenzahlen der (unendlich vielen) bekannten Polygone mit gerader Seitenzahl

Carl Friedrich Gauß zeigte (in seinem Lehrbuch Disquisitiones Arithmeticae), dass es einen Zusammenhang zwischen der Konstruktion von regelmäßigen Polygonen und den Fermatschen Primzahlen gibt:

Ein regelmäßiges Polygon mit n Seiten kann dann und nur dann mit Zirkel und Lineal konstruiert werden, wenn n
  • eine Potenz von 2 oder
  • eine Potenz von 2 multipliziert mit paarweise verschiedenen Fermatschen Primzahlen ist.[37]

Mit anderen Worten:

Ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -seitiges regelmäßiges Polygon kann mit Zirkel und Lineal konstruiert werdenFehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \qquad\Longleftrightarrow}
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n = 2^k \cdot p_1 \cdot p_2 \cdot \dotso \cdot p_s}  mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k \in \mathbb N_0} und paarweise verschiedenen Fermatschen Primzahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p_1, p_2, \dotsc, p_s}

Konkret zeigte Gauß die Konstruierbarkeit des regelmäßigen Siebzehnecks.

Die nach der obigen Formel konstruierbaren regelmäßigen Polygone lassen sich in zwei Gruppen unterteilen: solche mit ungerader Seitenzahl und solche mit gerader Seitenzahl. Alle Polygone, in denen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k > 0} ist, sind offensichtlich solche mit gerader Seitenzahl (durch 2 teilbar). Alle Polygone mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k = 0} sind solche mit ungerader Seitenzahl (ein Produkt von Primzahlen größer als 2 ist immer eine ungerade Zahl). Da nur endlich viele Fermatsche Primzahlen bekannt sind, ist auch die Anzahl der bekannten, mit Zirkel und Lineal konstruierbaren, regulären Polygone mit ungerader Seitenzahl begrenzt. Unter diesen ist das 4294967295-Eck (Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \scriptstyle \prod_{i=1}^5 p_i} ) dasjenige mit der größten Eckenzahl.

Verallgemeinerte Fermatsche Zahlen

Eine Zahl der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b^{2^n}+ a^{2^n}} mit zwei teilerfremden natürlichen Zahlen a > 0 und b > 0 heißt verallgemeinerte Fermatsche Zahl. Ist eine solche Zahl prim, dann heißt sie verallgemeinerte Fermatsche Primzahl.

Insgesamt sind schon über 11719 Faktoren von verallgemeinerten zusammengesetzten Fermat-Zahlen bekannt (Stand: 13. August 2018).[38][39] Davon wurden alleine über 5100 von Anders Björn und Hans Riesel vor 1998 entdeckt.

Ist a = 1, so werden die so erhaltenen verallgemeinerten Fermatschen Zahlen üblicherweise mit

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n(b)=b^{2^n}+1}

bezeichnet. Die Zahl b nennt man Basis.

Ist a = 1 und b = 2, so handelt es sich um die schon weiter oben erwähnten Fermat-Zahlen

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n(2)=F_n=2^{2^n}+1} .

Es folgt eine Auflistung der ersten verallgemeinerten Fermatschen Primzahlen der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n(b, a)=\frac{b^{2^n}+ a^{2^n}}{\operatorname{ggT}(b+a,2)}} . Die beiden Basen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} müssen, damit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n(b, a)} prim sein kann, teilerfremd sein. Außerdem ist es auch notwendig, dass man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n(b, a)} durch den größten gemeinsamen Teiler Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\operatorname{ggT}(b+a,2)}} dividiert, da die Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b^{2^n}+ a^{2^n}} bei ungeradem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} immer eine gerade Zahl wäre und somit niemals eine Primzahl sein könnte. Weiters kann man ohne Einschränkung annehmen, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a<b} sein muss, da man bei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n(b, a)} das Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} bedenkenlos mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} vertauschen kann und somit zum Beispiel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n(5, 9)= F_n(9, 5)} ist. Der Fall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a=b} führt niemals zu Primzahlen, da dann Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n(b, a)= F_n(b, b)=\frac{b^{2^n}+ b^{2^n}}{\operatorname{ggT}(b+b,2)}=\frac{2b^{2^n}}{2}=b^{2^n}} wäre und sicher nicht prim ist (es wären in diesem Fall auch die beiden Basen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} nicht wie vorausgesetzt teilerfremd).

Fast alle verallgemeinerten Fermatschen Zahlen sind wahrscheinlich zusammengesetzt. Bewiesen ist diese Aussage aber nicht, denn schon für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b=2} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a=1} (das sind die ursprünglichen Fermat-Zahlen) wurde weiter oben im Kapitel Ungelöste Probleme erwähnt, dass man noch nicht weiß, ob ab Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \geq 5} alle weiteren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n} zusammengesetzt sind oder nicht. Ähnlich verhält es sich mit anderen Basen und Hochzahlen. Und obwohl schon über 11000 Faktoren von verallgemeinerten Fermatschen Zahlen bekannt sind (siehe weiter oben), ist es schwierig, solche Faktoren zu finden, zumal Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n(b,a)} sehr schnell sehr groß wird. Zum Teil weiß man zwar, dass diese Zahlen zusammengesetzt sein müssen, aber Primteiler kennt man von den wenigsten. Bekannt ist, dass solche Primteiler die Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k \cdot 2^m+1} haben müssen. Es folgt eine Auflistung von Primfaktoren kleinerer verallgemeinerter Fermatschen Zahlen inklusive zweier etwas höherer Zahlenbeispiele, anhand derer man erkennen kann, wie schnell die Zahlen sehr hoch werden.

Verallgemeinerte Fermatsche Zahlen der Form Fn(b)

Ist b eine gerade Zahl, so kann Fn(b) sowohl zusammengesetzt als auch prim sein.

Beispiel 1:

b = 8, n = 3 ergibt die zusammengesetzte Zahl
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_3(8)=8^{2^3}+1=8^8+1=16.777.217=97 \cdot 257 \cdot 673} .

Beispiel 2:

b = 6, n = 2 ergibt die Primzahl
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_2(6)=6^{2^2}+1=6^4+1=1297} .

Beispiel 3:

b = 30, n = 5 ergibt die 48-stellige Primzahl
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_5(30)=30^{2^5}+1=30^{32}+1=185.302.018.885.184.100.000.000.000.000.000.000.000.000.000.001}
und ist gleichzeitig die kleinste verallgemeinerte Fermatsche Primzahl mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n>4} .

Ist b eine ungerade Zahl, so ist Fn(b) als Summe einer Potenz einer ungeraden Zahl (die selbst wieder ungerade ist) und 1 immer eine gerade Zahl, somit durch 2 teilbar und deshalb für b > 1 keine Primzahl, sondern zusammengesetzt. In diesem Fall wird häufig die Zahl

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{F_n(b)}{2}=\frac{b^{2^n}+1}{2}}

auf ihre Primalität untersucht. Diese Zahlen werden auch halbe verallgemeinerte Fermatsche Zahlen genannt.

Beispiel 4:

b = 3, n = 2 ergibt die gerade und somit zusammengesetzte Zahl
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_2(3)=3^{2^2}+1=3^4+1=81+1=82=2 \cdot 41} .
Es ist aber
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{F_2(3)}{2}=\frac{3^{2^2}+1}{2}=\frac{82}{2}=41}
eine Primzahl.

Beispiel 5:

b = 5, n = 3 ergibt die gerade und somit zusammengesetzte Zahl
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_3(5)=5^{2^3}+1=5^8+1=390625+1=390626=2 \cdot 17 \cdot 11489.}
Es ist aber
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{F_3(5)}{2}=\frac{5^{2^3}+1}{2}=\frac{390626}{2}=195313=17 \cdot 11489}
eine zusammengesetzte Zahl.

Liste der Primzahlen der Form Fn(b)

Verallgemeinerte Fermatsche Zahlen der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n(b)=b^{2^n}+1} (für gerade Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} ) bzw. der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{F_n(b)}{2}=\frac{b^{2^n}+1}{2}} (für ungerade Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} ) sind in den meisten Fällen zusammengesetzt. Weil diese Zahlen sehr schnell sehr groß werden, sind nicht besonders viele Primzahlen dieser Art bekannt. Es folgt eine Auflistung von Primzahlen der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n(b)} mit konstantem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b \leq 60} :

Die kleinsten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} (ab Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b=2} ), für die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n(b)} bzw. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{F_n(b)}{2}} erstmals eine Primzahl ergibt, kann man der obigen Tabelle entnehmen, was für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b \leq 1500} die folgende Liste ergibt (der Wert −1 bedeutet „nicht existent“ bzw. „noch keine bekannt“):

0, 0, 0, 0, 0, 2, −1, 0, 0, 1, 0, 0, 1, 1, 0, 2, 0, 1, 1, 0, 0, 2, 1, 0, 1, −1, 0, 1, 0, −1, −1, 0, 2, 1, 0, 0, −1, 1, 0, 4, 0, 3, 4, 0, 0, 3, 2, 1, −1, 1, 0, 3, 1, −1, 1, 0, 0, 1, 0, … (Folge A253242 in OEIS)

Mehr Informationen für gerade Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} bis zur Basis Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b=1000} findet man im Internet.[40]

Nun folgt eine Auflistung von Primzahlen der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n(b)} mit konstantem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} :

Die kleinsten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} (mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b \geq 2} ), für die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_n(b)} erstmals eine Primzahl ergibt, kann man der obigen Tabelle entnehmen, was die folgende Liste ergibt:

2, 2, 2, 2, 2, 30, 102, 120, 278, 46, 824, 150, 1534, 30406, 67234, 70906, 48594, 62722, 24518, 75898, 919444, … (Folge A056993 in OEIS)

Die 10 größten bekannten verallgemeinerten Fermatschen Primzahlen

Der folgenden Liste kann man die 10 größten bekannten verallgemeinerten Fermatschen Primzahlen entnehmen. Sämtliche Entdecker dieser Primzahlen sind Teilnehmer des PrimeGrid-Projektes. In der zweiten Spalte steht, die wievieltgrößte bekannte Primzahl diese Fermatsche Primzahl im Moment ist.

Die meisten der oben genannten Ergebnisse konnten natürlich nur mit Hilfe von Computern gefunden werden.

Siehe auch

Literatur

Weblinks

Einzelnachweise

  1. W. Narkiewicz: The Development of Prime Number Theory – From Euclid to Hardy and Littlewood. Springer-Verlag, 2000, S. 24 (google.at).
  2. Edward Sandifer: How Euler Did It – Factoring F5. MAA Online, März 2007, S. 1–4, abgerufen am 23. März 2022.
  3. Folge A000215 in OEIS.
  4. Leonhard Euler: Observationes de theoremate quodam Fermatiano aliisque ad numeros primos spectantibus. (PDF; 399 kB). [E26]. In: Commentarii academiae scientiarum Petropolitanae. 6 (1732/33), St. Petersburg 1738, S. 103–107, hier S. 104. Nachdruck in Opera Omnia, Band 1/2, S. 1–5. Englische Übersetzung von Ian Bruce: Observations concerning a certain theorem of Fermat and other considerations regarding prime numbers. (PDF; 100 kB) bzw. von David Zhao: Oberservations on a certain theorem of Fermat and on others regarding prime numbers. (PDF; 101 kB).
  5. a b Faktorisierungsstatus aller Fermatzahlen. Stand: 29. Juli 2018 (englisch).
  6. Siehe Algorithmus nach Morrison und Brillhart.
  7. Jeff Young, Duncan A. Buell: The Twentieth Fermat Number is Composite. In: Mathematics of Computation. Vol. 50, Nr. 181, Januar 1988, S. 261–263 (ams.org [PDF; abgerufen am 14. August 2016]).
  8. Richard E. Crandall, Ernst W. Mayer, Jason S. Papadopoulos: The Twenty-Fourth Fermat Number is Composite. In: Mathematics of Computation. Band 72, Nr. 243, 6. Dezember 2002, S. 1555–1572 (ams.org [PDF; abgerufen am 14. August 2016]).
  9. GIMPS’ second Fermat factor! MersenneForum.org
  10. F22 factored! MersenneForum.org
  11. When and how Fermat numbers Fm were proven composite (on the occasion of a remarkable discovery)
  12. 7· 218233956 + 1 auf den Primepages.
  13. Luigi Morelli: Distributed Search for Fermat Number Divisors – NEWS. Abgerufen am 19. Dezember 2016.
  14. Luigi Morelli: Distributed Search for Fermat Number Divisors – HISTORY. Abgerufen am 25. Januar 2017.
  15. Michal Křížek, Florian Luca, Lawrence Somer: 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Theorem 3.12. Hrsg.: Canadian Mathematical Society. S. 31 (google.at).
  16. a b Michal Křížek, Florian Luca, Lawrence Somer: 17 Lectures on Fermat Numbers: From Number Theory to Geometry, vor Remark 3.7. Hrsg.: Canadian Mathematical Society. S. 29 (google.at).
  17. Michal Křížek, Florian Luca, Lawrence Somer: 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Proposition 3.4. Hrsg.: Canadian Mathematical Society. S. 28 (google.at).
  18. a b Michal Křížek, Florian Luca, Lawrence Somer: 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Remark 3.13. Hrsg.: Canadian Mathematical Society. S. 31 (google.at).
  19. Michal Křížek, Florian Luca, Lawrence Somer: 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Proposition 3.8. Hrsg.: Canadian Mathematical Society. S. 29 (google.at).
  20. Michal Křížek, Florian Luca, Lawrence Somer: 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Theorem 3.14. Hrsg.: Canadian Mathematical Society. S. 31 (google.at).
  21. Michal Křížek, Florian Luca, Lawrence Somer: 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Remark 3.7. Hrsg.: Canadian Mathematical Society. S. 29 (google.at).
  22. a b Michal Křížek, Florian Luca, Lawrence Somer: 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Theorem 3.9. Hrsg.: Canadian Mathematical Society. S. 29 (google.at).
  23. Michal Křížek, Florian Luca, Lawrence Somer: 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Theorem 3.11. Hrsg.: Canadian Mathematical Society. S. 30–31 (google.at).
  24. Michal Křížek, Florian Luca, Lawrence Somer: 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Proposition 3.5. Hrsg.: Canadian Mathematical Society. S. 28 (google.at).
  25. Jeppe Stig Nielsen: S(n) = n^n+1. Abgerufen am 9. August 2016.
  26. a b Wacław Sierpiński: Elementary Theory of Numbers. S. 375, abgerufen am 13. Juni 2019.
  27. Michal Křížek, Florian Luca, Lawrence Somer: 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Theorem 3.10. Hrsg.: Canadian Mathematical Society. S. 30 (google.at).
  28. Solomon W. Golomb: On the sum of the reciprocals of the Fermat numbers and related irrationalities. In: Canad. J. Math. Vol. 15, 1963, S. 475–478 (cms.math.ca (Memento vom 21. März 2016 im Internet Archive) [PDF; abgerufen am 9. August 2016]).
  29. Florian Luca: The Anti-Social Fermat Number. In: The American Mathematical Monthly. Vol. 07, Nr. 2, Februar 2000, S. 171–173, JSTOR:2589441.
  30. Michal Krížek, Florian Luca, Lawrence Somer: On the Convergence of Series of Reciprocals of Primes Related to the Fermat Numbers. In: Journal of Number Theory. Band 97, Nr. 1, November 2002, S. 95–112 (sciencedirect.com [abgerufen am 9. August 2016]).
  31. Aleksander Grytczuk, Florian Luca, Marek Wójtowicz: Another note on the greatest prime factors of Fermat numbers. In: Southeast Asian Bulletin of Mathematics. Band 25, Nr. 1, Juli 2001, S. 111–115 (researchgate.net [abgerufen am 9. August 2016]).
  32. a b Michal Křížek, Florian Luca, Lawrence Somer: 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Theorem 12.16. Hrsg.: Canadian Mathematical Society. S. 138 (google.at).
  33. Fredrick Kennard: Unsolved Problems in Mathematics. S. 56 (google.at).
  34. Michal Křížek, Florian Luca, Lawrence Somer: 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Theorem 12.1. Hrsg.: Canadian Mathematical Society. S. 132 (google.at).
  35. Michal Křížek, Florian Luca, Lawrence Somer: 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Theorem 3.17. Hrsg.: Canadian Mathematical Society. S. 32 (google.at).
  36. Kent D. Boklan, John H. Conway: Expect at most one billionth of a new Fermat Prime! The Mathematical Intelligencer 39, 3–5 (2017), 9. Mai 2016, S. 1–7, abgerufen am 23. März 2022.
  37. Emil Artin: Galoissche Theorie. Verlag Harri Deutsch, Zürich 1973, ISBN 3-87144-167-8, S. 85.
  38. Faktoren von verallgemeinerten Fermat-Zahlen, die von Björn und Riesel gefunden wurden. Abgerufen am 15. Dezember 2018.
  39. Faktoren von verallgemeinerten Fermat-Zahlen, die nach Björn und Riesel gefunden wurden. Abgerufen am 15. Dezember 2018.
  40. Jeppe Stig Salling Nielsen: Generalized Fermat Primes sorted by base. Abgerufen am 6. Mai 2018.
  41. Rytis Slatkevičius: PrimeGrid: Generalized Fermat Prime Search n=32768. PrimeGrid, abgerufen am 19. März 2021.
  42. Rytis Slatkevičius: PrimeGrid: Generalized Fermat Prime Search n=65536. PrimeGrid, abgerufen am 19. März 2021.
  43. Rytis Slatkevičius: PrimeGrid: Generalized Fermat Prime Search n=131072. PrimeGrid, abgerufen am 19. März 2021.
  44. Rytis Slatkevičius: PrimeGrid: Generalized Fermat Prime Search n=262144. PrimeGrid, abgerufen am 19. März 2021.
  45. Rytis Slatkevičius: PrimeGrid: Generalized Fermat Prime Search n=524288. PrimeGrid, abgerufen am 19. März 2021.
  46. Rytis Slatkevičius: PrimeGrid: Generalized Fermat Prime Search n=1048576. PrimeGrid, abgerufen am 19. März 2021.
  47. Die 20 größten verallgemeinerten Fermatschen Primzahlen. Abgerufen am 24. Juli 2017 (englisch).
  48. Liste der größten bekannten Primzahlen. Abgerufen am 15. Januar 2020 (englisch).
  49. Liste der größten bekannten verallgemeinerten Fermatschen Primzahlen. Abgerufen am 25. Dezember 2018 (englisch).
  50. 19517341048576 + 1 auf primegrid.com (PDF).
  51. 10590941048576 + 1 auf primegrid.com (PDF).
  52. 9194441048576 + 1 auf primegrid.com (PDF).
  53. 25 · 2 13719266 + 1 auf den PrimePages.
  54. 4896418524288 + 1 auf primegrid.com (PDF).
  55. 3638450524288 + 1 auf primegrid.com (PDF).
  56. 9 · 2 11366286 + 1 auf den PrimePages.
  57. 3214654524288 + 1 auf primegrid.com (PDF).
  58. 2985036524288 + 1 auf primegrid.com (PDF).
  59. 2877652524288 + 1 auf primegrid.com (PDF).