Sei n Element N, x,y Element Q und a, b Element N.
Aus x^2+y^2=n folgt, dass es a, b so gibt, dass a^2+b^2 = n.
Vermutlich ist das gar nicht so kompliziert, aber irgendwie
habe ich momentant einen Deckblockade…
Zuerst habe ich versucht, x,y als Burch mit Zahlen aus Z zu
schreiben und das ganze umzuformen, hat irgendwie nicht
funktioniert.
Das sollte schon funktionieren. Du musst dich insbesondere fragen, welche Bedingungen diese Zahlen erfuellen muessen, damit du eine ganze Zahl auf der rechten Seite stehen hast.
Es war ja nicht gesagt, dass a und b ganzzahlig sind, sondern nur, dass n in eine Summe von Quadraten ganzer Zahlen zerlegbar ist.
Man muss also irgendwie mit pythagoräischen Zahlentripeln den Nenner reduzieren können. Dazu sollte man wissen, dass pythagoräische Zahlentripel was mit Quadraten von Gaußzahlen zu tun haben.
ich weiß nicht ob es dir hilft, aber ich kann zumindest zeigen, dass die beiden Nenner der rationalen Zahlen x und y gleich sein müssen.
Nehmen wir an, dass
mit c,d,e,f∈Z und n∈N. Zunächst kann man ohne Beschränkung der Allgemeinheit davon ausgehen, dass c,d,e,f∈N, denn durch das Quadrat spielt das Vorzeichen eh keine Rolle. Weiterhin kann man annehmen, dass c und d teilerfremd sind und auch dass e und f teilerfremd sind, denn sonst könnte man kürzen.
Durch Umformen erhält man jetzt die Gleichung
(cf)^2=d^2(nf^2-e^2)
Das bedeutet d2 ist ein Teiler von (cf)2, und da c und d teilerfremd sind, muss d2 ein Teiler von f2 sein.
Genauso kann man mit der Gleichung
(ed)^2=f^2(nd^2-c^2)
zeigen, dass f2 ein Teiler von d2 ist. Demnach gilt d2=f2, und weil sowohl d als auch f natürlich sind d=f.