Азиатско-Тихоокеанская математическая олимпиада, 2019 год

$\mathbb{Z}^+$ арқылы натурал сандар жиынын белгілейік. Кез келген натурал $a$ және $b$ сандары үшін $a^2 + f(a)f(b)$ саны $f(a) + b$ санына бөлінетіндей барлық $f : \mathbb{Z}^{+} \to \mathbb{Z}^{+}$ функцияларын табыңыздар.

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

1) Подставим в условие $a=1$ и $b=1$, получим:

$$1+f(1)|1+f(1)^2$$

Отсюда $f(1)=1$. Теперь, подставим $b=f(a)$:

$$f(a)|2 \cdot f(a)|a^2+f(a) \cdot f(f(a))$$

Тогда $f(a)|a^2$ (1)

2) Подставляя $a=1$ и $b=a$, имеем:

$1+a|1+f(a)$ $\Rightarrow $ $a\leq f(a)$ (2)

3) Подставляя $b=1$, имеем:

$$f(a)+1|a^2+f(a)\ (*)$$

Но учитывая (1):

$$f(a)|a^2+f(a)\ (**)$$

Так как НОД$(f(a)+1, f(a))=1$, то из (*) и (**) получим:

$f(a) \cdot (f(a)+1)|a^2+f(a)$ $\Rightarrow $ $a^2\geq (f(a))^2$ (3)

Из (2) и (3): $a\geq f(a)\geq a$, откуда $f(a)=a$ для любого натурального a.

Сделав проверку, убеждаемся, что ответ удовлетворяет условию.

Ответ: $f(a)=a$

Обозначим за $P(x, y)$ подстановку чисел $x, y$ в исxодное условие.

$P(1, 1): f(1) + 1 \, | \, f(1)^2+1 \Rightarrow f(1)=1 $

$P(1, a): a + 1 \, | \, f(a)+1 \Rightarrow a \leq f(a), \forall a \in \mathbb{N}$

$P(a, 1): f(a)+1 \, | \, a^2+f(a) \Rightarrow f(a) \, | \, a^2-1 \Rightarrow f(a) \leq a^2-2, \forall a \geq 2$

$P(a, f(a)): 2f(a) \, | \, a^2+f(f(a))f(a) \Rightarrow f(a) \, | \, a^2, \forall a \in \mathbb{N}$

Тогда $\forall p \in \mathbb{P} \Rightarrow f(p) = p$. Возьмем $a$ такое, что $(a, p) = 1$.

$P(p, a): a+p \, | \, p^2+f(a)p \Rightarrow a+p \, | \, p+f(a)$

Беря $p > f(a)-2a$ получаем, что $f(a) = a, \forall a \in \mathbb{N}$.

.