将 y=1y=1y=1 代入 (i),得 f(xf(1))=f(x)f(xf(1)) = f(x)f(xf(1))=f(x);由第2步的单射性,对所有 x>0x>0x>0 有 xf(1)=xxf(1)=xxf(1)=x,故 f(1)=1f(1)=1f(1)=1。代回第1步,得对所有 yyy 都有 f(f(y))=yf(f(y))=yf(f(y))=y。