Eindeutige ganzzahlige Lösungen linearer Gleichungen mit irrationalen Zahlen

Lassen a Und β irrationale Zahlen sein, so dass a / β ist auch irrational. Können wir beweisen, dass es keine möglichen ganzzahligen Lösungen für gibt

X + a j + β z = X ' + a j ' + β z '
mit X X ' , j j ' , Und z z ' ?

Es ist offensichtlich, dass es keine Lösungen gibt, bei denen nur eines der Paare „fehlgepaart“ ist (d. h. X X ' , j = j ' , z = z ' ). Und es ist ziemlich trivial zu beweisen, dass es keine Lösungen mit zwei "nicht übereinstimmenden" Paaren gibt (z. B. X X ' Und j j ' Aber z = z ' ); der Beweis erfolgt durch Widerspruch. Aber ich sehe nicht, wie ich den Beweis einfach erweitern soll, um zu zeigen, dass es keine Lösungen gibt, bei denen alle drei Werte verschieden sind.

Zum Kontext bezieht sich dies auf eine Frage zu Physics.SE bezüglich der Entartungen der Energieniveaus in einer 3-D-Box. Als ich meine Antwort dort aufschrieb, wurde mir klar, dass ich keinen prägnanten Beweis für meine Aussage über Kästen hatte, deren Seitenlängen irrationale Vielfache voneinander sind, obwohl ich mich wundern würde, wenn er sich als falsch herausstellen würde.

Die Annahmen reichen nicht aus, betrachten Sie zum Beispiel 1 + 8 = 1 + 2 2 oder 1 + 2 = 5 + 2 2 . Dies würde nur gelten, wenn a , β sind rational unabhängig .
Sie sollten die Bedingung that auch hinzufügen M a + N β sollte irrational sein. In der Tat, wenn a = P ich , β = 1 π dann kannst du ganzzahlige Lösungen finden
aber .. (ich bin nicht viel in Quantenph.) sind Boxen mit irrationalen Seiten physikalisch zulässig? sollten sie nicht quantifiziert werden?
@dxiv: Da ist das Konzept, nach dem ich gesucht habe. Und es sieht so aus, als ob a , β und 1 rational unabhängig sind, folgt der Beweis per Definition der rationalen Unabhängigkeit.

Antworten (1)

Beachten Sie, dass Ihre Frage der Frage entspricht, ob es integrale Lösungen für gibt

X + a Y + β Z = 0 ,
indem X = X X ' , Y = j j ' Und Z = z z ' .

In den Kommentaren wurden zum Beispiel einfache Gegenbeispiele genannt β = a + 1 für jede irrationale a , mit ( X , Y , Z ) = ( 1 , 1 , 1 ) .