اگرهیچکدام از $x_i$ ها منفی نباشد.قرار دهید:
$a=Max_{1 \leq i \leq x}x_i \wedge b=Min_{1 \leq i \leq 5}x_i$
$\Rightarrow \exists i,j,s,k:a^2=x_i+x_j \leq a+a=2a \wedge b^2=x_s+x_k \geq b+b=2b \Rightarrow 2 \leq b$
از طرفی دیگر:
$0 \leq x_1^2+...+x_5^2=2(x_1+...+x_5) \leq 2(a+...+a)=10a \Rightarrow a>0 \Rightarrow a \leq 2$
$\Rightarrow a=b=2 \Rightarrow x_1=x_2=x_3=x_4=x_5=2$
حالا نشان دهیم هیچکدام از $x_i$ منفی نیست.برهان خلف:فرض می کنیم که یکی از $x_i$ ها منفی باشد، بنابراین $b$ نیز منفی است.چون دستگاه متقارن است پس فرض کنید که:
$b=x_3 \Rightarrow 0 \leq x_1-x_3=(x_1+x_2)-(x_2+x_3)=x_3^2-x_4^2 \Rightarrow |x_4| \leq |x_3|$
$x_5^2=x_3+x_4\Rightarrow x_5=0 \Rightarrow x_3=x_1=x_2^2 \geq 0 \bot $
پس بنابه توضیحات بالا دستگاه فقط یک جواب دارد و آن عبارتست از:
$x_1=x_2=x_3=x_4=x_5=2$
$ \Box $