Powerful Sequence

Let a n = 2 n + 201 7 n + 2015 403 4 n 1 a_n = 2^n + 2017^n + 2015 \cdot 4034^n - 1 for all integers n 1. n \geq 1. Find the sum of all positive integers m m such that m m is relatively prime to all the numbers in the sequence { a n } . \{a_n\}.

If you think there are infinitely such m , m, input -1 as your answer.


The answer is 1.

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

Steven Yuan
Jun 11, 2017

We will show that, for any prime p , p, there exists an n n such that p a n , p|a_n, therefore showing that the only possible value of m m is 1.

First, we can check that 2 a 1 2|a_1 and 2017 a 2016 , 2017|a_{2016}, the latter due to Fermat's Little Theorem .

Now, let p p be a prime such that p 2 , 2017. p \neq 2, 2017. We claim that p a p 2 . p|a_{p - 2}.

Since p p is neither 2 nor 2017, we can say that if p 4034 a p 2 , p|4034a_{p - 2}, the p a p 2 . p|a_{p - 2}. Now, with a little algebraic manipulation and FLT, we get

4034 a p 2 4034 ( 2 p 2 + 201 7 p 2 + 2015 403 4 p 2 1 ) 2017 2 p 1 + 2 201 7 p 1 + 2015 403 4 p 1 4034 2017 + 2 + 2015 4034 0 ( m o d p ) . \begin{aligned} 4034a_{p - 2} &\equiv 4034(2^{p - 2} + 2017^{p - 2} + 2015 \cdot 4034^{p - 2} - 1) \\ &\equiv 2017 \cdot 2^{p - 1} + 2 \cdot 2017^{p - 1} + 2015 \cdot 4034^{p - 1} - 4034 \\ &\equiv 2017 + 2 + 2015 - 4034 \\ &\equiv 0 \!\!\!\! \pmod{p}. \end{aligned}

Thus, p 4034 a p 2 , p|4034a_{p - 2}, so p a p 2 . p|a_{p - 2}. This means that if m m has any prime factors, then there exists an n n such that a n a_n shares at least one of those prime factors. Thus, m m can only be equal to 1 , \boxed{1}, which is the final answer.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...