IMO 1972 SL 3

Let x1, x2, . . . , xn be real numbers satisfying x1+x2+\cdot \cdot \cdot+xn =

IMO 1972 SL 3

Origin: CZS

Problem

Let x1, x2, . . . , xn be real numbers satisfying x1+x2+\cdot \cdot \cdot+xn = 0. Let m be the least and M the greatest among them. Prove that x2 1 + x2 2 + \cdot \cdot \cdot + x2 n \leq−nmM.

Solution

We have for each k = 1, 2, . . . , n that m \leqxk \leqM, which gives (M − xk)(m −xk) \leq0. It follows directly that 0 \geq n  k=1 (M −xk)(m −xk) = nmM −(m + M) n  k=1 xk + n  k=1 x2 k. But n k=1 xk = 0, implying the required inequality.