Found problems: 583
1992 IMO Shortlist, 18
Let $ \lfloor x \rfloor$ denote the greatest integer less than or equal to $ x.$ Pick any $ x_1$ in $ [0, 1)$ and define the sequence $ x_1, x_2, x_3, \ldots$ by $ x_{n\plus{}1} \equal{} 0$ if $ x_n \equal{} 0$ and $ x_{n\plus{}1} \equal{} \frac{1}{x_n} \minus{} \left \lfloor \frac{1}{x_n} \right \rfloor$ otherwise. Prove that
\[ x_1 \plus{} x_2 \plus{} \ldots \plus{} x_n < \frac{F_1}{F_2} \plus{} \frac{F_2}{F_3} \plus{} \ldots \plus{} \frac{F_n}{F_{n\plus{}1}},\]
where $ F_1 \equal{} F_2 \equal{} 1$ and $ F_{n\plus{}2} \equal{} F_{n\plus{}1} \plus{} F_n$ for $ n \geq 1.$
2012 Middle European Mathematical Olympiad, 1
Let $ \mathbb{R} ^{+} $ denote the set of all positive real numbers. Find all functions $ \mathbb{R} ^{+} \to \mathbb{R} ^{+} $ such that
\[ f(x+f(y)) = yf(xy+1)\]
holds for all $ x, y \in \mathbb{R} ^{+} $.
2011 Germany Team Selection Test, 1
A sequence $x_1, x_2, \ldots$ is defined by $x_1 = 1$ and $x_{2k}=-x_k, x_{2k-1} = (-1)^{k+1}x_k$ for all $k \geq 1.$ Prove that $\forall n \geq 1$ $x_1 + x_2 + \ldots + x_n \geq 0.$
[i]Proposed by Gerhard Wöginger, Austria[/i]
2017 239 Open Mathematical Olympiad, 7
Find the greatest possible value of $s>0$, such that for any positive real numbers $a,b,c$, $$(\frac{1}{a+b}+\frac{1}{b+c}+\frac{1}{c+a})^2 \geq s(\frac{1}{a^2+bc}+\frac{1}{b^2+ca}+\frac{1}{c^2+ab}).$$
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}$.
2019 Mathematical Talent Reward Programme, SAQ: P 3
Suppose $a$, $b$, $c$ are three positive real numbers with $a + b + c = 3$. Prove that
$$\frac{a}{b^2 + c}+\frac{b}{c^2 + a}+\frac{c}{a^2 + b}\geq \frac{3}{2}$$
1973 IMO Shortlist, 10
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.$
2020 Australian Maths Olympiad, 1
Determine all pairs $(a,b)$ of non-negative integers such that
$$ \frac{a+b}{2}-\sqrt{ab}=1.$$
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.
1980 IMO, 2
Define the numbers $a_0, a_1, \ldots, a_n$ in the following way:
\[ a_0 = \frac{1}{2}, \quad a_{k+1} = a_k + \frac{a^2_k}{n} \quad (n > 1, k = 0,1, \ldots, n-1). \]
Prove that \[ 1 - \frac{1}{n} < a_n < 1.\]
1999 Mongolian Mathematical Olympiad, Problem 2
Let $a,b,c$ be the real numbers with $a\ge\frac85b>0$ and $a\ge c>0$. Prove the inequality
$$\frac45\left(\frac1a+\frac1b\right)+\frac2c\ge\frac{27}2\cdot\frac1{a+b+c}.$$
2021 Federal Competition For Advanced Students, P1, 1
Let $a,b,c\geq 0$ and $a+b+c=1.$ Prove that$$\frac{a}{2a+1}+\frac{b}{3b+1}+\frac{c}{6c+1}\leq \frac{1}{2}.$$
[size=50](Marian Dinca)[/size]
2021 Taiwan TST Round 1, 4
Let $n$ be a positive integer. For each $4n$-tuple of nonnegative real numbers $a_1,\ldots,a_{2n}$, $b_1,\ldots,b_{2n}$ that satisfy $\sum_{i=1}^{2n}a_i=\sum_{j=1}^{2n}b_j=n$, define the sets
\[A:=\left\{\sum_{j=1}^{2n}\frac{a_ib_j}{a_ib_j+1}:i\in\{1,\ldots,2n\} \textup{ s.t. }\sum_{j=1}^{2n}\frac{a_ib_j}{a_ib_j+1}\neq 0\right\},\]
\[B:=\left\{\sum_{i=1}^{2n}\frac{a_ib_j}{a_ib_j+1}:j\in\{1,\ldots,2n\} \textup{ s.t. }\sum_{i=1}^{2n}\frac{a_ib_j}{a_ib_j+1}\neq 0\right\}.\]
Let $m$ be the minimum element of $A\cup B$. Determine the maximum value of $m$ among those derived from all such $4n$-tuples $a_1,\ldots,a_{2n},b_1,\ldots,b_{2n}$.
[I]Proposed by usjl.[/i]
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.\]
2011 Bosnia and Herzegovina Junior BMO TST, 2
Prove inequality, with $a$ and $b$ nonnegative real numbers:
$\frac{a+b}{1+a+b}\leq \frac{a}{1+a} + \frac{b}{1+b} \leq \frac{2(a+b)}{2+a+b}$
2019 Serbia JBMO TST, 2
If a b c positive reals smaller than 1, prove:
a+b+c+2abc>ab+bc+ca+2(abc)^(1/2)
1990 IMO Shortlist, 24
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}$.
1979 IMO Shortlist, 11
Given real numbers $x_1, x_2, \dots , x_n \ (n \geq 2)$, with $x_i \geq \frac 1n \ (i = 1, 2, \dots, n)$ and with $x_1^2+x_2^2+\cdots+x_n^2 = 1$ , find whether the product $P = x_1x_2x_3 \cdots x_n$ has a greatest and/or least value and if so, give these values.
2023 Azerbaijan JBMO TST, 1
Let $a < b < c < d < e$ be positive integers. Prove that
$$\frac{1}{[a, b]} + \frac{1}{[b, c]} + \frac{1}{[c, d]} + \frac{2}{[d, e]} \le 1$$
where $[x, y]$ is the least common multiple of $x$ and $y$ (e.g., $[6, 10] = 30$). When does equality hold?
2024 Azerbaijan National Mathematical Olympiad, 2
Find all the real number triples $(x, y, z)$ satisfying the following system of inequalities under the condition $0 < x, y, z < \sqrt{2}$:
$$y\sqrt{4-x^2y^2}\ge \frac{2}{\sqrt{xz}}$$
$$x\sqrt{4-x^2z^2}\ge \frac{2}{\sqrt{yz}}$$
$$z\sqrt{4-y^2z^2}\ge \frac{2}{\sqrt{xy}}$$.
2021 Alibaba Global Math Competition, 6
Let $M(t)$ be measurable and locally bounded function, that is,
\[M(t) \le C_{a,b}, \quad \forall 0 \le a \le t \le b<\infty\]
with some constant $C_{a,b}$, from $[0,\infty)$ to $[0,\infty)$ such that
\[M(t) \le 1+\int_0^t M(t-s)(1+t)^{-1}s^{-1/2} ds, \quad \forall t \ge 0.\]
Show that
\[M(t) \le 10+2\sqrt{5}, \quad \forall t \ge 0.\]
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$.
2016 JBMO Shortlist, 1
Let $a, b, c$ be positive real numbers such that $abc = 8$. Prove that
$\frac{ab + 4}{a + 2}+\frac{bc + 4}{b + 2}+\frac{ca + 4}{c + 2}\ge 6$.
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}.$
1979 IMO Longlists, 29
Given real numbers $x_1, x_2, \dots , x_n \ (n \geq 2)$, with $x_i \geq \frac 1n \ (i = 1, 2, \dots, n)$ and with $x_1^2+x_2^2+\cdots+x_n^2 = 1$ , find whether the product $P = x_1x_2x_3 \cdots x_n$ has a greatest and/or least value and if so, give these values.