MathDB
A sequence

Source: China TST 2003

June 29, 2006
number theory unsolvednumber theory

Problem Statement

Sequence {an}\{ a_n \} satisfies: a1=3a_1=3, a2=7a_2=7, an2+5=an1an+1a_n^2+5=a_{n-1}a_{n+1}, n2n \geq 2. If an+(1)na_n+(-1)^n is prime, prove that there exists a nonnegative integer mm such that n=3mn=3^m.