2024 IMO Problems/Problem 6

Revision as of 18:36, 19 July 2024 by Stewpidity (talk | contribs) (Created page with "Let <math>\mathbb{Q}</math> be the set of rational numbers. A function <math>f: \mathbb{Q} \to \mathbb{Q}</math> is called <math>\emph{aquaesulian}</math> if the following pro...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Let $\mathbb{Q}$ be the set of rational numbers. A function $f: \mathbb{Q} \to \mathbb{Q}$ is called $\emph{aquaesulian}$ if the following property holds: for every $x,y \in \mathbb{Q}$, \[f(x+f(y)) = f(x) + y \quad \text{or} \quad f(f(x)+y) = x + f(y).\]Show that there exists an integer $c$ such that for any aquaesulian function $f$ there are at most $c$ different rational numbers of the form $f(r) + f(-r)$ for some rational number $r$, and find the smallest possible value of $c$.