Definition
Let
be 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 prime
there are exactly
quadratic residues of
and exactly
quadratic non – residues of
The quadratic non – residues are congruent
to![]()
Proof: The quadratic residues of
are the integers
which result from the evaluation of
Since
these
integers fall into
pairs![]()
![]()
Hence each quadratic residue of
is congruent
to one of![]()
None of this set are congruent
since 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 obtain
and complete the square to obtain
Take 4 from both sides to give![]()
Then
or![]()
![]()
![]()