Loading [MathJax]/jax/output/SVG/jax.js

Математикадан 51-ші халықаралық олимпиада, 2010 жыл, Астана


Кез келген x,yR үшін f([x]y)=f(x)[f(y)] теңдігін қанағаттандыратын барлық f:RR функцияларын табыңыз. (Мұндағы [z] арқылы z-тен аспайтын ең үлкен бүтін сан белгіленген.)
посмотреть в олимпиаде

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

  1
2 года 11 месяца назад #

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

P(0,y):f(0)=f(0)[f(y)]

Если f(0)0, тогда [f(y)]=1,yR

P(1,y):f(y)=f(1)f(x)=const,[f(x)]=1

Значит, f(0)=0. Пусть [a]=0

P(a,y):0=f(0)=f(a)[f(y)], если f(a)0[f(y)]=0

P(1,y):f(y)=0,yR

Значит 0a<1:f(a)=0

P(1,1):f(1)=f(1)[f(1)]. Если f(1)=0

P(1,y):f(y)=0,yR

Значит [f(1)=1]

P(x,1):f([x])=f(x)

Пусть [a]=0

P(1+a,y):f(y)=[f(y)]

Тогда f([x]y)=f(x)f(y)=f([y]x)

Но P(2,12):0=f(0)=f(1)1, противоречие