$x\in\mathbb{Z}$ ise sağ taraf aslında tanımsız.
Ama şu şekilde varsaydığımızda eşitlik sağlanıyor.
$x\in\mathbb{Z}$ için
$\cot x=\infty$ ve $\arctan \infty=\frac\pi2$ KABUL EDERSEK,
iki tarafın eşit olduğu kolayca görülür.
$x\notin\mathbb{Z}$ olsun.
$\cot$ fonksiyonunun periyodu $\pi$ olduğu için.
$\cot(\pi x)=\cot (\pi(x-\lfloor x\rfloor))$
ve $0<\pi(x-\lfloor x\rfloor)<\pi$ olur.
$\begin{align*}\cot(&\pi(x-\lfloor x\rfloor))\\&=\tan(\frac\pi2-(\pi(x-\lfloor x\rfloor)))\end{align*}$
ve $ -\frac\pi2<\theta=\frac\pi2-(\pi(x-\lfloor x\rfloor))<\frac\pi2$ dir.
Bu nedenle, $\arctan (\tan\theta)=\theta$ olur ve:
$\begin{align*}\arctan(&\cot(\pi x))\\&=\arctan(\tan(\frac\pi2-(\pi(x-\lfloor x\rfloor)))\\&=\frac\pi2-(\pi(x-\lfloor x\rfloor))\\&=\frac\pi2-\pi x+\pi\lfloor x\rfloor\end{align*}$
Buradan:
$\begin{align*}-&\frac12+x+\frac{\arctan(\cot(\pi x)) }{\pi}\\&=-\frac12+x+\frac12-x+\lfloor x\rfloor\\& =\lfloor x\rfloor\end{align*}$
elde ederiz.