Problem 5
Determine all functions from the set of positive integers to the set of positive integers such that, for all positive integers and , there exists a non-degenerate triangle with sides of lengths , and . (A triangle is non-degenerate if its vertices are not collinear.)
Step 4 of 4: Combine with the involution to pin Δ = 1
Detailed analysis
Apply to using the formula from Step 3 again: . By Step 1, , so for every , i.e. for every ; taking gives , so (as ). Hence for all . Conversely works: the triple satisfies , and (both reduce to ), so it is always a non-degenerate triangle. Hence is the unique solution.