Gibt es unendlich viele Fermat-Primzahlpaare?

Vermuten P Und Q sind Primzahlen. Nennen wir das Paar ( P , Q ) ein Fermat-Paar iff | P Q | < 2 2 ( P Q ) 1 4 .

Solche Primzahlpaare besitzen eine ziemlich interessante Eigenschaft: Sie können sauber ausgedrückt werden, indem nur ihr Produkt verwendet wird (obwohl die Primzahlzerlegung im Allgemeinen ein rechentechnisch schwieriges Problem ist). Wenn ich mich richtig erinnere, wurde diese Tatsache zuerst von Pierre de Fermat entdeckt (daher der Name der Paare).

Konkret, wenn N = P Q Und P > Q , Dann

P = N + 1 + ( N + 1 ) 2 N
Q = N + 1 ( N + 1 ) 2 N

Nachweisen:

Vermuten A = P + Q 2 Und B = P Q 2 . Dann N = A 2 B 2 . Jetzt ab B < 2 N 1 4 < 2 A das können wir ableiten ( A 1 ) 2 N < A 2 , was uns unsere Formeln liefert.

Meine Frage ist:

Gibt es unendlich viele Fermat-Paare?

Wenn die Antwort bekannt ist, sollte sie positiv sein. Warum? Weil jedes Paar von Primzahlzwillingen ein Fermat-Paar ist. Daher hätte die negative Antwort auf diese Frage eine negative Antwort auf die Twin-Prime-Vermutung gegeben (und dieses Problem ist derzeit offen).

Wenn es jedoch bekannt ist, würde ich gerne einen Beweis dafür sehen, dass es unendlich viele Fermat-Paare gibt.

Sofern nicht nur endlich viele keine Primzahlzwillinge sind, müssten Sie die Primzahlzwillinge beweisen.
Twin-Prime-Vermutung ist für dieses Problem ein Mega-Overkill. Sie müssen nur zeigen, dass die N te Primzahl ist Ö ( N 2 ) . Es folgt also leicht aus dem Primzahlsatz und kann möglicherweise aus etwas Klassischerem wie dem von Euler extrahiert werden 1 / P = .
Interessiert: hat diese Eigenschaft tatsächlich eine sinnvolle Anwendung? Für mich scheint es keine Hilfe bei der Primfaktorzerlegung zu bieten, da Sie die Primfaktoren a priori kennen müssen , um festzustellen, ob N ein Fermat-Produkt ist.
@Neinstein, eine mögliche Anwendung wird hier bereitgestellt: bitsdeep.com/posts/attacking-rsa-for-fun-and-ctf-points-part-2

Antworten (2)

Es ist bewiesen, dass es unendlich viele Primzahlen gibt, die sich höchstens um 246 unterscheiden. Also mit P > Q , Sie haben unendlich viele Fälle davon P Q 246 .

Aber lösen 2 2 ( P Q ) 1 4 > 246 Erträge P Q > ( 123 2 ) 4 . Seit P = Q + k mit k maximal 246 , kann dies leicht gelöst werden, um zu zeigen, dass es eine endliche untere Schranke gibt P , für die alle P größer als diese Grenze löst die Ungleichung und erfüllt damit die Bedingung eines Fermat-Paares.

Links finden Sie hier: https://asone.ai/polymath/index.php?title=Bounded_gaps_between_primes

Der Primzahlsatz besagt, dass es sie gibt ( 1 + Ö ( 1 ) ) N ln N Primzahlen kleiner oder gleich N . Insbesondere für groß genug N , gibt es zumindest N 2 2 ln ( N 2 ) 2 N ln N Primzahlen dazwischen N Und N 2 .

In diesem Bereich zu haben | P Q | < 2 2 ( P Q ) 1 / 4 , es ist mehr als genug, das zu fragen | P Q | < 2 2 N ; nahe der Spitze dieses Bereichs, das ist übertrieben.

Wenn jedoch keine Primzahlen dazwischen lägen N Und N 2 das sind weniger als 2 2 N auseinander, dann gäbe es höchstens N 2 N 2 2 N Primzahlen in diesem Bereich, der kleiner als ist N 2 2 ln ( N 2 ) 2 N ln N Wenn N ist groß.

Daher für jeden ausreichend groß N , gibt es ein Fermat-Primzahlpaar im Bereich von N Zu N 2 , was uns unendlich viele solcher Paare gibt.