olymmath

ILL 1977

IMO Longlist 1977.

Other problems

Problem 1

A pentagon ABCDEABCDE inscribed in a circle for which BC<CDBC<CD and AB<DEAB<DE is the base of a pyramid with vertex SS . If ASAS is the longest edge starting from SS , prove that BS>CSBS>CS .

Problem 2

Find all functions f:N→Nf : \mathbb{N}\rightarrow \mathbb{N} satisfying following condition: f(n+1)>f(f(n)),∀n∈N.f(n+1)>f(f(n)), \forall n \in \mathbb{N}.

Problem 3

In a company of nn persons, each person has no more than dd acquaintances, and in that company there exists a group of kk persons, k≥dk\ge d , who are not acquainted with each other. Prove that the number of acquainted pairs is not greater than [n24]\left[ \frac{n^2}{4}\right] .

Problem 4

We are given nn points in space. Some pairs of these points are connected by line segments so that the number of segments equals [n2/4],[n^2/4], and a connected triangle exists. Prove that any point from which the maximal number of segments starts is a vertex of a connected triangle.

Problem 5

A lattice point in the plane is a point both of whose coordinates are integers. Each lattice point has four neighboring points: upper, lower, left, and right. Let kk be a circle with radius r≥2r \geq 2, that does not pass through any lattice point. An interior boundary point is a lattice point lying inside the circle kk that has a neighboring point lying outside kk. Similarly, an exterior boundary point is a lattice point lying outside the circle kk that has a neighboring point lying inside kk. Prove that there are four more exterior boundary points than interior boundary points.

Problem 6

Let x1,x2,…,xn (n≥1)x_1, x_2, \ldots , x_n \ (n \geq 1) be real numbers such that 0≤xj≤π, j=1,2,…,n.0 \leq x_j \leq \pi, \ j = 1, 2,\ldots, n. Prove that if ∑j=1n(cos⁡xj+1)\sum_{j=1}^n (\cos x_j +1) is an odd integer, then ∑j=1nsin⁡xj≥1.\sum_{j=1}^n \sin x_j \geq 1.

Problem 7

Prove the following assertion: If c1,c2,…,cn (n≥2)c_1,c_2,\ldots ,c_n\ (n\ge 2) are real numbers such that (n−1)(c12+c22+⋯+cn2)=(c1+c2+⋯+cn)2,(n-1)(c_1^2+c_2^2+\cdots +c_n^2)=(c_1+c_2+\cdots + c_n)^2, then either all these numbers are nonnegative or all these numbers are nonpositive.

Problem 8

A hexahedron ABCDEABCDE is made of two regular congruent tetrahedra ABCDABCD and ABCE.ABCE. Prove that there exists only one isometry Z\mathbf Z that maps points A,B,C,D,EA, B, C, D, E onto B,C,A,E,D,B, C, A, E, D, respectively. Find all points XX on the surface of hexahedron whose distance from Z(X)\mathbf Z(X) is minimal.

Problem 9

Let ABCDABCD be a regular tetrahedron and Z\mathbf{Z} an isometry mapping A,B,C,DA,B,C,D into B,C,D,AB,C,D,A , respectively. Find the set MM of all points XX of the face ABCABC whose distance from Z(X)\mathbf{Z}(X) is equal to a given number tt . Find necessary and sufficient conditions for the set MM to be nonempty.

Problem 11

Let nn and zz be integers greater than 11 and (n,z)=1(n,z)=1 . Prove: (a) At least one of the numbers zi=1+z+z2+⋯+zi, i=0,1,…,n−1,z_i=1+z+z^2+\cdots +z^i,\ i=0,1,\ldots ,n-1, is divisible by nn . (b) If (z−1,n)=1(z-1,n)=1 , then at least one of the numbers ziz_i is divisible by nn .

Problem 12

Let zz be an integer >1> 1 and let MM be the set of all numbers of the form zk=1+z+⋯+zk, k=0,1,…z_k = 1+z + \cdots+ z^k, \ k = 0, 1,\ldots . Determine the set TT of divisors of at least one of the numbers zkz_k from M.M.

Problem 13

Describe all closed bounded figures Φ\Phi in the plane any two points of which are connectable by a semicircle lying in Φ\Phi.

Problem 14

There are 2n2^n words of length nn over the alphabet {0,1}\{0, 1\}. Prove that the following algorithm generates the sequence w0,w1,…,w2n−1w_0, w_1, \ldots, w_{2^n-1} of all these words such that any two consecutive words differ in exactly one digit.

(1) w0=00…0w_0 = 00 \ldots 0 (nn zeros).

(2) Suppose wm−1=a1a2…an,ai∈{0,1}w_{m-1} = a_1a_2 \ldots a_n, a_i \in \{0, 1\}. Let e(m)e(m) be the exponent of 22 in the representation of nn as a product of primes, and let j=1+e(m)j = 1 + e(m). Replace the digit aja_j in the word wm−1w_{m-1} by 1−aj1 - a_j. The obtained word is wmw_m.

Problem 15

Let nn be an integer greater than 11 . In the Cartesian coordinate system we consider all squares with integer vertices (x,y)(x,y) such that 1≤x,y≤n1\le x,y\le n . Denote by pk (k=0,1,2,…)p_k\ (k=0,1,2,\ldots ) the number of pairs of points that are vertices of exactly kk such squares. Prove that ∑k(k−1)pk=0\sum_k(k-1)p_k=0 .

Problem 16

Let nn be a positive integer. How many integer solutions (i,j,k,l), 1≤i,j,k,l≤n(i, j, k, l) , \ 1 \leq i, j, k, l \leq n, does the following system of inequalities have:

1≤−j+k+l≤n1 \leq -j + k + l \leq n 1≤i−k+l≤n1 \leq i - k + l \leq n 1≤i−j+l≤n1 \leq i - j + l \leq n 1≤i+j−k≤n ?1 \leq i + j - k \leq n \ ?

Problem 17

A ball KK of radius rr is touched from the outside by mutually equal balls of radius RR . Two of these balls are tangent to each other. Moreover, for two balls K1K_1 and K2K_2 tangent to KK and tangent to each other there exist two other balls tangent to K1,K2K_1,K_2 and also to KK . How many balls are tangent to KK ? For a given rr determine RR .

Problem 18

Given an isosceles triangle ABCABC with a right angle at C,C, construct the center MM and radius rr of a circle cutting on segments AB,BC,CAAB, BC, CA the segments DE,FG,DE, FG, and HK,HK, respectively, such that ∠DME+∠FMG+∠HMK=180∘\angle DME + \angle FMG + \angle HMK = 180^\circ and DE:FG:HK=AB:BC:CA.DE : FG : HK = AB : BC : CA.

Problem 19

Given any integer m>1m>1 prove that there exist infinitely many positive integers nn such that the last mm digits of 5n5^n are a sequence am,am−1,…,a1=5 (0≤aj<10)a_m,a_{m-1},\ldots ,a_1=5\ (0\le a_j<10) in which each digit except the last is of opposite parity to its successor (i.e., if aia_i is even, then ai−1a_{i-1} is odd, and if aia_i is odd, then ai−1a_{i-1} is even).

Problem 21

Given that x1+x2+x3=y1+y2+y3=x1y1+x2y2+x3y3=0,x_1+x_2+x_3=y_1+y_2+y_3=x_1y_1+x_2y_2+x_3y_3=0, prove that: x12x12+x22+x32+y12y12+y22+y32=23\frac{x_1^2}{x_1^2+x_2^2+x_3^2}+\frac{y_1^2}{y_1^2+y_2^2+y_3^2}=\frac{2}{3}

Problem 22

Let SS be a convex quadrilateral ABCDABCD and OO a point inside it. The feet of the perpendiculars from OO to AB,BC,CD,DAAB, BC, CD, DA are A1,B1,C1,D1A_1, B_1, C_1, D_1 respectively. The feet of the perpendiculars from OO to the sides of SiS_i, the quadrilateral AiBiCiDiA_iB_iC_iD_i, are Ai+1Bi+1Ci+1Di+1A_{i+1}B_{i+1}C_{i+1}D_{i+1}, where i=1,2,3.i = 1, 2, 3. Prove that S4S_4 is similar to S.

Problem 23

For which positive integers nn do there exist two polynomials ff and gg with integer coefficients of nn variables x1,x2,…,xnx_1, x_2, \ldots , x_n such that the following equality is satisfied:

∑i=1nxif(x1,x2,…,xn)=g(x12,x22,…,xn2) ?\sum_{i=1}^n x_i f(x_1, x_2, \ldots , x_n) = g(x_1^2, x_2^2, \ldots , x_n^2) \ ?

Problem 24

Determine all real functions f(x)f(x) that are defined and continuous on the interval (−1,1)(-1, 1) and that satisfy the functional equation f(x+y)=f(x)+f(y)1−f(x)f(y)(x,y,x+y∈(−1,1)).f(x+y)=\frac{f(x)+f(y)}{1-f(x) f(y)} (x, y, x + y \in (-1, 1)).

Problem 25

Prove the identity (z+a)n=zn+a∑k=1n(nk)(a−kb)k−1(z+kb)n−k(z+a)^n=z^n+a\sum_{k=1}^n\binom{n}{k}(a-kb)^{k-1}(z+kb)^{n-k}

Problem 26

Let pp be a prime number greater than 5.5. Let VV be the collection of all positive integers nn that can be written in the form n=kp+1n = kp + 1 or n=kp−1 (k=1,2,…).n = kp - 1 \ (k = 1, 2, \ldots). A number n∈Vn \in V is called indecomposable in VV if it is impossible to find k,l∈Vk, l \in V such that n=kl.n = kl. Prove that there exists a number N∈VN \in V that can be factorized into indecomposable factors in VV in more than one way.

Problem 28

Let nn be an integer greater than 11. Define

x1=n,y1=1,xi+1=[xi+yi2],yi+1=[nxi+1],for i=1,2,… ,x_1 = n, y_1 = 1, x_{i+1} =\left[ \frac{x_i+y_i}{2}\right] , y_{i+1} = \left[ \frac{n}{x_{i+1}}\right], \text{for }i = 1, 2, \ldots\ ,

where [z][z] denotes the largest integer less than or equal to zz. Prove that min⁡{x1,x2,…,xn}=[n]\min \{x_1, x_2, \ldots, x_n \} =[ \sqrt n ]

Problem 30

A triangle ABCABC with ∠A=30∘\angle A = 30^\circ and ∠C=54∘\angle C = 54^\circ is given. On BCBC a point DD is chosen such that ∠CAD=12∘.\angle CAD = 12^\circ. On ABAB a point EE is chosen such that ∠ACE=6∘.\angle ACE = 6^\circ. Let SS be the point of intersection of ADAD and CE.CE. Prove that BS=BC.BS = BC.

Problem 31

Let ff be a function defined on the set of pairs of nonzero rational numbers whose values are positive real numbers. Suppose that ff satisfies the following conditions:(1) f(ab,c)=f(a,c)f(b,c), f(c,ab)=f(c,a)f(c,b);f(ab,c)=f(a,c)f(b,c),\ f(c,ab)=f(c,a)f(c,b); (2) f(a,1−a)=1f(a,1-a)=1 Prove that f(a,a)=f(a,−a)=1,f(a,b)f(b,a)=1f(a,a)=f(a,-a)=1,f(a,b)f(b,a)=1 .

Problem 32

In a room there are nine men. Among every three of them there are two mutually acquainted. Prove that some four of them are mutually acquainted.

Problem 33

A circle KK centered at (0,0)(0,0) is given. Prove that for every vector (a1,a2)(a_1,a_2) there is a positive integer nn such that the circle KK translated by the vector n(a1,a2)n(a_1,a_2) contains a lattice point (i.e., a point both of whose coordinates are integers).

Problem 34

Let BB be a set of kk sequences each having nn terms equal to 11 or −1-1. The product of two such sequences (a1,a2,…,an)(a_1, a_2, \ldots , a_n) and (b1,b2,…,bn)(b_1, b_2, \ldots , b_n) is defined as (a1b1,a2b2,…,anbn)(a_1b_1, a_2b_2, \ldots , a_nb_n). Prove that there exists a sequence (c1,c2,…,cn)(c_1, c_2, \ldots , c_n) such that the intersection of BB and the set containing all sequences from BB multiplied by (c1,c2,…,cn)(c_1, c_2, \ldots , c_n) contains at most k22n\frac{k^2}{2^n} sequences.

Problem 35

Find all numbers N=a1a2…an‾N=\overline{a_1a_2\ldots a_n} for which 9×a1a2…an‾=an…a2a1‾9\times \overline{a_1a_2\ldots a_n}=\overline{a_n\ldots a_2a_1} such that at most one of the digits a1,a2,…,ana_1,a_2,\ldots ,a_n is zero.

Problem 36

Consider a sequence of numbers (a1,a2,…,a2n).(a_1, a_2, \ldots , a_{2^n}). Define the operation S((a1,a2,…,a2n))=(a1a2,a2a3,…,a2n−1a2n,a2na1).S\biggl((a_1, a_2, \ldots , a_{2^n})\biggr) = (a_1a_2, a_2a_3, \ldots , a_{2^{n-1}a_{2^n}, a_{2^n}a_1).} Prove that whatever the sequence (a1,a2,…,a2n)(a_1, a_2, \ldots , a_{2^n}) is, with ai∈{−1,1}a_i \in \{-1, 1\} for i=1,2,…,2n,i = 1, 2, \ldots , 2^n, after finitely many applications of the operation we get the sequence (1,1,…,1).(1, 1, \ldots, 1).

Problem 37

Let A1,A2,…,An+1A_1,A_2,\ldots ,A_{n+1} be positive integers such that (Ai,An+1)=1(A_i,A_{n+1})=1 for every i=1,2,…,ni=1,2,\ldots ,n . Show that the equation x1A1+x2A2+…+xnAn=xn+1An+1x_1^{A_1}+x_2^{A_2}+\ldots + x_n^{A_n}=x_{n+1}^{A_{n+1} } has an infinite set of solutions (x1,x2,…,xn+1)(x_1,x_2,\ldots , x_{n+1}) in positive integers.

Problem 38

Let mj>0m_j > 0 for j=1,2,…,nj = 1, 2,\ldots, n and a1≤⋯≤an<b1≤⋯≤bn<c1≤⋯≤cna_1 \leq \cdots \leq a_n < b_1 \leq \cdots \leq b_n < c_1 \leq \cdots \leq c_n be real numbers. Prove that (∑j=1nmj(aj+bj+cj))2>3(∑j=1nmj)(∑j=1nmj(ajbj+bjcj+cjaj)).\Biggl( \sum_{j=1}^{n} m_j(a_j+b_j+c_j) \Biggr)^2 > 3 \Biggl( \sum_{j=1}^{n} m_j \Biggr) \Biggl( \sum_{j=1}^{n} m_j(a_jb_j+b_jc_j+c_ja_j) \Biggr).

Problem 39

Consider 3737 distinct points in space, all with integer coordinates. Prove that we may find among them three distinct points such that their barycentre has integers coordinates.

Problem 40

The numbers 1,2,3,…,641, 2, 3,\ldots , 64 are placed on a chessboard, one number in each square. Consider all squares on the chessboard of size 2×2.2 \times 2. Prove that there are at least three such squares for which the sum of the 44 numbers contained exceeds 100.100.

Problem 41

A wheel consists of a fixed circular disk and a mobile circular ring. On the disk the numbers 1,2,3,…,N1, 2, 3, \ldots ,N are marked, and on the ring NN integers a1,a2,…,aNa_1,a_2,\ldots ,a_N of sum 11 are marked. The ring can be turned into NN different positions in which the numbers on the disk and on the ring match each other. Multiply every number on the ring with the corresponding number on the disk and form the sum of NN products. In this way a sum is obtained for every position of the ring. Prove that the NN sums are different.

Problem 42

The sequence an,k ,k=1,2,3,…,2n ,n=0,1,2,…,a_{n,k} \ , k = 1, 2, 3,\ldots, 2^n \ , n = 0, 1, 2,\ldots, is defined by the following recurrence formula: a1=2,an,k=2an−1,k3,,an,k+2n−1=12an−1,k3a_1 = 2, a_{n,k} = 2a_{n-1,k}^3, , a_{n,k+2^{n-1}} =\frac 12 a_{n-1,k}^3fork=1,2,3,…,2n−1 ,n=0,1,2,…\text{for} k = 1, 2, 3,\ldots, 2^{n-1} \ , n = 0, 1, 2,\ldots Prove that the numbers an,ka_{n,k} are all different.

Problem 43

Evaluate S=∑k=1nk(k+1)…(k+p),S=\sum_{k=1}^n k(k+1)\ldots (k+p), where nn and pp are positive integers.

Problem 44

Let EE be a finite set of points in space such that EE is not contained in a plane and no three points of EE are collinear. Show that EE contains the vertices of a tetrahedron T=ABCDT = ABCD such that T∩E={A,B,C,D}T \cap E = \{A,B,C,D\} (including interior points of TT ) and such that the projection of AA onto the plane BCDBCD is inside a triangle that is similar to the triangle BCDBCD and whose sides have midpoints B,C,D.B,C,D.

Problem 45

Let EE be a finite set of points such that EE is not contained in a plane and no three points of EE are collinear. Show that at least one of the following alternatives holds:

(i) EE contains five points that are vertices of a convex pyramid having no other points in common with E;E;

(ii) some plane contains exactly three points from E.E.

Problem 46

Let ff be a strictly increasing function defined on the set of real numbers. For xx real and tt positive, setg(x,t)=f(x+t)−f(x)f(x)−f(x−t).g(x,t)=\frac{f(x+t)-f(x)}{f(x) - f(x - t)}. Assume that the inequalities2−1<g(x,t)<22^{-1} < g(x, t) < 2 hold for all positive t if x=0x = 0 , and for all t≤∣x∣t \leq |x| otherwise. Show that14−1<g(x,t)<1414^{-1} < g(x, t) < 14 for all real xx and positive t.t.

Problem 47

A square ABCDABCD is given. A line passing through AA intersects CDCD at QQ . Draw a line parallel to AQAQ that intersects the boundary of the square at points MM and NN such that the area of the quadrilateral AMNQAMNQ is maximal.

Problem 48

The intersection of a plane with a regular tetrahedron with edge aa is a quadrilateral with perimeter P.P. Prove that 2a≤P≤3a.2a \leq P \leq 3a.

Problem 49

Find all pairs of integers (p,q)(p,q) for which all roots of the trinomials x2+px+qx^2+px+q and x2+qx+px^2+qx+p are integers.

Problem 50

Determine all positive integers nn for which there exists a polynomial Pn(x)P_n(x) of degree nn with integer coefficients that is equal to nn at nn different integer points and that equals zero at zero.

Problem 51

Several segments, which we shall call white, are given, and the sum of their lengths is 11 . Several other segments, which we shall call black, are given, and the sum of their lengths is 11 . Prove that every such system of segments can be distributed on the segment that is 1.511.51 long in the following way: Segments of the same colour are disjoint, and segments of different colours are either disjoint or one is inside the other. Prove that there exists a system that cannot be distributed in that way on the segment that is 1.491.49 long.

Problem 52

Two perpendicular chords are drawn through a given interior point PP of a circle with radius R.R. Determine, with proof, the maximum and the minimum of the sum of the lengths of these two chords if the distance from PP to the center of the circle is kR.kR.

Problem 53

Find all pairs of integers aa and bb for which 7a+14b=5a2+5ab+5b27a+14b=5a^2+5ab+5b^2

Problem 54

If 0≤a≤b≤c≤d,0 \leq a \leq b \leq c \leq d, prove that abbccdda≥bacbdcad.a^bb^cc^dd^a \geq b^ac^bd^ca^d.

Problem 55

Through a point OO on the diagonal BDBD of a parallelogram ABCDABCD , segments MNMN parallel to ABAB , and PQPQ parallel to ADAD , are drawn, with MM on ADAD , and QQ on ABAB . Prove that diagonals AO,BP,DNAO,BP,DN (extended if necessary) will be concurrent.

Problem 56

The four circumcircles of the four faces of a tetrahedron have equal radii. Prove that the four faces of the tetrahedron are congruent triangles.

Problem 58

Prove that for every triangle the following inequality holds: ab+bc+ca4S≥cot⁡π6.\frac{ab+bc+ca}{4S} \geq \cot \frac{\pi}{6}. where a,b,ca, b, c are lengths of the sides and SS is the area of the triangle.

Problem 59

Let EE be a set of nn points in the plane (n≥3)(n \geq 3) whose coordinates are integers such that any three points from EE are vertices of a nondegenerate triangle whose centroid doesnt have both coordinates integers. Determine the maximal n.n.

Problem 60

Suppose x0,x1,…,xnx_0, x_1, \ldots , x_n are integers and x0>x1>⋯>xn.x_0 > x_1 > \cdots > x_n. Prove that at least one of the numbers ∣F(x0)∣,∣F(x1)∣,∣F(x2)∣,…,∣F(xn)∣,|F(x_0)|, |F(x_1)|, |F(x_2)|, \ldots, |F(x_n)|, where F(x)=xn+a1xn−1+⋯+an,ai∈R,i=1,…,n,F(x) = x^n + a_1x^{n-1} + \cdots+ a_n, a_i \in \mathbb R, i = 1, \ldots , n, is greater than n!2n.\frac{n!}{2^n}.