A beautiful problem
by Binomial-theorem, Mar 26, 2013, 6:26 AM
Number Theory Marathon wrote:
Find the number of cubic residues modulo
where
is prime.


Solution
We start off by considering
. Let
, therefore since
, we arrive at
from basic simplification. Therefore, we now get
or
. We look at the two following cases:
and
.
Note that
. From here, we have
![\[ (\frac{-1}{p})=\begin{cases} 1, p\equiv 1\pmod{4} \\ -1, p\equiv 3\pmod{4} \end{cases}\]](//latex.artofproblemsolving.com/6/7/8/678293101329e9026f2297e3ef941df557de57d0.png)
![\[ (\frac{3}{p})=\begin{cases} 1, p\equiv 1, 11\pmod{12} \\ -1, p\equiv 5, 7 \pmod{12} \end{cases} \]](//latex.artofproblemsolving.com/4/b/e/4be74cc9c45e166419d360e2815872c1e03ce522.png)
Therefore, we have
when
and
when
, or
when
and
when
.
Summary of findings so far:
The equation
has a solution when
, in fact letting
we have
, which when there exists a
,
also works, therefore we have to test
which gives us
absurd.
The equation
has no solutions when
.
Therefore, when
has two solutions, this implies that the equation
is solved by three numbers
in some order. Therefore, besides for
, we have among the
numbers, they are divided into groups of three's in terms of the cubic residues. By this, I mean that if
, then so does
and
, so we count each residue in groups of threes. Hence, we have
residues when
, or therefore
.
When
has zero solutions when
, this implies that
. Therefore, all values are distinct, and we get
.
When
, we get
so
.
Therefore, as final counts for the number of cubic residues (including 0), we get
.








Note that

![\[ (\frac{-1}{p})=\begin{cases} 1, p\equiv 1\pmod{4} \\ -1, p\equiv 3\pmod{4} \end{cases}\]](http://latex.artofproblemsolving.com/6/7/8/678293101329e9026f2297e3ef941df557de57d0.png)
![\[ (\frac{3}{p})=\begin{cases} 1, p\equiv 1, 11\pmod{12} \\ -1, p\equiv 5, 7 \pmod{12} \end{cases} \]](http://latex.artofproblemsolving.com/4/b/e/4be74cc9c45e166419d360e2815872c1e03ce522.png)
Therefore, we have








Summary of findings so far:












Therefore, when











When




When



Therefore, as final counts for the number of cubic residues (including 0), we get

Geometry is to you as Number Theory is to me
