Wie man eine rationale Zahl m/nm/nm/n mit Brüchen a/ba/ba/b so annähert, dass das Produkt ababab gegeben ist

Betrachten Sie eine bestimmte rationale Zahl a = M / N und lass N eine positive ganze Zahl sein. Gibt es eine Möglichkeit, die bessere rationale Annäherung zu finden? X / j von a zwischen all dem Bruch so dass X j = N , mit X , j nicht unbedingt teilerfremd? Ich habe eine intuitive Idee, aber das ist nicht wirklich nützlich, wenn N ist groß und ich bin mir nicht einmal sicher, ob es im Allgemeinen richtig funktioniert.

Ich erkläre diese Idee mit einem konkreten Beispiel.

Vermuten a = 3 / 8 und lass N = 20 = 2 2 5. Der „genaue“ Zustand X / j = 3 / 8 bedeutet, dass es eine ganze Zahl gibt u so dass X = 3 u , j = 8 u . Verwenden X j = 20 Ich finde, dass der genaue Zustand wann realisiert wird u = 5 / 6 . Dann j = 8 5 / 6 7.3 Wenn ich die bessere Annäherung an meine Einschränkung will, sollte ich sie bekommen j der nächste Teiler von 20 Zu 7.3 von oben und unten, die sind 10 Und 5. Die entsprechende Näherung sind 4 / 5 Und 2 / 10 und durch eine einfache Prüfung sehen wir das 2 / 10 ist die bessere Näherung.

Diese Strategie kann ein großes Problem haben, wenn N ist riesig: insbesondere wenn seine Faktorisierung unbekannt ist oder wenn er viele Teiler hat. Gibt es eine Möglichkeit, dieses Problem ziemlich einfach zu behandeln? Ich weiß, dass es einige Strategien gibt, die das Abschneiden der fortgesetzten Brüche verwenden, aber die Einschränkung des Produkts scheint nicht gut zu sein, um auf diese Weise behandelt zu werden.

Zum Beispiel, wie kann ich das Problem wann lösen N = 15 ! Und a = 19 / 37 ?

Antworten (1)

X j = 15 ! = N . N j 2 = X / j 19 / 37 . j 37 N / 19 1595783 . Also wollen wir einen Teiler von 15 ! nahe bei 1595783 .

15 ! = 2 11 3 6 5 3 7 2 11 13 . Protokolle nehmen, wollen wir A 2 Protokoll 2 + A 3 Protokoll 3 + A 5 Protokoll 5 + A 7 Protokoll 7 + A 11 Protokoll 11 + A 13 Protokoll 13 Protokoll 1595783 mit 0 A 2 11 , 0 A 3 6 , ..., 0 A 13 1 . Dies ist ein ganzzahliges Programmierproblem. Es gibt effiziente Techniken, um Lösungen zu finden (aber ich kenne sie nicht gut genug, um ins Detail zu gehen). Sicherlich gibt es Algorithmen zum Auffinden ganzzahliger Beziehungen wie PSLQ, die zum Tragen kommen könnten. Siehe zunächst https://en.wikipedia.org/wiki/Integer_relation_algorithm