Cyclotomic explosion

P n ( x ) = Φ 1 ( x ) Φ 2 ( x ) Φ 3 ( x ) Φ n 2 ( x ) Φ n 1 ( x ) Φ n ( x ) , P_{n}(x) = \Phi_1 (x) \Phi_2 (x) \Phi_3 (x) \cdots \Phi_{n-2} (x) \Phi_{n-1}(x) \Phi_{n}(x),

Let there be a polynomial P n ( x ) P_{n} (x) , which is defined as above.

where Φ n ( x ) \Phi_{n} (x) is the n th n^\text{th} cyclotomic polynomial .

How many distinct roots does P 2017 ( x ) P_{2017} (x) have?

You may use a calculator for the final step of your calculation.


The answer is 1237456.

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

Efren Medallo
Apr 12, 2017

The n t h n^{th} cyclotomic polynomial Φ n ( x ) \Phi_{n} (x) has the primitive n t h n^{th} roots of unity as its roots.

Thus, for each n t h n^{th} cyclotomic polynomial, there are ϕ ( n ) \phi(n) distinct roots, where the function ϕ ( x ) \phi (x) is the Euler's totient function . (Note that Φ n ( x ) ϕ ( x ) \Phi_n (x) \neq \phi ( x) ! )

We are looking for the number of roots of the polynomial whose roots are all the primitive k t h k^{th} roots of unity such that 1 k n 1 \leq k \leq n . Since the primitive k t h k^{th} roots of unity are relatively coprime for all integers k k such that 1 k n 1 \leq k \leq n , we see that

k = 1 n Φ k ( x ) \prod\limits_{k=1}^{n} \Phi_{k} (x)

will have all its roots distinct from one another. Thus, we can find its number of roots as

k = 1 n ϕ ( k ) \sum\limits_{k=1}^n \phi(k)

Being the lazy person that I am, I generated a code for that.

However, mathematically and manually, the summation above can be simplified by the summatory function

= m = 1 n m d m μ ( d ) d = \sum\limits_{m=1}^n m \sum\limits_{d|m} \frac{ \mu (d) }{d}

where μ ( d ) \mu(d) is the Möbius function .

Using such equation above, we can evaluate it to n = 2017 n=2017 and arrive at the answer. Either way, that is 1237456 \boxed {1237456} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...