Polynomring/Vier Quadrate/Konstanz/Fakt/Beweis

Beweis

Wir können annehmen, dass algebraisch abgeschlossen ist. Wir nehmen an, dass es eine solche Konfiguration aus vier Quadraten gibt, in der nicht und konstant sind. Dann gibt es auch eine solche Konfiguration, wo minimal ist. Im Widerspruch dazu werden wir zeigen, dass man aus einer solchen Konfiguration eine Konfiguration konstruieren kann, in der das Maximum der Grade kleiner wird (und positiv bleibt).

Es sei also eine Konfiguration wie im Satz formuliert gegeben, wir betrachten die zugehörigen Koordinatentupel , , als Punkte auf der projektiven Geraden . Durch einen projektiv-linearen Automorphismus der projektiven Gerade können wir erreichen, dass die Punkte zu mit werden. Die vier Quadrate sind dann . Wir schreiben , und damit

und

mit . Wegen der Teilerfremdheit von und sind auch und teilerfremd und damit auch und und und . Da und Quadrate sind, folgt daraus, dass auch und allesamt Quadrate sind. Wir haben also eine neue Konfiguration mit kleinerem Grad gefunden.