29-я Балканская математическая олимпиада
Анталья, Турция, 2012 год
(i) f(n!)=f(n)! для любого натурального n;
(ii) f(m)−f(n) делится на m−n для любых различных натуральных m и n.
Комментарий/решение:
Answer. f≡1,f≡2,f(x)≡x.
Proof. Рассмотрим два случая на ограниченность f.
Case 1. f ограничена сверху.
Тогда найдется некоторое фиксированное m, что f(x)=m для бесконечного количества значений x. Зафиксировав любое n∈N получим, что
x−n∣f(x)−f(n)=m−f(n)⟹x−n∣m−f(n).
Рассмотрев достаточно большое значение x получим, что m=f(n),∀n∈N. Из первого условия m!=m⟺m≤2. Отсюда получаем ответы f≡2 и f≡1.
Case 2. f не ограничена сверху.
Claim 1. Для любого n верно, что n∣f(n).
Proof. Снова зафиксируем n и рассмотрим такое x, что f(x)≥n и x≥n:
f(x)!−f(n)=f(x!)−f(n) ⋮ x!−n ⋮ n
но поскольку n∣f(x)!, то n∣f(n),∀n∈N. ◻
Claim 2. f(p−2)=p−2 для любого простого p≥5.
Proof. Из f(1)=f(1!)=f(1)!⟹f(1)≤2. По теореме Вильсона заметим, что
p∣(p−2)!−1∣f((p−2)!)−f(1)=f(p−2)!−f(1).
∙ Если f(p−2)≥2(p−2)>p, то p∣f(p−2)!⟹p∣f(1)≤2<p, противоречие.
∙ Если 2(p−2)>f(p−2) ⋮ p−2, то f(p−2)=p−2. ◻
Осталось только заметить, что
f(p−2)−f(n) ⋮ (p−2)−n⟹n−f(n) ⋮ (p−2)−n
для всех p∈P≥5 (в частности для такого простого, что (p−2)−n>|n−f(n)|), откуда f(n)=n,∀n∈N. ◼
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.