MathDB

1

Part of 1988 IMO Shortlist

Problems(1)

2^k divides a_n = 2*a_(n-1) + a_(n-2)

Source: IMO ShortList 1988, Problem 1, Bulgaria 1, Problem 1 of ILL

9/13/2008
An integer sequence is defined by { a_n = 2 a_{n-1} + a_{n-2}},   (n > 1),   a_0 = 0, a_1 = 1. Prove that 2k2^k divides ana_n if and only if 2k2^k divides nn.
modular arithmeticlinear algebraalgebraSequenceDivisibilityLinear RecurrencesIMO Shortlist