若a,b,c均为实数,且a=x^2-2y+π/2,b=y^2-2z+π/2,c=z^2-2x+π/6求证:中至少有一个大