Dados $n$ reales $a_1,a_2,\cdots , a_n$ tal que la suma de cualesquiera dos de ellos es no negativa. Demuestre que la siguiente afirmación y su recíproca son ambas verdaderas: si $n$ reales no negativos $x_1,x_2,\cdots ,x_n$ satisfacen $x_1+x_2+\cdots +x_n=1$ , entonces la desigualdad $a_1x_1+a_2x_2+\cdots +a_nx_n\ge a_1x^2_1+ a_2x^2_2+\cdots + a_nx^2_n$ se cumple.