Équation de Nagell-Ramanujan

On montre que l'équation \r\[\rx^2 + 3 = 2^n \r\]\rn'admet que deux solutions $(x=1, n=2)$ et $(x=-1,n=2)$.