Olympiad problems

2013 IMO, 5

Tags: algebra , function , IMO , IMO 2013 , functional equation , IMO Shortlist , Hi

Let $\mathbb Q_{>0}$ be the set of all positive rational numbers. Let $f:\mathbb Q_{>0}\to\mathbb R$ be a function satisfying the following three conditions: (i) for all $x,y\in\mathbb Q_{>0}$, we have $f(x)f(y)\geq f(xy)$; (ii) for all $x,y\in\mathbb Q_{>0}$, we have $f(x+y)\geq f(x)+f(y)$; (iii) there exists a rational number $a>1$ such that $f(a)=a$. Prove that $f(x)=x$ for all $x\in\mathbb Q_{>0}$. [i]Proposed by Bulgaria[/i]

2019 IMO Shortlist, N4

Tags: number theory , IMO Shortlist , IMO Shortlist 2019 , functional equation , Hi

Find all functions $f:\mathbb Z_{>0}\to \mathbb Z_{>0}$ such that $a+f(b)$ divides $a^2+bf(a)$ for all positive integers $a$ and $b$ with $a+b>2019$.

2012 IMO Shortlist, A3

Tags: inequalities , IMO , IMO 2012 , IMO Shortlist , n-variable inequality , Hi , ineqstd

Let $n\ge 3$ be an integer, and let $a_2,a_3,\ldots ,a_n$ be positive real numbers such that $a_{2}a_{3}\cdots a_{n}=1$. Prove that \[(1 + a_2)^2 (1 + a_3)^3 \dotsm (1 + a_n)^n > n^n.\] [i]Proposed by Angelo Di Pasquale, Australia[/i]

2013 USAJMO, 4

Tags: induction , AMC , USA(J)MO , Olympiad Combinatorics , recursion , function , Hi

Let $f(n)$ be the number of ways to write $n$ as a sum of powers of $2$, where we keep track of the order of the summation. For example, $f(4)=6$ because $4$ can be written as $4$, $2+2$, $2+1+1$, $1+2+1$, $1+1+2$, and $1+1+1+1$. Find the smallest $n$ greater than $2013$ for which $f(n)$ is odd.

2006 IMO Shortlist, 2

Tags: geometry , trapezoid , circumcircle , ratio , IMO Shortlist , homothety , Hi

Let $ ABCD$ be a trapezoid with parallel sides $ AB > CD$. Points $ K$ and $ L$ lie on the line segments $ AB$ and $ CD$, respectively, so that $AK/KB=DL/LC$. Suppose that there are points $ P$ and $ Q$ on the line segment $ KL$ satisfying \[\angle{APB} \equal{} \angle{BCD}\qquad\text{and}\qquad \angle{CQD} \equal{} \angle{ABC}.\] Prove that the points $ P$, $ Q$, $ B$ and $ C$ are concyclic. [i]Proposed by Vyacheslev Yasinskiy, Ukraine[/i]

2001 IMO, 2

Tags: IMO Shortlist , IMO 2001 , inequalities , hojoo lee , IMO , Hi

Prove that for all positive real numbers $a,b,c$, \[ \frac{a}{\sqrt{a^2 + 8bc}} + \frac{b}{\sqrt{b^2 + 8ca}} + \frac{c}{\sqrt{c^2 + 8ab}} \geq 1. \]

2010 USA Team Selection Test, 2

Tags: inequalities , Hi

Let $a, b, c$ be positive reals such that $abc=1$. Show that \[\frac{1}{a^5(b+2c)^2} + \frac{1}{b^5(c+2a)^2} + \frac{1}{c^5(a+2b)^2} \ge \frac{1}{3}.\]

2013 IMO Shortlist, N4

Tags: number theory , Perfect Square , decimal representation , IMO Shortlist , Hi

Determine whether there exists an infinite sequence of nonzero digits $a_1 , a_2 , a_3 , \cdots $ and a positive integer $N$ such that for every integer $k > N$, the number $\overline{a_k a_{k-1}\cdots a_1 }$ is a perfect square.

1996 Poland - Second Round, 3

Tags: function , inequalities , Hi

$a,b,c \geq-3/4$ and $a+b+c=1$. Show that: $\frac{a}{1+a^{2}}+\frac{b}{1+b^{2}}+\frac{c}{1+c^{2}}\leq \frac{9}{10}$

2013 EGMO, 6

Tags: pigeonhole principle , combinatorics , EGMO , EGMO 2013 , Hi

Snow White and the Seven Dwarves are living in their house in the forest. On each of $16$ consecutive days, some of the dwarves worked in the diamond mine while the remaining dwarves collected berries in the forest. No dwarf performed both types of work on the same day. On any two different (not necessarily consecutive) days, at least three dwarves each performed both types of work. Further, on the first day, all seven dwarves worked in the diamond mine. Prove that, on one of these $16$ days, all seven dwarves were collecting berries.

2021 IMO Shortlist, G1

Tags: geometry , IMO Shortlist , AZE IMO TST , Hi

Let $ABCD$ be a parallelogram with $AC=BC.$ A point $P$ is chosen on the extension of ray $AB$ past $B.$ The circumcircle of $ACD$ meets the segment $PD$ again at $Q.$ The circumcircle of triangle $APQ$ meets the segment $PC$ at $R.$ Prove that lines $CD,AQ,BR$ are concurrent.

2014 BAMO, 5

Tags: Tournament , games , combinatorics , Hi

A chess tournament took place between $2n+1$ players. Every player played every other player once, with no draws. In addition, each player had a numerical rating before the tournament began, with no two players having equal ratings. It turns out there were exactly $k$ games in which the lower-rated player beat the higher-rated player. Prove that there is some player who won no less than $n-\sqrt{2k}$ and no more than $n+\sqrt{2k}$ games.

2022 Brazil Team Selection Test, 1

Tags: geometry , IMO Shortlist , AZE IMO TST , Hi

Let $ABCD$ be a parallelogram with $AC=BC.$ A point $P$ is chosen on the extension of ray $AB$ past $B.$ The circumcircle of $ACD$ meets the segment $PD$ again at $Q.$ The circumcircle of triangle $APQ$ meets the segment $PC$ at $R.$ Prove that lines $CD,AQ,BR$ are concurrent.

2017 Estonia Team Selection Test, 6

Tags: algebra , functional equation , IMO Shortlist , nice problem , Hi

Find all functions $f:(0,\infty)\rightarrow (0,\infty)$ such that for any $x,y\in (0,\infty)$, $$xf(x^2)f(f(y)) + f(yf(x)) = f(xy) \left(f(f(x^2)) + f(f(y^2))\right).$$

2001 IMO Shortlist, 6

Tags: IMO Shortlist , IMO 2001 , inequalities , hojoo lee , IMO , Hi

Prove that for all positive real numbers $a,b,c$, \[ \frac{a}{\sqrt{a^2 + 8bc}} + \frac{b}{\sqrt{b^2 + 8ca}} + \frac{c}{\sqrt{c^2 + 8ab}} \geq 1. \]

2019 Taiwan TST Round 3, 4

Tags: IMO Shortlist , number theory , Hi

Let $n>1$ be a positive integer. Each cell of an $n\times n$ table contains an integer. Suppose that the following conditions are satisfied: [list=1] [*] Each number in the table is congruent to $1$ modulo $n$. [*] The sum of numbers in any row, as well as the sum of numbers in any column, is congruent to $n$ modulo $n^2$. [/list] Let $R_i$ be the product of the numbers in the $i^{\text{th}}$ row, and $C_j$ be the product of the number in the $j^{\text{th}}$ column. Prove that the sums $R_1+\hdots R_n$ and $C_1+\hdots C_n$ are congruent modulo $n^4$.

2016 Taiwan TST Round 1, 2

Tags: inequalities , algebra , IMO Shortlist , multivariate polynomial , maximization , n-variable inequality , Hi

Let $n$ be a fixed positive integer. Find the maximum possible value of \[ \sum_{1 \le r < s \le 2n} (s-r-n)x_rx_s, \] where $-1 \le x_i \le 1$ for all $i = 1, \cdots , 2n$.

2015 India IMO Training Camp, 3

Tags: floor function , IMO Shortlist , number theory , Sequence , Parity , IMO Shortlist 2014 , Hi

Let $n > 1$ be a given integer. Prove that infinitely many terms of the sequence $(a_k )_{k\ge 1}$, defined by \[a_k=\left\lfloor\frac{n^k}{k}\right\rfloor,\] are odd. (For a real number $x$, $\lfloor x\rfloor$ denotes the largest integer not exceeding $x$.) [i]Proposed by Hong Kong[/i]

2017 Estonia Team Selection Test, 6

Tags: algebra , functional equation , IMO Shortlist , nice problem , Hi

Find all functions $f:(0,\infty)\rightarrow (0,\infty)$ such that for any $x,y\in (0,\infty)$, $$xf(x^2)f(f(y)) + f(yf(x)) = f(xy) \left(f(f(x^2)) + f(f(y^2))\right).$$

2014 Contests, 3

Tags: function , AMC , USAJMO , USAMO , USAMO 2014 , algebra , Hi

Let $\mathbb{Z}$ be the set of integers. Find all functions $f : \mathbb{Z} \rightarrow \mathbb{Z}$ such that \[xf(2f(y)-x)+y^2f(2x-f(y))=\frac{f(x)^2}{x}+f(yf(y))\] for all $x, y \in \mathbb{Z}$ with $x \neq 0$.

2018 Polish MO Finals, 5

Tags: geometry , Poland , radical axis , geometry solved , projective geometry , radical axes , Hi

An acute triangle $ABC$ in which $AB<AC$ is given. Points $E$ and $F$ are feet of its heights from $B$ and $C$, respectively. The line tangent in point $A$ to the circle escribed on $ABC$ crosses $BC$ at $P$. The line parallel to $BC$ that goes through point $A$ crosses $EF$ at $Q$. Prove $PQ$ is perpendicular to the median from $A$ of triangle $ABC$.

2005 Taiwan TST Round 1, 1

Tags: inequalities , IMO Shortlist , Hi

If $a$, $b$ ,$c$ are three positive real numbers such that $ab+bc+ca = 1$, prove that \[ \sqrt[3]{ \frac{1}{a} + 6b} + \sqrt[3]{\frac{1}{b} + 6c} + \sqrt[3]{\frac{1}{c} + 6a } \leq \frac{1}{abc}. \]

2012 Mathcenter Contest + Longlist, 5

Tags: algebra , inequalities , Hi

Let $a,b,c>0$ and $a+b+c+abc=4$. Prove that $$\frac{a}{\sqrt{b+c}}+\frac{b}{\sqrt{c+a}}+\frac{c}{\sqrt{a+b} }\ge \frac{1}{\sqrt{2}}(a+b+c).$$ [i](Zhuge Liang)[/i]

2008 IMO, 4

Tags: algebra , functional equation , IMO Shortlist , IMO , IMO 2008 , Hi

Find all functions $ f: (0, \infty) \mapsto (0, \infty)$ (so $ f$ is a function from the positive real numbers) such that \[ \frac {\left( f(w) \right)^2 \plus{} \left( f(x) \right)^2}{f(y^2) \plus{} f(z^2) } \equal{} \frac {w^2 \plus{} x^2}{y^2 \plus{} z^2} \] for all positive real numbers $ w,x,y,z,$ satisfying $ wx \equal{} yz.$ [i]Author: Hojoo Lee, South Korea[/i]

2007 China Team Selection Test, 1

Tags: inequalities , trigonometry , quadratics , function , Hi

$ u,v,w > 0$,such that $ u \plus{} v \plus{} w \plus{} \sqrt {uvw} \equal{} 4$ prove that $ \sqrt {\frac {uv}{w}} \plus{} \sqrt {\frac {vw}{u}} \plus{} \sqrt {\frac {wu}{v}}\geq u \plus{} v \plus{} w$