Международная олимпиада 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$