Satz von Clement

Der Satz von Clement (englisch Clement’s theorem) ist ein von dem Mathematiker Paul Arnold Clement[A 1] im Jahre 1949 vorgelegter Lehrsatz aus dem mathematischen Gebiet der Zahlentheorie, der sich mit der Untersuchung von charakteristischen Teilbarkeitseigenschaften bei Primzahlzwillingen befasst.[1][2][3] Er ist eng verbunden mit dem Satz von Wilson und wie dieser mit elementaren Methoden beweisbar, wobei sich sogar zeigt, dass der Clement’sche Satz eine Verallgemeinerung gestattet, welche den Wilson’schen Satz miteinschließt.[4]

Formulierung des Satzes

Der Satz lässt sich folgendermaßen angeben:[1][2][3]

Für eine gegebene natürliche Zahl $n\in \mathbb {N} \ \mathrm {mit} \ n\geq 2$ ist das Paar $(n,n+2)$ genau dann ein Primzahlzwilling, wenn die zugehörige natürliche Zahl ${4\cdot {\bigl (}(n-1)!+1{\bigr )}}+n$ durch $n\cdot (n+2)$ teilbar ist.[A 2]

Mit anderen Worten: Es gilt für gegebenes $n\in \mathbb {N} \ \mathrm {mit} \ n\geq 2$ stets

{4\cdot {\bigl (}(n-1)!+1{\bigr )}}+n\equiv 0{\pmod {n\cdot (n+2)}}\Longleftrightarrow (n,n+2)\ \mathrm {ist} \ \mathrm {Primzahlzwilling}

.[A 3]

Beispiele

$(n_{1},n_{1}+2)=(3,5)$ ist ein Primzahlzwilling, da ${4\cdot {\bigl (}(n_{1}-1)!+1{\bigr )}}+n_{1}=15$ von $n_{1}\cdot (n_{1}+2)=15$ geteilt wird.
$(n_{2},n_{2}+2)=(5,7)$ ist ein Primzahlzwilling, da ${4\cdot {\bigl (}(n_{2}-1)!+1{\bigr )}}+n_{2}=105$ von $n_{2}\cdot (n_{2}+2)=35$ geteilt wird.
$(n_{3},n_{3}+2)=(7,9)$ ist KEIN Primzahlzwilling, da ${4\cdot {\bigl (}(n_{3}-1)!+1{\bigr )}}+n_{3}=2.891$ von $n_{3}\cdot (n_{3}+2)=63$ nicht geteilt wird.
$(n_{4},n_{4}+2)=(9,11)$ ist KEIN Primzahlzwilling, da ${4\cdot {\bigl (}(n_{4}-1)!+1{\bigr )}}+n_{4}=161.293$ von $n_{4}\cdot (n_{4}+2)=99$ nicht geteilt wird.
$(n_{5},n_{5}+2)=(11,13)$ ist ein Primzahlzwilling, da ${4\cdot {\bigl (}(n_{5}-1)!+1{\bigr )}}+n_{5}=14.515.215$ von $n_{5}\cdot (n_{5}+2)=143$ geteilt wird.
$(n_{6},n_{6}+2)=(13,15)$ ist KEIN Primzahlzwilling, da ${4\cdot {\bigl (}(n_{6}-1)!+1{\bigr )}}+n_{6}=1.916.006.417$ von $n_{6}\cdot (n_{6}+2)=195$ nicht geteilt wird.

Elementarer Beweis

Der Darstellung in der Monographie von Wacław Sierpiński (s. u.) folgend lässt sich für den Satz ein elementarer Beweis angeben.[2] Als wesentlich erweist sich hierbei der Satz von Wilson sowie die Tatsache, dass für $n\in \mathbb {N}$ stets die Kongruenz $(n+1)!\equiv 2\cdot (n-1)!{\pmod {n+2}}$ und damit auch die Kongruenz

(K) ${4\cdot {\bigl (}(n-1)!+1{\bigr )}}+n\equiv 2\cdot 2\cdot (n-1)!+4+n\equiv 2\cdot (n+1)!+2\equiv 2\cdot {\bigl (}(n+1)!+1{\bigr )}{\pmod {n+2}}$

Gültigkeit hat.

Der Beweis vollzieht sich dann in zwei Schritten wie folgt:

Beweisschritt 1

Zunächst sei vorausgesetzt, dass $n\in \mathbb {N} \ \mathrm {mit} \ n\geq 2$ ist und dabei $n$ und $n+2$ beide prim sind.

Dann gilt nach Wilson

$(n-1)!+1\equiv 0{\pmod {n}}$

und damit

${4\cdot {\bigl (}(n-1)!+1{\bigr )}}+n\equiv 0{\pmod {n}}$ .

Zugleich gilt aber wegen (K) und wieder nach Wilson auch die Kongruenz

${4\cdot {\bigl (}(n-1)!+1{\bigr )}}+n\equiv 0{\pmod {n+2}}$ .

Also sind die Primzahlen $n$ und $n+2$ beide Teiler von ${4\cdot {\bigl (}(n-1)!+1{\bigr )}}+n$ , was dann aber auch für ihr Produkt $n\cdot (n+2)$ gilt.

Beweisschritt 2

Es sei nun andererseits vorausgesetzt, dass für $n\in \mathbb {N} \ \mathrm {mit} \ n\geq 2$ die Kongruenz ${4\cdot {\bigl (}(n-1)!+1{\bigr )}}+n\equiv 0{\pmod {n\cdot (n+2)}}$ Gültigkeit habe.

Dies impliziert zunächst einmal, dass $n$ ungerade sind: Denn nähme man $n=2\cdot k$ für ein $k\in \mathbb {N}$ als gegeben an, so wäre $n-1=k+k-1\geq k$ und damit $k$ ein Teiler von $(n-1)!$ und ebenso $n=2\cdot k$ ein Teiler von $2\cdot (n-1)!$ , was unmittelbar zu der Kongruenz $4\cdot (n-1)!\equiv 0{\pmod {n}}$ führt. Dies bedeutet jedoch voraussetzungsgemäß $4\equiv 0{\pmod {n}}$ und damit $n=2$ oder $n=4$ , was jedoch einen Widerspruch bedeutete, da doch beide Zahlen die obige Kongruenz offenbar nicht erfüllen.

Also impliziert die obige Voraussetzung, dass $n$ sogar ein Teiler von $(n-1)!+1$ ist und folglich nach dem Wilson'schen Satz eine Primzahl sein muss.

Die obige Voraussetzung besagt indes ebenfalls, dass

${4\cdot {\bigl (}(n-1)!+1{\bigr )}}+n\equiv 0{\pmod {n+2}}$

gelten muss und damit wegen (K) auch, dass $n+2$ ein Teiler von $2\cdot {\bigl (}(n+1)!+1{\bigr )}$ ist.

Da jedoch mit $n$ auch $n+2$ eine ungerade Zahl ist, muss $n+2$ dann sogar ein Teiler von $(n+1)!+1$ und folglich nach dem Wilson'schen Satz eine Primzahl sein.

Literatur

P. A. Clement: Congruences for sets of primes. In: American Mathematical Monthly. Band 56, 1949, S. 23–25 (MR0027771).
Valeriu Popa: On a generalization of Clement's theorem. In: Studii şi Cercetări Matematice. Band 24, 1972, S. 1435–1440 (MR0354518).
Paulo Ribenboim: The New Book of Prime Number Records. Springer Science+Business Media, New York 1996, ISBN 978-1-4612-6892-5, doi:10.1007/978-1-4612-0759-7 (MR1377060).
Wacław Sierpiński: Elementary Theory of Numbers. Edited and with a preface by Andrzej Schinzel (= North-Holland Mathematical Library. Band 31). 2. überarbeitete und erweiterte Auflage. North-Holland (u. a.), Amsterdam (u. a.) 1988, ISBN 0-444-86662-0 (MR0930670).
Rebecca Waldecker[A 4], Lasse Rempe-Gillen: Primzahltests für Einsteiger: Zahlentheorie–Algorithmik–Kryptographie. 2. Auflage. Springer Spektrum, Wiesbaden 2016, ISBN 978-3-658-11216-5, doi:10.1007/978-3-658-11217-2.

Anmerkungen

Paul Arnold Clement promovierte im Jahre 1949 an der University of California, Los Angeles, unter der Anleitung von Edwin Ford Beckenbach zum Ph.D.
${\displaystyle$ ist die Fakultätsfunktion.
$\equiv$ ist die zahlentheoretische Kongruenzrelation.
Rebecca Waldecker (Jahrgang 1979) ist Professorin für Algebra an der Martin-Luther-Universität Halle-Wittenberg.

Einzelnachweise

Rebecca Waldecker, Lasse Rempe-Gillen: Primzahltests für Einsteiger. 2016, S. 168
Wacław Sierpiński: Elementary Theory of Numbers. 1988, S. 224
Paulo Ribenboim: The New Book of Prime Number Records. 1996, S. 259
Valeriu Popa: On a generalization of Clement’s theorem. In: Studii şi Cercetări Matematice 24, S. 1435–1440

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Paul Arnold Clement promovierte im Jahre 1949 an der University of California, Los Angeles, unter der Anleitung von Edwin Ford Beckenbach zum Ph.D.

[6] ${\displaystyle$ ist die Fakultätsfunktion.

[7] $\equiv$ ist die zahlentheoretische Kongruenzrelation.

[8] Rebecca Waldecker (Jahrgang 1979) ist Professorin für Algebra an der Martin-Luther-Universität Halle-Wittenberg.

[RW-LRG-01-2] Rebecca Waldecker, Lasse Rempe-Gillen: Primzahltests für Einsteiger. 2016, S. 168

[WS-01-3] Wacław Sierpiński: Elementary Theory of Numbers. 1988, S. 224

[PR-01-4] Paulo Ribenboim: The New Book of Prime Number Records. 1996, S. 259

[VP-01-5] Valeriu Popa: On a generalization of Clement’s theorem. In: Studii şi Cercetări Matematice 24, S. 1435–1440