Found problems: 583
2023 JBMO Shortlist, A5
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}$$
BIMO 2022, 1
Let $a, b, c,$ be nonnegative reals with $ a+b+c=3 $, find the largest positive real $ k $ so that for all $a,b,c,$ we have $$ a^2+b^2+c^2+k(abc-1)\ge 3 $$
2020 Junior Balkan Team Selection Tests - Moldova, 2
The positive real numbers $a, b, c$ satisfy the equation $a+b+c=1$.
Prove the identity: $\sqrt{\frac{(a+bc)(b+ca)}{c+ab}}+\sqrt{\frac{(b+ca)(c+ab)}{a+bc}}+\sqrt{\frac{(c+ab)(a+bc)}{b+ca}} = 2$
2016 Balkan MO Shortlist, A1
Let $a, b,c$ be positive real numbers.
Prove that $ \sqrt{a^3b+a^3c}+\sqrt{b^3c+b^3a}+\sqrt{c^3a+c^3b}\ge \frac43 (ab+bc+ca)$
1975 IMO Shortlist, 14
Let $x_0 = 5$ and $x_{n+1} = x_n + \frac{1}{x_n} \ (n = 0, 1, 2, \ldots )$. Prove that
\[45 < x_{1000} < 45. 1.\]
1966 IMO Longlists, 33
Given two internally tangent circles; in the bigger one we inscribe an equilateral triangle. From each of the vertices of this triangle, we draw a tangent to the smaller circle. Prove that the length of one of these tangents equals the sum of the lengths of the two other tangents.
1982 IMO Shortlist, 3
Consider infinite sequences $\{x_n\}$ of positive reals such that $x_0=1$ and $x_0\ge x_1\ge x_2\ge\ldots$.
[b]a)[/b] Prove that for every such sequence there is an $n\ge1$ such that: \[ {x_0^2\over x_1}+{x_1^2\over x_2}+\ldots+{x_{n-1}^2\over x_n}\ge3.999. \]
[b]b)[/b] Find such a sequence such that for all $n$: \[ {x_0^2\over x_1}+{x_1^2\over x_2}+\ldots+{x_{n-1}^2\over x_n}<4. \]
2010 Brazil Team Selection Test, 3
Let $a$, $b$, $c$ be positive real numbers such that $\dfrac{1}{a} + \dfrac{1}{b} + \dfrac{1}{c} = a+b+c$. Prove that:
\[\frac{1}{(2a+b+c)^2}+\frac{1}{(a+2b+c)^2}+\frac{1}{(a+b+2c)^2}\leq \frac{3}{16}.\]
[i]Proposed by Juhan Aru, Estonia[/i]
2022 China Second Round, 3
Let $a_1,a_2,\cdots ,a_{100}$ be non-negative integers such that
$(1)$ There are positive integers$ k\leq 100$ such that $a_1\leq a_2\leq \cdots\leq a_{k}$
and $a_i=0$ $(i>k);$
$(2)$ $ a_1+a_2+a_3+\cdots +a_{100}=100;$
$(3)$ $ a_1+2a_2+3a_3+\cdots +100a_{100}=2022.$
Find the minimum of $ a_1+2^2a_2+3^2a_3+\cdots +100^2a_{100}.$
1982 IMO, 3
Consider infinite sequences $\{x_n\}$ of positive reals such that $x_0=1$ and $x_0\ge x_1\ge x_2\ge\ldots$.
[b]a)[/b] Prove that for every such sequence there is an $n\ge1$ such that: \[ {x_0^2\over x_1}+{x_1^2\over x_2}+\ldots+{x_{n-1}^2\over x_n}\ge3.999. \]
[b]b)[/b] Find such a sequence such that for all $n$: \[ {x_0^2\over x_1}+{x_1^2\over x_2}+\ldots+{x_{n-1}^2\over x_n}<4. \]
2014 India Regional Mathematical Olympiad, 2
Let $x, y, z$ be positive real numbers. Prove that $\frac{y^2 + z^2}{x}+\frac{z^2 + x^2}{y}+\frac{x^2 + y^2}{z}\ge 2(x + y + z)$.
2013 Taiwan TST Round 1, 2
Prove that for positive reals $a,b,c$,
\[\frac{8a^2+2ab}{(b+\sqrt{6ac}+3c)^2}+\frac{2b^2+3bc}{(3c+\sqrt{2ab}+2a)^2}+\frac{18c^2+6ac}{(2a+\sqrt{3bc}+b})^2\geq 1\]
1976 IMO Longlists, 3
Let $a_0, a_1, \ldots, a_n, a_{n+1}$ be a sequence of real numbers satisfying the following conditions:
\[a_0 = a_{n+1 }= 0,\]\[ |a_{k-1} - 2a_k + a_{k+1}| \leq 1 \quad (k = 1, 2,\ldots , n).\]
Prove that $|a_k| \leq \frac{k(n+1-k)}{2} \quad (k = 0, 1,\ldots ,n + 1).$
1992 IMO Longlists, 57
For positive numbers $a, b, c$ define $A = \frac{(a + b + c)}{3}$, $G = \sqrt[3]{abc}$, $H = \frac{3}{(a^{-1} + b^{-1} + c^{-1})}.$ Prove that
\[ \left( \frac AG \right)^3 \geq \frac 14 + \frac 34 \cdot \frac AH.\]
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$.
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]
1971 IMO Shortlist, 17
Prove the inequality
\[ \frac{a_1+ a_3}{a_1 + a_2} + \frac{a_2 + a_4}{a_2 + a_3} + \frac{a_3 + a_1}{a_3 + a_4} + \frac{a_4 + a_2}{a_4 + a_1} \geq 4, \]
where $a_i > 0, i = 1, 2, 3, 4.$
1983 Czech and Slovak Olympiad III A, 5
Find all pair $(x,y)$ of positive integers satisfying $$\left|\frac{x}{y}-\sqrt2\right|<\frac{1}{y^3}.$$
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. \]
2018 Azerbaijan JBMO TST, 1
Let $a, b, c $ be positive real numbers such that $abc = \frac {2} {3}. $ Prove that:
$$\frac {ab}{a + b} + \frac {bc} {b + c} + \frac {ca} {c + a} \geqslant \frac {a+b+c} {a^3+b ^ 3 + c ^ 3}.$$
2007 Balkan MO Shortlist, N5
Let $p \geq 5$ be a prime and let
\begin{align*} (p-1)^p +1 = \prod _{i=1}^n q_i^{\beta_i} \end{align*}
where $q_i$ are primes. Prove,
\begin{align*} \sum_{i=1}^n q_i \beta_i >p^2 \end{align*}
2013 Macedonian Team Selection Test, Problem 5
Let $ABC$ be a triangle with given sides $a,b,c$. Determine the minimal possible length of the diagonal of an inscribed rectangle in this triangle.
[i]Note: A rectangle is inscribed in the triangle if two of its consecutive vertices lie on one side of the triangle, while the other two vertices lie on the other two sides of the triangle. [/i]
2018 IFYM, Sozopol, 1
$A = \{a_1, a_2, . . . , a_k\}$ is a set of positive integers for which the sum of some (we can have only one number too) different numbers from the set is equal to a different number i.e. there $2^k - 1$ different sums of different numbers from $A$. Prove that the following inequality holds:
$\frac{1}{a_1}+\frac{1}{a_2}+...+\frac{1}{a_k}<2$
1994 IMO Shortlist, 2
Let $ m$ and $ n$ be two positive integers. Let $ a_1$, $ a_2$, $ \ldots$, $ a_m$ be $ m$ different numbers from the set $ \{1, 2,\ldots, n\}$ such that for any two indices $ i$ and $ j$ with $ 1\leq i \leq j \leq m$ and $ a_i \plus{} a_j \leq n$, there exists an index $ k$ such that $ a_i \plus{} a_j \equal{} a_k$. Show that
\[ \frac {a_1 \plus{} a_2 \plus{} ... \plus{} a_m}{m} \geq \frac {n \plus{} 1}{2}.
\]
1967 IMO Longlists, 37
Prove that for arbitrary positive numbers the following inequality holds
\[\frac{1}{a} + \frac{1}{b} + \frac{1}{c} \leq \frac{a^8 + b^8 + c^8}{a^3b^3c^3}.\]