Maths Olympiad Prep

Library / /44 of 155

Number theory Difficulty 5.5 AIME, harder Prove it Saudi Arabia

1. Let pp be an odd prime number.
a. Show that pp divides n2n+1n \cdot 2^{n} + 1 for infinitely many positive integers nn.
b. Find all nn satisfying the condition above when p=3p = 3.

Solution

a. We will show that for all k>0k > 0, the number n=(pk+1)(p1)n = (p k + 1)(p - 1) satisfies pn2n+1p \mid n \cdot 2^{n} + 1. Indeed, by Fermat's Little Theorem, we have
2p11(modp) so 2n=2(pk+1)(p1)1(modp). 2^{p-1} \equiv 1 \pmod{p} \text{ so } 2^{n} = 2^{(p k + 1)(p - 1)} \equiv 1 \pmod{p}.
And then
n2n+1(pk+1)(p1)1+1=p2kpk+p0(modp). n \cdot 2^{n} + 1 \equiv (p k + 1)(p - 1) \cdot 1 + 1 = p^{2} k - p k + p \equiv 0 \pmod{p}.
Since there are infinitely many numbers of the form (pk+1)(p1)(p k + 1)(p - 1), we get the conclusion.

b. Notice that nn is periodic modulo 33, with a period of 33, and 2n2^{n} is periodic modulo 33, with period 22. Hence, n2n+1n \cdot 2^{n} + 1 is periodic, with period (at most) 66, and only the first 66 positive integers need to be analyzed.
The answer is n=6k+1n = 6k + 1 or n=6k+2n = 6k + 2.

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.