Essayons de démontrer qu'en ajoutant 1 au produit, on obtient nécessairement un carré.

Récrivons ce produit autrement et effectuons le :

(n-1)n(n+1)(n+2) = n4+2n3-n2

on ajoute 1 ce qui donne :

n4+2n3-n2+1

essayons maintenant de montrer que c'est un carré c'est à dire quelque chose de la forme :

(n2+an+b)2

En effectuant le calcul on obtient:

(n2+an+b)2=n4+2an3+(a2+2b)n2+2abn+b2

On vérifie que si a=1 et b=-1 on a bien l'égalité cherchée.

n4+2n3-n2+1 est donc bien un carré

On vérifie aisément que deux carré d'entiers successifs ont toujours une différence supérieure à 1 (sauf 0 et 1 qui ne satisfont pas à nos hypothèses) et que par conséquent :

(n-1)n(n+1)(n+2) ne peut être un carré.


CQFD