Développement : Équation de Nagell-Ramanujan

Détails/Enoncé :

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

Versions :