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
詳しい解説

ff に手順3の式 f(n)=1+(n−1)Δf(n)=1+(n-1)\Delta を再び用いると、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、よって(Δ>0\Delta>0 より)Δ=1\Delta=1。したがってすべての 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