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

Studolymp / IMC / 2010

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

Problems

Day 1

P1

Let 0<a<b0 < a < b. Prove that ab(x2+1)ex2dxea2eb2.\int_a^b (x^2 + 1) e^{-x^2} dx \ge e^{-a^2} - e^{-b^2}.

P2

Compute the sum of the series k=01(4k+1)(4k+2)(4k+3)(4k+4)=11234+15678+.\sum_{k=0}^{\infty} \frac{1}{(4k+1)(4k+2)(4k+3)(4k+4)} = \frac{1}{1 \cdot 2 \cdot 3 \cdot 4} + \frac{1}{5 \cdot 6 \cdot 7 \cdot 8} + \cdots.

P3

Define the sequence x1,x2,x_1, x_2, \dots inductively by x1=5x_1 = \sqrt{5} and xn+1=xn22x_{n+1} = x_n^2 - 2 for each n1n \ge 1. Compute limnx1x2x3xnxn+1.\lim_{n \to \infty} \frac{x_1 \cdot x_2 \cdot x_3 \cdots x_n}{x_{n+1}}.

P4

Let a,ba, b be two integers and suppose that nn is a positive integer for which the set Z{axn+bynx,yZ}\mathbb{Z} \setminus \{ a x^n + b y^n \mid x, y \in \mathbb{Z} \} is finite. Prove that n=1n = 1.

P5

Suppose that a,b,ca, b, c are real numbers in the interval [1,1][-1, 1] such that 1+2abca2+b2+c2.1 + 2abc \ge a^2 + b^2 + c^2. Prove that 1+2(abc)na2n+b2n+c2n1 + 2 (abc)^n \ge a^{2n} + b^{2n} + c^{2n} for all positive integers nn.

Day 2

P6

(a) A sequence x1,x2,x_1, x_2, \dots of real numbers satisfies xn+1=xncosxnfor all n1.x_{n+1} = x_n \cos x_n \quad \text{for all } n \ge 1. Does it follow that this sequence converges for all initial values x1x_1? (5 points)

(b) A sequence y1,y2,y_1, y_2, \dots of real numbers satisfies yn+1=ynsinynfor all n1.y_{n+1} = y_n \sin y_n \quad \text{for all } n \ge 1. Does it follow that this sequence converges for all initial values y1y_1? (5 points)

P7

Let a0,a1,,ana_0, a_1, \dots, a_n be positive real numbers such that ak+1ak1a_{k+1} - a_k \ge 1 for all k=0,1,,n1k = 0, 1, \dots, n-1. Prove that 1+1a0(1+1a1a0)(1+1ana0)(1+1a0)(1+1a1)(1+1an).1 + \frac{1}{a_0} \left( 1 + \frac{1}{a_1 - a_0} \right) \cdots \left( 1 + \frac{1}{a_n - a_0} \right) \le \left( 1 + \frac{1}{a_0} \right) \left( 1 + \frac{1}{a_1} \right) \cdots \left( 1 + \frac{1}{a_n} \right).

P8

Denote by SnS_n the group of permutations of the sequence (1,2,,n)(1, 2, \dots, n). Suppose that GG is a subgroup of SnS_n, such that for every πG{e}\pi \in G \setminus \{e\} there exists a unique k{1,2,,n}k \in \{1, 2, \dots, n\} for which π(k)=k\pi(k) = k. (Here ee is the unit element in the group SnS_n.) Show that this kk is the same for all πG{e}\pi \in G \setminus \{e\}.

P9

Let AA be a symmetric m×mm \times m matrix over the two-element field all of whose diagonal entries are zero. Prove that for every positive integer nn each column of the matrix AnA^n has a zero entry.

P10

Suppose that for a function f:RRf : \mathbb{R} \to \mathbb{R} and real numbers a<ba < b one has f(x)=0f(x) = 0 for all x(a,b)x \in (a, b). Prove that f(x)=0f(x) = 0 for all xRx \in \mathbb{R} if k=0p1f(y+kp)=0\sum_{k=0}^{p-1} f \left( y + \frac{k}{p} \right) = 0 for every prime number pp and every real number yy.