Maths Olympiad Prep

Library / /1 of 2

Number theory Difficulty 7.6 National Olympiad, round 2 Prove it United States

For a positive integer aa, define a sequence of integers x1,x2,x_1, x_2, \dots by letting x1=ax_1 = a and xn+1=2xn+1x_{n+1} = 2x_n + 1 for n1n \ge 1. Let yn=2xn1y_n = 2^{x_n} - 1. Determine the largest possible kk such that, for some positive integer aa, the numbers y1,,yky_1, \dots, y_k are all prime.

(This problem was suggested by Valery Senderov from Russia.)

Solution

The answer is k=2k=2. If a=1a=1, then y1=1y_1=1 is not prime. If a=2a=2, then y1=3y_1=3 and y2=31y_2=31 are prime, while y3=2111=2389y_3 = 2^{11}-1 = 23 \cdot 89 is composite. It now remains only to check that y1,y2y_1, y_2, and y3y_3 cannot all be prime for a3a \ge 3.

Suppose otherwise for the sake of contradiction that y1,y2y_1, y_2, and y3y_3 are all prime. Because yi=2xi1y_i = 2^{x_i} - 1, this implies that x1,x2x_1, x_2, and x3x_3 are all prime; in particular, aa is prime. Observe that x23(mod4)x_2 \equiv 3 \pmod 4, which implies that x37(mod8)x_3 \equiv 7 \pmod 8. Therefore, we see that 22 is a quadratic residue modulo x3x_3, so we may find some ss for which 2s2(modx3)2 \equiv s^2 \pmod{x_3}. For this ss, we have
2x22x312sx311(modx3), 2^{x_2} \equiv 2^{\frac{x_3-1}{2}} \equiv s^{x_3-1} \equiv 1 \pmod{x_3},
which implies that x32x21x_3 \mid 2^{x_2} - 1. But y2=2x21y_2 = 2^{x_2} - 1 is prime, so this implies that 2x2+1=x3=2x212x_2 + 1 = x_3 = 2^{x_2} - 1. We have also that x2>3x_2 > 3, which implies that 2x21>2x2+12^{x_2} - 1 > 2x_2 + 1, yielding a contradiction.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.