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:R→Rf : \mathbb{R} \to \mathbb{R} satisfies the inequality ∣∑k=1n3k(f(x+ky)−f(x−ky))∣≤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,y∈Rx, y \in \mathbb{R}. Prove that ff is a constant function.

Solution (official)

Writing (1) with n−1n-1 instead of nn, ∣∑k=1n−13k(f(x+ky)−f(x−ky))∣≤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(x−ny))∣≤2;\left| 3^n \bigl( f(x + ny) - f(x - ny) \bigr) \right| \le 2; which means ∣f(x+ny)−f(x−ny)∣≤23n.(3)\tag{3} \bigl| f(x + ny) - f(x - ny) \bigr| \le \frac{2}{3^n}. For arbitrary u,v∈Ru, v \in \mathbb{R} and n∈Nn \in \mathbb{N} one can choose xx and yy such that x−ny=ux - ny = u and x+ny=vx + ny = v, namely x=u+v2x = \frac{u+v}{2} and y=v−u2ny = \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