Aufgabe: Zeige, dass für n>4 die Gleichung x^n + y^n = z^n
höchstens endlich viele teilerfremde ganzzahlige Lösungen hat.
Gegeben war der Tipp: Ohne Beweis kann man benutzen den Satz von Faltings:
Jedes Polynom p ∈ ℚ [x,y] mit Grad>3 , das keine gemeinsame Nullstelle mit seinen
beiden partiellen Ableitungen dp/dx und dp/dy hat, hat nur endlich viele rationale
Nullstellen.
Problem/Ansatz: ???