在 yf(x)=f(xf(y))yf(x)=f(xf(y))yf(x)=f(xf(y)) 中代入 x=1x=1x=1 并利用 f(1)=1f(1)=1f(1)=1,得对所有 y>0y>0y>0 有 y=f(f(y))y=f(f(y))y=f(f(y)),故 fff 是对合。