Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

Studolymp / IMC / 2026

IMC 2026
contestants 447 · problems 10 (5+5) · scale 0–10 · per-problem yes

Problems

Day 1

Problem 1

Show that the equation cos(cosx)=sin(sinx)\cos (\cos x) = \sin (\sin x) has no real solutions.

(proposed by Alexander Slávik, Charles University, Prague)

Problem 2

Let nn be a positive integer. Suppose that AA and BB are n×nn \times n matrices with real entries such that AA+BB=AB+BA,A^{\top} A + B B^{\top} = A B + B A, where XX^{\top} denotes the transpose of matrix XX.

Does this imply that AB=BAA B = B A?

(proposed by Nikolaos Kolliopoulos, University of Cyprus)

Problem 3

Consider a deck of n2n \geq 2 cards labeled 1,2,,n1, 2, \ldots, n. An alternating shuffle of the deck is performed as follows. We split the deck into two non-empty stacks. We then sort the first stack in increasing order, and the second stack in decreasing order. Finally, we alternately take cards from the first and second stacks (starting with the first). If one of the stacks runs out, the remaining cards from the other stack are placed at the end. How many different final orders of the deck can be obtained in this way?

Example: Suppose n=6n = 6, the first stack is A=(1,3)A = (1, 3), and the second stack is B=(6,5,4,2)B = (6, 5, 4, 2). Then the order resulting from the alternating shuffle is (1,6,3,5,4,2)(1, 6, 3, 5, 4, 2).

(proposed by Daniel Volostnov, Neapolis University Paphos, Cyprus)

Problem 4

Let x1>0x_{1} > 0. Define the sequence {xn}\left\{ x_{n} \right\} by the recurrence xn+1=arctan(x1+x2++xnn) for all n1.x_{n+1} = \arctan \left( \frac{x_{1} + x_{2} + \cdots + x_{n}}{n} \right) \text{ for all } n \geq 1. Find limnxnlnn\lim\limits_{n \rightarrow \infty} x_{n} \sqrt{\ln n}, where lnx\ln x denotes the natural logarithm of xx.

(proposed by Wanlong Han, Henan, China)

Problem 5

Prove that there exists a constant C>0C > 0 such that for every pair A,BA, B of positive integers, there is a real polynomial p(x)p(x) with p(0)2>i=1Ap(i)2+i=1Bp(i)2anddegp<CAB.p(0)^{2} > \sum_{i=1}^{A} p(-i)^{2} + \sum_{i=1}^{B} p(i)^{2} \quad \text{and} \quad \operatorname{deg} p < C \sqrt{A B}.

(proposed by Géza Kós, Loránd Eötvös University, Budapest)

Day 2

Problem 6
  • (a) Is there a differentiable function f ⁣:RRf \colon \mathbb{R} \rightarrow \mathbb{R} such that f(f(x))=xf^{\prime}(f(x)) = x for every xRx \in \mathbb{R}?
  • (b) Is there a differentiable function f ⁣:RRf \colon \mathbb{R} \rightarrow \mathbb{R} such that f(f(x))=xf^{\prime}(f(x)) = |x| for every xRx \in \mathbb{R}?

(proposed by Nikolaos Kolliopoulos, University of Cyprus)

Problem 7

For a continuous function f ⁣:[0,1]Rf \colon [0,1] \rightarrow \mathbb{R}, let S(f)S(f) be the union of all straight segments in the plane joining points (x,0)(x, 0) and (f(x),1)(f(x), 1), where x[0,1]x \in [0,1]. Let A(f)A(f) be the area of S(f)S(f). Find the infimum of A(f)A(f) over all continuous ff.

(proposed by David Preiss, University of Warwick, UK)

Problem 8

Let n5n \geq 5, and suppose that A=(aij)A = \left( a_{i j} \right) is a real symmetric n×nn \times n matrix such that aii=0andaij{1,1} for ij.a_{i i} = 0 \quad \text{and} \quad a_{i j} \in \{-1, 1\} \text{ for } i \neq j. Assume that the scalar products of any two distinct rows of AA have the same value. Let λ1,,λn\lambda_{1}, \ldots, \lambda_{n} be the eigenvalues of AA. Prove that i=1nλi2n2\sum_{i=1}^{n} \left| \lambda_{i} \right| \geq 2 n - 2 and determine all matrices for which equality holds.

(proposed by Slobodan Filipovski, University of Primorska, Koper)

Problem 9

Let a1,a2,a_{1}, a_{2}, \ldots be an infinite sequence of positive real numbers satisfying a1+a2++a2n1=an2a_{1} + a_{2} + \cdots + a_{2n-1} = a_{n}^{2} for all positive integers nn. Prove that an2n1a_{n} \geq 2 n - 1 for all positive integers nn.

(proposed by Ilya I. Bogdanov, MIPT, Moscow and Aleksandr Kuznetsov, SPbU, Saint Petersburg)

Problem 10

An infinite chessboard of size d>0d > 0 is obtained by colouring the interiors of the squares of an infinite square grid of side length dd alternately white and black following the usual chessboard pattern. The points belonging to the grid lines have neither colour and the grid may be translated and rotated arbitrarily in the plane.

Is it true that for any finite set of points p1,,pnp_{1}, \ldots, p_{n} in the plane, there exist d(0,1)d \in (0,1) and an infinite chessboard of size dd such that all the points pip_{i} lie in white squares?

(proposed by David Hruška, Czech Academy of Sciences, Prague)