IMO 1970 SL 9
Let u1, u2, . . . , un, v1, v2, . . . , vn be real numbers. Prove that
IMO 1970 SL 9
Origin: GDR
Problem
Let u1, u2, . . . , un, v1, v2, . . . , vn be real numbers. Prove that 1 + n i=1 (ui + vi)2 \leq4 1 + n i=1 u2 i 1 + n i=1 v2 i . In what case does equality hold?
Solution
Let us set a = n i=1 u2 i and b = n i=1 v2 i . By Minkowski’s inequality (for p = 2) we have n i=1(ui + vi)2 \leq(a + b)2. Hence the LHS of the desired inequality is not greater than 1 + (a + b)2, while the RHS is equal to 4(1 + a2)(1 + b2)/3. Now it is sufficient to prove that 3 + 3(a + b)2 \leq4(1 + a2)(1 + b2). The last inequality can be reduced to the trivial 0 \leq(a −b)2 + (2ab −1)2. The equality in the initial inequality holds if and only if ui/vi = c for some c \inR and a = b = 1/ \sqrt 2.