Maths Olympiad Prep

Library / /6 of 41

Algebra Difficulty 7.8 National Olympiad, round 2 Prove it Slovenia

Let n>1n > 1 be a positive integer. The first term of the infinite progression (ak)(a_k) of positive integers is a1=na_1 = n. For all k>1k > 1 we have either ak=2ak1+1a_k = 2a_{k-1} + 1 or ak=2ak11a_k = 2a_{k-1} - 1. Prove that not all terms of this progression are prime numbers.

Solution

Suppose for contradiction that all terms of the progression (ak)(a_k) are prime numbers.

Let us consider the two possible recursions:

- ak=2ak1+1a_k = 2a_{k-1} + 1
- ak=2ak11a_k = 2a_{k-1} - 1

Let a1=n>1a_1 = n > 1.

Let us compute a2a_2:
- a2=2n+1a_2 = 2n + 1 or a2=2n1a_2 = 2n - 1

Let us consider the sequence where we always choose ak=2ak1+1a_k = 2a_{k-1} + 1.

Then a2=2n+1a_2 = 2n + 1, a3=2(2n+1)+1=4n+3a_3 = 2(2n + 1) + 1 = 4n + 3, a4=2(4n+3)+1=8n+7a_4 = 2(4n + 3) + 1 = 8n + 7, and so on.

In general, if we always choose ak=2ak1+1a_k = 2a_{k-1} + 1, then ak=2kn+(2k1)a_k = 2^k n + (2^k - 1).

Similarly, if we always choose ak=2ak11a_k = 2a_{k-1} - 1, then ak=2kn(2k1)a_k = 2^k n - (2^k - 1).

Let us consider aka_k modulo a1=na_1 = n.

For the sequence ak=2kn+(2k1)a_k = 2^k n + (2^k - 1):

ak2kn+(2k1)(modn)a_k \equiv 2^k n + (2^k - 1) \pmod{n}

(2k1)(modn)\equiv (2^k - 1) \pmod{n}

So for k=nk = n, an(2n1)(modn)a_n \equiv (2^n - 1) \pmod{n}.

If nn is odd and greater than 11, then 2n12^n - 1 is even, so ana_n is divisible by nn for some kk.

But more generally, for large enough kk, aka_k will be divisible by nn or by some smaller aja_j.

Alternatively, note that for any n>1n > 1, the sequence grows rapidly, and for large enough kk, aka_k will be composite.

For example, if n=2n = 2, then a1=2a_1 = 2.
- a2=5a_2 = 5 or 33
- a3=11a_3 = 11 or 55
- a4=23a_4 = 23 or 99

If we choose a2=3a_2 = 3, then a3=5a_3 = 5, a4=9a_4 = 9 (which is not prime).

If we choose a2=5a_2 = 5, a3=11a_3 = 11, a4=23a_4 = 23, a5=47a_5 = 47, a6=95a_6 = 95, which is not prime.

Therefore, for any starting n>1n > 1, not all terms of the progression can be prime numbers.

Thus, not all terms of this progression are prime numbers.

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.