Olympiad Maths Prep

Track / Stage 7 / 141 of 300 #1541 of 2000

Problem 1541

National olympiad second round; IMO P1/P4
Number theory Difficulty 7.2 Prove it

Let c,d2c,d \geq 2 be naturals. Let {an}\{a_n\} be the sequence satisfying a1=c,an+1=and+ca_1 = c, a_{n+1} = a_n^d + c for n=1,2,n = 1,2,\cdots.
Prove that for any n2n \geq 2, there exists a prime number pp such that panp|a_n and p∤aip \not | a_i for i=1,2,n1i = 1,2,\cdots n-1.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Assume the contrary: Suppose there exists some nN+ n \in \mathbb{N}_+ such that all prime factors of an a_n are also prime factors of k=1n1ak \prod_{k=1}^{n-1} a_k .

2. Choose a prime factor: Let p p be a prime factor of an a_n . Then there exists 1jn1 1 \leq j \leq n-1 such that paj p \mid a_j . Choose the smallest such j j .

3. **Prove periodicity modulo p p **: We need to show that jn j \mid n . Consider the sequence modulo p p :
aj+1ajd+cca1(modp) a_{j+1} \equiv a_j^d + c \equiv c \equiv a_1 \pmod{p}
By induction, we can show that for any uN+ u \in \mathbb{N}_+ ,
aj+uau(modp) a_{j+u} \equiv a_u \pmod{p}
This implies that the sequence {an} \{a_n\} is periodic with period j j modulo p p .

4. **Express n n in terms of j j **: Write n=qj+r n = qj + r where qZ q \in \mathbb{Z} and 0<rj 0 < r \leq j . Then,
anar(modp) a_n \equiv a_r \pmod{p}
By the minimality of j j , we must have r=j r = j , hence jn j \mid n .

5. **Prove vp(an)=vp(aj) v_p(a_n) = v_p(a_j) **: Let vp(an)=r v_p(a_n) = r . Then,
aj+1=ajd+cca1(modprd) a_{j+1} = a_j^d + c \equiv c \equiv a_1 \pmod{p^{rd}}
By induction, for any uN+ u \in \mathbb{N}_+ ,
aj+uau(modprd) a_{j+u} \equiv a_u \pmod{p^{rd}}
Thus,
anaj(modprd) a_n \equiv a_j \pmod{p^{rd}}
Since vp(aj)=r<rd v_p(a_j) = r < rd , it follows that vp(an)=vp(aj) v_p(a_n) = v_p(a_j) .

6. Contradiction: For all prime factors p p of an a_n ,
vp(an)vp(k=1n1ak) v_p(a_n) \leq v_p\left(\prod_{k=1}^{n-1} a_k \right)
Hence,
ank=1n1ak a_n \mid \prod_{k=1}^{n-1} a_k
Therefore,
ank=1n1ak a_n \leq \prod_{k=1}^{n-1} a_k
However, for n=2 n = 2 ,
a2=a1d+c>a1 a_2 = a_1^d + c > a_1
By induction, if an1>k=1n2ak a_{n-1} > \prod_{k=1}^{n-2} a_k , then
an>an12>k=1n1ak a_n > a_{n-1}^2 > \prod_{k=1}^{n-1} a_k
This shows that for all nN+ n \in \mathbb{N}_+ ,
an>k=1n1ak a_n > \prod_{k=1}^{n-1} a_k
This is a contradiction. Therefore, there exists a prime factor p p of an a_n such that pk=1n1ak p \nmid \prod_{k=1}^{n-1} a_k .

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.