MathLabs

第5题

求所有从正整数集到正整数集的函数 ff,使得对任意正整数 aa 和 bb,都存在边长为 aa、f(b)f(b) 和 f(b+f(a)−1)f(b+f(a)-1) 的非退化三角形。(三角形非退化是指其顶点不共线。)
第 1/4 步:f(1) = 1 且 f 是对合
通俗地说

三角不等式中长度为1的边约束最强,故取a=1可确定f(1),随后取b=1使f成为自身的逆映射。

f(1)=1,f(f(n))=n  for every nf(1)=1,\qquad f(f(n))=n\ \text{ for every } n
详细分析

取 a=1a=1:以 1,f(b),f(b+f(1)−1)1,f(b),f(b+f(1)-1) 为边的三角形中,另两边之差小于第三边 11;由于 f(b)f(b) 与 f(b+f(1)−1)f(b+f(1)-1) 是整数,对每个 bb 它们必须相等。若 f(1)>1f(1)>1,设 N=f(1)−1≥1N=f(1)-1\ge1;则对所有 bb 都有 f(b)=f(b+N)f(b)=f(b+N),使 ff 以 NN 为周期,从而有界,设 f≤Bf\le B 恒成立。但固定 bb,让原条件中的 aa 任意增大,需要 a<f(b)+f(b+f(a)−1)≤2Ba<f(b)+f(b+f(a)-1)\le 2B,当 aa 很大时不可能。故 f(1)=1f(1)=1。再取 b=1b=1:以 n,f(1)=1,f(1+f(n)−1)=f(f(n))n,f(1)=1,f(1+f(n)-1)=f(f(n)) 为边的三角形中,另两边(nn 与 f(f(n))f(f(n)))之差又小于第三边 11,由整数性,对每个 nn 都有 f(f(n))=nf(f(n))=n。