A Little Complex Stuff

Algebra Level 5

Compute

log 2 ( a = 1 2015 b = 1 2015 ( 1 + e 2 π a b i / 2015 ) ) \log_2\left(\prod_{a=1}^{2015}\prod_{b=1}^{2015}\left(1+e^{2\pi abi/2015}\right)\right)

Notation: i = 1 i=\sqrt{-1} denotes the imaginary unit .


The answer is 13725.

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

Let F ( x ) = 1 a , b 2015 ( x ω a b ) F(x)=\prod_{1\le a,b\le 2015} (x-\omega^{ab}) where $\omega$ is a primitive $2015$th root of unity. We want to find $\log_2\left(-F(-1)\right)$. Then we can write (after checking some symmetry thing) F ( x ) = d 2015 Φ d ( x ) h ( d ) F(x)=\prod_{d\mid 2015} \Phi_d(x)^{h(d)} for some h h mapping from the divisors of 2015 2015 to Z 0 \mathbb{Z}_{\ge 0} . But Φ d ( 1 ) = 1 \Phi_{d}(-1)=1 unless d = 1 \ 0 d=1\ 0 for d 2015 d\mid 2015 , so it suffices to find h ( 1 ) h(1) . This is the number of pairs ( a , b ) (a,b) with 2015 a b 2015\mid ab , which is easily computed to be ( 2 5 1 ) ( 2 13 1 ) ( 2 31 1 ) = 13725 (2\cdot 5-1)(2\cdot 13-1)(2\cdot 31-1)=13725 . Thus our answer is log 2 ( ( 2 ) 13725 ) = 13725 \log_2\left(-(-2)^{13725}\right)=13725

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...