MathDB
Mapping from the set of bijective functions

Source: 2022 IMOC A4

September 5, 2022
functionalgebra

Problem Statement

Let the set of all bijective functions taking positive integers to positive integers be B.\mathcal B. Find all functions F:BR\mathbf F:\mathcal B\to \mathbb R such that (F(p)+F(q))2=F(pp)+F(pq)+F(qp)+F(qq)(\mathbf F(p)+\mathbf F(q))^2=\mathbf F(p \circ p)+\mathbf F(p\circ q)+\mathbf F(q\circ p)+\mathbf F(q\circ q) for all p,qB.p,q \in \mathcal B.
Proposed by ckliao914