Show the identity for sequence T_n - ISL 1971
Source:
September 22, 2010
algebraSequencerecurrence relationLinear RecurrencesIMO Shortlist
Problem Statement
Let for and
Show that for all ,
1 + T_{2n-1} = \left[ \frac{12}{7}2^{n-1} \right] \text{and} 1 + T_{2n} = \left[ \frac{17}{7}2^{n-1} \right],
where denotes the greatest integer not exceeding