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

Studolymp / IMC / 2025

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

Problems

Day 1

P1

Let PR[x]P \in \mathbb{R}[x] be a polynomial with real coefficients, and suppose deg(P)2\deg(P) \ge 2. For every xRx \in \mathbb{R}, let xR2\ell_x \subset \mathbb{R}^2 denote the line tangent to the graph of PP at the point (x,P(x))(x, P(x)).

(a) Suppose that the degree of PP is odd. Show that xRx=R2\bigcup\limits_{x \in \mathbb{R}} \ell_x = \mathbb{R}^2.

(b) Does there exist a polynomial of even degree for which the above equality still holds?

(proposed by Mike Daas, Max Planck Institute for Mathematics, Bonn)

P2

Let f:RRf : \mathbb{R} \to \mathbb{R} be a twice continuously differentiable function, and suppose that 11f(x)dx=0\int_{-1}^{1} f(x)\,dx = 0 and f(1)=f(1)=1f(1) = f(-1) = 1. Prove that 11(f(x))2dx15,\int_{-1}^{1} (f''(x))^2\,dx \ge 15, and find all such functions for which equality holds.

(proposed by Alberto Cagnetta, Università degli Studi di Udine, Italy)

P3

Denote by SS the set of all real symmetric 2025×20252025 \times 2025 matrices of rank 1 whose entries take values 1-1 or +1+1. Let A,BSA, B \in S be matrices chosen independently uniformly at random. Find the probability that AA and BB commute, i.e. AB=BAAB = BA.

(proposed by Marian Panţiruc, ”Gheorghe Asachi” Technical University of Iaşi, Romania)

P4

Let aa be an even positive integer. Find all real numbers xx such that ba+xaba1=ba+x/a(1)\tag{1} \left\lfloor \sqrt[a]{b^a + x} \cdot b^{a-1} \right\rfloor = b^a + \lfloor x/a \rfloor holds for every positive integer bb.

(Here x\lfloor x \rfloor denotes the largest integer that is no greater than xx.)

(proposed by Yagub Aliyev, ADA University, Baku, Azerbaijan)

P5

For a positive integer nn, let [n]={1,2,,n}[n] = \{1, 2, \dots, n\}. Denote by SnS_n the set of all bijections from [n][n] to [n][n], and let TnT_n be the set of all maps from [n][n] to [n][n]. Define the order ord(τ)\operatorname{ord}(\tau) of a map τTn\tau \in T_n as the number of distinct maps in the set {τ,ττ,τττ,}\{\tau, \tau \circ \tau, \tau \circ \tau \circ \tau, \dots\} where \circ denotes composition. Finally, let f(n)=maxτSnord(τ)andg(n)=maxτTnord(τ).f(n) = \max_{\tau \in S_n} \operatorname{ord}(\tau) \quad \text{and} \quad g(n) = \max_{\tau \in T_n} \operatorname{ord}(\tau). Prove that g(n)<f(n)+n0.501g(n) < f(n) + n^{0.501} for sufficiently large nn.

(proposed by Fedor Petrov, St Petersburg State University)

Day 2

P6

Let f:(0,)Rf : (0, \infty) \to \mathbb{R} be a continuously differentiable function, and let b>a>0b > a > 0 be real numbers such that f(a)=f(b)=kf(a) = f(b) = k. Prove that there exists a point ξ(a,b)\xi \in (a, b) such that f(ξ)ξf(ξ)=k.f(\xi) - \xi f'(\xi) = k. (proposed by Alberto Cagnetta, Università degli Studi di Udine)

P7

Let Z>0\mathbb{Z}_{>0} be the set of positive integers. Find all nonempty subsets MZ>0M \subseteq \mathbb{Z}_{>0} satisfying both of the following properties:

(a) if xMx \in M, then 2xM2x \in M,

(b) if x,yMx, y \in M and x+yx + y is even, then x+y2M\dfrac{x + y}{2} \in M.

(proposed by Alexandr Bolbot, Novosibirsk State University)

P8

For an n×nn \times n real matrix AMn(R)A \in M_n(\mathbb{R}), denote by ARA^R its counter-clockwise 9090^\circ rotation. For example, (123456789)R=(369258147).\begin{pmatrix} 1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 \end{pmatrix}^R = \begin{pmatrix} 3 & 6 & 9 \\ 2 & 5 & 8 \\ 1 & 4 & 7 \end{pmatrix}. Prove that if A=ARA = A^R then for any eigenvalue λ\lambda of AA, we have Reλ=0\operatorname{Re} \lambda = 0 or Imλ=0\operatorname{Im} \lambda = 0.

(proposed by Jan Kuś, University of Warwick)

P9

Let nn be a positive integer. Consider the following random process which produces a sequence of nn distinct positive integers X1,X2,,XnX_1, X_2, \dots, X_n.

First, X1X_1 is chosen randomly with P(X1=i)=2i\mathsf{P}(X_1 = i) = 2^{-i} for every positive integer ii. For 1jn11 \le j \le n-1, having chosen X1,,XjX_1, \dots, X_j, arrange the remaining positive integers in increasing order as n1<n2<n_1 < n_2 < \cdots, and choose Xj+1X_{j+1} randomly with P(Xj+1=ni)=2i\mathsf{P}(X_{j+1} = n_i) = 2^{-i} for every positive integer ii.

Let Yn=max{X1,,Xn}Y_n = \max\{X_1, \dots, X_n\}. Show that E[Yn]=i=1n2i2i1\mathsf{E}[Y_n] = \sum_{i=1}^{n} \frac{2^i}{2^i - 1} where E[Yn]\mathsf{E}[Y_n] is the expected value of YnY_n.

(proposed by Jan Kuś and Jun Yan, University of Warwick)

P10

For any positive integer NN, let SNS_N be the number of pairs of integers 1a,bN1 \le a, b \le N such that the number (a2+a)(b2+b)(a^2 + a)(b^2 + b) is a perfect square. Prove that the limit limNSNN\lim_{N \to \infty} \frac{S_N}{N} exists and find its value.

(proposed by Besfort Shala, University of Bristol)