Über einige Vermutungen über Wiederholungen

Bei der Recherche zum Thema Descartes-Zahlen bin ich auf folgendes scheinbar verwandtes Teilproblem gestoßen:

PROBLEM: Ermitteln Sie die Bedingungen an N so dass

10 N 1 9
ist quadratfrei.

MEIN VERSUCH

Satz

M := 10 N 1 9 .

(Beachten Sie, dass M wird Repunit genannt . Die Suche nach dem Schlüsselwort "squarefree" auf dieser Wikipedia-Seite ergab keine Ergebnisse.)

Ich bemerkte, dass M ist quadratfrei für N = 1 .

Also lass N > 1 . Das habe ich auch beobachtet, z N 2 , haben wir tatsächlich

M 3 ( Mod 4 ) ,
so dass M ist kein Quadrat .

Als nächstes betrachtete ich die Primfaktorzerlegungen von M für das erste Dutzend N 1 :

Wert von  N Wiederholung  M Primfaktorzerlegung von  M 2 11 11 3 111 3 × 37 4 1111 11 × 101 5 11111 41 × 271 6 111111 3 × 7 × 11 × 13 × 37 7 1111111 239 × 4649 8 11111111 11 × 73 × 101 × 137 9 111111111 3 2 × 37 × 333667 10 1111111111 11 × 41 × 271 × 9091 11 11111111111 21649 × 513239 12 111111111111 3 × 7 × 11 × 13 × 37 × 101 × 9901 13 1111111111111 53 × 79 × 265371653

Ausgehend von dieser ersten Datenprobe prognostiziere ich die Wahrheit der folgenden Vermutungen:

  • VERMUTUNG 1: Wenn N 0 ( Mod 6 ) , Dann M ist quadratfrei.
  • VERMUTUNG 2: Wenn N 0 ( Mod 6 ) , Dann ( 3 × 7 × 11 × 13 × 37 ) M .
  • VERMUTUNG 3: Wenn N 0 ( Mod 3 ) , Dann ( 3 × 37 ) M .

Ich habe die OEIS-Sequenz A002275 überflogen und keine Hinweise auf diese Vermutungen gefunden.

VERMUTUNGEN AUFLÖSEN 1

Ich habe mit Pari-GP in Sage Cell Server nach Gegenbeispielen zu Vermutung 1 gesucht , ich habe die folgende Ausgabe im Bereich erhalten N 50 :

18[3, 2; 7, 1; 11, 1; 13, 1; 19, 1; 37, 1; 52579, 1; 333667, 1]
36[3, 2; 7, 1; 11, 1; 13, 1; 19, 1; 37, 1; 101, 1; 9901, 1; 52579, 1; 333667, 1; 999999000001, 1]
42[3, 1; 7, 2; 11, 1; 13, 1; 37, 1; 43, 1; 127, 1; 239, 1; 1933, 1; 2689, 1; 4649, 1; 459691, 1; 909091, 1; 10838689, 1]

Diese Ausgabe bedeutet das

  • 10 18 1 9 ist teilbar durch 3 2 .
  • 10 36 1 9 ist teilbar durch 3 2 .
  • 10 42 1 9 ist teilbar durch 7 2 .

Ich schließe daher, dass Vermutung 1 falsch ist .

Mein Versuch, Vermutungen aufzulösen 2

Ich habe mit Pari-GP in Sage Cell Server nach Gegenbeispielen zu Conjecture 2 gesucht , ich habe eine leere Ausgabe im Bereich erhalten N 10 5 .

Der Pari-GP-Interpreter von Sage Cell Server stürzt ab, sobald ein Suchlimit von 10 6 angegeben.

Dies liefert weitere rechnerische Beweise für Vermutung 2 .

MEIN VERSUCH, VERMUTUNGEN ZU LÖSEN 3

Ich habe mit Pari-GP in Sage Cell Server nach Gegenbeispielen zu Conjecture 3 gesucht , ich habe eine leere Ausgabe im Bereich erhalten N 10 5 .

Der Pari-GP-Interpreter von Sage Cell Server stürzt ab, sobald ein Suchlimit von 10 6 angegeben.

Dies liefert weitere rechnerische Beweise für Vermutung 3 .


Leider bleibe ich hier hängen, da ich derzeit nicht weiß, wie ich die Vermutungen 2 und 3 beweisen soll.

ANFRAGE

Da Vermutung 1 falsch ist, kennen Sie eine (unbedingte) Kongruenzbedingung oder können Sie diese beweisen? N die garantiert, dass die repunit M ist quadratfrei?

(+1) Sehr gutes experimentelles Mathematikprotokoll. Danke
Es wird angenommen, dass die Bestimmung, ob eine Zahl quadratfrei ist, genauso schwierig ist wie das Faktorisieren. In den meisten Fällen können wir also nur zeigen, dass eine bestimmte Wiederholungseinheit nicht quadratfrei ist, aber wahrscheinlich nicht, dass sie quadratfrei ist. Mit einem kleinen Trick können wir jedoch Großes feststellen N Und P , ob wir haben P 2 R N . Beachte das für jede Primzahl P > 5 , es gibt unendlich viele N mit P 2 R N
Ich habe auf dieser Wikipedia-Seite @miracle173 nach dem Schlüsselwort „repunit“ gesucht und ein leeres Ergebnis zurückgegeben.
Würde es Ihnen etwas ausmachen, Ihren letzten Kommentar als tatsächliche Antwort zu konkretisieren, @Peter, damit ich ihn positiv bewerten kann? Danke!
@ArnieBebita-Dris Wenn N > 3 prim ist, dann müssen die Primfaktoren die Form haben k N + 1 die Wahrscheinlichkeit erhöhen, dass R N ist quadratfrei. Ob dies immer der Fall ist, ist eine andere interessante Frage.
Danke für deine Zeit und Aufmerksamkeit, @Peter! Ich werde es von hier aus übernehmen.
@ArnieBebita-Dris Ich habe diesen Teil Ihres Beitrags falsch gelesen.

Antworten (4)

Wenn P ist eine Primzahl teilerfremd zu 10 , wir haben

10 P ( P 1 ) 1 Mod P 2
wegen des Satzes von Euler und daher
10 k P ( P 1 ) 1 Mod P 2
für jede positive ganze Zahl k

Also für jede Primzahl P > 5 , es gibt unendlich viele N so dass P 2 R N

Ob P 2 R N gilt für P > 5 kann in PARI/GP mit überprüft werden

lift(Mod(10,p^2)^n-1)==0

Vermutung 2 lässt sich leicht anhand der Tatsache verifizieren, dass u 1 ist ein Faktor von u k 1 , so dass X 6 1 teilt X 6 k 1 , so dass 10 6 1 = 3 3 7 11 13 37 teilt 10 N 1 Wenn 6 teilt N . Vermutung 3 ist ähnlich mit der 6 s ersetzt durch 3 S.

Aus ähnlichen Gründen ist Vermutung 1 falsch: falls vorhanden 10 M 1 9 immer nicht quadratfrei ist, dann ist es ein Vielfaches 10 6 M 1 9 wird auch nonsquarefree sein. Die ersten Gegenbeispiele sind 10 18 1 9 Und 10 36 1 9 (beide teilbar durch 3 2 ) Und 10 42 1 9 (teilbar durch 7 2 ).

Herrlich und elegant! Das habe ich ehrlich gesagt nicht kommen sehen, @GregMartin! In diesem Sinne vielen Dank für Ihre Zeit und Aufmerksamkeit.

Die Vermutungen 2 und 3 sind ziemlich einfach zu beweisen. Allgemeiner gilt das Folgende

(1) M ( N ) | M ( k N )

Zu bekommen M ( N ) du hängst einfach a an 1 auf der Ziffernfolge von M ( N 1 ) , So

M ( N ) = 10 M ( N 1 ) + 1

Beachten Sie, dass

M ( N ) = ich = 0 N 1 10 ich

also haben wir

M ( k N ) = ich = 0 k N 1 10 ich = J = 0 k ich = J N N ( J + 1 ) 1 10 ich = J = 0 k ich = 0 N 1 10 J N + ich = J = 0 k 10 J N ich = 0 N 1 10 ich = M ( N ) J = 0 k 10 J N
was beweist ( 1 ) .

Längen von nicht quadratfreien Reunits legen dies nahe

10 9 k 1 9 , 10 22 k 1 9 , 10 42 k 1 9 , 10 78 k 1 9 , 10 111 k 1 9 , 10 205 k 1 9 , 10 272 k 1 9
wo nicht platzfrei sind k ist eine positive ganze Zahl.


10 9 k 1 9 , 10 22 k 1 9 , 10 42 k 1 9 , 10 78 k 1 9 sind da nicht quadratfrei

3 4 10 9 1 , 11 2 10 22 1 , 7 2 10 42 1 , 13 2 10 78 1
halten.

Warum die Ablehnung?
@Arnie Bebita-Dris: Ich weiß es nicht. Vielleicht, weil meine Antwort nicht versucht, Ihre Vermutungen zu beweisen. Ich weiß, dass es Ihnen hilft, Ihre Vermutungen zu beweisen, aber ich habe versucht, Ihre Frage zu beantworten, weil das die Frage war.