Olympiad Maths Prep

Track / Stage 8 / 20 of 180 #1720 of 2000

Problem 1720

IMO Shortlist mid-range; USAMO P2/P5
Algebra Difficulty 8.1 Prove it Auswahlklausur · Germany

Problem:

Die reellen Zahlen r1,r2,,r2019r_{1}, r_{2}, \ldots, r_{2019} erfüllen die Bedingungen r1+r2++r2019=0r_{1}+r_{2}+\ldots+r_{2019}=0 sowie r12+r22++r20192=1r_{1}^{2}+r_{2}^{2}+\ldots+r_{2019}^{2}=1. Es sei a=min(r1,r2,,r2019)a=\min \left(r_{1}, r_{2}, \ldots, r_{2019}\right) und b=max(r1,r2,,r2019)b=\max \left(r_{1}, r_{2}, \ldots, r_{2019}\right). Man beweise: ab12019a b \leq \frac{-1}{2019}.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Solution:

Weil wegen (2) die rir_{i} nicht alle 00 sein und wegen (1) nicht alle das gleiche Vorzeichen haben können, gilt b>0b>0 und a<0a<0. Mit P={i:ui>0}P=\left\{i: u_{i}>0\right\} und N={i:ui0}N=\left\{i: u_{i} \leq 0\right\} sowie p=Pp=|P| und n=Nn=|N| gilt p+n=2019p+n=2019 und aus (1) folgt

0=i=12019ui=iPuiiNui0=\sum_{i=1}^{2019} u_{i}=\sum_{i \in P} u_{i}-\sum_{i \in N}\left|u_{i}\right|, also iPui=iNui\sum_{i \in P} u_{i}=\sum_{i \in N}\left|u_{i}\right|.

Damit können wir abschätzen:

iPui2iPbui=biNuibiNa=nab\sum_{i \in P} u_{i}^{2} \leq \sum_{i \in P} b u_{i}=b \sum_{i \in N}\left|u_{i}\right| \leq b \sum_{i \in N}|a|=-n a b \hspace{0.5cm} (3)

sowie

iNui2iNauiaiNui=aiPuipab\sum_{i \in N} u_{i}^{2} \leq \sum_{i \in N} a u_{i} \leq|a| \sum_{i \in N}\left|u_{i}\right|=|a| \sum_{i \in P} u_{i} \leq-p a b \hspace{0.5cm} (4).

Es folgt 1=iPui2+iNui2(p+n)ab=2019ab1=\sum_{i \in P} u_{i}^{2}+\sum_{i \in N} u_{i}^{2} \leq-(p+n) a b=-2019 a b, und damit die Behauptung.

Solution 2:

Wiederum ausgehend von b>0b>0 und a<0a<0 betrachten wir die folgende konvexe Punktmenge CC in der xx-yy-Ebene:

(i) Der untere Rand von CC ist die Parabel y=x2y=x^{2} im Bereich axba \leq x \leq b.

(ii) Der obere Rand von CC ist die Gerade g:y=(a+b)xabg: y=(a+b) x-a b im Bereich axba \leq x \leq b.

Jeder der Punkte (ui,ui2)(u_{i}, u_{i}^{2}) liegt auf dem unteren Rand von CC. Daher liegt der Schwerpunkt SS dieser 20192019 Punkte, die mit gleicher Masse versehen seien, ebenfalls in CC. Es gilt S=(12019i=12019ui,12019i=12019ui2)=(0,12019)S=\left(\frac{1}{2019} \sum_{i=1}^{2019} u_{i}, \frac{1}{2019} \sum_{i=1}^{2019} u_{i}^{2}\right)=\left(0, \frac{1}{2019}\right). Für gg gilt an der Stelle x=0x=0, dass y=aby=-a b ist. SS darf nicht oberhalb der oberen Begrenzung liegen, woraus die Behauptung folgt.

Solution 3:

(Ein Ein-Zeilen-Beweis):

0i=12019(ria)(bri)=i=12019(ri2+(b+a)riab)=12019abab120190 \leq \sum_{i=1}^{2019}\left(r_{i}-a\right)\left(b-r_{i}\right)=\sum_{i=1}^{2019}\left(-r_{i}^{2}+(b+a) r_{i}-a b\right)=-1-2019 a b \Leftrightarrow a b \leq \frac{-1}{2019}.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.