x1+x2+x3+x4=6,x1^2+x2^2+x3^2+x4^2=12求证0<=x1<=3