MathLabs

第5题

求所有从正整数集到正整数集的函数 ff,使得对任意正整数 aa 和 bb,都存在边长为 aa、f(b)f(b) 和 f(b+f(a)−1)f(b+f(a)-1) 的非退化三角形。(三角形非退化是指其顶点不共线。)
第 4/4 步:结合对合性质确定 Δ = 1
f(f(n))=1+(n−1)Δ2=n  ⟹  Δ=1  ⟹  f(x)=xf(f(n))=1+(n-1)\Delta^2=n \implies \Delta=1 \implies f(x)=x
详细分析

对 f(n)=1+(n−1)Δf(n)=1+(n-1)\Delta 再次应用 ff(用第3步的公式):f(f(n))=1+(f(n)−1)Δ=1+(n−1)Δ2f(f(n))=1+(f(n)-1)\Delta=1+(n-1)\Delta^2。由第1步 f(f(n))=nf(f(n))=n,故对每个 nn 都有 1+(n−1)Δ2=n1+(n-1)\Delta^2=n,即 (n−1)(Δ2−1)=0(n-1)(\Delta^2-1)=0 对每个 nn 成立;取 n=2n=2 得 Δ2=1\Delta^2=1,故 Δ=1\Delta=1(因 Δ>0\Delta>0)。因此对所有 nn 都有 f(n)=1+(n−1)=nf(n)=1+(n-1)=n。反之 f(x)=xf(x)=x 满足条件:三元组 a,b,a+b−1a,b,a+b-1 满足 a+b−1<a+ba+b-1<a+b、a<b+(a+b−1)a<b+(a+b-1) 与 b<a+(a+b−1)b<a+(a+b-1)(二者都归结为 a,b≥1a,b\ge1),故总构成非退化三角形。所以 f(x)=xf(x)=x 是唯一解。■\blacksquare