Maths Olympiad Prep

Library / /8 of 12

Combinatorics Difficulty 6.1 National olympiad Prove it Bulgaria

Let nNn \in \mathbb{N}. Find the number of all sequences A0,A1,,AnA_0, A_1, \dots, A_n of pairwise different points in the plane with non-negative integer first coordinates and second coordinates 00 or 11, such that A0=(0,0)A_0 = (0,0) and
xAixAi1+yAiyAi1=1 |x_{A_i} - x_{A_{i-1}}| + |y_{A_i} - y_{A_{i-1}}| = 1
for 1in1 \le i \le n.

Solution

Denote by cnc_n the number of the sequences from the problem. Define the number dnd_n in a similar way but replacing the given equality by
xAixAi1+yAiyAi1=1,1in; x_{A_i} - x_{A_{i-1}} + |y_{A_i} - y_{A_{i-1}}| = 1, \quad 1 \le i \le n;
call the respective sequences right and the other sequences wrong. It is not difficult to see that d0=1d_0 = 1, d1=2d_1 = 2 and di+2=di+1+did_{i+2} = d_{i+1} + d_i (to any right sequence A0,A1,,Ai+2A_0, A_1, \dots, A_{i+2} associate A0,A1,,Ai+1A_0, A_1, \dots, A_{i+1} if xAi+2=xAi+1x_{A_{i+2}} = x_{A_{i+1}}, and A0,A1,,AiA_0, A_1, \dots, A_i otherwise). It follows that dnd_n is (n+2)(n+2)-th Fibonacci number fn+2f_{n+2}. We associate to any wrong sequence A0,A1,,AnA_0, A_1, \dots, A_n (n3n \ge 3) the right sequence A0,A1,,AkA_0, A_1, \dots, A_k for which xk=xnx_k = x_n, kn3k \le n-3. It is clear that xk+1=xk+1x_{k+1} = x_k + 1; we shall call such sequences super right. Note that the number of the super right sequences of length kk is equal to
(2)dk1=fk+1 (2) \qquad d_{k-1} = f_{k+1}
(this remains true for k=0k=0). There is an obvious bijection between the set of the wrong sequences of length nn and the set of the super right sequences with lengths n3,n5,n-3, n-5, \dots. It follows by (2) and (1) that
cn=dn+dn1+dn2+=2fn+1εn=25(qn+1(1q)n+1)εn, c_n = d_n + d_{n-1} + d_{n-2} + \dots = 2f_{n+1} - \varepsilon_n = \frac{2}{\sqrt{5}}(q^{n+1} - (1-q)^{n+1}) - \varepsilon_n,
where εn=1+(1)n2 and q=1+52. \text{where } \varepsilon_n = \frac{1 + (-1)^n}{2} \text{ and } q = \frac{1 + \sqrt{5}}{2}.

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.