函數f(x)在【0,1】上可導,且0

函數f(x)在【0,1】上可導,且0

設F(x)=f(x)-x,
f(x)=x在(0,1)內有唯一實根,就是F(x)=0有解.
F(X)′=f′(x)-1
∵f′(x)≠1,∴F′(x)>0,或F′(x)0時,
F(0)=f(0)-0=f(0)>0
F(1)=f(1)-1