MathDB
L 1

Source:

May 25, 2007
inductionalgebrabinomial theoremLinear Recurrencespen

Problem Statement

An integer sequence {an}n1\{a_{n}\}_{n \ge 1} is defined by a0=0,  a1=1,  an+2=2an+1+ana_{0}=0, \; a_{1}=1, \; a_{n+2}=2a_{n+1}+a_{n} Show that 2k2^{k} divides ana_{n} if and only if 2k2^{k} divides nn.