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

IMC / 1999 / Problems / Day 1, P3

IMC 1999 · Day 1 · P3

easy

Suppose that a function f:RRf : \mathbb{R} \to \mathbb{R} satisfies the inequality k=1n3k(f(x+ky)f(xky))1(1)\tag{1} \left| \sum_{k=1}^{n} 3^k \bigl( f(x + ky) - f(x - ky) \bigr) \right| \le 1 for every positive integer nn and for all x,yRx, y \in \mathbb{R}. Prove that ff is a constant function.

Solution (official)

Writing (1) with n1n-1 instead of nn, k=1n13k(f(x+ky)f(xky))1.(2)\tag{2} \left| \sum_{k=1}^{n-1} 3^k \bigl( f(x + ky) - f(x - ky) \bigr) \right| \le 1. From the difference of (1) and (2), 3n(f(x+ny)f(xny))2;\left| 3^n \bigl( f(x + ny) - f(x - ny) \bigr) \right| \le 2; which means f(x+ny)f(xny)23n.(3)\tag{3} \bigl| f(x + ny) - f(x - ny) \bigr| \le \frac{2}{3^n}. For arbitrary u,vRu, v \in \mathbb{R} and nNn \in \mathbb{N} one can choose xx and yy such that xny=ux - ny = u and x+ny=vx + ny = v, namely x=u+v2x = \frac{u+v}{2} and y=vu2ny = \frac{v-u}{2n}. Thus, (3) yields f(u)f(v)23n\bigl| f(u) - f(v) \bigr| \le \frac{2}{3^n} for arbitrary positive integer nn. Because 23n\frac{2}{3^n} can be arbitrary small, this implies f(u)=f(v)f(u) = f(v).

How the field did

contestants scored
87
average (of 20)
12.97
solved (≥ 80%)
62.1%
near-0 (≤ 10%)
32.2%
discrimination
0.51

Score distribution (field cohort)

Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.

Similar problems

IMC 2023 · Day 1 · P1easyavg 7.7/10 · solved 72% · near-0 6% · disc 0.46
IMC 2002 · Day 1 · P2mediumavg 6.2/10 · solved 49% · near-0 16% · disc 0.53
IMC 2008 · Day 1 · P1mediumavg 5.4/10 · solved 48% · near-0 40% · disc 0.42
IMC 2006 · Day 2 · P8easyavg 8.2/10 · solved 76% · near-0 4% · disc 0.41