MathDB
(1 + \sqrt5)^n =\sqrt{a_n} + \sqrt{a_n+4^n}

Source: 2010 Saudi Arabia IMO TST V p2

December 28, 2021
number theoryalgebraSequence

Problem Statement

a) Prove that for each positive integer nn there is a unique positive integer ana_n such that (1+5)n=an+an+4n.(1 + \sqrt5)^n =\sqrt{a_n} + \sqrt{a_n+4^n} . b) Prove that a2010a_{2010} is divisible by 5420095\cdot 4^{2009} and find the quotient