همان طور که خود شما گفتید تابع $f(x)= (1-x)\sin(x)$ را در نظر بگیرید.این تابع روی بازه
$[0,1] $ پیوسته و روی بازه $(0,1) $ مشتقپذیر است. چون $f(0)=f(1)=0$ دست کم یک نقطه به طول $x_0$ هست که $f'(x_0)=0$ یعنی:
$$-\sin(x_0)+(1-x_0)\cos(x_0)=0$$
اگر طرفین را بر $\cos(x_0)$ تقسیم کنیم خواهیم داشت :
$$\color{green}{\tan(x_0)=1-x_0}$$

واین معنایش این است که این معادله جوابی در این فاصله خواهد داشت.