Found problems: 592
1973 IMO, 3
Let $a_1, \ldots, a_n$ be $n$ positive numbers and $0 < q < 1.$ Determine $n$ positive numbers $b_1, \ldots, b_n$ so that:
[i]a.)[/i] $ a_{k} < b_{k}$ for all $k = 1, \ldots, n,$
[i]b.)[/i] $q < \frac{b_{k+1}}{b_{k}} < \frac{1}{q}$ for all $k = 1, \ldots, n-1,$
[i]c.)[/i] $\sum \limits^n_{k=1} b_k < \frac{1+q}{1-q} \cdot \sum \limits^n_{k=1} a_k.$
2016 IMO Shortlist, A3
Find all positive integers $n$ such that the following statement holds: Suppose real numbers $a_1$, $a_2$, $\dots$, $a_n$, $b_1$, $b_2$, $\dots$, $b_n$ satisfy $|a_k|+|b_k|=1$ for all $k=1,\dots,n$. Then there exists $\varepsilon_1$, $\varepsilon_2$, $\dots$, $\varepsilon_n$, each of which is either $-1$ or $1$, such that
\[ \left| \sum_{i=1}^n \varepsilon_i a_i \right| + \left| \sum_{i=1}^n \varepsilon_i b_i \right| \le 1. \]
2004 USAMO, 5
Let $a, b, c > 0$. Prove that $(a^5 - a^2 + 3)(b^5 - b^2 + 3)(c^5 - c^2 + 3) \geq (a + b + c)^3$.
2015 Irish Math Olympiad, 10
Prove that, for all pairs of nonnegative integers, $j,n$, $$\sum_{K=0}^{n}k^j\binom n k \ge 2^{n-j} n^j$$
2020 Stars of Mathematics, 1
Let $a_1,a_2,a_3,a_4$ be positive real numbers satisfying \[\sum_{i<j}a_ia_j=1.\]Prove that \[\sum_{\text{sym}}\frac{a_1a_2}{1+a_3a_4}\geq\frac{6}{7}.\][i]* * *[/i]
2020 Baltic Way, 1
Let $a_0>0$ be a real number, and let
$$a_n=\frac{a_{n-1}}{\sqrt{1+2020\cdot a_{n-1}^2}}, \quad \textrm{for } n=1,2,\ldots ,2020.$$
Show that $a_{2020}<\frac1{2020}$.
1989 IMO Shortlist, 16
The set $ \{a_0, a_1, \ldots, a_n\}$ of real numbers satisfies the following conditions:
[b](i)[/b] $ a_0 \equal{} a_n \equal{} 0,$
[b](ii)[/b] for $ 1 \leq k \leq n \minus{} 1,$ \[ a_k \equal{} c \plus{} \sum^{n\minus{}1}_{i\equal{}k} a_{i\minus{}k} \cdot \left(a_i \plus{} a_{i\plus{}1} \right)\]
Prove that $ c \leq \frac{1}{4n}.$
JOM 2015 Shortlist, A2
Let $ a, b, c $ be positive real numbers greater or equal to $ 3 $. Prove that $$ 3(abc+b+2c)\ge 2(ab+2ac+3bc) $$ and determine all equality cases.
2009 Iran Team Selection Test, 3
Suppose that $ a$,$ b$,$ c$ be three positive real numbers such that $ a\plus{}b\plus{}c\equal{}3$ . Prove that :
$ \frac{1}{2\plus{}a^{2}\plus{}b^{2}}\plus{}\frac{1}{2\plus{}b^{2}\plus{}c^{2}}\plus{}\frac{1}{2\plus{}c^{2}\plus{}a^{2}} \leq \frac{3}{4}$
2023 Taiwan TST Round 2, A
For each positive integer $k$ greater than $1$, find the largest real number $t$ such that the following hold:
Given $n$ distinct points $a^{(1)}=(a^{(1)}_1,\ldots, a^{(1)}_k)$, $\ldots$, $a^{(n)}=(a^{(n)}_1,\ldots, a^{(n)}_k)$ in $\mathbb{R}^k$, we define the score of the tuple $a^{(i)}$ as
\[\prod_{j=1}^{k}\#\{1\leq i'\leq n\textup{ such that }\pi_j(a^{(i')})=\pi_j(a^{(i)})\}\]
where $\#S$ is the number of elements in set $S$, and $\pi_j$ is the projection $\mathbb{R}^k\to \mathbb{R}^{k-1}$ omitting the $j$-th coordinate. Then the $t$-th power mean of the scores of all $a^{(i)}$'s is at most $n$.
Note: The $t$-th power mean of positive real numbers $x_1,\ldots,x_n$ is defined as
\[\left(\frac{x_1^t+\cdots+x_n^t}{n}\right)^{1/t}\]
when $t\neq 0$, and it is $\sqrt[n]{x_1\cdots x_n}$ when $t=0$.
[i]Proposed by Cheng-Ying Chang and usjl[/i]
1989 IMO Longlists, 55
The set $ \{a_0, a_1, \ldots, a_n\}$ of real numbers satisfies the following conditions:
[b](i)[/b] $ a_0 \equal{} a_n \equal{} 0,$
[b](ii)[/b] for $ 1 \leq k \leq n \minus{} 1,$ \[ a_k \equal{} c \plus{} \sum^{n\minus{}1}_{i\equal{}k} a_{i\minus{}k} \cdot \left(a_i \plus{} a_{i\plus{}1} \right)\]
Prove that $ c \leq \frac{1}{4n}.$
2020 China Girls Math Olympiad, 2
Let $n$ be an integer and $n \geq 2$, $x_1, x_2, \cdots , x_n$ are arbitrary real number, find the maximum value of $$2\sum_{1\leq i<j \leq n}\left \lfloor x_ix_j \right \rfloor-\left ( n-1 \right )\sum_{i=1}^{n}\left \lfloor x_i^2 \right \rfloor $$
1971 IMO Shortlist, 5
Let \[ E_n=(a_1-a_2)(a_1-a_3)\ldots(a_1-a_n)+(a_2-a_1)(a_2-a_3)\ldots(a_2-a_n)+\ldots+(a_n-a_1)(a_n-a_2)\ldots(a_n-a_{n-1}). \] Let $S_n$ be the proposition that $E_n\ge0$ for all real $a_i$. Prove that $S_n$ is true for $n=3$ and $5$, but for no other $n>2$.
2021 Macedonian Mathematical Olympiad, Problem 1
Let $(a_n)^{+\infty}_{n=1}$ be a sequence defined recursively as follows: $a_1=1$ and $$a_{n+1}=1 + \sum\limits_{k=1}^{n}ka_k$$
For every $n > 1$, prove that $\sqrt[n]{a_n} < \frac {n+1}{2}$.
1967 IMO Shortlist, 3
Prove the trigonometric inequality $\cos x < 1 - \frac{x^2}{2} + \frac{x^4}{16},$ when $x \in \left(0, \frac{\pi}{2} \right).$
2022 Thailand TST, 3
Let $n\geqslant 1$ be an integer, and let $x_0,x_1,\ldots,x_{n+1}$ be $n+2$ non-negative real numbers that satisfy $x_ix_{i+1}-x_{i-1}^2\geqslant 1$ for all $i=1,2,\ldots,n.$ Show that \[x_0+x_1+\cdots+x_n+x_{n+1}>\bigg(\frac{2n}{3}\bigg)^{3/2}.\][i]Pakawut Jiradilok and Wijit Yangjit, Thailand[/i]
2023 JBMO Shortlist, A3
Prove that for all non-negative real numbers $x,y,z$, not all equal to $0$, the following inequality holds
$\displaystyle \dfrac{2x^2-x+y+z}{x+y^2+z^2}+\dfrac{2y^2+x-y+z}{x^2+y+z^2}+\dfrac{2z^2+x+y-z}{x^2+y^2+z}\geq 3.$
Determine all the triples $(x,y,z)$ for which the equality holds.
[i]Milan Mitreski, Serbia[/i]
1983 IMO, 3
Let $ a$, $ b$ and $ c$ be the lengths of the sides of a triangle. Prove that
\[ a^{2}b(a \minus{} b) \plus{} b^{2}c(b \minus{} c) \plus{} c^{2}a(c \minus{} a)\ge 0.
\]
Determine when equality occurs.
2011 Akdeniz University MO, 3
For all $x \geq 2$, $y \geq 2$ real numbers, prove that
$$x(\frac{4x}{y-1}+\frac{1}{2y+x})+y(\frac{y}{6x-9}+\frac{1}{2x+y}) > \frac{26}{3}$$
2013 Vietnam Team Selection Test, 4
Find the greatest positive integer $k$ such that the following inequality holds for all $a,b,c\in\mathbb{R}^+$ satisfying $abc=1$ \[ \frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{k}{a+b+c+1}\geqslant 3+\frac{k}{4} \]
1989 Bundeswettbewerb Mathematik, 2
Find all pairs $(a,b)$ of real numbers such that
$$|\sqrt{1-x^2 }-ax-b| \leq \frac{\sqrt{2} -1}{2}$$
holds for all $x\in [0,1]$.
2024 Azerbaijan JBMO TST, 4
Let $a \geq b \geq 1 \geq c \geq 0$ be real numbers such that $a+b+c=3$. Show that
$$3 \left( \frac{a}{b}+\frac{b}{a} \right ) \geq 4c^2+\frac{a^2}{b}+\frac{b^2}{a}$$
1994 All-Russian Olympiad Regional Round, 11.1
Prove that for all $x \in \left( 0, \frac{\pi}{3} \right)$ inequality $sin2x+cosx>1$ holds.
1985 IMO Shortlist, 7
The positive integers $x_1, \cdots , x_n$, $n \geq 3$, satisfy $x_1 < x_2 <\cdots< x_n < 2x_1$. Set $P = x_1x_2 \cdots x_n.$ Prove that if $p$ is a prime number, $k$ a positive integer, and $P$ is divisible by $pk$, then $\frac{P}{p^k} \geq n!.$
2019 Baltic Way, 1
For all non-negative real numbers $x,y,z$ with $x \geq y$, prove the inequality
$$\frac{x^3-y^3+z^3+1}{6}\geq (x-y)\sqrt{xyz}.$$