Maths Olympiad Prep

Library / /6 of 16

Algebra Difficulty 5.5 AIME, harder Prove it Austria

We order the positive integers in two rows in the following manner:
1 3 6 11 19 32 53 ...
2 4 5 7 8 9 10 12 13 14 15 16 17 18 20 to 31 33 to 52 54 ...
We first write 11 in the first row, 22 in the second and 33 in the first. After this, the following integers are written in such a way that an individual integer is always added in the first row and blocks of consecutive integers are added in the second row, with the leading number of a block giving the number of (consecutive) integers to be written in the next block.
We name the numbers in the first row a1,a2,a3,a_1, a_2, a_3, \dots
Determine an explicit formula for ana_n.
G. Baron, Vienna

Solution

We first note that a1=1a_1 = 1, a2=3a_2 = 3 and a3=6a_3 = 6 hold. It is quite straight-forward to note that a block of length an1+1a_{n-1} + 1 starts with the number an+1a_n + 1, and that this block therefore ends on the number an+(an1+1)a_n + (a_{n-1} + 1), which yields an+1=an+an1+2a_{n+1} = a_n + a_{n-1} + 2.

This recursion has the constant solution an2a_n \equiv -2, and the homogeneous recursion an+1=an+an1a_{n+1} = a_n + a_{n-1} is obviously of Fibonacci type. Writing the Fibonacci sequence in the form F0=0F_0 = 0, F1=1F_1 = 1, F2=1F_2 = 1, F3=2F_3 = 2 and so on, we can easily check that an=Fn+32a_n = F_{n+3} - 2 holds for n=1,2,3n = 1, 2, 3, and this therefore yields an explicit formula for ana_n. \square

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 and solution reproduced as published; topic and difficulty added by this site.