Maths Olympiad Prep

Track / Stage 7 / 263 of 300 #2143 of 2444

Problem 2143

National Olympiad second round; IMO P1/P4
Algebra Difficulty 7.8 Prove it IMO Shortlist · IMO · 2007

Let a1,a2,,a100a_{1}, a_{2}, \ldots, a_{100} be nonnegative real numbers such that a12+a22++a1002=1a_{1}^{2}+a_{2}^{2}+\ldots+a_{100}^{2}=1. Prove that
a12a2+a22a3++a1002a1<1225 a_{1}^{2} a_{2}+a_{2}^{2} a_{3}+\ldots+a_{100}^{2} a_{1}<\frac{12}{25}

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Let S=k=1100ak2ak+1S=\sum_{k=1}^{100} a_{k}^{2} a_{k+1}. (As usual, we consider the indices modulo 100100, e.g. we set a101=a1a_{101}=a_{1} and a102=a2a_{102}=a_{2}.)
Applying the Cauchy-Schwarz inequality to sequences (ak+1)\left(a_{k+1}\right) and (ak2+2ak+1ak+2)\left(a_{k}^{2}+2 a_{k+1} a_{k+2}\right), and then the AM-GM inequality to numbers ak+12a_{k+1}^{2} and ak+22a_{k+2}^{2},
(3S)2=(k=1100ak+1(ak2+2ak+1ak+2))2(k=1100ak+12)(k=1100(ak2+2ak+1ak+2)2)=1k=1100(ak2+2ak+1ak+2)2=k=1100(ak4+4ak2ak+1ak+2+4ak+12ak+22)k=1100(ak4+2ak2(ak+12+ak+22)+4ak+12ak+22)=k=1100(ak4+6ak2ak+12+2ak2ak+22). \begin{align*} (3 S)^{2} & =\left(\sum_{k=1}^{100} a_{k+1}\left(a_{k}^{2}+2 a_{k+1} a_{k+2}\right)\right)^{2} \leq\left(\sum_{k=1}^{100} a_{k+1}^{2}\right)\left(\sum_{k=1}^{100}\left(a_{k}^{2}+2 a_{k+1} a_{k+2}\right)^{2}\right) \\ & =1 \cdot \sum_{k=1}^{100}\left(a_{k}^{2}+2 a_{k+1} a_{k+2}\right)^{2}=\sum_{k=1}^{100}\left(a_{k}^{4}+4 a_{k}^{2} a_{k+1} a_{k+2}+4 a_{k+1}^{2} a_{k+2}^{2}\right) \\ & \leq \sum_{k=1}^{100}\left(a_{k}^{4}+2 a_{k}^{2}\left(a_{k+1}^{2}+a_{k+2}^{2}\right)+4 a_{k+1}^{2} a_{k+2}^{2}\right)=\sum_{k=1}^{100}\left(a_{k}^{4}+6 a_{k}^{2} a_{k+1}^{2}+2 a_{k}^{2} a_{k+2}^{2}\right) . \end{align*}
Applying the trivial estimates
k=1100(ak4+2ak2ak+12+2ak2ak+22)(k=1100ak2)2 and k=1100ak2ak+12(i=150a2i12)(j=150a2j2) \sum_{k=1}^{100}\left(a_{k}^{4}+2 a_{k}^{2} a_{k+1}^{2}+2 a_{k}^{2} a_{k+2}^{2}\right) \leq\left(\sum_{k=1}^{100} a_{k}^{2}\right)^{2} \quad \text{ and } \quad \sum_{k=1}^{100} a_{k}^{2} a_{k+1}^{2} \leq\left(\sum_{i=1}^{50} a_{2 i-1}^{2}\right)\left(\sum_{j=1}^{50} a_{2 j}^{2}\right)
we obtain that
(3S)2(k=1100ak2)2+4(i=150a2i12)(j=150a2j2)1+(i=150a2i12+j=150a2j2)2=2, (3 S)^{2} \leq\left(\sum_{k=1}^{100} a_{k}^{2}\right)^{2}+4\left(\sum_{i=1}^{50} a_{2 i-1}^{2}\right)\left(\sum_{j=1}^{50} a_{2 j}^{2}\right) \leq 1+\left(\sum_{i=1}^{50} a_{2 i-1}^{2}+\sum_{j=1}^{50} a_{2 j}^{2}\right)^{2}=2,
hence
S230.4714<1225=0.48 S \leq \frac{\sqrt{2}}{3} \approx 0.4714<\frac{12}{25}=0.48

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