时,有M
N。
时,任取a∈M,有f(a)=a,则f(f(a))=f(a)=a,所以a∈N。故M
N。
时,由(1)知M
N,则M=
,有N=M。
时,由(1)知M
N。下面证明N
M。任取x0∈N,有f(f(x0))=x0。设f(x0)=y0,则有f(y0)=x0。即(x0,y0)和(y0,x0)都在y=f(x)函数的图像上。假设x0>y0,因为y=(x)是增函数,则f(x0)>f(y0),即y0>x0,与假设矛盾;
R,所以有f(t)>t,即f(f(x))>f(x)。所以有f(f(x))>f(x)>x(x∈R)。