Maths Olympiad Prep

Library / /54 of 94

Algebra Difficulty 6.2 National Olympiad Prove it Hong Kong

A finite sequence of integers a0,a1,,ana_0, a_1, \dots, a_n is quadratic if for each i=1,2,,ni = 1, 2, \dots, n, aiai1=i2|a_i - a_{i-1}| = i^2.

a. Show that for any two integers bb and cc, b<cb < c, there exists a natural number nn and a quadratic sequence with a0=ba_0 = b and an=ca_n = c.

b. Find the smallest natural number nn for which there exists a quadratic sequence with a0=0a_0 = 0 and $a_n = 2012.

Solution

a.
Observe that f(k)=k2(k+1)2(k+2)2+(k+3)2=4f(k) = k^2 - (k+1)^2 - (k+2)^2 + (k+3)^2 = 4 for any integer kk.

* If c=b+4mc = b + 4m for some mZm \in \mathbb{Z}, then c=b+k=1mf(4k3)c = b + \sum_{k=1}^{m} f(4k - 3).
* If c=b+4m+1c = b + 4m + 1 for some mZm \in \mathbb{Z}, then c=b+12+k=1mf(4k2)c = b + 1^2 + \sum_{k=1}^{m} f(4k - 2).
* If c=b+4m+2c = b + 4m + 2 for some mZm \in \mathbb{Z}, then c=b122232+42+k=1mf(4k+1)c = b - 1^2 - 2^2 - 3^2 + 4^2 + \sum_{k=1}^{m} f(4k + 1).
* If c=b+4m+3c = b + 4m + 3 for some mZm \in \mathbb{Z}, then c=b12+22+k=1mf(4k1)c = b - 1^2 + 2^2 + \sum_{k=1}^{m} f(4k - 1).

Therefore, in any case we can write cc as b±12±22±±n2b \pm 1^2 \pm 2^2 \pm \cdots \pm n^2 for some nn and some choices of the signs. This clearly solves the problem.

b.
The answer is 1919.

Firstly, since 12+22++172=1718356=1785<20121^2 + 2^2 + \cdots + 17^2 = \frac{17 \cdot 18 \cdot 35}{6} = 1785 < 2012, we have n18n \ge 18.

Secondly, when n=18n = 18, ±12±22±±1821+0++1+01(mod2)\pm 1^2 \pm 2^2 \pm \cdots \pm 18^2 \equiv 1 + 0 + \cdots + 1 + 0 \equiv 1 \pmod{2}. This shows bb and cc cannot have the same parity, which is a contradiction.

Lastly, it remains to provide a construction for n=19n = 19. Since
12+22++192=1920396=2470=2012+2×229=2012+2(22+152), 1^2 + 2^2 + \cdots + 19^2 = \frac{19 \cdot 20 \cdot 39}{6} = 2470 = 2012 + 2 \times 229 = 2012 + 2(2^2 + 15^2),
we can change the signs of 222^2 and 15215^2 to negative, so that the new sum becomes 20122012. This gives a corresponding quadratic sequence that satisfies the requirement.

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.