Found problems: 892
1969 IMO Longlists, 67
Given real numbers $x_1,x_2,y_1,y_2,z_1,z_2$ satisfying $x_1>0,x_2>0,x_1y_1>z_1^2$, and $x_2y_2>z_2^2$, prove that: \[ {8\over(x_1+x_2)(y_1+y_2)-(z_1+z_2)^2}\le{1\over x_1y_1-z_1^2}+{1\over x_2y_2-z_2^2}. \] Give necessary and sufficient conditions for equality.
2012 IMO, 3
The [i]liar's guessing game[/i] is a game played between two players $A$ and $B$. The rules of the game depend on two positive integers $k$ and $n$ which are known to both players.
At the start of the game $A$ chooses integers $x$ and $N$ with $1 \le x \le N.$ Player $A$ keeps $x$ secret, and truthfully tells $N$ to player $B$. Player $B$ now tries to obtain information about $x$ by asking player $A$ questions as follows: each question consists of $B$ specifying an arbitrary set $S$ of positive integers (possibly one specified in some previous question), and asking $A$ whether $x$ belongs to $S$. Player $B$ may ask as many questions as he wishes. After each question, player $A$ must immediately answer it with [i]yes[/i] or [i]no[/i], but is allowed to lie as many times as she wants; the only restriction is that, among any $k+1$ consecutive answers, at least one answer must be truthful.
After $B$ has asked as many questions as he wants, he must specify a set $X$ of at most $n$ positive integers. If $x$ belongs to $X$, then $B$ wins; otherwise, he loses. Prove that:
1. If $n \ge 2^k,$ then $B$ can guarantee a win.
2. For all sufficiently large $k$, there exists an integer $n \ge (1.99)^k$ such that $B$ cannot guarantee a win.
[i]Proposed by David Arthur, Canada[/i]
2008 IMO, 6
Let $ ABCD$ be a convex quadrilateral with $ BA\neq BC$. Denote the incircles of triangles $ ABC$ and $ ADC$ by $ \omega_{1}$ and $ \omega_{2}$ respectively. Suppose that there exists a circle $ \omega$ tangent to ray $ BA$ beyond $ A$ and to the ray $ BC$ beyond $ C$, which is also tangent to the lines $ AD$ and $ CD$. Prove that the common external tangents to $ \omega_{1}$ and $\omega_{2}$ intersect on $ \omega$.
[i]Author: Vladimir Shmarov, Russia[/i]
2010 Contests, 3
Find all functions $g:\mathbb{N}\rightarrow\mathbb{N}$ such that \[\left(g(m)+n\right)\left(g(n)+m\right)\] is a perfect square for all $m,n\in\mathbb{N}.$
[i]Proposed by Gabriel Carroll, USA[/i]
1993 IMO, 4
For three points $A,B,C$ in the plane, we define $m(ABC)$ to be the smallest length of the three heights of the triangle $ABC$, where in the case $A$, $B$, $C$ are collinear, we set $m(ABC) = 0$. Let $A$, $B$, $C$ be given points in the plane. Prove that for any point $X$ in the plane,
\[ m(ABC) \leq m(ABX) + m(AXC) + m(XBC). \]
1967 IMO Shortlist, 1
$A_0B_0C_0$ and $A_1B_1C_1$ are acute-angled triangles. Describe, and prove, how to construct the triangle $ABC$ with the largest possible area which is circumscribed about $A_0B_0C_0$ (so $BC$ contains $B_0, CA$ contains $B_0$, and $AB$ contains $C_0$) and similar to $A_1B_1C_1.$
1993 IMO, 2
Let $A$, $B$, $C$, $D$ be four points in the plane, with $C$ and $D$ on the same side of the line $AB$, such that $AC \cdot BD = AD \cdot BC$ and $\angle ADB = 90^{\circ}+\angle ACB$. Find the ratio
\[\frac{AB \cdot CD}{AC \cdot BD}, \]
and prove that the circumcircles of the triangles $ACD$ and $BCD$ are orthogonal. (Intersecting circles are said to be orthogonal if at either common point their tangents are perpendicuar. Thus, proving that the circumcircles of the triangles $ACD$ and $BCD$ are orthogonal is equivalent to proving that the tangents to the circumcircles of the triangles $ACD$ and $BCD$ at the point $C$ are perpendicular.)
1964 IMO Shortlist, 6
In tetrahedron $ABCD$, vertex $D$ is connected with $D_0$, the centrod if $\triangle ABC$. Line parallel to $DD_0$ are drawn through $A,B$ and $C$. These lines intersect the planes $BCD, CAD$ and $ABD$ in points $A_2, B_1,$ and $C_1$, respectively. Prove that the volume of $ABCD$ is one third the volume of $A_1B_1C_1D_0$. Is the result if point $D_o$ is selected anywhere within $\triangle ABC$?
2004 India IMO Training Camp, 1
Let $ABCD$ be a cyclic quadrilateral. Let $P$, $Q$, $R$ be the feet of the perpendiculars from $D$ to the lines $BC$, $CA$, $AB$, respectively. Show that $PQ=QR$ if and only if the bisectors of $\angle ABC$ and $\angle ADC$ are concurrent with $AC$.
2010 IMO, 4
Let $P$ be a point interior to triangle $ABC$ (with $CA \neq CB$). The lines $AP$, $BP$ and $CP$ meet again its circumcircle $\Gamma$ at $K$, $L$, respectively $M$. The tangent line at $C$ to $\Gamma$ meets the line $AB$ at $S$. Show that from $SC = SP$ follows $MK = ML$.
[i]Proposed by Marcin E. Kuczma, Poland[/i]
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.$
1960 IMO, 2
For what values of the variable $x$ does the following inequality hold: \[ \dfrac{4x^2}{(1-\sqrt{2x+1})^2}<2x+9 \ ? \]
1967 IMO Shortlist, 1
Let $k,m,n$ be natural numbers such that $m+k+1$ is a prime greater than $n+1$. Let $c_s=s(s+1)$. Prove that
\[(c_{m+1}-c_k)(c_{m+2}-c_k)\ldots(c_{m+n}-c_k)\]
is divisible by the product $c_1c_2\ldots c_n$.
1971 IMO Shortlist, 7
All faces of the tetrahedron $ABCD$ are acute-angled. Take a point $X$ in the interior of the segment $AB$, and similarly $Y$ in $BC, Z$ in $CD$ and $T$ in $AD$.
[b]a.)[/b] If $\angle DAB+\angle BCD\ne\angle CDA+\angle ABC$, then prove none of the closed paths $XYZTX$ has minimal length;
[b]b.)[/b] If $\angle DAB+\angle BCD=\angle CDA+\angle ABC$, then there are infinitely many shortest paths $XYZTX$, each with length $2AC\sin k$, where $2k=\angle BAC+\angle CAD+\angle DAB$.
1996 IMO Shortlist, 5
Let $ ABCDEF$ be a convex hexagon such that $ AB$ is parallel to $ DE$, $ BC$ is parallel to $ EF$, and $ CD$ is parallel to $ FA$. Let $ R_{A},R_{C},R_{E}$ denote the circumradii of triangles $ FAB,BCD,DEF$, respectively, and let $ P$ denote the perimeter of the hexagon. Prove that
\[ R_{A} \plus{} R_{C} \plus{} R_{E}\geq \frac {P}{2}.
\]
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.
1989 IMO, 6
A permutation $ \{x_1, x_2, \ldots, x_{2n}\}$ of the set $ \{1,2, \ldots, 2n\}$ where $ n$ is a positive integer, is said to have property $ T$ if $ |x_i \minus{} x_{i \plus{} 1}| \equal{} n$ for at least one $ i$ in $ \{1,2, \ldots, 2n \minus{} 1\}.$ Show that, for each $ n$, there are more permutations with property $ T$ than without.
2010 Contests, 1
Find all function $f:\mathbb{R}\rightarrow\mathbb{R}$ such that for all $x,y\in\mathbb{R}$ the following equality holds \[
f(\left\lfloor x\right\rfloor y)=f(x)\left\lfloor f(y)\right\rfloor \] where $\left\lfloor a\right\rfloor $ is greatest integer not greater than $a.$
[i]Proposed by Pierre Bornsztein, France[/i]
2020 IMO Shortlist, C3
There is an integer $n > 1$. There are $n^2$ stations on a slope of a mountain, all at different altitudes. Each of two cable car companies, $A$ and $B$, operates $k$ cable cars; each cable car provides a transfer from one of the stations to a higher one (with no intermediate stops). The $k$ cable cars of $A$ have $k$ different starting points and $k$ different finishing points, and a cable car which starts higher also finishes higher. The same conditions hold for $B$. We say that two stations are linked by a company if one can start from the lower station and reach the higher one by using one or more cars of that company (no other movements between stations are allowed). Determine the smallest positive integer $k$ for which one can guarantee that there are two stations that are linked by both companies.
[i]Proposed by Tejaswi Navilarekallu, India[/i]
1968 IMO, 5
Let $f$ be a real-valued function defined for all real numbers, such that for some $a>0$ we have \[ f(x+a)={1\over2}+\sqrt{f(x)-f(x)^2} \] for all $x$.
Prove that $f$ is periodic, and give an example of such a non-constant $f$ for $a=1$.
1979 IMO, 1
We consider a point $P$ in a plane $p$ and a point $Q \not\in p$. Determine all the points $R$ from $p$ for which \[ \frac{QP+PR}{QR} \] is maximum.
1972 IMO, 3
Prove that $(2m)!(2n)!$ is a multiple of $m!n!(m+n)!$ for any non-negative integers $m$ and $n$.
1981 IMO Shortlist, 17
Three circles of equal radius have a common point $O$ and lie inside a given triangle. Each circle touches a pair of sides of the triangle. Prove that the incenter and the circumcenter of the triangle are collinear with the point $O$.
2016 IMO, 3
Let $P=A_1A_2\cdots A_k$ be a convex polygon in the plane. The vertices $A_1, A_2, \ldots, A_k$ have integral coordinates and lie on a circle. Let $S$ be the area of $P$. An odd positive integer $n$ is given such that the squares of the side lengths of $P$ are integers divisible by $n$. Prove that $2S$ is an integer divisible by $n$.
2004 IMO Shortlist, 7
Define a "hook" to be a figure made up of six unit squares as shown below in the picture, or any of the figures obtained by applying rotations and reflections to this figure.
[asy]
unitsize(0.5 cm);
draw((0,0)--(1,0));
draw((0,1)--(1,1));
draw((2,1)--(3,1));
draw((0,2)--(3,2));
draw((0,3)--(3,3));
draw((0,0)--(0,3));
draw((1,0)--(1,3));
draw((2,1)--(2,3));
draw((3,1)--(3,3));
[/asy]
Determine all $ m\times n$ rectangles that can be covered without gaps and without overlaps with hooks such that
- the rectangle is covered without gaps and without overlaps
- no part of a hook covers area outside the rectangle.