Una piccola ricerca su internet e ho scoperto che è una delle proprietà del Simbolo di Legendre (http://en.wikipedia.org/wiki/Legendre_symbol).Sia $ $p$ $ un numero primo dispari, allora esiste $ $x$ $ intero tale che $ $x^2\equiv 2 \pmod p$ $ se e solo se $ $p \equiv \pm 1 \pmod 8$ $.
Qualcuno è così pio da illuminarmi con una dimostrazione, o, meglio ancora, con qualche hint?