MathDB
Sequence and prime divisors

Source: Middle European Mathematical Olympiad 2012 - Individuals I-4

September 14, 2012
number theoryprime numbersnumber theory proposed

Problem Statement

The sequence {an}n0 \{ a_n \} _ { n \ge 0 } is defined by a0=2,a1=4 a_0 = 2 , a_1 = 4 and an+1=anan12+an+an1 a_{n+1} = \frac{a_n a_{n-1}}{2} + a_n + a_{n-1} for all positive integers n n . Determine all prime numbers p p for which there exists a positive integer m m such that p p divides the number am1 a_m - 1 .