IMC 1999 · Problem 3

Day 120 points6th IMC · Keszthely, Hungary

Statement

Suppose that a function f:RRf : \mathbb{R} \to \mathbb{R} satisfies the inequality

k=1n3k(f(x+ky)f(xky))1(1)\left| \sum_{k=1}^{n} 3^k \left( f(x + ky) - f(x - ky) \right) \right| \le 1 \tag{1}

for every positive integer nn and for all x,yRx, y \in \mathbb{R}. Prove that ff is a constant function.

Official solution

Hidden so you can work on the problem first.