MathLabs

第1题

求所有满足对任意实数 x,yx,y 都有 f(⌊x⌋y)=f(x)⌊f(y)⌋f(\lfloor x\rfloor y)=f(x)\lfloor f(y)\rfloor 的函数 f:R→Rf:\mathbb R\to\mathbb R。
第 2/6 步:原点非零迫使函数为常值
通俗地说

当所有函数值的整数部分都是一时,把第二个变量置零就会使方程把原点的值复制到处处。

f(x)=f(0)=c,1≤c<2f(x)=f(0)=c,\quad 1\le c<2
详细分析

在 f(0)≠0f(0)\ne0 的分支中,将 y=0y=0 代入原方程。由于 ⌊f(0)⌋=1\lfloor f(0)\rfloor=1,对所有 xx 有 f(0)=f(x)⌊f(0)⌋=f(x)f(0)=f(x)\lfloor f(0)\rfloor=f(x)。所以 ff 为常值,记为 f(x)=cf(x)=c,并由前面的界得到 1≤c<21\le c<2。