Sea $n$ un entero positivo y $x_1,x_2,...,x_n$ números enteros tales que $$x_1^2+x_2^2+...+x_n^2+ n^3 \le (2n - 1)(x_1+x_2+...+x_n ) + n^2$$ . Demostrar que : \na) $x_1,x_2,...,x_n$ son enteros no negativos \nb) el número $x_1+x_2+...+x_n+n+1$ no es un cuadrado perfecto.