27th IMC

IMC 2020

Online · papers 26 July & 27 July 2020 · 8 problems across 2 papers

View scoreboard
Top of the individual standings
  1. 1Stanislav KrymskiiSaint-Petersburg State University73
  2. 2Shvo RegavimTel Aviv University61
  3. 3–5Mikhail IvanovSaint-Petersburg State University60

Day 1

26 July 2020 · 4 problems
  1. Problem 1

    Let nn be a positive integer. Compute the number of words ww (finite sequences of letters) that satisfy all the following three properties:

    (1) ww consists of nn letters, all of them are from the alphabet {a,b,c,d}\{\mathsf{a}, \mathsf{b}, \mathsf{c}, \mathsf{d}\};

    (2) ww contains an even number of letters a\mathsf{a};

    (3) ww contains an even number of letters b\mathsf{b}.

    (For example, for n=2n = 2 there are 6 such words: aa\mathsf{aa}, bb\mathsf{bb}, cc\mathsf{cc}, dd\mathsf{dd}, cd\mathsf{cd} and dc\mathsf{dc}.)

  2. Problem 2

    Let AA and BB be n×nn \times n real matrices such that

    rk(ABBA+I)=1\operatorname{rk}(AB - BA + I) = 1

    where II is the n×nn \times n identity matrix.

    Prove that

    trace(ABAB)trace(A2B2)=12n(n1).\operatorname{trace}(ABAB) - \operatorname{trace}(A^2B^2) = \frac{1}{2}n(n - 1).

    (rk(M)\operatorname{rk}(M) denotes the rank of matrix MM, i.e., the maximum number of linearly independent columns in MM. trace(M)\operatorname{trace}(M) denotes the trace of MM, that is the sum of diagonal elements in MM.)

  3. Problem 3

    Let d2d \ge 2 be an integer. Prove that there exists a constant C(d)C(d) such that the following holds: For any convex polytope KRdK \subset \mathbb{R}^d, which is symmetric about the origin, and any ε(0,1)\varepsilon \in (0, 1), there exists a convex polytope LRdL \subset \mathbb{R}^d with at most C(d)ε1dC(d)\varepsilon^{1-d} vertices such that

    (1ε)KLK.(1 - \varepsilon)K \subseteq L \subseteq K.

    (For a real α\alpha, a set TRdT \subset \mathbb{R}^d with nonempty interior is a convex polytope with at most α\alpha vertices, if TT is a convex hull of a set XRdX \subset \mathbb{R}^d of at most α\alpha points, i.e., T={xXtxxtx0,xXtx=1}T = \{\sum_{x \in X} t_x x \mid t_x \ge 0, \sum_{x \in X} t_x = 1\}. For a real λ\lambda, put λK={λxxK}\lambda K = \{\lambda x \mid x \in K\}. A set TRdT \subset \mathbb{R}^d is symmetric about the origin if (1)T=T(-1)T = T.)

  4. Problem 4

    A polynomial pp with real coefficients satisfies the equation p(x+1)p(x)=x100p(x + 1) - p(x) = x^{100} for all xRx \in \mathbb{R}. Prove that p(1t)p(t)p(1 - t) \geqslant p(t) for 0t1/20 \leqslant t \leqslant 1/2.

Day 2

27 July 2020 · 4 problems
  1. Problem 5

    Find all twice continuously differentiable functions f ⁣:R(0,+)f \colon \mathbb{R} \to (0, +\infty) satisfying

    f(x)f(x)2(f(x))2f''(x)f(x) \ge 2(f'(x))^2

    for all xRx \in \mathbb{R}.

  2. Problem 6

    Find all prime numbers pp for which there exists a unique a{1,2,,p}a \in \{1, 2, \ldots, p\} such that a33a+1a^3 - 3a + 1 is divisible by pp.

  3. Problem 7

    Let GG be a group and n2n \ge 2 be an integer. Let H1H_1 and H2H_2 be two subgroups of GG that satisfy

    [G:H1]=[G:H2]=nand[G:(H1H2)]=n(n1).[G : H_1] = [G : H_2] = n \quad \text{and} \quad [G : (H_1 \cap H_2)] = n(n - 1).

    Prove that H1H_1 and H2H_2 are conjugate in GG.

    (Here [G:H][G : H] denotes the index of the subgroup HH, i.e. the number of distinct left cosets xHxH of HH in GG. The subgroups H1H_1 and H2H_2 are conjugate if there exists an element gGg \in G such that g1H1g=H2g^{-1}H_1g = H_2.)

  4. Problem 8

    Compute

    limn1loglognk=1n(1)k(nk)logk.\lim_{n \to \infty} \frac{1}{\log\log n} \sum_{k=1}^{n} (-1)^k \binom{n}{k} \log k.

    (Here log\log denotes the natural logarithm.)