The sum
n = 0 ∑ 1 8 sin 2 ( 1 9 3 4 ⋅ 2 π n 2 )
can be expressed in the form n m , where m and n are coprime positive integers. Find m + n .
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.
Why do you have to use such advanced techniques? A simple modular arithmetic tells us that the sum is equal to the ∑ k = 1 1 9 sin 2 ( k π / 1 9 ) . From here on, it's just applying simple sum/difference trigonometric identities (or a two-line Chebyshev Polynomials property answer).
Log in to reply
Could you elaborate? I don't know how you got k = 1 ∑ 1 9 sin 2 ( k π / 1 9 ) .
Log in to reply
The fundamental period of sin 2 ( x ) is 2 2 π = π . Then, sin 2 ( 1 9 3 4 ⋅ 2 π n 2 ) = sin 2 ( ( ( 3 4 ⋅ 2 π n 2 ) m o d 1 9 ) ÷ 1 9 )
You just need to check for n = 1 to n = 9 because sin ( x ) = sin ( π − x ) .
When
n
=
1
,
(
3
4
⋅
2
π
n
2
)
m
o
d
1
9
=
1
1
.
When
n
=
2
,
(
3
4
⋅
2
π
n
2
)
m
o
d
1
9
=
6
.
.
.
.
When
n
=
9
,
(
3
4
⋅
2
π
n
2
)
m
o
d
1
9
=
1
7
.
Can you take it from here?
Problem Loading...
Note Loading...
Set Loading...
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, with the double-angle formula in the form sin 2 θ = 2 1 − cos 2 θ , we simplify our given sum:
n = 0 ∑ 1 8 sin 2 ( 1 9 3 4 ⋅ 2 π n 2 ) = 2 1 n = 0 ∑ 1 8 1 − cos ( 1 9 6 8 ⋅ 2 π n 2 ) = 2 1 9 − 2 1 ℜ n = 0 ∑ 1 8 e 2 i π ⋅ 6 8 n 2 / 1 9 = 2 1 9 − ℜ [ g ( 6 8 ; 1 9 ) ]
Since 1 9 ≡ 3 ( m o d 4 ) , g ( 6 8 ; 1 9 ) = ( 1 9 6 8 ) g ( 1 ; 1 9 ) = ? ± i 1 9 is purely imaginary, and as a result we have that the sum is equal to
n = 0 ∑ 1 8 sin 2 ( 1 9 3 4 ⋅ 2 π n 2 ) = 2 1 9 − ℜ [ g ( 6 8 ; 1 9 ) ] = 2 1 9