Maths Olympiad Prep

Library / China Hong Kong Mathematical Olympiad /52 of 89

China Hong Kong Mathematical Olympiad

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, ∣ai−ai−1∣=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 m∈Zm \in \mathbb{Z}, then c=b+∑k=1mf(4k−3)c = b + \sum_{k=1}^{m} f(4k - 3).
* If c=b+4m+1c = b + 4m + 1 for some m∈Zm \in \mathbb{Z}, then c=b+12+∑k=1mf(4k−2)c = b + 1^2 + \sum_{k=1}^{m} f(4k - 2).
* If c=b+4m+2c = b + 4m + 2 for some m∈Zm \in \mathbb{Z}, then c=b−12−22−32+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 m∈Zm \in \mathbb{Z}, then c=b−12+22+∑k=1mf(4k−1)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=17⋅18⋅356=1785<20121^2 + 2^2 + \cdots + 17^2 = \frac{17 \cdot 18 \cdot 35}{6} = 1785 < 2012, we have n≥18n \ge 18.

Secondly, when n=18n = 18, ±12±22±⋯±182≡1+0+⋯+1+0≡1(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=19⋅20⋅396=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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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