当所有函数值的整数部分都是一时,把第二个变量置零就会使方程把原点的值复制到处处。
在 f(0)≠0f(0)\ne0f(0)=0 的分支中,将 y=0y=0y=0 代入原方程。由于 ⌊f(0)⌋=1\lfloor f(0)\rfloor=1⌊f(0)⌋=1,对所有 xxx 有 f(0)=f(x)⌊f(0)⌋=f(x)f(0)=f(x)\lfloor f(0)\rfloor=f(x)f(0)=f(x)⌊f(0)⌋=f(x)。所以 fff 为常值,记为 f(x)=cf(x)=cf(x)=c,并由前面的界得到 1≤c<21\le c<21≤c<2。