Maths Olympiad Prep

Library / /412 of 520

Number theory Difficulty 7.0 National olympiad, round 2 Prove it

The sequence c0,c1,,cn,c_{0}, c_{1}, \ldots, c_{n}, \ldots is defined by c0=1,c1=0c_{0}=1, c_{1}=0 and cn+2=cn+1+cnc_{n+2}=c_{n+1}+c_{n} for n0n \geq 0. Consider the set SS of ordered pairs (x,y)(x, y) for which there is a finite set JJ of positive integers such that x=jJcj,y=jJcj1x=\sum_{j \in J} c_{j}, y=\sum_{j \in J} c_{j-1}. Prove that there exist real numbers α,β\alpha, \beta and m,Mm, M with the following property: An ordered pair of nonnegative integers (x,y)(x, y) satisfies the inequality
m<αx+βy<M m<\alpha x+\beta y<M
if and only if (x,y)S(x, y) \in S.
N. B. A sum over the elements of the empty set is assumed to be 0.
(Russia)

Solution

Let φ=(1+5)/2\varphi=(1+\sqrt{5}) / 2 and ψ=(15)/2\psi=(1-\sqrt{5}) / 2 be the roots of the quadratic equation t2t1=0t^{2}-t-1=0. So φψ=1,φ+ψ=1\varphi \psi=-1, \varphi+\psi=1 and 1+ψ=ψ21+\psi=\psi^{2}. An easy induction shows that the general term cnc_{n} of the given sequence satisfies
cn=φn1ψn1φψ for n0 c_{n}=\frac{\varphi^{n-1}-\psi^{n-1}}{\varphi-\psi} \quad \text { for } n \geq 0 \text {. }
Suppose that the numbers α\alpha and β\beta have the stated property, for appropriately chosen mm and MM. Since (cn,cn1)S\left(c_{n}, c_{n-1}\right) \in S for each nn, the expression
αcn+βcn1=α5(φn1ψn1)+β5(φn2ψn2)=15[(αφ+β)φn2(αψ+β)ψn2] \alpha c_{n}+\beta c_{n-1}=\frac{\alpha}{\sqrt{5}}\left(\varphi^{n-1}-\psi^{n-1}\right)+\frac{\beta}{\sqrt{5}}\left(\varphi^{n-2}-\psi^{n-2}\right)=\frac{1}{\sqrt{5}}\left[(\alpha \varphi+\beta) \varphi^{n-2}-(\alpha \psi+\beta) \psi^{n-2}\right]
is bounded as nn grows to infinity. Because φ>1\varphi>1 and 1<ψ<0-1<\psi<0, the only way this can happen is if αφ+β=0\alpha \varphi+\beta=0. Therefore, αψ+β=α(ψφ)=α5\alpha \psi+\beta=\alpha(\psi-\varphi)=-\alpha \sqrt{5}. The expression simplifies to
αcn+βcn1=α55ψn2=αψn2. \alpha c_{n}+\beta c_{n-1}=\frac{-\alpha \sqrt{5}}{\sqrt{5}} \psi^{n-2}=-\alpha \psi^{n-2}.
Since ψn2\psi^{n-2} is bounded, αcn+βcn1\alpha c_{n}+\beta c_{n-1} is bounded if and only if α=0\alpha=0. But this contradicts the condition of the lemma.

Let jr=jr+1=1j_{r}=j_{r+1}=1; then r=1kψjr\sum_{r=1}^{k} \psi^{j_{r}} contains at least two summands equal to ψ1=ψ\psi^{1}=\psi. Like in the case jr=jr+1=0j_{r}=j_{r+1}=0, we also infer that js0j_{s} \neq 0 and js2j_{s} \neq 2 for all ss. Therefore
\psi x+y=\sum_{r=1}^{k} \psi^{j_{r}}0$. The current set $J$ should be \text { either } 1 \leq j_{1}\psi>-1;therefore; therefore x^{\prime}, y^{\prime} \geq 0.Moreover,wehave. Moreover, we have 3 x^{\prime}+2 y^{\prime}=2 x+y \leq \frac{2}{3} n;therefore,if(3)holdsthentheinductionapplies:thenumbers; therefore, if (3) holds then the induction applies: the numbers x^{\prime}, y^{\prime}arerepresentedintheformasneeded,hence are represented in the form as needed, hence x, y$ also.

Now consider ψx+y1ψ\frac{\psi x+y-1}{\psi}. Since
ψx+y1ψ=x+(ψ1)(y1)=ψ(y1)+(xy+1) \frac{\psi x+y-1}{\psi}=x+(\psi-1)(y-1)=\psi(y-1)+(x-y+1)
we set x=y1x^{\prime}=y-1 and y=xy+1y^{\prime}=x-y+1. Again we require that ψx+y1ψ(1,φ)\frac{\psi x+y-1}{\psi} \in(-1, \varphi), i.e.
ψx+y(φψ+1,(1)ψ+1)=(0,φ). \psi x+y \in(\varphi \cdot \psi+1,(-1) \cdot \psi+1)=(0, \varphi) .
If (4) holds then y1ψx+y1>1y-1 \geq \psi x+y-1>-1 and xy+1ψxy+1>φ+1>1x-y+1 \geq-\psi x-y+1>-\varphi+1>-1, therefore x,y0x^{\prime}, y^{\prime} \geq 0. Moreover, 3x+2y=2x+y1<23n3 x^{\prime}+2 y^{\prime}=2 x+y-1<\frac{2}{3} n and the induction works.

Finally, (1,ψ)(0,φ)=(1,φ)(-1,-\psi) \cup(0, \varphi)=(-1, \varphi) so at least one of (3) and (4) holds and the induction step is justified.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.