利用非负性确定函数
假设 f(x)=y≠xf(x)=y\ne xf(x)=y=x。若 y>xy>xy>x,令 z=y−x>0z=y-x>0z=y−x>0;若 y<xy<xy<x,令 z=x−y>0z=x-y>0z=x−y>0。由可加性,两种情况下都有 f(z)=−z<0f(z)=-z<0f(z)=−z<0。取 www 使 w2=zw^2=zw2=z,则 f(z)=f(w2)=f(w)2≥0f(z)=f(w^2)=f(w)^2\ge0f(z)=f(w2)=f(w)2≥0,矛盾。因此对所有实数 xxx 都有 f(x)=xf(x)=xf(x)=x,直接代入即可验证。