The sum
can be expressed in the form , where and are positive integers with and coprime and squarefree. Find .
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.
The quadratic Gauss sum is defined as g ( a ; p ) = n = 0 ∑ p − 1 e 2 i π a n 2 / p , where a is an integer and p an odd prime number. Certain fascinating properties of the sum are known, but crucial to this problem are two: we have
g ( a ; p ) = ( p a ) g ( 1 ; p ) for all a , where ( p a ) is the Legendre symbol; and
g ( 1 ; p ) = { p i p if p ≡ 1 ( m o d 4 ) if p ≡ 3 ( m o d 4 ) .
Equipped with these, we are set to evaluate our given sum.
First, note that
n = 0 ∑ 1 8 sin ( 1 9 3 4 ⋅ 2 π n 2 ) = ℑ n = 0 ∑ 1 8 e 2 i π ⋅ 3 4 n 2 / 1 9 = ℑ [ g ( 3 4 ; 1 9 ) ]
Now, using the properties of the quadratic Gauss sum, we have
g ( 3 4 ; 1 9 ) = ( 1 9 3 4 ) g ( 1 ; 1 9 ) = ( 1 9 − 1 ) g ( 1 ; 1 9 ) = − g ( 1 ; 1 9 )
(The exact computation is left as an exercise to the reader. One is suggested to note, as the problem title suggests, the factorisation of 34; other methods are, however, possible.)
And so, we also have g ( 1 ; 1 9 ) = i 1 9 since 1 9 ≡ 3 ( m o d 4 ) . Hence,
ℑ [ g ( 3 4 ; 1 9 ) ] = ℑ [ − i 1 9 ] = − 1 9
Therefore, our sum evaluates to
n = 0 ∑ 1 8 sin ( 1 9 3 4 ⋅ 2 π n 2 ) = − 1 9