$a)$ $\left \lfloor f(x) \right \rfloor=\left \lfloor g(x) \right \rfloor =m$ ise $$m\leq f(x)<m+1$$ $$m\leq g(x)<m+1$$ olur. İkinci denklemi $-1$ ile çarpıp toplarsak $$-1<f(x)-g(x)<1$$ elde edilir. $f(x)-g(x)=h(x)$ dersek $$-1<h(x)<1$$ olur. $f(x)$ ve $g(x)$ polinom olduğundan $h(x)$ de polinomdur. Eğer $h(x)$, sabit polinom değilse $x$ sonsuza giderken $h(x)$ polinomu da artı sonsuza veya eksi sonsuza gidecektir, yani polinom $(-1,1)$ aralığından çıkacaktır. Bu bir çelişkidir. Dolayısıyla $h(x)$ polinomu sabit polinomdur. $h(x)=c$ diyelim. $f(x)=g(x)+c$ olmalıdır. Her $x$ için $$\left \lfloor g(x) \right \rfloor=\left \lfloor g(x)+c \right \rfloor$$ olmalıdır. Eğer $g(x)$ sabitse $g(x)=c_1$ için $\left \lfloor c_1 \right \rfloor=\left \lfloor c_1+c \right \rfloor$ olmalıdır. Bunu sağlayan sonsuz $c$ ve $c_1$ sabit sayıları bulabiliriz. (Örneğin, herhangi bir $r$ pozitif tamsayısı için $(c,c_1)=(r,0.1)$ sağlar.)
Eğer $g(x)$ sabit polinom değilse, $c=0$ için $f(x)=g(x)$ olacaktır. Bunun da şartı sağladığı barizdir.
$c\neq 0$ için $g(x)$ polinomunda $x$ sonsuza giderken polinom ya artı sonsuza ya da eksi sonsuza gidecektir. Eğer artı sonsuza gidiyorsa öyle bir $N$ reel sayısı vardır ki $M\geq N$ olan her $M$ reel sayısı için $g(x)=M$ denkleminin en az bir çözümü vardır. Benzer şekilde eğer polinom eksi sonsuza giderse öyle bir $N$ vardır ki $N\geq M$ olan her $M$ reel sayısı için $g(x)=M$ denkleminin en az bir çözümü vardır. Dolayısıyla öyle bir $a$ tamsayısı vardır ki $g(x_0)=a-\dfrac{c}{2}$ olacak şekilde bir $x_0$ reel sayısı vardır. Ana eşitlikte $x=x_0$ için $$\left \lfloor g(x_0) \right \rfloor=\left \lfloor g(x_0)+c \right \rfloor \Rightarrow \left \lfloor a-\dfrac{c}{2} \right \rfloor=\left \lfloor a+\dfrac{c}{2} \right \rfloor$$ olur fakat $-1<c<1$ ve $a$ tamsayı olduğundan $a-\dfrac{c}{2}$ ve $ a+\dfrac{c}{2}$ ifadeleri $(a-1,a)$ ve $(a,a+1)$ aralığındadırlar. Yani tamdeğerleri birbirine eşit olamaz. Çelişki. Dolayısıyla $f(x)$ ve $g(x)$ polinomları ya birbirlerine eşittir ya da sabit polinomlardır.
$b)$ Eğer $f$ ve $g$ polinom değilse bu fonksiyonların görüntü kümesini istediğimiz aralıkta olacak şekilde fonksiyonları seçebiliriz. Örneğin görüntü kümesi, $(0,1)$ aralığının alt kümesi olan $f$ ve $g$ fonksiyonları seçelim. $f(x)=\dfrac{1}{x^2+2}$ ve $g(x)=\dfrac{1}{x^2+3}$ seçersek $f$ ve $g$ fonksiyonlarının görüntü kümesi $(0,1)$ kümesinin alt kümesi olacaktır. Dolayısıyla $$\left \lfloor f(x) \right \rfloor=\left \lfloor g(x) \right \rfloor=0$$ olur.
