Fermats Vermutung sagte bekanntlich, dass xn+yn=zn für n≥3 keine nichttrivialen ganzzahligen Lösungen hat. Äquivalent soll xn+yn=1 keine rationalen Lösungen außer (0,1) und (1,0) sowie (wenn n gerade ist) (0,-1) und (-1,0) haben. Man weiß schon seit dem Altertum, dass es unendlich viele pythagoreischer Zahlentripel gibt, also ganzzahlige Lösungen von x2+y2=z2. Während die Unlösbarkeit der Fermat-Gleichung…