MathLabs

第5题

求所有把非负实数映射到非负实数的全射函数 ff,满足对所有非负实数 x,yx,y 有 f(xf(y))f(y)=f(x+y)f(xf(y))f(y)=f(x+y),且 f(2)=0f(2)=0,以及对每个 0≤x<20\le x<2 都有 f(x)≠0f(x)\ne0。
第 1/5 步:找出函数为零的区域
通俗地说

把已知的零值 f(2)f(2)(即为零)代入函数方程,便可将零值传播到所有不小于 22 的自变量。

f(x+2)=f(xf(2))f(2)=0f(x+2)=f(xf(2))f(2)=0
详细分析

令 y=2y=2,则对任意 x≥0x\ge0 有 f(x+2)=f(xf(2))f(2)=0f(x+2)=f(xf(2))f(2)=0。故所有 t≥2t\ge2 都满足 f(t)=0f(t)=0。