Congruence condition for two to be a quadratic residue
From Number
Statement
Suppose is an odd prime. Then:
-
is a quadratic residue modulo
if and only if
, i.e.,
or
.
-
is a quadratic nonresidue modulo
if and only if
, i.e,
or
.