MathDB
Rational NT FE

Source: 2024 IMOC N6 (Night 4)

August 8, 2024
number theoryfunctional equation

Problem Statement

Find all functions f:Q+Q+f:\mathbb{Q}^+\to\mathbb{Q}^+ such that xy(f(x)f(y))xf(f(y))xy(f(x)-f(y))|x-f(f(y)) holds for all positive rationals xx, yy (we define that aba|b if and only if exist nZn \in \mathbb{Z} such that b=anb=an) Proposed by supercarry & windleaf1A