MathDB
2007 Guts #22: Recursive Sequences GCD

Source:

June 22, 2012
number theorygreatest common divisor

Problem Statement

The sequence {an}n1\{a_n\}_{n\geq 1} is defined by an+2=7an+1ana_{n+2}=7a_{n+1}-a_n for positive integers nn with initial values a1=1a_1=1 and a2=8a_2=8. Another sequence, {bn}\{b_n\}, is defined by the rule bn+2=3bn+1bnb_{n+2}=3b_{n+1}-b_n for positive integers nn together with the values b1=1b_1=1 and b2=2b_2=2. Find gcd(a5000,b501)\gcd(a_{5000},b_{501}).