Found problems: 592
2002 IMO Shortlist, 6
Let $A$ be a non-empty set of positive integers. Suppose that there are positive integers $b_1,\ldots b_n$ and $c_1,\ldots,c_n$ such that
- for each $i$ the set $b_iA+c_i=\left\{b_ia+c_i\colon a\in A\right\}$ is a subset of $A$, and
- the sets $b_iA+c_i$ and $b_jA+c_j$ are disjoint whenever $i\ne j$
Prove that \[{1\over b_1}+\,\ldots\,+{1\over b_n}\leq1.\]
1998 IMO, 2
In a contest, there are $m$ candidates and $n$ judges, where $n\geq 3$ is an odd integer. Each candidate is evaluated by each judge as either pass or fail. Suppose that each pair of judges agrees on at most $k$ candidates. Prove that \[{\frac{k}{m}} \geq {\frac{n-1}{2n}}. \]
2023 China Girls Math Olympiad, 3
Let $a,b,c,d \in [0,1] .$ Prove that$$\frac{1}{1+a+b}+\frac{1}{1+b+c}+\frac{1}{1+c+d}+\frac{1}{1+d+a}\leq \frac{4}{1+2\sqrt[4]{abcd}}$$
2012 Kosovo National Mathematical Olympiad, 2
If $a>1,b>1$ are the legths of the catheti of an right triangle and $c$ the length of its hypotenuse, prove that
$a+b\leq c\sqrt 2$
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}.$$
1967 IMO Shortlist, 6
Prove the following inequality:
\[\prod^k_{i=1} x_i \cdot \sum^k_{i=1} x^{n-1}_i \leq \sum^k_{i=1}
x^{n+k-1}_i,\] where $x_i > 0,$ $k \in \mathbb{N}, n \in
\mathbb{N}.$
1967 IMO Longlists, 2
Prove that
\[\frac{1}{3}n^2 + \frac{1}{2}n + \frac{1}{6} \geq (n!)^{\frac{2}{n}},\]
and let $n \geq 1$ be an integer. Prove that this inequality is only possible in the case $n = 1.$
2021 IMO Shortlist, A7
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]
1969 IMO Longlists, 66
$(USS 3)$ $(a)$ Prove that if $0 \le a_0 \le a_1 \le a_2,$ then $(a_0 + a_1x - a_2x^2)^2 \le (a_0 + a_1 + a_2)^2\left(1 +\frac{1}{2}x+\frac{1}{3}x^2+\frac{1}{2}x^3+x^4\right)$
$(b)$ Formulate and prove the analogous result for polynomials of third degree.
2022 Korea Winter Program Practice Test, 2
Let $n\ge 2$ be a positive integer. There are $n$ real coefficient polynomials $P_1(x),P_2(x),\cdots ,P_n(x)$ which is not all the same, and their leading coefficients are positive. Prove that
$$\deg(P_1^n+P_2^n+\cdots +P_n^n-nP_1P_2\cdots P_n)\ge (n-2)\max_{1\le i\le n}(\deg P_i)$$
and find when the equality holds.
1983 Brazil National Olympiad, 5
Show that $1 \le n^{1/n} \le 2$ for all positive integers $n$.
Find the smallest $k$ such that $1 \le n ^{1/n} \le k$ for all positive integers $n$.
1991 IMO Shortlist, 25
Suppose that $ n \geq 2$ and $ x_1, x_2, \ldots, x_n$ are real numbers between 0 and 1 (inclusive). Prove that for some index $ i$ between $ 1$ and $ n \minus{} 1$ the
inequality
\[ x_i (1 \minus{} x_{i\plus{}1}) \geq \frac{1}{4} x_1 (1 \minus{} x_{n})\]
2021 Science ON grade VIII, 4
Consider positive real numbers $x,y,z$. Prove the inequality
$$\frac 1x+\frac 1y+\frac 1z+\frac{9}{x+y+z}\ge 3\left (\left (\frac{1}{2x+y}+\frac{1}{x+2y}\right )+\left (\frac{1}{2y+z}+\frac{1}{y+2z}\right )+\left (\frac{1}{2z+x}+\frac{1}{x+2z}\right )\right ).$$
[i] (Vlad Robu \& Sergiu Novac)[/i]
2005 Uzbekistan National Olympiad, 1
Given a,b c are lenth of a triangle (If ABC is a triangle then AC=b, BC=a, AC=b) and $a+b+c=2$.
Prove that $1+abc<ab+bc+ca\leq \frac{28}{27}+abc$
2021 Latvia TST, 2.5
Suppose that $a,b,c,d$ are positive real numbers satisfying $(a+c)(b+d)=ac+bd$. Find the smallest possible value of
$$\frac{a}{b}+\frac{b}{c}+\frac{c}{d}+\frac{d}{a}.$$
[i]Israel[/i]
2018 USAJMO, 2
Let \(a,b,c\) be positive real numbers such that \(a+b+c=4\sqrt[3]{abc}\). Prove that \[2(ab+bc+ca)+4\min(a^2,b^2,c^2)\ge a^2+b^2+c^2.\]
2014 Bosnia And Herzegovina - Regional Olympiad, 2
Let $a$, $b$ and $c$ be positive real numbers such that $ab+bc+ca=1$. Prove the inequality: $$\frac{1}{a}+\frac{1}{b}+\frac{1}{c} \geq 3(a+b+c)$$
2019 Stars of Mathematics, 4
For positive real numbers $a_1, a_2, ..., a_n$ with product 1 prove:
$$\left(\frac{a_1}{a_2}\right)^{n-1}+\left(\frac{a_2}{a_3}\right)^{n-1}+...+\left(\frac{a_{n-1}}{a_n}\right)^{n-1}+\left(\frac{a_n}{a_1}\right)^{n-1} \geq a_1^{2}+a_2^{2}+...+a_n^{2}$$
Proposed by Andrei Eckstein
2018 Azerbaijan JBMO TST, 2
a) Find :
$A=\{(a,b,c) \in \mathbb{R}^{3} | a+b+c=3 , (6a+b^2+c^2)(6b+c^2+a^2)(6c+a^2+b^2) \neq 0\}$
b) Prove that for any $(a,b,c) \in A$ next inequality hold :
\begin{align*}
\frac{a}{6a+b^2+c^2}+\frac{b}{6b+c^2+a^2}+\frac{c}{6c+a^2+b^2} \le \frac{3}{8}
\end{align*}
1967 IMO Longlists, 23
Prove that for an arbitrary pair of vectors $f$ and $g$ in the space the inequality
\[af^2 + bfg +cg^2 \geq 0\]
holds if and only if the following conditions are fulfilled:
\[a \geq 0, \quad c \geq 0, \quad 4ac \geq b^2.\]
2016 Germany National Olympiad (4th Round), 6
Let \[ f(x_1,x_2,x_3,x_4,x_5,x_6,x_7)=x_1x_2x_4+x_2x_3x_5+x_3x_4x_6+x_4x_5x_7+x_5x_6x_1+x_6x_7x_2+x_7x_1x_3 \] be defined for non-negative real numbers $x_1,x_2,\dots,x_7$ with sum $1$.
Prove that $f(x_1,x_2,\dots,x_7)$ has a maximum value and find that value.
2020 JBMO TST of France, 4
$a, b, c$ are real positive numbers for which $a+b+c=3$. Prove that $a^{12}+b^{12}+c^{12}+8(ab+bc+ca) \geq 27$
1990 IMO Longlists, 88
Let $ w, x, y, z$ are non-negative reals such that $ wx \plus{} xy \plus{} yz \plus{} zw \equal{} 1$.
Show that $ \frac {w^3}{x \plus{} y \plus{} z} \plus{} \frac {x^3}{w \plus{} y \plus{} z} \plus{} \frac {y^3}{w \plus{} x \plus{} z} \plus{} \frac {z^3}{w \plus{} x \plus{} y}\geq \frac {1}{3}$.
2023 JBMO Shortlist, A2
For positive real numbers $x,y,z$ with $xy+yz+zx=1$, prove that
$$\frac{2}{xyz}+9xyz \geq 7(x+y+z)$$
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. \]