Maths Olympiad Prep

Library / /6 of 27

Number theory Difficulty 5.0 AIME, harder Prove it Austria

Let nn be a positive integer.
Prove that a(n)=n5+5na(n) = n^5 + 5^n is divisible by 1111 if and only if b(n)=n55n+1b(n) = n^5 \cdot 5^n + 1 is divisible by 1111.

Solution

If nn is a multiple of 1111, both sides of the equivalence are wrong, so the equivalence is true.

If nn is not a multiple of 1111, Fermat's little theorem implies that n101n^{10} - 1 is a multiple of 1111. The equivalence now follows from
n5a(n)=n10+n55nb(n)(mod11). n^5 a(n) = n^{10} + n^5 \cdot 5^n \equiv b(n) \pmod{11}.

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.