Je réponds à frenicle :
En effet, ma démonstration est fausse car la condition que je donne sur Delta est suffisante, mais pas nécessaire. Ce n'est pas brillant de ma part...
On le voit par exemple en prenant x=112 et y=418
En ce qui concerne la piste offerte par lolo217, j'avoue ne pas voir où elle mène.
J'ai essayé d'utiliser les propriétés des carrés parfaits modulo 8 qui valent 1 quand le nombre est impair et 0 ou 4 quand il est pair, mais j'aboutis encore à une indétermination.
Je vais continuer à chercher.