Olympiad problems

2001 China Team Selection Test, 2

Let $\theta_i \in \left ( 0,\frac{\pi}{4} \right ]$ for $i=1,2,3,4$. Prove that: $\tan \theta _1 \tan \theta _2 \tan \theta _3 \tan \theta _4 \le (\frac{\sin^8 \theta _1+\sin^8 \theta _2+\sin^8 \theta _3+\sin^8 \theta _4}{\cos^8 \theta _1+\cos^8 \theta _2+\cos^8 \theta _3+\cos^8 \theta _4})^\frac{1}{2}$ [hide=edit]@below, fixed now. There were some problems (weird characters) so aops couldn't send it.[/hide]

1982 IMO Shortlist, 15

Tags: Inequality , calculus , geometric progression , IMO Shortlist , IMO Longlist

Show that \[ \frac{1 - s^a}{1 - s} \leq (1 + s)^{a-1}\] holds for every $1 \neq s > 0$ real and $0 < a \leq 1$ rational.

2018 USAMO, 1

Tags: 2018 USAMO Problem 1 , 2018 USAJMO Problem 2 , Inequality , homogenous

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.\]

2022 Taiwan TST Round 2, A

Tags: ISL 2021 , algebra , Inequality , inequalities

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]

2010 Kosovo National Mathematical Olympiad, 5

Tags: Inequality , algebra , inequalities proposed , inequalities

Let $x,y$ be positive real numbers such that $x+y=1$. Prove that $\left(1+\frac {1}{x}\right)\left(1+\frac {1}{y}\right)\geq 9$.

2021-IMOC, A10

Tags: Inequality , algebra , inequalities

For any positive reals $x$, $y$, $z$ with $xyz + xy + yz + zx = 4$, prove that $$\sqrt{\frac{xy+x+y}{z}}+\sqrt{\frac{yz+y+z}{x}}+\sqrt{\frac{zx+z+x}{y}}\geq 3\sqrt{\frac{3(x+2)(y+2)(z+2)}{(2x + 1)(2y + 1)(2z + 1). }}$$

1975 IMO Shortlist, 5

Tags: decimal representation , Digits , series summation , Inequality , algebra , IMO Shortlist

Let $M$ be the set of all positive integers that do not contain the digit $9$ (base $10$). If $x_1, \ldots , x_n$ are arbitrary but distinct elements in $M$, prove that \[\sum_{j=1}^n \frac{1}{x_j} < 80 .\]

2024 Balkan MO, 3

Tags: number theory , Divisibility , Inequality , inequalities

Let $a$ and $b$ be distinct positive integers such that $3^a + 2$ is divisible by $3^b + 2$. Prove that $a > b^2$. [i]Proposed by Tynyshbek Anuarbekov, Kazakhstan[/i]

1966 IMO Shortlist, 33

Tags: geometry , tangent circles , Inequality , geometric inequality , IMO Shortlist , IMO Longlist

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.

2014 Contests, 3

Tags: algebra , Inequality , JBMO Shortlist

For positive real numbers $a,b,c$ with $abc=1$ prove that $\left(a+\frac{1}{b}\right)^{2}+\left(b+\frac{1}{c}\right)^{2}+\left(c+\frac{1}{a}\right)^{2}\geq 3(a+b+c+1)$

2020 JBMO Shortlist, 3

Tags: Junior , Balkan , shortlist , algebra , Inequality , minimum

Find all triples of positive real numbers $(a, b, c)$ so that the expression $M = \frac{(a + b)(b + c)(a + b + c)}{abc}$ gets its least value.

2013 Uzbekistan National Olympiad, 2

Tags: trigonometry , inequalities proposed , algebra , Inequality

Let $x$ and $y$ are real numbers such that $x^2y^2+2yx^2+1=0.$ If $S=\frac{2}{x^2}+1+\frac{1}{x}+y(y+2+\frac{1}{x})$, find (a)max$S$ and (b) min$S$.

2024 Mongolian Mathematical Olympiad, 1

Tags: calculus , derivative , algebra , Inequality , Bruh

Let $P(x)$ and $Q(x)$ be polynomials with nonnegative coefficients. We denote by $P'(x)$ the derivative of $P(x)$. Suppose that $P(0)=Q(0)=0$ and $Q(1) \leq 1 \leq P'(0)$. $(1)$ Prove that $0 \leq Q(x) \leq x \leq P(x)$ for all $0 \leq x \leq 1$. $(2)$ Prove that $P(Q(x)) \leq Q(P(x))$ for all $0 \leq x \leq 1$. [i]Proposed by Otgonbayar Uuye.[/i]

2016 Korea - Final Round, 4

Tags: Inequality , algebra , inequalities

If $x,y,z$ satisfies $x^2+y^2+z^2=1$, find the maximum possible value of $$(x^2-yz)(y^2-zx)(z^2-xy)$$

2019 Moldova Team Selection Test, 6

Tags: Inequality , inequalities , Moldova

Let $a,b,c \ge 0$ such that $a+b+c=1$ and $s \ge 5$. Prove that $s(a^2+b^2+c^2) \le 3(s-3)(a^3+b^3+c^3)+1$

2016 Germany National Olympiad (4th Round), 6

Tags: algebra , cyclic function , function , Inequality , maximum

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.

1985 IMO Shortlist, 18

Tags: n-variable inequality , Inequality , algebra , IMO Shortlist

Let $x_1, x_2, \cdots , x_n$ be positive numbers. Prove that \[\frac{x_1^2}{x_1^2+x_2x_3} + \frac{x_2^2}{x_2^2+x_3x_4} + \cdots +\frac{x_{n-1}^2}{x_{n-1}^2+x_nx_1} +\frac{x_n^2}{x_n^2+x_1x_2} \leq n-1\]

1970 IMO, 3

Tags: limit , Inequality , calculus , integration , area , IMO , IMO 1970

The real numbers $a_0,a_1,a_2,\ldots$ satisfy $1=a_0\le a_1\le a_2\le\ldots. b_1,b_2,b_3,\ldots$ are defined by $b_n=\sum_{k=1}^n{1-{a_{k-1}\over a_k}\over\sqrt a_k}$. [b]a.)[/b] Prove that $0\le b_n<2$. [b]b.)[/b] Given $c$ satisfying $0\le c<2$, prove that we can find $a_n$ so that $b_n>c$ for all sufficiently large $n$.

ICMC 4, 3

Tags: expectation , ICMC , college contests , Inequality

Let $f,g,h : \mathbb R \to \mathbb R$ be continuous functions and $X$ be a random variable such that $E(g(X)h(X))=0$ and $E(g(X)^2) \neq 0 \neq E(h(X)^2)$. Prove that $$E(f(X)^2) \geq \frac{E(f(X)g(X))^2}{E(g(X)^2)} + \frac{E(f(X)h(X))^2}{E(h(X)^2)}.$$ You may assume that all expected values exist. [i]Proposed by Cristi Calin[/i]

1953 Putnam, A1

Tags: Putnam , Inequality , square root

Prove that for every positive integer $n$ $$ \frac{2}{3} n \sqrt{n} < \sqrt{1} + \sqrt{2} +\ldots +\sqrt{n} < \frac{4n+3}{6} \sqrt{n}.$$

2014 JBMO TST - Macedonia, 1

Tags: Inequality , Integers

Prove that $\frac{1}{1\times2013}+\frac{1}{2\times2012}+\frac{1}{3\times2011}+...+\frac{1}{2012\times2}+\frac{1}{2013\times1}<1$

1983 IMO Shortlist, 9

Tags: algebra , polynomial , rearrangement inequality , triangle inequality , Inequality , IMO , IMO 1983

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.

2020 DMO Stage 1, 3.

Tags: Inequality , DMO , Mock , inequalities

[b]Q.[/b] Prove that: $$\sum_{\text{cyc}}\tan (\tan A) - 2 \sum_{\text{cyc}} \tan \left(\cot \frac{A}{2}\right) \geqslant -3 \tan (\sqrt 3)$$where $A, B$ and $C$ are the angles of an acute-angled $\triangle ABC$. [i]Proposed by SA2018[/i]

1978 IMO Shortlist, 6

Tags: rearrangement inequality , algebra , Inequality , Summation , IMO , IMO 1978

Let $f$ be an injective function from ${1,2,3,\ldots}$ in itself. Prove that for any $n$ we have: $\sum_{k=1}^{n} f(k)k^{-2} \geq \sum_{k=1}^{n} k^{-1}.$

2002 IMO Shortlist, 6

Tags: algebra , Inequality , reciprocal sum , IMO Shortlist , Additive Number Theory

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.\]