已知二次函数Y=AX^2+BX+C,对任意实数都有X小于等于AX^2+BX+C小于等于(X+1)^2/2成立