Maths Olympiad Prep

Library / /406 of 520

Algebra Difficulty 7.0 National olympiad Find the answer

Let a0,a1,a2,a_{0}, a_{1}, a_{2}, \ldots be a sequence of real numbers such that a0=0,a1=1a_{0}=0, a_{1}=1, and for every n2n \geqslant 2 there exists 1kn1 \leqslant k \leqslant n satisfying an=an1++ankk a_{n}=\frac{a_{n-1}+\cdots+a_{n-k}}{k} Find the maximal possible value of a2018a2017a_{2018}-a_{2017}. (Belgium)

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

The claimed maximal value is achieved at
a1=a2==a2016=1,a2017=a2016++a02017=112017,a2018=a2017++a12017=1120172. \begin{gathered} a_{1}=a_{2}=\cdots=a_{2016}=1, \quad a_{2017}=\frac{a_{2016}+\cdots+a_{0}}{2017}=1-\frac{1}{2017}, \\ a_{2018}=\frac{a_{2017}+\cdots+a_{1}}{2017}=1-\frac{1}{2017^{2}}. \end{gathered}
Now we need to show that this value is optimal. For brevity, we use the notation
S(n,k)=an1+an2++ankfor nonnegative integers kn. S(n, k)=a_{n-1}+a_{n-2}+\cdots+a_{n-k} \quad \text{for nonnegative integers } k \leqslant n.
In particular, S(n,0)=0 S(n, 0)=0 and S(n,1)=an1 S(n, 1)=a_{n-1} . In these terms, for every integer n2 n \geqslant 2 there exists a positive integer kn k \leqslant n such that an=S(n,k)/k a_{n}=S(n, k) / k . For every integer n1 n \geqslant 1 we define
Mn=max1knS(n,k)k,mn=min1knS(n,k)k,andΔn=Mnmn0. M_{n}=\max _{1 \leqslant k \leqslant n} \frac{S(n, k)}{k}, \quad m_{n}=\min _{1 \leqslant k \leqslant n} \frac{S(n, k)}{k}, \quad \text{and} \quad \Delta_{n}=M_{n}-m_{n} \geqslant 0.
By definition, an[mn,Mn] a_{n} \in [m_{n}, M_{n}] for all n2 n \geqslant 2 ; on the other hand, an1=S(n,1)/1[mn,Mn] a_{n-1}=S(n, 1) / 1 \in [m_{n}, M_{n}] . Therefore,
a2018a2017M2018m2018=Δ2018, a_{2018}-a_{2017} \leqslant M_{2018}-m_{2018}=\Delta_{2018},
and we are interested in an upper bound for Δ2018 \Delta_{2018} .

Also by definition, for any n>2 n > 2 , we have Δnn1nΔn1 \Delta_{n} \leqslant \frac{n-1}{n} \Delta_{n-1} .

Proof. Choose positive integers k,n k, \ell \leqslant n such that Mn=S(n,k)/k M_{n}=S(n, k) / k and mn=S(n,)/ m_{n}=S(n, \ell) / \ell . We have S(n,k)=an1+S(n1,k1) S(n, k)=a_{n-1}+S(n-1, k-1) , so
k(Mnan1)=S(n,k)kan1=S(n1,k1)(k1)an1(k1)(Mn1an1), k\left(M_{n}-a_{n-1}\right)=S(n, k)-k a_{n-1}=S(n-1, k-1)-(k-1) a_{n-1} \leqslant (k-1)\left(M_{n-1}-a_{n-1}\right),
since S(n1,k1)(k1)Mn1 S(n-1, k-1) \leqslant (k-1) M_{n-1} . Similarly, we get
(an1mn)=(1)an1S(n1,1)(1)(an1mn1). \ell\left(a_{n-1}-m_{n}\right)=(\ell-1) a_{n-1}-S(n-1, \ell-1) \leqslant (\ell-1)\left(a_{n-1}-m_{n-1}\right).
Since mn1an1Mn1 m_{n-1} \leqslant a_{n-1} \leqslant M_{n-1} and k,n k, \ell \leqslant n , the obtained inequalities yield
Mnan1k1k(Mn1an1)n1n(Mn1an1)andan1mn1(an1mn1)n1n(an1mn1). \begin{array}{ll} M_{n}-a_{n-1} \leqslant \frac{k-1}{k}\left(M_{n-1}-a_{n-1}\right) \leqslant \frac{n-1}{n}\left(M_{n-1}-a_{n-1}\right) \quad \text{and} \\ a_{n-1}-m_{n} \leqslant \frac{\ell-1}{\ell}\left(a_{n-1}-m_{n-1}\right) \leqslant \frac{n-1}{n}\left(a_{n-1}-m_{n-1}\right). \end{array}
Therefore,
Δn=(Mnan1)+(an1mn)n1n((Mn1an1)+(an1mn1))=n1nΔn1. \Delta_{n}=\left(M_{n}-a_{n-1}\right)+\left(a_{n-1}-m_{n}\right) \leqslant \frac{n-1}{n}\left(\left(M_{n-1}-a_{n-1}\right)+\left(a_{n-1}-m_{n-1}\right)\right)=\frac{n-1}{n} \Delta_{n-1}.

Back to the problem, if an=1 a_{n}=1 for all n2017 n \leqslant 2017 , then a20181 a_{2018} \leqslant 1 and hence a2018a20170 a_{2018}-a_{2017} \leqslant 0 . Otherwise, let 2q2017 2 \leqslant q \leqslant 2017 be the minimal index with aq<1 a_{q}<1 . We have S(q,i)=i S(q, i)=i for all i=1,2,,q1 i=1,2, \ldots, q-1 , while S(q,q)=q1 S(q, q)=q-1 . Therefore, aq<1 a_{q}<1 yields aq=S(q,q)/q=11q a_{q}=S(q, q) / q=1-\frac{1}{q} .

Now we have S(q+1,i)=i1q S(q+1, i)=i-\frac{1}{q} for i=1,2,,q i=1,2, \ldots, q , and S(q+1,q+1)=q1q S(q+1, q+1)=q-\frac{1}{q} . This gives us
mq+1=S(q+1,1)1=S(q+1,q+1)q+1=q1qandMq+1=S(q+1,q)q=q21q2 m_{q+1}=\frac{S(q+1,1)}{1}=\frac{S(q+1, q+1)}{q+1}=\frac{q-1}{q} \quad \text{and} \quad M_{q+1}=\frac{S(q+1, q)}{q}=\frac{q^{2}-1}{q^{2}}
so Δq+1=Mq+1mq+1=(q1)/q2 \Delta_{q+1}=M_{q+1}-m_{q+1}=(q-1) / q^{2} . Denoting N=2017q N=2017 \geqslant q and using Claim 1 for n=q+2,q+3,,N+1 n=q+2, q+3, \ldots, N+1 we finally obtain
ΔN+1q1q2q+1q+2q+2q+3NN+1=1N+1(11q2)1N+1(11N2)=N1N2 \Delta_{N+1} \leqslant \frac{q-1}{q^{2}} \cdot \frac{q+1}{q+2} \cdot \frac{q+2}{q+3} \cdots \frac{N}{N+1}=\frac{1}{N+1}\left(1-\frac{1}{q^{2}}\right) \leqslant \frac{1}{N+1}\left(1-\frac{1}{N^{2}}\right)=\frac{N-1}{N^{2}}
as required.

Comment 1. One may check that the maximal value of a2018a2017 a_{2018}-a_{2017} is attained at the unique sequence, which is presented in the solution above.

Comment 2. An easier question would be to determine the maximal value of a2018a2017 \left|a_{2018}-a_{2017}\right| . In this version, the answer 12018 \frac{1}{2018} is achieved at
a1=a2==a2017=1,a2018=a2017++a02018=112018. a_{1}=a_{2}=\cdots=a_{2017}=1, \quad a_{2018}=\frac{a_{2017}+\cdots+a_{0}}{2018}=1-\frac{1}{2018}.
To prove that this value is optimal, it suffices to notice that Δ2=12 \Delta_{2}=\frac{1}{2} and to apply Claim 1 obtaining
a2018a2017Δ2018122320172018=12018. \left|a_{2018}-a_{2017}\right| \leqslant \Delta_{2018} \leqslant \frac{1}{2} \cdot \frac{2}{3} \cdots \frac{2017}{2018}=\frac{1}{2018}.

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.