Der Lucas-Test für Mersennsche Primzahlen

Aus testwiki
Version vom 5. November 2024, 16:41 Uhr von imported>Arbota (Ersetzung)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen Zur Suche springen

Vorlage:Inputbild

Vorlage:Mathdisplay

Vorlage:Math


Vorlage:Zwischenüberschrift


Vorlage:Inputfaktbeweis

Vorlage:Inputdefinition

Der Satz von Wilson, der ja eine Charakterisierung der Primzahlen darstellt, scheint zunächst als Primzahltest vielversprechend zu sein.Da die Berechnung der Fakultät jedoch viel zu aufwändig ist, scheideter als praktischer Test aus.

Der kleine Satz von Fermat lautet für primes p und eine natürliche Zahl a, die kein Vielfaches von p ist, dass ap11modp erfüllt ist. Allerdings möchten wir an dieser Stelle anmerken, dass die Umkehrung dieses Satzes nicht gilt – es gibt zerlegbare Zahlen N und a ≥ 2 mit aN11modN . Lucas entdeckte im Jahre 1876 eine richtige Umkehrung von Fermats kleinem Satz. Diese besagt:


Lucacscsc


Vorlage:Inputfakt


Das Problem dieses zunächst perfekt aussehenden Tests: Er benötigt N2aufeinander folgende Multiplikationen mit a und das Finden der Reste modulo N – dies sind zuviele Operationen.


Lucas gab 1891 den folgenden Test an:


Vorlage:Inputfaktbeweis


Vorlage:Inputfaktbeweis


Vorlage:Inputfaktbeweis


Für die Fermatschen Primzahlen reicht es aus, im Lucas Test die Zahl a = 3 zu überpriifen:

Vorlage:Zwischenüberschrift


Vorlage:Inputdefinition


Vorlage:Inputdefinition


Vorlage:Inputdefinition


Vorlage:Inputfaktbeweis



Vorlage:Inputbeispiel