Международная олимпиада 2024, Бат, Великобритания, 2024 год

$\mathbb{Q}$ — барлық рационал сандар жиыны болсын. Егер кез келген $x, y \in \mathbb{Q}$ үшін $$f(x+f(y))=f(x)+y \quad \text{ немесе } \quad f(f(x)+y)=x+f(y)$$ теңдігі орындалса, онда $f: \mathbb{Q} \rightarrow \mathbb{Q}$ функциясын іргелес функция деп атаймыз. Кез келген іргелес $f$ функциясы үшін, қандай да бір рационал $r$ саны үшін $f(r)+f(-r)$ түрінде келетін әртүрлі сандар саны $c$-дан аспайтындай бүтін $c$ саны табылатынын дәлелдеңіз, әрі осындай $c$ санының ең кіші мүмкін мәнін табыңыз.

Комментарий/решение

Ответ: $\: \boxed{c \: = \: 2}$

Назовем число $\: x\:$ смежным к $\: y \: ,$ если выполняется$:$

$$P(x,y) \rightarrow f(x+f(y)) = f(x)+y \left ( \star \right )$$

Утверждение 1: $\: f \: - \:$ инъективная

$f(x_1) = f(x_2) = x \quad$ Б.О.О. $\: x_2 \:$ смежный к $\: x_1$

$P(x_2,x_2) - P(x_2,x_1): \rightarrow x_1= x_2 \quad \blacksquare$

Утверждение 2: $\: f(r)+f(-r) \:$ принимает не более чем одно ненулевое значение

$x \: -$ смежное к $\: y \:$

$P(x+f(y), -y ):$

$$(\mathbb{i}) \quad f(x + f(y) - f(y)) = f(x + f(y)) -y$$

$$(\mathbb{ii}) \quad f(f(x+f(y))-y)= x + f(y)+f(-y)$$

$(\mathbb{i}) + \left ( \star \right ) \quad f(x + f(y) +f(-y) ) = f(x) \rightarrow f(y)+f(-y) = 0$

$(\mathbb{ii}) + (\star) \quad f(f(x))-x = f(y) + f(-y)$

$f(y_1)+f(-y_1) \ne 0, \quad f(y_2)+f(-y_2) \ne 0$

Осталось доказать что существует $\:x \:$ смежный для них обоих

Заметим что число смежно с самим собой и что одно из двух чисел смежно с другим $\quad \blacksquare$

Пример функции для которой $\: c=1 \:$ не удовлетворяет условию$:$

$f \equiv 2 \lfloor x \rfloor - x$