[f(1)-f(0)]/(1-0)= -2
f ' (ξ)=12ξ^2-12ξ= -2 ξ= (3±根号3)/6 都满足
于是 存在 ξ ∈(0,1),使得 f ' (ξ) = [f(1)-f(0)]/(1-0)
验证完毕