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

Studolymp / IMC / 2001

IMC 2001
contestants 185 · problems 12 (6+6) · scale 0–20 · per-problem yes

Problems

Day 1

P1

Let nn be a positive integer. Consider an n×nn \times n matrix with entries 1,2,,n21, 2, \dots, n^2 written in order starting top left and moving along each row in turn left–to–right. We choose nn entries of the matrix such that exactly one entry is chosen in each row and each column. What are the possible values of the sum of the selected entries?

P2

Let r,s,tr, s, t be positive integers which are pairwise relatively prime. If aa and bb are elements of a commutative multiplicative group with unity element ee, and ar=bs=(ab)t=ea^r = b^s = (ab)^t = e, prove that a=b=ea = b = e.

Does the same conclusion hold if aa and bb are elements of an arbitrary non-commutative group?

P3

Find limt1(1t)n=1tn1+tn\lim\limits_{t \nearrow 1} (1-t) \sum\limits_{n=1}^{\infty} \dfrac{t^n}{1 + t^n}, where t1t \nearrow 1 means that tt approaches 1 from below.

P4

Let kk be a positive integer. Let p(x)p(x) be a polynomial of degree nn each of whose coefficients is 1-1, 11 or 00, and which is divisible by (x1)k(x-1)^k. Let qq be a prime such that qlnq<kln(n+1)\dfrac{q}{\ln q} < \dfrac{k}{\ln(n+1)}. Prove that the complex qqth roots of unity are roots of the polynomial p(x)p(x).

P5

Let AA be an n×nn \times n complex matrix such that AλIA \ne \lambda I for all λC\lambda \in \mathbb{C}. Prove that AA is similar to a matrix having at most one non-zero entry on the main diagonal.

P6

Suppose that the differentiable functions a,b,f,g:RRa, b, f, g : \mathbb{R} \to \mathbb{R} satisfy f(x)0, f(x)0, g(x)>0, g(x)>0for all xR,f(x) \ge 0,\ f'(x) \ge 0,\ g(x) > 0,\ g'(x) > 0 \quad \text{for all } x \in \mathbb{R}, limxa(x)=A>0,limxb(x)=B>0,limxf(x)=limxg(x)=,\lim_{x \to \infty} a(x) = A > 0, \quad \lim_{x \to \infty} b(x) = B > 0, \quad \lim_{x \to \infty} f(x) = \lim_{x \to \infty} g(x) = \infty, and f(x)g(x)+a(x)f(x)g(x)=b(x).\frac{f'(x)}{g'(x)} + a(x) \frac{f(x)}{g(x)} = b(x). Prove that limxf(x)g(x)=BA+1.\lim_{x \to \infty} \frac{f(x)}{g(x)} = \frac{B}{A + 1}.

Day 2

P7

Let r,s1r, s \ge 1 be integers and a0,a1,,ar1,b0,b1,,bs1a_0, a_1, \dots, a_{r-1}, b_0, b_1, \dots, b_{s-1} be real non-negative numbers such that (a0+a1x+a2x2++ar1xr1+xr)(b0+b1x+b2x2++bs1xs1+xs)==1+x+x2++xr+s1+xr+s.\begin{align*} (a_0 + a_1 x + a_2 x^2 + \dots + a_{r-1} x^{r-1} + x^r) &(b_0 + b_1 x + b_2 x^2 + \dots + b_{s-1} x^{s-1} + x^s) = \\ &= 1 + x + x^2 + \dots + x^{r+s-1} + x^{r+s}. \end{align*} Prove that each aia_i and each bjb_j equals either 0 or 1.

P8

Let a0=2a_0 = \sqrt{2}, b0=2b_0 = 2, an+1=24an2a_{n+1} = \sqrt{2 - \sqrt{4 - a_n^2}}, bn+1=2bn2+4+bn2b_{n+1} = \dfrac{2 b_n}{2 + \sqrt{4 + b_n^2}}.

a) Prove that the sequences (an)(a_n), (bn)(b_n) are decreasing and converge to 0.

b) Prove that the sequence (2nan)(2^n a_n) is increasing, the sequence (2nbn)(2^n b_n) is decreasing and that these two sequences converge to the same limit.

c) Prove that there is a positive constant CC such that for all nn the following inequality holds: 0<bnan<C8n0 < b_n - a_n < \dfrac{C}{8^n}.

P9

Find the maximum number of points on a sphere of radius 1 in Rn\mathbb{R}^n such that the distance between any two of these points is strictly greater than 2\sqrt{2}.

P10

Let A=(ak,)k,=1,,nA = (a_{k,\ell})_{k,\ell = 1,\dots,n} be an n×nn \times n complex matrix such that for each m{1,,n}m \in \{1, \dots, n\} and 1j1<<jmn1 \le j_1 < \dots < j_m \le n the determinant of the matrix (ajk,j)k,=1,,m(a_{j_k, j_\ell})_{k,\ell = 1,\dots,m} is zero. Prove that An=0A^n = 0 and that there exists a permutation σSn\sigma \in S_n such that the matrix (aσ(k),σ())k,=1,,n(a_{\sigma(k), \sigma(\ell)})_{k,\ell = 1,\dots,n} has all of its nonzero elements above the diagonal.

P11

Let R\mathbb{R} be the set of real numbers. Prove that there is no function f:RRf : \mathbb{R} \to \mathbb{R} with f(0)>0f(0) > 0, and such that f(x+y)f(x)+yf(f(x))for all x,yR.f(x + y) \ge f(x) + y f(f(x)) \quad \text{for all } x, y \in \mathbb{R}.

P12

For each positive integer nn, let fn(ϑ)=sinϑsin(2ϑ)sin(4ϑ)sin(2nϑ)f_n(\vartheta) = \sin\vartheta \cdot \sin(2\vartheta) \cdot \sin(4\vartheta) \cdots \sin(2^n \vartheta). For all real ϑ\vartheta and all nn, prove that fn(ϑ)23fn(π/3).|f_n(\vartheta)| \le \frac{2}{\sqrt{3}} |f_n(\pi/3)|.