MathDB
Multiplicative recursion

Source: Cono Sur 2003 #2

November 18, 2015
number theorycono sur

Problem Statement

Define the sequence {an}\{a_n\} in the following manner: a1=1a_1=1 a2=3a_2=3 an+2=2an+1an+1a_{n+2}=2a_{n+1}a_{n}+1 ; for all n1n\geq1 Prove that the largest power of 22 that divides a4006a4005a_{4006}-a_{4005} is 22003.2^{2003}.