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

Studolymp / IMC / 2015

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

Problems

Day 1

P1

For any integer n2n \ge 2 and two n×nn \times n matrices with real entries AA, BB that satisfy the equation A1+B1=(A+B)1A^{-1} + B^{-1} = (A + B)^{-1} prove that det(A)=det(B)\det(A) = \det(B).

Does the same conclusion follow for matrices with complex entries?

(Proposed by Zbigniew Skoczylas, Wrocł aw University of Technology)

P2

For a positive integer nn, let f(n)f(n) be the number obtained by writing nn in binary and replacing every 0 with 1 and vice versa. For example, n=23n = 23 is 10111 in binary, so f(n)f(n) is 1000 in binary, therefore f(23)=8f(23) = 8. Prove that k=1nf(k)n24.\sum_{k=1}^{n} f(k) \le \frac{n^2}{4}. When does equality hold?

(Proposed by Stephan Wagner, Stellenbosch University)

P3

Let F(0)=0F(0) = 0, F(1)=32F(1) = \frac{3}{2}, and F(n)=52F(n1)F(n2)F(n) = \frac{5}{2} F(n-1) - F(n-2) for n2n \ge 2.

Determine whether or not n=01F(2n)\displaystyle\sum_{n=0}^{\infty} \frac{1}{F(2^n)} is a rational number.

(Proposed by Gerhard Woeginger, Eindhoven University of Technology)

P4

Determine whether or not there exist 15 integers m1,,m15m_1, \dots, m_{15} such that k=115mkarctan(k)=arctan(16).(1)\tag{1} \sum_{k=1}^{15} m_k \cdot \arctan(k) = \arctan(16). (Proposed by Gerhard Woeginger, Eindhoven University of Technology)

P5

Let n2n \ge 2, let A1,A2,,An+1A_1, A_2, \dots, A_{n+1} be n+1n + 1 points in the nn-dimensional Euclidean space, not lying on the same hyperplane, and let BB be a point strictly inside the convex hull of A1,A2,,An+1A_1, A_2, \dots, A_{n+1}. Prove that AiBAj>90\angle A_i B A_j > 90^\circ holds for at least nn pairs (i,j)(i, j) with 1i<jn+11 \le i < j \le n + 1.

(Proposed by Géza Kós, Eötvös University, Budapest)

Day 2

P6

Prove that n=11n(n+1)<2.\sum_{n=1}^{\infty} \frac{1}{\sqrt{n(n+1)}} < 2. (Proposed by Ivan Krijan, University of Zagreb)

P7

Compute limA+1A1AA1xdx.\lim_{A \to +\infty} \frac{1}{A} \int_1^A A^{\frac{1}{x}}\,dx. (Proposed by Jan Šustek, University of Ostrava)

P8

Consider all 262626^{26} words of length 26 in the Latin alphabet. Define the weight of a word as 1/(k+1)1/(k+1), where kk is the number of letters not used in this word. Prove that the sum of the weights of all words is 3753^{75}.

(Proposed by Fedor Petrov, St. Petersburg State University)

P9

An n×nn \times n complex matrix AA is called t-normal if AAt=AtAA A^t = A^t A where AtA^t is the transpose of AA. For each nn, determine the maximum dimension of a linear space of complex n×nn \times n matrices consisting of t-normal matrices.

(Proposed by Shachar Carmeli, Weizmann Institute of Science)

P10

Let nn be a positive integer, and let p(x)p(x) be a polynomial of degree nn with integer coefficients. Prove that max0x1p(x)>1en.\max_{0 \le x \le 1} \bigl| p(x) \bigr| > \frac{1}{e^n}. (Proposed by Géza Kós, Eötvös University, Budapest)