Source: Junior Olympiad of Malaysia Shortlist 2015 A6
July 17, 2015
algebra
Problem Statement
Let (an)n≥0 and (bn)n≥0 be two sequences with arbitrary real values a0,a1,b0,b1. For n≥1, let an+1,bn+1 be defined in this way:
an+1=2bn−1+bn,bn+1=2an−1+an
Prove that for any constant c>0 there exists a positive integer N s.t. for all n>N, ∣an−bn∣<c.