若 a≠ba\ne ba=b,则当指标足够大时 ∣n(a−b)∣|n(a-b)|∣n(a−b)∣ 会超过固定数 x−yx-yx−y,矛盾。因此对所有 x,yx,yx,y 有 f(x)−x=f(y)−yf(x)-x=f(y)-yf(x)−x=f(y)−y,即 f(x)=x+cf(x)=x+cf(x)=x+c。其逆函数为 g(x)=x−cg(x)=x-cg(x)=x−c,且满足 f(x)+g(x)=2xf(x)+g(x)=2xf(x)+g(x)=2x;任意实常数 ccc 都成立。