MathDB
binomial sum with recurrence relation

Source: VJIMC 1996 1.2

October 12, 2021
Sequencesrecurrence relationSummationBinomialalgebra

Problem Statement

Let {an}n=0\{a_n\}^\infty_{n=0} be the sequence of integers such that a0=1a_0=1, a1=1a_1=1, an+2=2an+12ana_{n+2}=2a_{n+1}-2a_n. Decide whether an=k=0n2(n2k)(1)k.a_n=\sum_{k=0}^{\left\lfloor\frac n2\right\rfloor}\binom n{2k}(-1)^k.