x[1],x[2],……,x[n]∈[0,1]
证明：存在n个数y[1],y[2],……,y[n]，使得y[i]^2=x[i]^2，且
y[1]+y[2]+…+y[n],-y[1]+y[2]+y[3]+…+y[n],-y[1]-y[2]+y[3]+…+y[n],…,-y[1]-y[2]-…-y[n]
都在[-2,2]中