令 y=1y=1y=1 会使乘积项 xyxyxy 直接坍缩为 xxx,从而揭示出整整一族不动点。
设 P(x,y)P(x,y)P(x,y) 表示断言 f(x+f(x+y))+f(xy)=x+f(x+y)+yf(x)f(x+f(x+y))+f(xy)=x+f(x+y)+yf(x)f(x+f(x+y))+f(xy)=x+f(x+y)+yf(x)。取 y=1y=1y=1:P(x,1)P(x,1)P(x,1) 给出 f(x+f(x+1))+f(x)=x+f(x+1)+f(x)f(x+f(x+1))+f(x)=x+f(x+1)+f(x)f(x+f(x+1))+f(x)=x+f(x+1)+f(x),于是 f(x+f(x+1))=x+f(x+1)f\big(x+f(x+1)\big)=x+f(x+1)f(x+f(x+1))=x+f(x+1)。也就是说,对每个实数 xxx,数 x+f(x+1)x+f(x+1)x+f(x+1) 都是 fff 的一个不动点。