Don't note the factorisation of 34

Geometry Level 4

The sum

n = 0 18 sin 2 ( 34 19 2 π n 2 ) \sum_{n=0}^{18} \sin^2\left(\frac{34}{19} \cdot 2\pi n^2\right)

can be expressed in the form m n \dfrac{m}{n} , where m m and n n are coprime positive integers. Find m + n m+n .


The answer is 21.

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.

1 solution

Jake Lai
Nov 24, 2015

The quadratic Gauss sum is defined as g ( a ; p ) = n = 0 p 1 e 2 i π a n 2 / p \displaystyle g(a;p) = \sum_{n=0}^{p-1} e^{2i\pi an^2/p} , where a a is an integer and p p an odd prime number. Certain fascinating properties of the sum are known, but crucial to this problem are two: we have

  1. g ( a ; p ) = ( a p ) g ( 1 ; p ) g(a;p) = \left( \dfrac{a}{p} \right) g(1;p) for all a a , where ( a p ) \left( \dfrac{a}{p} \right) is the Legendre symbol; and

  2. g ( 1 ; p ) = { p if p 1 ( m o d 4 ) i p if p 3 ( m o d 4 ) g(1;p) = \begin{cases} \sqrt{p} & \text{if } p \equiv 1 \pmod{4} \\ i\sqrt{p} & \text{if } p \equiv 3 \pmod{4} \end{cases} .

Equipped with these, we are set to evaluate our given sum.

First, with the double-angle formula in the form sin 2 θ = 1 cos 2 θ 2 \sin^2 \theta = \dfrac{1-\cos 2\theta}{2} , we simplify our given sum:

n = 0 18 sin 2 ( 34 19 2 π n 2 ) = 1 2 n = 0 18 1 cos ( 68 19 2 π n 2 ) = 19 2 1 2 n = 0 18 e 2 i π 68 n 2 / 19 = 19 2 [ g ( 68 ; 19 ) ] \begin{aligned} \sum_{n=0}^{18} \sin^2\left(\frac{34}{19} \cdot 2\pi n^2\right) &= \frac{1}{2} \sum_{n=0}^{18} 1-\cos \left(\frac{68}{19} \cdot 2\pi n^2\right) \\ &= \frac{19}{2} - \frac{1}{2} \Re \sum_{n=0}^{18} e^{2i\pi \cdot 68n^2/19} \\ &= \frac{19}{2} - \Re [g(68;19)] \end{aligned}

Since 19 3 ( m o d 4 ) 19 \equiv 3 \pmod{4} , g ( 68 ; 19 ) = ( 68 19 ) g ( 1 ; 19 ) = ? ± i 19 g(68;19) = \left( \dfrac{68}{19} \right) g(1;19) \stackrel?= \pm i\sqrt{19} is purely imaginary, and as a result we have that the sum is equal to

n = 0 18 sin 2 ( 34 19 2 π n 2 ) = 19 2 [ g ( 68 ; 19 ) ] = 19 2 \sum_{n=0}^{18} \sin^2\left(\frac{34}{19} \cdot 2\pi n^2\right) = \frac{19}{2} - \Re [g(68;19)] = \boxed{\dfrac{19}{2}}

Why do you have to use such advanced techniques? A simple modular arithmetic tells us that the sum is equal to the k = 1 19 sin 2 ( k π / 19 ) \sum_{k=1}^{19} \sin^2(k\pi/19) . From here on, it's just applying simple sum/difference trigonometric identities (or a two-line Chebyshev Polynomials property answer).

Pi Han Goh - 5 years, 6 months ago

Log in to reply

Could you elaborate? I don't know how you got k = 1 19 sin 2 ( k π / 19 ) \displaystyle \sum_{k=1}^{19} \sin^2(k\pi/19) .

Jake Lai - 5 years, 6 months ago

Log in to reply

The fundamental period of sin 2 ( x ) \sin^2(x) is 2 π 2 = π \frac{2\pi}2 = \pi . Then, sin 2 ( 34 2 π n 2 19 ) = sin 2 ( ( ( 34 2 π n 2 ) m o d 19 ) ÷ 19 ) \sin^2 \left( \frac{34 \cdot 2\pi n^2}{19} \right) = \sin^2 (\left( \left(34 \cdot 2\pi n^2 \right) \bmod{19}\right) \div 19)

You just need to check for n = 1 n=1 to n = 9 n=9 because sin ( x ) = sin ( π x ) \sin(x) = \sin(\pi - x) .

When n = 1 n=1 , ( 34 2 π n 2 ) m o d 19 = 11 (34 \cdot 2\pi n^2 ) \bmod{19} = 11 .
When n = 2 n=2 , ( 34 2 π n 2 ) m o d 19 = 6 (34 \cdot 2\pi n^2 ) \bmod{19} = 6 .
.
.
.
When n = 9 n=9 , ( 34 2 π n 2 ) m o d 19 = 17 (34 \cdot 2\pi n^2 ) \bmod{19} = 17 .


Can you take it from here?

Pi Han Goh - 5 years, 6 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...