Maths Olympiad Prep

Library / /53 of 196

Algebra Difficulty 4.7 AIME Prove it Soviet Union

Problem:

Given integers a0a_0, a1a_1, ..., a100a_{100}, satisfying a1>a0a_1 > a_0, a1>0a_1 > 0, and ar+2=3ar+12ara_{r + 2} = 3 a_{r + 1} - 2 a_r for r=0r = 0, 11, ..., 9898. Prove a100>299a_{100} > 2^{99}.

Solution

Solution:

An easy induction gives ar=(2r1)a1(2r2)a0a_r = (2^{r} - 1)a_1 - (2^{r} - 2)a_0 for r=2r = 2, 33, ..., 100100. Hence, in particular, a100=(21002)(a1a0)+a1a_{100} = (2^{100} - 2)(a_1 - a_0) + a_1. But a1a_1 and (a1a0)(a_1 - a_0) are both at least 11. Hence result.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.