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

Studolymp / IMC / 2002

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

Problems

Day 1

P1

A standard parabola is the graph of a quadratic polynomial y=x2+ax+by = x^2 + ax + b with leading coefficient 1. Three standard parabolas with vertices V1V_1, V2V_2, V3V_3 intersect pairwise at points A1A_1, A2A_2, A3A_3. Let As(A)A \mapsto s(A) be the reflection of the plane with respect to the xx axis.

Prove that standard parabolas with vertices s(A1)s(A_1), s(A2)s(A_2), s(A3)s(A_3) intersect pairwise at the points s(V1)s(V_1), s(V2)s(V_2), s(V3)s(V_3).

P2

Does there exist a continuously differentiable function f:RRf : \mathbb{R} \to \mathbb{R} such that for every xRx \in \mathbb{R} we have f(x)>0f(x) > 0 and f(x)=f(f(x))f'(x) = f(f(x))?

P3

Let nn be a positive integer and let ak=1(nk),bk=2kn,for k=1,2,,n.a_k = \frac{1}{\binom{n}{k}}, \qquad b_k = 2^{k-n}, \qquad \text{for } k = 1, 2, \dots, n. Show that a1b11+a2b22++anbnn=0.(1)\tag{1} \frac{a_1 - b_1}{1} + \frac{a_2 - b_2}{2} + \cdots + \frac{a_n - b_n}{n} = 0.

P4

Let f:[a,b][a,b]f : [a,b] \to [a,b] be a continuous function and let p[a,b]p \in [a,b]. Define p0=pp_0 = p and pn+1=f(pn)p_{n+1} = f(p_n) for n=0,1,2,n = 0, 1, 2, \dots. Suppose that the set Tp={pn:n=0,1,2,}T_p = \{ p_n : n = 0, 1, 2, \dots \} is closed, i.e., if xTpx \notin T_p then there is a δ>0\delta > 0 such that for all xTpx' \in T_p we have xxδ|x' - x| \ge \delta. Show that TpT_p has finitely many elements.

P5

Prove or disprove the following statements:

(a) There exists a monotone function f:[0,1][0,1]f : [0,1] \to [0,1] such that for each y[0,1]y \in [0,1] the equation f(x)=yf(x) = y has uncountably many solutions xx.

(b) There exists a continuously differentiable function f:[0,1][0,1]f : [0,1] \to [0,1] such that for each y[0,1]y \in [0,1] the equation f(x)=yf(x) = y has uncountably many solutions xx.

P6

For an n×nn \times n matrix MM with real entries let M=supxRn{0}Mx2x2\|M\| = \sup\limits_{x \in \mathbb{R}^n \setminus \{0\}} \dfrac{\|Mx\|_2}{\|x\|_2}, where 2\|\cdot\|_2 denotes the Euclidean norm on Rn\mathbb{R}^n. Assume that an n×nn \times n matrix AA with real entries satisfies AkAk112002k\|A^k - A^{k-1}\| \le \dfrac{1}{2002 k} for all positive integers kk. Prove that Ak2002\|A^k\| \le 2002 for all positive integers kk.

Day 2

P7

Compute the determinant of the n×nn \times n matrix A=[aij]A = [a_{ij}], aij={(1)ij,if ij,2,if i=j.a_{ij} = \begin{cases} (-1)^{|i-j|}, & \text{if } i \ne j, \\ 2, & \text{if } i = j. \end{cases}

P8

Two hundred students participated in a mathematical contest. They had 6 problems to solve. It is known that each problem was correctly solved by at least 120 participants. Prove that there must be two participants such that every problem was solved by at least one of these two students.

P9

For each n1n \ge 1 let an=k=0knk!,bn=k=0(1)kknk!.a_n = \sum_{k=0}^{\infty} \frac{k^n}{k!}, \qquad b_n = \sum_{k=0}^{\infty} (-1)^k \frac{k^n}{k!}. Show that anbna_n \cdot b_n is an integer.

P10

In the tetrahedron OABCOABC, let BOC=α\angle BOC = \alpha, COA=β\angle COA = \beta and AOB=γ\angle AOB = \gamma. Let σ\sigma be the angle between the faces OABOAB and OACOAC, and let τ\tau be the angle between the faces OBAOBA and OBCOBC. Prove that γ>βcosσ+αcosτ.\gamma > \beta \cdot \cos\sigma + \alpha \cdot \cos\tau.

P11

Let AA be an n×nn \times n matrix with complex entries and suppose that n>1n > 1. Prove that AA=In    SGLn(C) such that A=SS1.A \overline{A} = I_n \iff \exists S \in GL_n(\mathbb{C}) \text{ such that } A = S \overline{S}^{-1}. (If A=[aij]A = [a_{ij}] then A=[aij]\overline{A} = [\overline{a_{ij}}], where aij\overline{a_{ij}} is the complex conjugate of aija_{ij}; GLn(C)GL_n(\mathbb{C}) denotes the set of all n×nn \times n invertible matrices with complex entries, and InI_n is the identity matrix.)

P12

Let f:RnRf : \mathbb{R}^n \to \mathbb{R} be a convex function whose gradient f=(fx1,,fxn)\nabla f = \left( \frac{\partial f}{\partial x_1}, \dots, \frac{\partial f}{\partial x_n} \right) exists at every point of Rn\mathbb{R}^n and satisfies the condition L>0 x1,x2Rnf(x1)f(x2)Lx1x2.\exists L > 0\ \forall x_1, x_2 \in \mathbb{R}^n\quad \|\nabla f(x_1) - \nabla f(x_2)\| \le L \|x_1 - x_2\|. Prove that x1,x2Rnf(x1)f(x2)2Lf(x1)f(x2), x1x2.(1)\tag{1} \forall x_1, x_2 \in \mathbb{R}^n\quad \|\nabla f(x_1) - \nabla f(x_2)\|^2 \le L \langle \nabla f(x_1) - \nabla f(x_2),\ x_1 - x_2 \rangle. In this formula a,b\langle a, b \rangle denotes the scalar product of the vectors aa and bb.