donc divise , comme et sont premiers entre eux d'après le théorème de Gauss, divise .

Nécessairement il existe tel que d'où .

Est-ce suffisant ? Après remplacement dans l'équation , on vérifie que les couples solutions sont de la forme avec .