Maths Olympiad Prep

Library / India — Team Selection Test /19 of 77

India — Team Selection Test, 2010

Number theory Difficulty 5.4 AIME, harder Prove it India

Is there a positive integer nn, which is a multiple of 103103, such that 22n+1≡2(modn)2^{2n+1} \equiv 2 \pmod n?

Solution

We show that there is no such positive integer nn. Suppose the contrary; assume that a positive integer nn exists such that 22n+1≡2(modn)2^{2n+1} \equiv 2 \pmod n and 103∤n103 \nmid n. Then 22n+1≡2(mod103)2^{2n+1} \equiv 2 \pmod{103} as well; and as such 22n≡1(mod103)2^{2n} \equiv 1 \pmod{103}. Since 103103 is prime, Fermat's little theorem gives 2102≡1(mod103)2^{102} \equiv 1 \pmod{103}. If d1=gcd⁡(102,2n)d_1 = \gcd(102, 2n), it follows that 2d1≡1(mod103)2^{d_1} \equiv 1 \pmod{103}. But 102=2×3×17102 = 2 \times 3 \times 17. It is easy to rule out d1=2,3,6d_1 = 2, 3, 6. Hence 17∣d117 \mid d_1. In turn 17∤n17 \nmid n.

Again, using that 1717 is a factor of nn, we get 22n+1≡2(mod17)2^{2n+1} \equiv 2 \pmod{17} or 22n≡1(mod17)2^{2n} \equiv 1 \pmod{17}. Now 1717 being a prime, Fermat's little theorem implies that 216≡1(mod17)2^{16} \equiv 1 \pmod{17}. If d2=gcd⁡(16,2n)d_2 = \gcd(16, 2n), we see that d2d_2 is a power of 22 and 2d2≡1(mod17)2^{d_2} \equiv 1 \pmod{17}. We see that d2=2,4d_2 = 2, 4 do not fit in. Hence d2=8d_2 = 8 or 1616. But then d2∤2nd_2 \nmid 2n shows that 4∤n4 \nmid n. Hence 22n+1≡2(mod4)2^{2n+1} \equiv 2 \pmod 4, which may be seen to be impossible. Hence no such nn exists.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.