(2^n+1)n² entier ==> 2^n+1=k'n², k' entier relatif
2^n+1 impair ==> n=2k+1, k=>1
2^n+1=k'(4k²+4k+1)
2^n+1=4k²k'+4kk'+k'
Donc k'=2k+1, k entier relatif
2^n=4kk'(k+1)+2k
2^n=(8k+4)k(k+1)+2k
2^n=8kk(k+1)+4k(k+1)+2k
2^2k=4kk(k+1)+2k(k+1)+k
k(k+1) pair, donc k pair
k=2k'
2^(2k-1)=4kk(k+1)+k(k+1)+k
k=2k'
2^(2k-2)=4k'k(+1)+k(k+1)/2+k'
k'=2k
2^(2k-3)=4k(k+1)+k(k+1)/4+k
k(k+1)/2 pair, or il existe un entier x tel que k(k+1)/2^x impair.
Or, si k(k+1)/2^x impair, alors 2^(2k-1-x) impair, et donc 2^(2k-1-x) impair, donc 2^(2k-1-x)=1, et k=0 ==> k'=1.
Or, k'=1 ==> 2^n+1=n^2. Soit la suite Un=2^n+1-n². Lim(n=>+00)Un=+00, et Un strictement croissante pour n=>3. L'équation 2^n+1-n²=0 a une unique solution : n=3.
C'est bon ? 
+ Rédaction minable je sais. 