MathLabs

Problem 5

Determine all functions ff from the set of positive integers to the set of positive integers such that, for all positive integers aa and bb, there exists a non-degenerate triangle with sides of lengths aa, f(b)f(b) and f(b+f(a)−1)f(b+f(a)-1). (A triangle is non-degenerate if its vertices are not collinear.)
Step 4 of 4: Combine with the involution to pin Δ = 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
Detailed analysis

Apply ff to f(n)=1+(n−1)Δf(n)=1+(n-1)\Delta using the formula from Step 3 again: f(f(n))=1+(f(n)−1)Δ=1+(n−1)Δ2f(f(n))=1+(f(n)-1)\Delta=1+(n-1)\Delta^2. By Step 1, f(f(n))=nf(f(n))=n, so 1+(n−1)Δ2=n1+(n-1)\Delta^2=n for every nn, i.e. (n−1)(Δ2−1)=0(n-1)(\Delta^2-1)=0 for every nn; taking n=2n=2 gives Δ2=1\Delta^2=1, so Δ=1\Delta=1 (as Δ>0\Delta>0). Hence f(n)=1+(n−1)=nf(n)=1+(n-1)=n for all nn. Conversely f(x)=xf(x)=x works: the triple a,b,a+b−1a,b,a+b-1 satisfies a+b−1<a+ba+b-1<a+b, a<b+(a+b−1)a<b+(a+b-1) and b<a+(a+b−1)b<a+(a+b-1) (both reduce to a,b≥1a,b\ge1), so it is always a non-degenerate triangle. Hence f(x)=xf(x)=x is the unique solution. ■\blacksquare