零的向下取整使左边与第二个变量无关,因此原点处的函数值控制右边的所有整数部分。
令 x=0x=0x=0,得到对每个实数 yyy 都有 f(0)=f(0)⌊f(y)⌋f(0)=f(0)\lfloor f(y)\rfloorf(0)=f(0)⌊f(y)⌋。若 f(0)≠0f(0)\ne0f(0)=0,除以 f(0)f(0)f(0) 得 ⌊f(y)⌋=1\lfloor f(y)\rfloor=1⌊f(y)⌋=1 对所有 yyy 成立,从而 1≤f(y)<21\le f(y)<21≤f(y)<2。否则我们处于 f(0)=0f(0)=0f(0)=0 的情形。