58-я Международная Математическая Oлимпиада
Бразилия, Рио-де-Жанейро, 2017 год
Комментарий/решение:
Ответ: 1) f(x)=0; 2) f(x)=x−1; 3) f(x)=1−x.
Если f(0)=0, то P(x,0): f(x)=0,∀x∈R.
Далее f(0)≠0. Заметим, что ∀x≠1,P(x,xx−1): f(f(x)f(xx−1))=0
Значит f(t)=0, для некоторого t∈R.
Так как f(0)≠0, то f(x)f(xx−1)≠0⟹f(x)≠0,∀x≠1.
Откуда f(t)=0⟺t=1.(∗)
Тогда P(x,1): f(0)=f(x)−f(x+1),∀x∈R(∗∗)
Из (∗∗) легко доказать, что f(k)=(1−k)⋅f(0),∀k∈Z.
Из (∗) получаем, что P(0,0): f(f(0)2)=0⟹f(0)2=1
Пусть f(0)=1, тогда 1=f(x)−f(x+1)(1)
Утверждение: f− инъективная функция.
Допустим, что f(a)=f(b), где a,b∈R, тогда из (1) ⟹f(a−N)=f(a)+N=f(b)+N=f(b−N),∀N∈N
Тогда без ог. общности примем, что a,b<0 тогда ∃x,y∈R, что xy=b−1 x+y=a
откуда из (1) следует, что P(x,y): f(f(x)f(y))+f(a)=f(b−1)
⟹f(f(x)f(y))=f(b−1)−f(a)=(f(b)+1)−f(a)=1 ⟹f(f(x)f(y)+1)=f(f(x)f(y))−1=0
Тогда из (∗)⟹f(x)f(y)+1=1 ⟹f(x)f(y)=0⟹0∈{f(x),f(y)} ⟹1∈{x,y}⟹a=x+y=xy+1=b.◻
Тогда из инъективности получаем, что
P(x,1−x): f(x)f(1−x)=x(1−x)
Подставим в последнее равенство x→f(x), тогда f(f(x))f(1−f(x))=f(x)(1−f(x)),∀x≠0
но, так как P(x,0): f(f(x))=1−f(x)≠0, то f(1−f(x))=f(x) ⟹1−f(x)=x⟺f(x)=1−x,∀x≠0
⟹f(x)=1−x,∀x∈R
В случае f(0)=−1 рассмотрим функцию g:R→R, что g(x)=−f(x), тогда g(g(x)g(y))+g(x+y)=g(xy),g(0)=1, что решается аналогично случаю f(0)=1. Тогда f(x)=x−1.
Допустим: f(0)=0
P(x,0)⇒f(x)=0
Теперь: f(0)≠0
P(0,0)⇒f(f(0)2)=0
Возьмем c:
f(c)=0
P(cc−1,c)⇒f(0)=0⇔∅
Значит:
cc−1∉R⇒c=1
f(0)2=1⇔f(0)=±1
Возьмем: f(0)=1
Утверждение:
f− инъективная функция
Док-во:
Пойдем от обратного:
P(1,−1)⇒f(−1)=2
P(1,1)⇒f(2)=−1
f(d)=−1
P(d−1,1)⇒0=f(d−1)⇔d=2
P(x,1)⇒f(x+1)=f(x)−1 (+)
P(x,−1),(+)⇒f(2f(x))+f(x)=f(−x)−1
Если:
f(a)=f(b)⇒f(−a)=f(−b)
P(a,−b)−P(b,−a)=0⇒f(a−b)=f(b−a)
a−b=n
f(2f(n))+f(n)=f(−n)−1⇒f(2f(n))=−1
2f(n)=2→n=1
f(1)=f(−1) противоречие ◻
P(x,0)⇒f(x)=1−f(f(x)) (′)
P(f(x),0)⇒f(f(f(x)))=1−f(f(x)) (″
('),('') \Rightarrow f(x)=f(f(f(x)))\Leftrightarrow f(f(x))=x (''')
('''),(') \Rightarrow f(x)=1-x
Случай:
f(0)=-1 аналогичен f(0)=1
Ответ: f(x)=0; \pm (1-x)
(Хотел решить отлично от решения выше, но по сути получилось одно и то же)
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.