MathDB
M 22

Source:

May 25, 2007
functionRecursive Sequences

Problem Statement

Let a\, a, and bb \, be odd positive integers. Define the sequence {fn}n1\{f_n\}_{n\ge 1} by putting f1=a,\, f_1 = a, f2=b,f_2 = b, \, and by letting fn\, f_n \, for n3\, n \geq 3 \, be the greatest odd divisor of fn1+fn2\, f_{n-1} + f_{n-2}. Show that fn\, f_n \, is constant for sufficiently large n\, n \, and determine the eventual value as a function of a\, a \, and b\, b.