Schon die Babylonier hatten vor 3600 Jahren eine Formel, mit der sie unendlich viele ganzzahlige Lösungen der Gleichung x2+y2=z2 finden konnten. Diophantus bewies später, dass man alle Lösungen aus der Formel der Babylonier erhält. Im 17. Jahrhundert entwickelte Pierre de Fermat die Methode des unendlichen Abstiegs, um zu bewiesen, dass es keine positiven ganzzahligen Lösungen…