已知函数f(x)=x*3-x*2+x/2+1/4,证明:存在x0属于0到1/2,使f(x0)=x0.