Olympiad problems

2021 Alibaba Global Math Competition, 8

Let $f(z)$ be a holomorphic function in $\{\vert z\vert \le R\}$ ($0<R<\infty$). Define \[M(r,f)=\max_{\vert z\vert=r} \vert f(z)\vert, \quad A(r,f)=\max_{\vert z\vert=r} \text{Re}\{f(z)\}.\] Show that \[M(r,f) \le \frac{2r}{R-r}A(R,f)+\frac{R+r}{R-r} \vert f(0)\vert, \quad \forall 0 \le r<R.\]

2002 Moldova National Olympiad, 1

Tags: function , triangle inequality , inequalities

Consider the real numbers $ a\ne 0,b,c$ such that the function $ f(x) \equal{} ax^2 \plus{} bx \plus{} c$ satisfies $ |f(x)|\le 1$ for all $ x\in [0,1]$. Find the greatest possible value of $ |a| \plus{} |b| \plus{} |c|$.

2002 Germany Team Selection Test, 1

Tags: function , quadratic , algebra

Let $P$ denote the set of all ordered pairs $ \left(p,q\right)$ of nonnegative integers. Find all functions $f: P \rightarrow \mathbb{R}$ satisfying \[ f(p,q) \equal{} \begin{cases} 0 & \text{if} \; pq \equal{} 0, \\ 1 \plus{} \frac{1}{2} f(p+1,q-1) \plus{} \frac{1}{2} f(p-1,q+1) & \text{otherwise} \end{cases} \] Compare IMO shortlist problem 2001, algebra A1 for the three-variable case.

JBMO Geometry Collection, 2007

Tags: trigonometry , geometry , incenter , function , circumcircle , cyclic quadrilateral , angle bisector

Let $ABCD$ be a convex quadrilateral with $\angle{DAC}= \angle{BDC}= 36^\circ$ , $\angle{CBD}= 18^\circ$ and $\angle{BAC}= 72^\circ$. The diagonals and intersect at point $P$ . Determine the measure of $\angle{APD}$.

2002 Miklós Schweitzer, 9

Tags: topology , vector , function , invariant

Let $M$ be a connected, compact $C^{\infty}$-differentiable manifold, and denote the vector space of smooth real functions on $M$ by $C^{\infty}(M)$. Let the subspace $V\le C^{\infty}(M)$ be invariant under $C^{\infty}$-diffeomorphisms of $M$, that is, let $f\circ h\in V$ for every $f\in V$ and for every $C^{\infty}$-diffeomorphism $h\colon M\rightarrow M$. Prove that if $V$ is different from the subspaces $\{ 0\}$ and $C^{\infty}(M)$ then $V$ only contains the constant functions.

1995 Turkey MO (2nd round), 6

Tags: function , number theory

Find all surjective functions $f: \mathbb{N}\rightarrow \mathbb{N}$ such that for all $m,n\in \mathbb{N}$ \[f(m)\mid f(n) \mbox{ if and only if }m\mid n.\]

1999 Hungary-Israel Binational, 2

Tags: function , quadratic , inequalities

The function $ f(x,y,z)\equal{}\frac{x^2\plus{}y^2\plus{}z^2}{x\plus{}y\plus{}z}$ is defined for every $ x,y,z \in R$ whose sum is not 0. Find a point $ (x_0,y_0,z_0)$ such that $ 0 < x_0^2\plus{}y_0^2\plus{}z_0^2 < \frac{1}{1999}$ and $ 1.999 < f(x_0,y_0,z_0) < 2$.

2005 Turkey Team Selection Test, 1

Tags: function , algebra

Find all functions $ f :\mathbb{R}_{0}^{+}\mapsto\mathbb{R}_{0}^{+} $ satisfying the conditions $4f(x)\geq 3x$ and $f(4f(x)-3x)=x$ for all $x\geq 0$ .

2021 Pan-African, 5

Tags: functional equation , function , algebra

Find all functions $f$ $:$ $\mathbb{R} \rightarrow \mathbb{R}$ such that $\forall x,y \in \mathbb{R}$ : $$(f(x)+y)(f(y)+x)=f(x^2)+f(y^2)+2f(xy)$$

2011 USA Team Selection Test, 5

Tags: induction , modular arithmetic , function , limit , algebra , polynomial , binomial theorem

Let $c_n$ be a sequence which is defined recursively as follows: $c_0 = 1$, $c_{2n+1} = c_n$ for $n \geq 0$, and $c_{2n} = c_n + c_{n-2^e}$ for $n > 0$ where $e$ is the maximal nonnegative integer such that $2^e$ divides $n$. Prove that \[\sum_{i=0}^{2^n-1} c_i = \frac{1}{n+2} {2n+2 \choose n+1}.\]

2024 Romania National Olympiad, 1

Tags: function , real analysis

Let $I \subset \mathbb{R}$ be an open interval and $f:I \to \mathbb{R}$ a twice differentiable function such that $f(x)f''(x)=0,$ for any $x \in I.$ Prove that $f''(x)=0,$ for any $x \in I.$

2007 All-Russian Olympiad, 1

Tags: trigonometry , function , inequalities

Prove that for $k>10$ Nazar may replace in the following product some one $\cos$ by $\sin$ so that the new function $f_{1}(x)$ would satisfy inequality $|f_{1}(x)|\le 3\cdot 2^{-1-k}$ for all real $x$. \[f(x) = \cos x \cos 2x \cos 3x \dots \cos 2^{k}x \] [i]N. Agakhanov[/i]

2010 Stanford Mathematics Tournament, 8

Tags: algebra , polynomial , function , binomial theorem

Let $P(x)$ be a polynomial of degree $n$ such that $P(x)=3^k$ for $0\le k \le n$. Find $P(n+1)$

2015 Thailand TSTST, 1

Tags: function , algebra

Find all functions $f: \mathbb R \to \mathbb R$ such that for all reals $x$ and $y$, \[f(f(x)-y^{2})=f(x)^{2}-2f(x)y^{2}+f(f(y)).\]

1984 AIME Problems, 7

Tags: function , algebra , domain , functional equation

The function $f$ is defined on the set of integers and satisfies \[ f(n)=\begin{cases} n-3 & \text{if } n\ge 1000 \\ f(f(n+5)) & \text{if } n<1000\end{cases} \] Find $f(84)$.

2022 Turkey MO (2nd round), 2

Tags: number theory , function

For positive integers $k$ and $n$, we know $k \geq n!$. Prove that $ \phi (k) \geq (n-1)!$

2014 Moldova Team Selection Test, 2

Tags: function , algebra

Find all functions $f:R \rightarrow R$, which satisfy the equality for any $x,y \in R$: $f(xf(y)+y)+f(xy+x)=f(x+y)+2xy$,

2001 India IMO Training Camp, 2

Tags: function , polynomial , algebra

Find all functions $f \colon \mathbb{R_{+}}\to \mathbb{R_{+}}$ satisfying : \[f ( f (x)-x) = 2x\] for all $x > 0$.

1992 IMO Longlists, 8

Tags: function , induction , algebra , functional equation

Given two positive real numbers $a$ and $b$, suppose that a mapping $f : \mathbb R^+ \to \mathbb R^+$ satisfies the functional equation \[f(f(x)) + af(x) = b(a + b)x.\] Prove that there exists a unique solution of this equation.

2001 Romania National Olympiad, 3

Tags: calculus , integration , trigonometry , function , floor function , real analysis

Let $f:[-1,1]\rightarrow\mathbb{R}$ be a continuous function. Show that: a) if $\int_0^1 f(\sin (x+\alpha ))\, dx=0$, for every $\alpha\in\mathbb{R}$, then $f(x)=0,\ \forall x\in [-1,1]$. b) if $\int_0^1 f(\sin (nx))\, dx=0$, for every $n\in\mathbb{Z}$, then $f(x)=0,\ \forall x\in [-1,1]$.

2008 Brazil National Olympiad, 2

Tags: function , algorithm , number theory

Prove that for all integers $ a > 1$ and $ b > 1$ there exists a function $ f$ from the positive integers to the positive integers such that $ f(a\cdot f(n)) \equal{} b\cdot n$ for all $ n$ positive integer.

VMEO III 2006, 12.3

Tags: number theory , floor function , algebra , function

Prove that for all $n\in\mathbb{Z}^+$, we have \[ \sum\limits_{p=1}^n\sum\limits_{q=1}^p\left\lfloor -\frac{1+\sqrt{8q+(2p-1)^2}}{2}\right\rfloor =-\frac{n(n+1)(n+2)}{3} \]

2011 AMC 12/AHSME, 19

Tags: floor function , function , inequalities , algebra , logarithm

At a competition with $N$ players, the number of players given elite status is equal to \[2^{1+\lfloor\log_2{(N-1)}\rfloor} - N. \] Suppose that $19$ players are given elite status. What is the sum of the two smallest possible values of $N$? $ \textbf{(A)}\ 38\qquad \textbf{(B)}\ 90 \qquad \textbf{(C)}\ 154 \qquad \textbf{(D)}\ 406 \qquad \textbf{(E)}\ 1024$

2015 Mexico National Olympiad, 3

Tags: function , algebra , functional equation

Let $\mathbb{N} =\{1, 2, 3, ...\}$ be the set of positive integers. Let $f : \mathbb{N} \rightarrow \mathbb{N}$ be a function that gives a positive integer value, to every positive integer. Suppose that $f$ satisfies the following conditions: $f(1)=1$ $f(a+b+ab)=a+b+f(ab)$ Find the value of $f(2015)$ Proposed by Jose Antonio Gomez Ortega

2004 Uzbekistan National Olympiad, 3

Tags: inequalities , function , algebra

Given a sequence {$a_n$} such that $a_1=2$ and for all positive integer $n\geq 2$ $a_{n+1}=\frac{a_n^4+9}{16a_n}$. Prove that $\frac {4}{5}<a_n<\frac {5}{4}$