1 + 2^x + 2^(2x+1) = y² <=> 7(2^(2x-2)) = (y-1-2^(x-1))(y+1+2^(x-1))
Donc,
y-1-2^(x-1)= 7(2^(k)), y+1+2^(x-1)= 2^(2x-2-k)
ou le contraire.
Il est clair que x < 0 => pas de solution.
On teste les cas x = 0,1,2,3. On en tire (x,y) = (0, +-2)
Si on suppose x >= 4, et 3 <= k <= 2x - 5, alors en étudiant chaque cas modulo 8, on obtient y = 1 = -1 [8], absurde. Donc k = {0,1,2, 2x -1, 2x - 2, 2x - 3, 2x - 4}. On en tire alors (x, y) = (4, +- 23)