Olympiad problems

2017 Benelux, 1

Find all functions $f : \Bbb{Q}_{>0}\to \Bbb{Z}_{>0}$ such that $$f(xy)\cdot \gcd\left( f(x)f(y), f(\frac{1}{x})f(\frac{1}{y})\right) = xyf(\frac{1}{x})f(\frac{1}{y}),$$ for all $x, y \in \Bbb{Q}_{>0,}$ where $\gcd(a, b)$ denotes the greatest common divisor of $a$ and $b.$

1979 Kurschak Competition, 2

$f$ is a real-valued function defined on the reals such that $f(x) \le x$ and $f(x + y) \le f(x) + f(y)$ for all $x, y$. Prove that $f(x) = x$ for all $x$.

function functional functional inequality algebra functional equations

2015 VTRMC, Problem 6

Let $(a_1,b_1),\ldots,(a_n,b_n)$ be $n$ points in $\mathbb R^2$ (where $\mathbb R$ denotes the real numbers), and let $\epsilon>0$ be a positive number. Can we find a real-valued function $f(x,y)$ that satisfies the following three conditions? 1. $f(0,0)=1$; 2. $f(x,y)\ne0$ for only finitely many $(x,y)\in\mathbb R^2$; 3. $\sum_{r=1}^n\left|f(x+a_r,y+b_r)-f(x,y)\right|<\epsilon$ for every $(x,y)\in\mathbb R^2$. Justify your answer.

absolute value functional equation fe algebra functional equations

2018 ELMO Shortlist, 1

Let $f:\mathbb{R}\to\mathbb{R}$ be a bijective function. Does there always exist an infinite number of functions $g:\mathbb{R}\to\mathbb{R}$ such that $f(g(x))=g(f(x))$ for all $x\in\mathbb{R}$? [i]Proposed by Daniel Liu[/i]

function functional equation algebra bijection functional equations pigeonhole principle

2004 IMO Shortlist, 3

Does there exist a function $s\colon \mathbb{Q} \rightarrow \{-1,1\}$ such that if $x$ and $y$ are distinct rational numbers satisfying ${xy=1}$ or ${x+y\in \{0,1\}}$, then ${s(x)s(y)=-1}$? Justify your answer. [i]Proposed by Dan Brown, Canada[/i]

function continued fraction functional equation number theory algebra Euclidean algorithm construction functional equations modular arithmetic

2010 IMO, 3

Find all functions $g:\mathbb{N}\rightarrow\mathbb{N}$ such that \[\left(g(m)+n\right)\left(g(n)+m\right)\] is a perfect square for all $m,n\in\mathbb{N}.$ [i]Proposed by Gabriel Carroll, USA[/i]

function number theory perfect square algebra Chinese remainder theorem bijection casework factorization functional equations mathematical induction modular arithmetic p-adic valuation parity perfect squares quadratic residues

2002 APMO, 5

Let ${\bf R}$ denote the set of all real numbers. Find all functions $f$ from ${\bf R}$ to ${\bf R}$ satisfying: (i) there are only finitely many $s$ in ${\bf R}$ such that $f(s)=0$, and (ii) $f(x^4+y)=x^3f(x)+f(f(y))$ for all $x,y$ in ${\bf R}$.

function induction algebra Cauchy-Schwarz inequality functional equations mathematical induction

2018 Macedonia National Olympiad, Problem 3

Determine all functions $f: \mathbb{R} \rightarrow \mathbb{R}$ such that:$$f(\max \left\{ x, y \right\} + \min \left\{ f(x), f(y) \right\}) = x+y $$ for all real $x,y \in \mathbb{R}$ [i]Proposed by Nikola Velov[/i]

function algebra functional equations

2020 Dutch BxMO TST, 3

Find all functions $f: R \to R$ that satisfy $$f (x^2y) + 2f (y^2) =(x^2 + f (y)) \cdot f (y)$$ for all $x, y \in R$

functional functional equation algebra functional equations

2014 Taiwan TST Round 2, 2

Determine all functions $f: \mathbb{Q} \rightarrow \mathbb{Z} $ satisfying \[ f \left( \frac{f(x)+a} {b}\right) = f \left( \frac{x+a}{b} \right) \] for all $x \in \mathbb{Q}$, $a \in \mathbb{Z}$, and $b \in \mathbb{Z}_{>0}$. (Here, $\mathbb{Z}_{>0}$ denotes the set of positive integers.)

function functional equation number theory Bézout's identity casework functional equations mathematical induction modular arithmetic

1983 IMO Longlists, 31

Find all functions $f$ defined on the set of positive reals which take positive real values and satisfy: $f(xf(y))=yf(x)$ for all $x,y$; and $f(x)\to0$ as $x\to\infty$.

Cauchy-Schwarz inequality bijection functional equations mathematical induction

2023 Philippine MO, 8

Let $\mathcal{S}$ be the set of all points in the plane. Find all functions $f : \mathcal{S} \rightarrow \mathbb{R}$ such that for all nondegenerate triangles $ABC$ with orthocenter $H$, if $f(A) \leq f(B) \leq f(C)$, then $$f(A) + f(C) = f(B) + f(H).$$

function functional equation geometry nice combinatorial geometry functional equations

2005 Switzerland - Final Round, 9

Find all functions $f : R^+ \to R^+$ such that for all $x, y > 0$ $$f(yf(x))(x + y) = x^2(f(x) + f(y)).$$

functional functional equation algebra functional equations

2011 Turkey Team Selection Test, 1

Let $\mathbb{Q^+}$ denote the set of positive rational numbers. Determine all functions $f: \mathbb{Q^+} \to \mathbb{Q^+}$ that satisfy the conditions \[ f \left( \frac{x}{x+1}\right) = \frac{f(x)}{x+1} \qquad \text{and} \qquad f \left(\frac{1}{x}\right)=\frac{f(x)}{x^3}\] for all $x \in \mathbb{Q^+}.$

function induction functional equation algorithm euclidean algorithm number theory algebra Euclidean algorithm functional equations mathematical induction

2012 USA Team Selection Test, 2

Determine all functions $f:\mathbb{R}\to\mathbb{R}$ such that for every pair of real numbers $x$ and $y$, \[f(x+y^2)=f(x)+|yf(y)|.\]

function algebra Cauchy-Schwarz inequality functional equations mathematical induction

The Golden Digits 2024, P1

Find all functions $f:\mathbb{R}\rightarrow\mathbb{R}$, such that for any real numbers $x,y$ with $y\neq 0$ we have $$f(f(x)+y)f\left(\frac{1}{y}\right)=xf\left(\frac{1}{y}\right) + 1.$$ [i]Proposed by Marius Cerlat[/i]

function algebra bijection functional equations

2007 Olympic Revenge, 5

Find all functions $f\colon R \to R$ such that \[f\left(x^{2}+yf(x)\right) = f(x)^{2}+xf(y)\] for all reals $x,y$.

function induction algebra Cauchy-Schwarz inequality functional equations mathematical induction

1982 IMO Longlists, 34

Let $M$ be the set of all functions $f$ with the following properties: [b](i)[/b] $f$ is defined for all real numbers and takes only real values. [b](ii)[/b] For all $x, y \in \mathbb R$ the following equality holds: $f(x)f(y) = f(x + y) + f(x - y).$ [b](iii)[/b] $f(0) \neq 0.$ Determine all functions $f \in M$ such that [b](a)[/b] $f(1)=\frac 52$, [b](b)[/b] $f(1)= \sqrt 3$.

function algebra functional equations

2022 Austrian MO National Competition, 1

Find all functions $f : Z_{>0} \to Z_{>0}$ with $a - f(b) | af(a) - bf(b)$ for all $a, b \in Z_{>0}$. [i](Theresia Eisenkoelbl)[/i]

divide function number theory functional equations modular arithmetic

PEN K Problems, 23

Let ${\mathbb Q}^{+}$ be the set of positive rational numbers. Construct a function $f:{\mathbb Q}^{+}\rightarrow{\mathbb Q}^{+}$ such that \[f(xf(y)) = \frac{f(x)}{y}\] for all $x, y \in{\mathbb Q}^{+}$.

function functional equation algebra functional equations

2019 Brazil Undergrad MO, 4

Find all functions $f:\mathbb{R}\rightarrow \mathbb{R}$ such that for any $(x, y)$ real numbers we have $f(xf(y)+f(x))+f(y^2)=f(x)+yf(x+y)$

function functional equation algebra bijection functional equations

2020 March Advanced Contest, 4

Let $\mathbb{Z}^2$ denote the set of points in the Euclidean plane with integer coordinates. Find all functions $f : \mathbb{Z}^2 \to [0,1]$ such that for any point $P$, the value assigned to $P$ is the average of all the values assigned to points in $\mathbb{Z}^2$ whose Euclidean distance from $P$ is exactly 2020.

function combinatorics functional equations