mathematica 验证:拉格朗日微分中值定理对函数f(x)=sin(x)-x-1 在区间[ 0,1 ]上的正确性提

按照定理用solve求出0到1中的一点,使得f在那一点的导数等于(f[1] - f[0])/(1 - 0) 就行
f[x_] := Sin[x] - x - 1;
Solve[D[f[x],x] == (f[1] - f[0])/(1 - 0) && 0 < x < 1,x]