由 b=0b=0b=0,对所有正数 x,yx,yx,y 有 f(x+y)=f(x)+f(y)f(x+y)=f(x)+f(y)f(x+y)=f(x)+f(y),故 fff 严格递增。若对某个 xxx 有 f(x)>xf(x)>xf(x)>x,利用 fff 的严格递增与对合性质得 f(f(x))>f(x)f(f(x))>f(x)f(f(x))>f(x),即 x>f(x)x>f(x)x>f(x),与 f(x)>xf(x)>xf(x)>x 矛盾;同理 f(x)<xf(x)<xf(x)<x 也不可能。因此对所有正实数 xxx 都有 f(x)=xf(x)=xf(x)=x。