MathLabs

第5题

求所有从正整数集到正整数集的函数 ff,使得对任意正整数 aa 和 bb,都存在边长为 aa、f(b)f(b) 和 f(b+f(a)−1)f(b+f(a)-1) 的非退化三角形。(三角形非退化是指其顶点不共线。)
第 2/4 步:第二次应用确定增量为常数
Δ:=f(2)−1>0,f(n+1)=f(n)+Δ  or  f(n−1)=f(n)+Δ\Delta:=f(2)-1>0,\qquad f(n+1)=f(n)+\Delta \ \text{ or } \ f(n-1)=f(n)+\Delta
详细分析

由 f(f(n))=nf(f(n))=n 知 ff 是单射,故 f(2)≠f(1)=1f(2)\ne f(1)=1,得 Δ:=f(2)−1≥1\Delta:=f(2)-1\ge1。取 a=2,b=f(n)a=2,b=f(n):以 2,f(f(n)),f(f(n)+f(2)−1)=2,n,f(f(n)+Δ)2,f(f(n)),f(f(n)+f(2)-1)=2,n,f(f(n)+\Delta) 为边的三角形迫使 ∣n−f(f(n)+Δ)∣<2|n-f(f(n)+\Delta)|<2,故 y:=f(f(n)+Δ)∈{n−1,n,n+1}y:=f(f(n)+\Delta)\in\{n-1,n,n+1\}。对 y=f(f(n)+Δ)y=f(f(n)+\Delta) 施加 ff(用 f∘f=idf\circ f=\mathrm{id})得 f(y)=f(n)+Δf(y)=f(n)+\Delta。若 y=ny=n,则此式为 f(n)=f(n)+Δf(n)=f(n)+\Delta,因 Δ>0\Delta>0 不可能。故 y=n±1y=n\pm1,得 f(n+1)=f(n)+Δf(n+1)=f(n)+\Delta 或 f(n−1)=f(n)+Δf(n-1)=f(n)+\Delta。