对区间
I 上有定义的函数
g(x),记
g(I)={y∣y=g(x),x∈I},已知定义域为
[0,3] 的函数
y=f(x) 有反函数
y=f−1(x),且
f−1([0,1))=[1,2),
f−1((2,4])=[0,1),若方程
f(x)−x=0 有解
x0,则
x0=.
\begin{answer}
2
\end{answer}
\begin{solution}
由反函数的定义,题设等式分别等价于
x∈[1,2)⟺f(x)∈[0,1),
x∈[0,1)⟺f(x)∈(2,4].
设
x0∈[0,3] 且
f(x0)=x0. 若
x0∈[0,1),则由第二个等价关系
f(x0)∈(2,4],与
f(x0)=x0<1 矛盾. 若
x0∈[1,2),则由第一个等价关系
f(x0)∈[0,1),与
f(x0)=x0⩾1 矛盾. 若
x0∈(2,3],则由第二个等价关系的逆向使用,
f(x0)=x0∈(2,4] 将推出
x0∈[0,1),仍矛盾. 因此只能有
x0=2.
\end{solution}