Definition
Letbe an odd prime and
If the congruence
has a solution then
is said to be a quadratic residue of
otherwise it is a quadratic non – residue of
Theorem
For any odd primethere are exactly
quadratic residues of
and exactly
quadratic non – residues of
The quadratic non – residues are congruent
to
Proof: The quadratic residues ofare the integers
which result from the evaluation of
Since
these
integers fall into
pairs
Hence each quadratic residue ofis congruent
to one of
None of this set are congruentsince if
with
then
divides
divides
or
divides
but since
we have
so
does not divide
then
divides
but
so
Hence there are
quadratic residues and
quadratic non – residues.
0 is excluded as a quadratic residues despite the fact that 0 is a square. This enables many theorems to be expressed simply. The value 0 can be treated as a special case.
Example: Solve
Multiply both sides by 8 to obtainand complete the square to obtain
Take 4 from both sides to give
Thenor