验证拉格朗日中值定理对函数y=4x³-5x²+x-2在区间[0,1]上的正确性.