Navvye/Olympiad-Problems-CSV huggingface dataset:
1988 IMO Longlists
If $ n$ runs through all the positive integers, then $ f(n) = \left \lfloor n + \sqrt {3n} + \frac {1}{2} \right \rfloor$ runs through all positive integers skipping the terms of the sequence $ a_n = \left \lfloor \frac {n^2 + 2n}{3} \right \rfloor$.
1988 IMO Longlists
Let $Z_{m,n}$ be the set of all ordered pairs $(i,j)$ with $i \in {1, \ldots, m}$ and $j \in {1, \ldots, n}.$ Also let $a_{m,n}$ be the number of all those subsets of $Z_{m,n}$ that contain no 2 ordered pairs $(i_1,j_1)$ and $(i_2,j_2)$ with $|i_1 - i_2| + |j_1 - j_2| = 1.$ Then show, for all positive integers $m$ and $k,$ that $$ a^2_{m, 2 \cdot k} \leq a_{m, 2 \cdot k - 1} \cdot a_{m, 2 \cdot k + 1}.  $$
1988 IMO Longlists
Let "AB" and $CD$ be two perpendicular chords of a circle with centre $O$ and radius $r$ and let $X,Y,Z,W$ denote the cyclical order of the four parts into which the disc is thus divided. Find the maximum and minimum of the quantity $$ \frac{A(X) + A(Z)}{A(Y) + A(W)}, $$ where $A(U)$ denotes the area of $U.$
1988 IMO Longlists
Find the positive integers $x_1, x_2, \ldots, x_{29}$ at least one of which is greater that 1988 so that



$$ x^2_1 + x^2_2 + \ldots x^2_{29} = 29 \cdot x_1 \cdot x_2 \ldots x_{29}. $$
1988 IMO Longlists
Find the total number of different integers the function



$$ f(x) = \left[x \right] + \left[2 \cdot x \right] + \left[\frac{5 \cdot x}{3} \right] + \left[3 \cdot x \right] + \left[4 \cdot x \right] $$



takes for $0 \leq x \leq 100.$
1988 IMO Longlists
The circle $x^2+ y^2 = r^2$ meets the coordinate axis at $A = (r,0), B = (-r,0), C = (0,r)$ and $D = (0,-r).$ Let $P = (u,v)$ and $Q = (-u,v)$ be two points on the circumference of the circle. Let $N$ be the point of intersection of $PQ$ and the $y$-axis, and $M$ be the foot of the perpendicular drawn from $P$ to the $x$-axis. If $r^2$ is odd, $u = p^m > q^n = v,$ where $p$ and $q$ are prime numbers and $m$ and $n$ are natural numbers, show that



$$ |AM| = 1, |BM| = 9, |DN| = 8, |PQ| = 8. $$
1988 IMO Longlists
Assuming that the roots of $x^3 + p \cdot x^2 + q \cdot x + r = 0$ are real and positive, find a relation between $p,q$ and $r$ which gives a necessary condition for the roots to be exactly the cosines of the three angles of a triangle.
1988 IMO Longlists
Find a necessary and sufficient condition on the natural number $ n$ for the equation

$$ x^n + (2 + x)^n + (2 - x)^n = 0

$$

to have a integral root.
1988 IMO Longlists
Express the number 1988 as the sum of some positive integers in such a way that the product of these positive integers is maximal.
1988 IMO Longlists
In the triangle $ABC$ let $D,E$ and $F$ be the mid-points of the three sides, $X,Y$ and $Z$ the feet of the three altitudes, $H$ the orthocenter, and $P,Q$ and $R$ the mid-points of the line segment joining $H$ to the three vertices. Show that the nine points $D,E,F,P,Q,R,X,Y,Z$ lie on a circle.
1988 IMO Longlists
$n$ points are given on the surface of a sphere. Show that the surface can be divided into $n$ congruent regions such that each of them contains exactly one of the given points.
1988 IMO Longlists
In a multiple choice test there were 4 questions and 3 possible answers for each question. A group of students was tested and it turned out that for any three of them there was a question which the three students answered differently. What is the maximum number of students tested?
1988 IMO Longlists
A sequence of numbers $a_n, n = 1,2, \ldots,$ is defined as follows: $a_1 = \frac{1}{2}$ and for each $n \geq 2$

$$ a_n =  \frac{2 n - 3}{2 n}  a_{n-1}. $$

Prove that $\sum^n_{k=1} a_k < 1$ for all $n \geq 1.$
1988 IMO Longlists
i.) Let $ABC$ be a triangle with $AB = 12$ and $AC = 16.$ Suppose $M$ is the midpoint of side $BC$ and points $E$ and $F$ are chosen on sides $AC$ and $AB$, respectively, and suppose that lines $EF$ and $AM$ intersect at $G.$ If $AE = 2 \cdot AF$ then find the ratio



$$ \frac{EG}{GF} $$



ii.)  Let $E$ be a point external to a circle and suppose that two chords $EAB$ and $EDC$ meet at angle of $40^{\circ}.$ If $AB = BC = CD$ find the size of angle $ACD.$
1988 IMO Longlists
i.)  Four balls of radius 1 are mutually tangent, three resting on the floor and the fourth resting on the others. A tedrahedron, each of whose edges has length $ s,$ is circumscribed around the balls. Find the value of $ s.$



ii.) Suppose that $ ABCD$ and $ EFGH$ are opposite faces of a retangular solid, with $ \angle DHC = 45^{\circ}$ and $ \angle FHB = 60^{\circ}.$ Find the cosine of $ \angle BHD.$
1988 IMO Longlists
i.) The polynomial $x^{2 \cdot k} + 1 + (x+1)^{2 \cdot k}$ is not divisible by $x^2 + x + 1.$ Find the value of $k.$



ii.) If $p,q$ and $r$ are distinct roots of $x^3 - x^2 + x - 2 = 0$ the find the value of $p^3 + q^3 + r^3.$



iii.) If $r$ is the remainder when each of the numbers 1059, 1417 and 2312 is divided by $d,$ where $d$ is an integer greater than one, then find the value of $d-r.$



iv.) What is the smallest positive odd integer $n$ such that the product of



$$ 2^{\frac{1}{7}}, 2^{\frac{3}{7}}, \ldots, 2^{\frac{2 \cdot n + 1}{7}} $$



is greater than 1000?
1988 IMO Longlists
i.) Let $g(x) = x^5 + x^4 + x^3 + x^2 + x + 1.$ What is the remainder when the polynomial $g(x^{12}$ is divided by the polynomial $g(x)$?



ii.) If $k$ is a positive number and $f$ is a function such that, for every positive number  $x, f(x^2 + 1 )^{\sqrt{x}} = k.$ Find the value of



$$ f( \frac{9 +y^2}{y^2})^{\sqrt{ \frac{12}{y} }} $$ for every positive number $y.$



iii.) The function $f$ satisfies the functional equation $f(x) + f(y) = f(x+y) - x \cdot y - 1$ for every pair $x,y$ of real numbers. If $f(1) = 1,$ then find the numbers of integers $n,$ for which $f(n) = n.$
1988 IMO Longlists
i.) Consider a circle $K$ with diameter $AB;$ with circle $L$ tangent to $AB$ and to $K$ and with a circle $M$ tangent to circle $K,$ circle $L$ and $AB.$ Calculate the ration of the area of circle $K$ to the area of circle $M.$



ii.) In triangle $ABC, AB = AC$ and $\angle CAB = 80^{\circ}.$ If points $D,E$ and $F$ lie on sides $BC, AC$ and $AB,$ respectively and $CE = CD$ and $BF = BD,$ then find the size of $\angle EDF.$
1988 IMO Longlists
i.) Calculate $x$ if $$ x = \frac{(11 + 6 \cdot \sqrt{2}) \cdot \sqrt{11 - 6 \cdot \sqrt{2}} - (11 - 6 \cdot \sqrt{2}) \cdot \sqrt{11 + 6 \cdot \sqrt{2}}}{(\sqrt{\sqrt{5} + 2} + \sqrt{\sqrt{5} - 2}) - (\sqrt{\sqrt{5}+1})}  $$



ii.) For each positive number $x,$ let $$ k = \frac{\left( x + \frac{1}{x} \right)^6 - \left( x^6 + \frac{1}{x^6} \right) - 2}{\left( x + \frac{1}{x} \right)^3 - \left( x^3 + \frac{1}{x^3} \right)}  $$ Calculate the minimum value of $k.$
1988 IMO Longlists
Find all plane triangles whose sides have integer length and whose incircles have unit radius.
1988 IMO Longlists
Let $-1 < x < 1.$ Show that $$ \sum^{6}_{k=0} \frac{1 - x^2}{1 - 2 \cdot x \cdot \cos \left( \frac{2 \cdot \pi \cdot k }{7} \right) + x^2} = \frac{7 \cdot \left( 1 + x^7 \right)}{\left( 1 - x^7 \right)}. $$ Deduce that $$ \csc^2\left( x + \frac{\pi}{7} \right) + \csc^2\left(2 \cdot x + \frac{\pi}{7} \right) + \csc^2\left(3 \cdot x + \frac{\pi}{7} \right) = 8. $$
1988 IMO Longlists
Let $g(n)$ be defined as follows: $$ g(1) = 0, g(2) = 1 $$ and  $$ g(n+2) = g(n) + g(n+1) + 1, n \geq 1. $$ Prove that if $n > 5$ is a prime, then $n$ divides $g(n) \cdot (g(n) + 1).$
1988 IMO Longlists
$A_1, A_2, \ldots, A_{29}$ are $29$ different sequences of positive integers. For $1 \leq i < j \leq 29$ and any natural number $x,$ we define $N_i(x) =$ number of elements of the sequence $A_i$ which are less or equal to $x,$ and $N_{ij}(x) =$ number of elements of the intersection $A_i \cap A_j$ which are less than or equal to $x.$ It is given for all $1 \leq i \leq 29$ and every natural number $x,$ $$ N_i(x) \geq \frac{x}{e}, $$ where $e = 2.71828 \ldots$ Prove that there exist at least one pair $i,j$ ($1 \leq i < j \leq 29$) such that $$ N_{ij}(1988) > 200. $$
1988 IMO Longlists
Prove that the numbers $A,B$ and $C$ are equal, where:



- $A=$ number of ways that we can cover a $2 \times n$ rectangle with $2 \times 1$ retangles.

- $B=$ number of sequences of ones and twos that add up to $n$



- $C= \sum^m_{k=0} \binom{m + k}{2 \cdot k}$ if $n = 2 \cdot m,$ and

- $C= \sum^m_{k=0} \binom{m + k + 1}{2 \cdot k + 1}$ if $n = 2 \cdot m + 1.$
1988 IMO Longlists
The positive integer $n$ has the property that, in any set of $n$ integers, chosen from the integers $1,2, \ldots, 1988,$ twenty-nine of them form an arithmetic progression. Prove that $n > 1788.$
1988 IMO Longlists
$ ABCD$ is a quadrilateral. $ A'BCD'$ is the reflection of $ ABCD$ in $ BC,$ $ A''B'CD'$ is the reflection of $ A'BCD'$ in $ CD'$ and $ A''B''C'D'$ is the reflection of $ A''B'CD'$ in $ D'A''.$ Show that; if the lines $ AA''$ and $ BB''$ are parallel, then ABCD is a cyclic quadrilateral.
1988 IMO Longlists
Given $n$ points $A_1, A_2, \ldots, A_n,$ no three collinear, show that the $n$- gon $A_1 A_2 \ldots A_n,$

is inscribed in a circle if and only if



$A_1 A_2 \cdot A_3 A_n \cdot \ldots \cdot A_{n-1} A_n + A_2 A_3 \cdot A_4 A_n \cdot \ldots A_{n-1} A_n \cdot A_1 A_n + \ldots$

$+ A_{n-1} A_{n-2} \cdot A_1 A_n \cdot \ldots \cdot A_{n-3} A_n$

$= A_1 A_{n-1} \cdot A_2 A_n \cdot \ldots \cdot A_{n-2} A_n$,



where $XY$ denotes the length of the segment $XY.$
1988 IMO Longlists
Suppose $\alpha_i > 0, \beta_i > 0$ for $1 \leq i \leq n, n > 1$ and that $$ \sum^n_{i=1} \alpha_i = \sum^n_{i=1} \beta_i = \pi. $$ Prove that $$ \sum^n_{i=1} \frac{\cos(\beta_i)}{\sin(\alpha_i)} \leq \sum^n_{i=1} \cot(\alpha_i). $$
1988 IMO Longlists
Given a set of 1988 points in the plane. No four points of the set are collinear. The points of a subset with 1788 points are coloured blue, the remaining 200 are coloured red. Prove that there exists a line in the plane such that each of the two parts into which the line divides the plane contains 894 blue points and 100 red points.
1988 IMO Longlists
$ S$ is the set of all sequences $ \{a_i| 1 \leq i \leq 7, a_i = 0 \text{ or } 1\}.$ The distance between two elements $ \{a_i\}$ and $ \{b_i\}$ of $ S$ is defined as

$$ \sum^7_{i = 1} |a_i - b_i|.

$$

$ T$ is a subset of $ S$ in which any two elements have a distance apart greater than or equal to 3. Prove that $ T$ contains at most 16 elements. Give an example of such a subset with 16 elements.
1988 IMO Longlists
For a convex polygon $P$ in the plane let $P'$ denote the convex polygon with vertices at the midpoints of the sides of $P.$ Given an integer $n \geq 3,$ determine sharp bounds for the ratio



$$ \frac{\text{area } P'}{\text{area } P}, $$ over all convex $n$-gons $P.$
1988 IMO Longlists
In $3$-dimensional space there is given a point $O$ and a finite set $A$ of segments with the sum of lengths equal to $1988$. Prove that there exists a plane disjoint from $A$ such that the distance from it to $O$ does not exceed $574$.
1988 IMO Longlists
Given integers $a_1, \ldots, a_{10},$ prove that there exist a non-zero sequence $\{x_1, \ldots, x_{10}\}$ such that all $x_i$ belong to $\{-1,0,1\}$ and the number $\sum^{10}_{i=1} x_i \cdot a_i$ is divisible by 1001.
1988 IMO Longlists
Let $x = p, y = q, z = r, w = s$ be the unique solution of the system of linear equations $$ x + a_i \cdot y + a^2_i \cdot z + a^3_i \cdot w = a^4_i, i = 1,2,3,4. $$ Express the solutions of the following system in terms of $p,q,r$ and $s:$ $$ x + a^2_i \cdot y + a^4_i \cdot z + a^6_i \cdot w = a^8_i, i = 1,2,3,4. $$ Assume the uniquness of the solution.
1988 IMO Longlists
Find all positive integers $x$ such that the product of all digits of $x$ is given by $x^2 - 10 \cdot x - 22.$
1988 IMO Longlists
The Fibonacci sequence is defined by $$ a_{n+1} = a_n + a_{n-1}, n \geq 1, a_0 = 0, a_1 = a_2 = 1. $$ Find the greatest common divisor of the 1960-th and 1988-th terms of the Fibonacci sequence.
1988 IMO Longlists
Let $C$ be a cube with edges of length 2. Construct a solid with fourteen faces by cutting off all eight corners at $C,$ keeping the new faces perpendicular to the diagonals of the cube, and keeping the newly formed faces indentical. If at the conclusion of this process the fourteen faces so have the same area, find the area of each of face of the new solid.
1988 IMO Longlists
For each positive integer $ k$ and $ n,$ let $ S_k(n)$ be the base $ k$ digit sum of $ n.$ Prove that there are at most two primes $ p$ less than $20,000$ for which $ S_{31}(p)$ are composite numbers with at least two distinct prime divisors.
1988 IMO Longlists
In a group of $n$ people, each one knows exactly three others. They are seated around a table. We say that the seating is $perfect$ if everyone knows the two sitting by their sides. Show that, if there is a perfect seating $S$ for the group, then there is always another perfect seating which cannot be obtained from $S$ by rotation or reflection.
1988 IMO Longlists
$ABC$ is a triangle, with inradius $r$ and circumradius $R.$ Show that: $$ \sin \left( \frac{A}{2} \right) \cdot \sin \left( \frac{B}{2} \right) + \sin \left( \frac{B}{2} \right) \cdot \sin \left( \frac{C}{2} \right) + \sin \left( \frac{C}{2} \right) \cdot \sin \left( \frac{A}{2} \right) \leq \frac{5}{8} + \frac{r}{4 \cdot R}. $$
1988 IMO Longlists
The quadrilateral $A_1A_2A_3A_4$ is cyclic, and its sides are $a_1 = A_1A_2, a_2 = A_2A_3, a_3 = A_3A_4$ and $a_4 = A_4A_1.$ The respective circles with centres $I_i$ and radii $r_i$ are tangent externally to each side $a_i$ and to the sides $a_{i+1}$ and $a_{i-1}$ extended. ($a_0 = a_4$). Show that $$ \prod^4_{i=1} \frac{a_i}{r_i} = 4 \cdot (\csc (A_1) + \csc (A_2) )^2. $$
1988 IMO Longlists
Consider $h+1$ chess boards. Number the squares of each board from 1 to 64 in such a way that when the perimeters of any two boards of the collection are brought into coincidence in any possible manner, no two squares in the same position have the same number. What is the maximum value of $h?$
1988 IMO Longlists
A two-person game is played with nine boxes arranged in a $3 \times 3$ square and with white and black stones. At each move a player puts three stones, not necessarily of the same colour, in three boxes in either a horizontal or a vertical line. No box can contain stones of different colours: if, for instance, a player puts a white stone in a box containing black stones the white stone and one of the black stones are removed from the box. The game is over when the centrebox and the cornerboxes contain one black stone and the other boxes are empty. At one stage of a game $x$ boxes contained one black stone each and the other boxes were empty. Determine all possible values for $x.$
1988 IMO Longlists
Let $S$ be an infinite set of integers containing zero, and such that the distances between successive number never exceed a given fixed number. Consider the following procedure: Given a set $X$ of integers we construct a new set consisting of all numbers $x \pm s,$ where $x$ belongs to $X$ and s belongs to $S.$ Starting from $S_0 = \{0\}$ we successively construct sets $S_1, S_2, S_3, \ldots$ using this procedure. Show that after a finite number of steps we do not obtain any new sets, i.e.  $S_k = S_{k_0}$ for $k \geq k_0.$
1988 IMO Longlists
It is proposed to partition a set of positive integers into two disjoint subsets $ A$ and $ B$ subject to the conditions



i.) 1 is in $ A$

ii.) no two distinct members of $ A$ have a sum of the form $ 2^k + 2, k = 0,1,2, \ldots;$ and

iii.) no two distinct members of B have a sum of that form.



Show that this partitioning can be carried out in unique manner and determine the subsets to which 1987, 1988 and 1989 belong.
1988 IMO Longlists
There are $ n \geq 3$ job openings at a factory, ranked $1$ to $ n$ in order of increasing pay. There are $ n$ job applicants, ranked from $1$ to $ n$ in order of increasing ability. Applicant $ i$ is qualified for job $ j$ if and only if $ i \geq j.$ The applicants arrive one at a time in random order. Each in turn is hired to the highest-ranking job for which he or she is qualified AND which is lower in rank than any job already filled. (Under these rules, job $1$ is always filled, and hiring terminates thereafter.) Show that applicants $ n$ and $ n - 1$ have the same probability of being hired.
1988 IMO Longlists
The triangle $ABC$ has a right angle at $C.$ The point $P$ is located on segment $AC$ such that triangles $PBA$ and $PBC$ have congruent inscribed circles. Express the length $x = PC$ in terms of $a = BC, b = CA$ and $c = AB.$
1988 IMO Longlists
Let $a,b,c$ be integers different from zero. It is known that the equation $a \cdot x^2 + b \cdot y^2 + c \cdot z^2 = 0$ has a solution $(x,y,z)$ in integer numbers different from the solutions $x = y = z = 0.$ Prove that the equation $$ a \cdot x^2 + b \cdot y^2 + c \cdot z^2 = 1 $$ has a solution in rational numbers.
1988 IMO Longlists
In a row written in increasing order all the irreducible positive rational numbers, such that the product of the numerator and the denominator is less than 1988. Prove that any two adjacent fractions $\frac{a}{b}$ and $\frac{c}{d},$ $\frac{a}{b} < \frac{c}{d},$ satisfy the equation $b \cdot c - a \cdot d = 1.$
1988 IMO Longlists
Seven circles are given. That is, there are six circles inside a fixed circle, each tangent to the fixed circle and tangent to the two other adjacent smaller circles. If the points of contact between the six circles and the larger circle are, in order, $A_1, A_2, A_3, A_4, A_5$ and $A_6$ prove that $$ A_1 A_2 \cdot A_3 A_4 \cdot A_5 A_6 = A_2 A_3 \cdot A_4 A_5 \cdot A_6 A_1. $$
1988 IMO Longlists
We match sets $ M$ of points in the coordinate plane to sets $ M*$ according to the rule that $ (x*,y*) \in M*$ if and only if $ x \cdot x* + y \cdot y* \leq 1$ whenever $ (x,y) \in M.$ Find all triangles $ Q$ such that $ Q*$ is the reflection of $ Q$ in the origin.
1988 IMO Longlists
Does there exist a number $\alpha, 0 < \alpha < 1$ such that there is an infinite sequence $\{a_n\}$ of positive numbers satisfying $$ 1 + a_{n+1} \leq a_n + \frac{\alpha}{n} \cdot \alpha_n, n = 1,2, \ldots? $$
1988 IMO Longlists
A regular 14-gon with side $a$ is inscribed in a circle of radius one. Prove  $$ \frac{2-a}{2 \cdot a} > \sqrt{3 \cdot \cos \left( \frac{\pi}{7} \right)}. $$
1988 IMO Longlists
Let $p \geq 2$ be a natural number. Prove that there exist an integer $n_0$ such that $$ \sum^{n_0}_{i=1} \frac{1}{i \cdot \sqrt[p]{i + 1}} > p. $$
1988 IMO Longlists
Given a natural number $n,$ find all polynomials $P(x)$ of degree less than $n$ satisfying the following condition $$ \sum^n_{i=0} P(i) \cdot (-1)^i \cdot \binom{n}{i} = 0. $$
1988 IMO Longlists
Let $n+1, n \geq 1$ positive integers be formed by taking the product of $n$ given prime numbers (a prime number can appear several times or also not appear at all in a product formed in this way.) Prove that among these $n+1$ one can find some numbers whose product is a perfect square.
1987 IMO Longlists
Let $x_1, x_2,\cdots, x_n$ be $n$ integers. Let $n = p + q$, where $p$ and $q$ are positive integers. For $i = 1, 2, \cdots, n$, put

$$S_i = x_i + x_{i+1} +\cdots + x_{i+p-1} \text{  and  }  T_i = x_{i+p} + x_{i+p+1} +\cdots + x_{i+n-1}$$

(it is assumed that $x_{i+n }= x_i$ for all $i$). Next, let $m(a, b)$ be the number of indices $i$ for which $S_i$ leaves the remainder $a$ and $T_i$ leaves the remainder $b$ on division by $3$, where $a, b \in \{0, 1, 2\}$. Show that $m(1, 2)$ and $m(2, 1)$ leave the same remainder when divided by $3.$
1987 IMO Longlists
Suppose we have a pack of $2n$ cards, in the order $1, 2, . . . , 2n$. A perfect shuffle of these cards changes the order to $n+1, 1, n+2, 2, . . ., n- 1, 2n, n$ ; i.e., the cards originally in the first $n$ positions have been moved to the places $2, 4, . . . , 2n$, while the remaining $n$ cards, in their original order, fill the odd positions $1, 3, . . . , 2n - 1.$

Suppose we start with the cards in the above order $1, 2, . . . , 2n$ and then successively apply perfect shuffles.

What conditions on the number $n$ are necessary for the cards eventually to return to their original order? Justify your answer.



RemarkRemark. This problem is trivial. Alternatively, it may be required to find the least number of shuffles after which the cards will return to the original order.
1987 IMO Longlists
A town has a road network that consists entirely of one-way streets that are used for bus routes. Along these routes, bus stops have been set up. If the one-way signs permit travel from bus stop $X$ to bus stop $Y \neq X$, then we shall say $Y$ can be reached from $X$. We shall use the phrase $Y$ comes after $X$ when we wish to express that every bus stop from which the bus stop $X$ can be reached is a bus stop from which the bus stop $Y$ can be reached, and every bus stop that can be reached from $Y$ can also be reached from $X$. A visitor to this town discovers that if $X$ and $Y$ are any two different bus stops, then the two sentences “$Y$ can be reached from $X$” and “$Y$ comes after $X$” have exactly the same meaning in this town. Let $A$ and $B$ be two bus stops. Show that of the following two statements, exactly one is true:

 (i) $B$ can be reached from $A;$

 (ii)  $A$ can be reached from $B.$
1987 IMO Longlists
Let $a_1, a_2, a_3, b_1, b_2, b_3$ be positive real numbers. Prove that

$$(a_1b_2 + a_2b_1 + a_1b_3 + a_3b_1 + a_2b_3 + a_3b_2)^2 \geq 4(a_1a_2 + a_2a_3 + a_3a_1)(b_1b_2 + b_2b_3 + b_3b_1)$$

and show that the two sides of the inequality are equal if and only if $\frac{a_1}{b_1} = \frac{a_2}{b_2} = \frac{a_3}{b_3}.$
1987 IMO Longlists
Let there be given three circles $K_1,K_2,K_3$ with centers $O_1,O_2,O_3$ respectively, which meet at a common point $P$. Also, let $K_1 \cap K_2 = \{P,A\}, K_2 \cap K_3 = \{P,B\}, K_3 \cap K_1 = \{P,C\}$. Given an arbitrary point $X$ on $K_1$, join $X$ to $A$ to meet $K_2$ again in $Y$ , and join $X$ to $C$ to meet $K_3$ again in $Z.$

(a) Show that the points $Z,B, Y$ are collinear.

(b) Show that the area of triangle $XY Z$ is less than or equal to $4$ times the area of triangle $O_1O_2O_3.$
1987 IMO Longlists
Let $f : (0,+\infty) \to \mathbb R$ be a function having the property that $f(x) = f\left(\frac{1}{x}\right)$ for all $x > 0.$ Prove that there exists a function $u : [1,+\infty) \to \mathbb R$ satisfying $u\left(\frac{x+\frac 1x }{2} \right) = f(x)$ for all $x > 0.$
1987 IMO Longlists
Determine the least possible value of the natural number $n$ such that $n!$ ends in exactly $1987$ zeros.



NoteNote. Here (and generally in MathLinks) natural numbers supposed to be positive.
1987 IMO Longlists
In the set of $20$ elements $\{1, 2, 3, 4, 5, 6, 7, 8, 9, 0, A, B, C, D, J, K, L, U, X, Y , Z\}$ we have made a random sequence of $28$ throws. What is the probability that the sequence $CUBA \  JULY  \ 1987$ appears in this order in the sequence already thrown?
1987 IMO Longlists
In a Cartesian coordinate system, the circle $C_1$ has center $O_1(-2, 0)$ and radius $3$. Denote the point $(1, 0)$ by $A$ and the origin by $O$.Prove that there is a constant $c > 0$ such that for every $X$ that is exterior to $C1$,

$$OX- 1 \geq c \min\{AX,AX^2\}.$$

Find the largest possible $c.$
1987 IMO Longlists
Let $S \subset [0, 1]$ be a set of 5 points with $\{0, 1\} \subset S$. The graph of a real function $f : [0, 1] \to [0, 1]$ is continuous and increasing, and it is linear on every subinterval $I$ in $[0, 1]$ such that the endpoints but no interior points of $I$ are in $S$.



We want to compute, using a computer, the extreme values of $g(x, t) = \frac{f(x+t)-f(x)}{ f(x)-f(x-t)}$ for $x - t, x + t \in [0, 1]$. At how many points $(x, t)$ is it necessary to compute $g(x, t)$ with the computer?
1987 IMO Longlists
Let $A$ be an infinite set of positive integers such that every $n \in A$ is the product of at most $1987$ prime numbers. Prove that there is an infinite set $B \subset A$ and a number $p$ such that the greatest common divisor of any two distinct numbers in $B$ is $p.$
1987 IMO Longlists
Given $n$ real numbers $0 < t_1 \leq t_2 \leq \cdots \leq t_n < 1$, prove that

$$(1-t_n^2) \left( \frac{t_1}{(1-t_1^2)^2}+\frac{t_2}{(1-t_2^3)^2}+\cdots +\frac{t_n}{(1-t_n^{n+1})^2} \right) < 1.$$