MathDB
Prove that $ a_k\in[2006;2007]$

Source: HOMC

February 15, 2017
algebra

Problem Statement

Let a1,a2,...,a2007a_1,a_2,...,a_{2007} be real number such that a1+a2+...+a200720072 a_1+a_2+...+a_{2007}\geq 2007^{2} and a12+a22+...+a20072200731a_1^{2}+a_2^{2}+...+a_{2007}^{2}\leq 2007^{3}-1 . Prove that ak[2006;2008] a_k\in[2006;2008] for all k{1,2,...,2007}k\in\left \{ 1,2,...,2007 \right \}