Le problème des canards dispersés : Etude des inversibles de Z[√2]

Développement avec un esprit très fun (avec des canards) qui consiste à étudier l'équation n(n+1)/2 = m(m+1), en se rapportant à l'équation a² - 2b² = -1 . En exhibant un générateur des inversibles >= 1 de Z[√2], qui se trouve être l'inversible minimal > 1, (1 + √2), on obtient des solutions entières de notre équation initiale par les puissances impaires de ce dernier. Référence possible : Perrin , cours d'algèbre (je crois)