证明二次函数y=x的平方-1/2x+2在[1/4,+∞)上是增函数