ax^2+bx+c=0有实根,a,b,c为正,证min(a,b,c)小于等于(a+b+c)/4,max(a,b,c)大于