Sea $n\ge 2$ un número natural. Sean $a_1\le a_2\le a_3\le \cdots \le a_n$ números reales tales que $a_1+a_2+\cdots +a_n>0$ y $n(a_1^2+a_2^2+\cdots +a_n^2)=2(a_1+a_2+\cdots +a_n)^2.$ Si $m=\lfloor n/2\rfloor+1$ , el entero más pequeño mayor que $n/2$ , entonces muestra que $a_m>0.$