This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Notice that if x ≡ y m o d p for least positive y , then ⌊ p x ⌋ = p x − p y . Furthermore, we will be using the Legendre Symbol, denoted ( p k ) .
Now choose least positive a n and b n such that 3 n 2 ≡ a n m o d p and n 2 ≡ b n m o d p for all n , 1 ≤ n ≤ p − 1 . Then we have S ( p ) = n = 1 ∑ p − 1 ( ⌊ p 3 n 2 ⌋ − 3 ⌊ p n 2 ⌋ ) =
n = 1 ∑ p − 1 ( p 3 n 2 − p a n − p 3 n 2 + p 3 b n ) =
n = 1 ∑ p − 1 ( p 3 b n − p a n ) =
p 3 n = 1 ∑ p − 1 b n − p 1 n = 1 ∑ p − 1 a n
Here notice that b n cycles through the quadratic residues modulo p twice (since b n = b p − n ). Furthermore, since p = 1 0 1 and by Quadratic Reciprocity ( 1 0 1 3 ) = ( 3 1 0 1 ) = ( 3 2 ) = − 1 , we know a n must similarly cycle through the quadratic nonresidues twice. Therefore, our sum becomes
p 6 ( p b ) = 1 ∑ b − p 2 ( p a ) = − 1 ∑ a
Due to the known result that ∑ ( p b ) = 1 b = 4 p ( p − 1 ) when p ≡ 1 m o d 4 , our sum becomes
p 6 ( 4 p ( p − 1 ) ) − p 2 ( 4 p ( p − 1 ) ) =
2 3 ( p − 1 ) − 2 ( p − 1 ) = p − 1
Since p = 1 0 1 , we have S ( 1 0 1 ) = 1 0 0
Proof that
( p b ) = 1 ∑ b = 4 p ( p − 1 ) when p ≡ 1 m o d 4
Proof: Since p ≡ 1 m o d 4 , we know ( p − 1 ) = 1 . Thus, for each quadratic residue b , we know p − b is another distinct quadratic residue. Since there are 2 p − 1 such b , there are 4 p − 1 pairs ( b , p − b ) , each of which sum to p . Thus, grouping these pairs together, we have
( p b ) = 1 ∑ b = ( b , p − b ) ∑ p = 4 p ( p − 1 )
Corollary ( p a ) = − 1 ∑ a = 4 p ( p − 1 )
Since c = 1 ∑ p − 1 c = 2 p ( p − 1 ) , we have
( p a ) = − 1 ∑ a = c = 1 ∑ p − 1 c − ( p b ) = 1 ∑ b = 2 p ( p − 1 ) − 4 p ( p − 1 ) = 4 p ( p − 1 )