由 f(f(n))=n 知 f 是单射,故 f(2)=f(1)=1,得 Δ:=f(2)−1≥1。取 a=2,b=f(n):以 2,f(f(n)),f(f(n)+f(2)−1)=2,n,f(f(n)+Δ) 为边的三角形迫使 ∣n−f(f(n)+Δ)∣<2,故 y:=f(f(n)+Δ)∈{n−1,n,n+1}。对 y=f(f(n)+Δ) 施加 f(用 f∘f=id)得 f(y)=f(n)+Δ。若 y=n,则此式为 f(n)=f(n)+Δ,因 Δ>0 不可能。故 y=n±1,得 f(n+1)=f(n)+Δ 或 f(n−1)=f(n)+Δ。