Processing math: 48%

Республиканская олимпиада по математике, 2021 год, 10 класс


Найдите все функции f:R+R+ такие, что f(x)2=f(xy)+f(x+f(y))1 для любых x,yR+. (Здесь R+ — множество положительных действительных чисел.) ( Сатылханов К. )
посмотреть в олимпиаде

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

пред. Правка 4   10
3 года 10 месяца назад #

Ответ: f1.

Решение: Пусть P(x,y) обозначает равенство из условия. Докажем следующую лемму:

Лемма: Если f(a)=f(b), то f(ap+q)=f(bp+q) для любых p>0,q0.

Д-во: Из разности P(p,a) и P(p,b) следует, что f(ap)=f(bp).

А из разности P(a,1) и P(b,1) получаем равенство f(a+f(1))=f(b+f(1)), тогда

f(ax)=f(bx)f(ax+f(1))=f(bx+f(1))

f((ax+f(1))y)=f((bx+f(1))y)f(ap+q)=f(bp+q) p,q>0.

Последнее равенство можно получить из предыдущего подстановкой x=pf(1)/q и y=q/f(1).

Из разности P(1,1) и P(1,1+f(1)) получаем, что f(1)=f(1+t), где t=f(1+f(1)).

Утверждение: Для любого натурального n и x[1;1+tn] верно равенство f(1)=f(x). Из этого следует, что f(1)=f(x) x1.

Д-во: Рассмотрим в лемме: p(0;1), q=1p, a=1, b=1+t:

f(1)=f(p1+q)=f(p(1+t)+q)=f(1+pt),

откуда утверждение верно для n=1. Рассмотрим p=1 и q=t, тогда

f(1)=f(1+t)=f(x+t), x[1;1+t].

Следовательно утверждение верно для n=2.

Аналогично при помощи индукции получаем, что утверждение верно для любого натурального n.

Мы получили, что f(1)=f(x) x1f(11x)=f(x1x)=f(1), значит f(1)=f(x) x1.

Значит fc, подставив находим, что c=1.

пред. Правка 2   7
3 года 10 месяца назад #

f(xy)=f(x)2f(x+f(y))+1<f(x)2+1

Поэтому f ограничена сверху. Обозначим s=sup.

Тогда f(xy) = f(x)^2-f(x+f(y))+1 \ge f(x)^2-s+1. Взяв f(x) \rightarrow s и подставив \frac{y}{x} вместо y получим s \ge f(y) \ge s^2-s+1 \ge s для любого y.

Следовательно s=1 и f \equiv 1

  2
3 года 10 месяца назад #

Красиво решил

  2
3 года 10 месяца назад #

Он не доказал, что существует такой x \in R^{+}, что функция f(x) = s.

  0
3 года 10 месяца назад #

Ты походу не понял. Он взял s такое что s максимум функции f(x). Очевидно что такой s есть.

  3
3 года 10 месяца назад #

Возьми функцию f(x) = 1-2^{-x} для x \in R^{+}. Он ограничен сверху, но его максимум не достигается.

пред. Правка 4   2
3 года 10 месяца назад #

Подробнее будет так: Сущ. (из определения s) последовательность \{x_i\}_{i\ge 1}, что \lim\limits_{i\to\infty}f(x_i)=s. Подставим

P(x_i,\dfrac{x}{x_i}):\ f(x)\ge f(x_i)^2-s+1\implies s\ge f(x)\ge \lim\limits_{i\to\infty}(f(x_i)^2-s+1)=s^2-s+1.\quad\square

пред. Правка 2   3
4 месяца 16 дней назад #

Заметим, что если f(a)=f(b) , сравнив P(x,a) и P(x,b) можно получить f(ax)=f(bx) при всех x\in\mathbb R^{+}.

Утверждение Если f(t)=f(1), то f(x)=f(1) для всех x\in[1,t]

Доказательство. Обозначим через S=\{x|f(x)=f(1)\}. Понятно, что если f(a)=f(b), то f(1)=f(\frac{1}{a}a=f(\frac{1}{a}b), поэтому b/a\in S.

Сравнив P(x,y) и P(xt,y) можно получить, что f(x+f(y))=f(xt+f(y)). Следовательно, надо чтобы \frac{xt+f(y)}{x+f(y)} покрывало все значения [1,t] что верно

\dfrac{xt+f(y)}{x+f(y)}=c\Longleftrightarrow x=\dfrac{f(y)c-f(y)}{t-c}>0.\square

Остается заметить, что из f(t)=f(1) (такой t>1 существует), f(1)=f(1\cdot 1)=f(t\cdot 1)=f(t\cdot t)=f(t^2) и аналогично f(t^n)=f(1). Так как t^n принимает сколь угодно большие значения, используя утверждение, f постоянна на [1,+\infty]. А дальше понятно, что f\equiv 1

  2
4 месяца 23 дней назад #

Мошно