Maths Olympiad Prep

Library / /53 of 60

Number theory Difficulty 5.4 AIME, harder Prove it South Africa

Find three prime factors of: 52015+52016+52017+3120165^{2015} + 5^{2016} + 5^{2017} + 31^{2016}
NB: Show all your working!

Solution

Let us consider the expression:
52015+52016+52017+312016 5^{2015} + 5^{2016} + 5^{2017} + 31^{2016}
First, factor 520155^{2015} from the first three terms:
52015+52016+52017=52015(1+5+52)=52015(1+5+25)=52015×31 5^{2015} + 5^{2016} + 5^{2017} = 5^{2015}(1 + 5 + 5^2) = 5^{2015}(1 + 5 + 25) = 5^{2015} \times 31
So the expression becomes:
52015×31+312016 5^{2015} \times 31 + 31^{2016}
Now, factor 3131:
=31(52015+312015) = 31(5^{2015} + 31^{2015})
So 3131 is a prime factor.

Now, consider 52015+3120155^{2015} + 31^{2015}.
Notice that both 55 and 3131 are odd, so their powers are odd, and their sum is even. Thus, 22 is a factor.

Let us check if 22 is a factor:
- 520155^{2015} is odd
- 31201531^{2015} is odd
- Odd + Odd = Even
So 22 is a factor.

Now, check if 5+31=365 + 31 = 36 is divisible by 33.
Let us check modulo 33:
- 52(mod3)5 \equiv 2 \pmod{3}
- 311(mod3)31 \equiv 1 \pmod{3}
So 5201522015(mod3)5^{2015} \equiv 2^{2015} \pmod{3}
31201512015=1(mod3)31^{2015} \equiv 1^{2015} = 1 \pmod{3}
Now, 220152^{2015} is 22 if 20152015 is odd, which it is.
So 220152(mod3)2^{2015} \equiv 2 \pmod{3}
Thus,
52015+3120152+1=30(mod3) 5^{2015} + 31^{2015} \equiv 2 + 1 = 3 \equiv 0 \pmod{3}
So 33 is a factor.

Therefore, the three prime factors are 22, 33, and 3131.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.