Let $n$ be a positive integer and $x_1,x_2,...,x_n$ be integer numbers such that $$x_1^2+x_2^2+...+x_n^2+ n^3 \le (2n - 1)(x_1+x_2+...+x_n ) + n^2$$. Show that : a) $x_1,x_2,...,x_n$ are non-negative integers b) the number $x_1+x_2+...+x_n+n+1$ is not a perfect square.