MathDB
a_{n+2} = 2a_{n+1} + 41a_n

Source: Irish MO 2017 paper 1 problem 5

December 12, 2022
number theoryrecurrence relationalgebra

Problem Statement

The sequence a=(a0,a1,a2,...)a = (a_0, a_1,a_2,...) is defined by a0=0,a1=2a_0 = 0, a_1 =2 and an+2=2an+1+41ana_{n+2} = 2a_{n+1} + 41a_nProve that a2016a_{2016} is divisible by 2017.2017.