第一変数に一を入れると左辺の引数から床関数が消えるので、一での零値はすべての出力を零にする。
f(1)=0f(1)=0f(1)=0 ならば、x=1x=1x=1 として yyy を任意に取る。方程式は f(y)=f(1)⌊f(y)⌋=0f(y)=f(1)\lfloor f(y)\rfloor=0f(y)=f(1)⌊f(y)⌋=0 となるので、fff は恒等的に零である。