MathDB
a_n= a_{n-1} + a_{[n/3]}

Source: Vietnam TST 2001 for the 42th IMO, problem 1

June 26, 2005
calculusintegrationfloor functionalgebra unsolvedalgebra

Problem Statement

Let a sequence of integers {an}\{a_n\}, nNn \in \mathbb{N} be given, defined by a0=1,an=an1+a[n/3]a_0 = 1, a_n= a_{n-1} + a_{[n/3]} for all nNn \in \mathbb{N}^{*}. Show that for all primes p13p \leq 13, there are infinitely many integer numbers kk such that aka_k is divided by pp. (Here [x][x] denotes the integral part of real number xx).