Maths Olympiad Prep

Library / /5 of 5

Combinatorics Difficulty 7.6 National olympiad, round 2 Prove it Brazil

Two mathematicians, lost in Berlin, arrived on the corner of Barbarossa street with Martin Luther street and need to arrive on the corner of Meininger street with Martin Luther street. Unfortunately they don't know which direction to go along Martin Luther Street to reach Meininger Street nor how far it is, so they must go forwards and backwards along Martin Luther street until they arrive at their destination. What is the smallest value for a positive integer KK so that they can be sure that if there are NN blocks between Barbarossa street and Meininger street then they can arrive at their destination by walking no more than KNKN blocks (no matter what NN turns out to be)? The mathematicians always walk together.

Solution

Since the mathematicians didn't know which side and at what distance their destination was, they should adopt the following strategy: walk a1a_1 blocks on one side (say, left), then go back to the starting point and walk a2a_2 blocks to the right, then go back again and walk a3a_3 blocks to the left, and so on, with a1<a3<a5<a_1 < a_3 < a_5 < \dots and a2<a4<a6<a_2 < a_4 < a_6 < \dots until they find their destination. The worst cases happen when the destination is a2k+1+1a_{2k+1} + 1 blocks to the left or a2k+1a_{2k} + 1 blocks to the right.
In these cases, there are an+1a_n + 1 blocks between the starting point and the destination and the mathematicians walk a total of 2a1+2a2++2an+2an+1+an+12a_1 + 2a_2 + \dots + 2a_n + 2a_{n+1} + a_n + 1 blocks until they reach their destination. So 2a1+2a2++2an+2an+1+ank(an+1)2a_1 + 2a_2 + \dots + 2a_n + 2a_{n+1} + a_n \le k(a_n + 1) or sn+1(k12)(an+1)s_{n+1} \le \left(\frac{k-1}{2}\right)(a_n + 1) for all naturals nn, where st=a1+a2++ats_t = a_1 + a_2 + \dots + a_t.
For k=9k=9 there are strategies satisfying the conditions of the problem: for example, consider am=2ma_m = 2^m. Notice that sn+1=21+22++2n+1=2n+22<4(2n+1)=(k12)(an+1)s_{n+1} = 2^1 + 2^2 + \dots + 2^{n+1} = 2^{n+2} - 2 < 4(2^n + 1) = \left(\frac{k-1}{2}\right)(a_n + 1) for all naturals nn.
Now we prove that kk cannot be less than 9. If k<9k < 9 then c=k12<4c = \frac{k-1}{2} < 4. Since an=snsn1a_n = s_n - s_{n-1} we have sn+1c(snsn1+1)s_{n+1} \le c(s_n - s_{n-1} + 1) for all naturals nn. Let un=sncu_n = s_n - c so that un+1c(unun1)u_{n+1} \le c(u_n - u_{n-1}). Since c<4c < 4, un>0u_n > 0 for all n3n \ge 3 and if vn=un+1unv_n = \frac{u_{n+1}}{u_n} for n3n \ge 3, vnc(11vn1)v_n \le c\left(1 - \frac{1}{v_{n-1}}\right) for all n4n \ge 4 and vnvn1c(11vn1)vn1=cvn1cvn121vn1=c2/4c(c/2vn1)2vn1c(c4)4vn1<0v_n - v_{n-1} \le c\left(1 - \frac{1}{v_{n-1}}\right) - v_{n-1} = \frac{cv_{n-1} - c - v_{n-1}^2 - 1}{v_{n-1}} = \frac{c^2/4 - c - (c/2 - v_{n-1})^2}{v_{n-1}} \le \frac{c(c-4)}{4v_{n-1}} < 0, from which vn<vn1v_n < v_{n-1} for all n4n \ge 4. On the other hand, for all n4n \ge 4 we have vnvn1c(c4)vn1    vnvn1c(c4)4v3v_n - v_{n-1} \le \frac{c(c-4)}{v_{n-1}} \implies v_n - v_{n-1} \le \frac{c(c-4)}{4v_3} for n4n \ge 4 and so vnv3+(n3)c(c4)4v3v_n \le v_3 + \frac{(n-3)c(c-4)}{4v_3} for all n4n \ge 4, a contradiction because the right hand side is negative for n>3+4v32c(4c)n > 3 + \frac{4v_3^2}{c(4-c)}.

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.