写这道题的题解时画了个图发现的。

求证： $\\x-0.5+\dfrac{\arctan(\cot(\pi x))}{\pi}=\lfloor x\rfloor$，其中$x$是浮点数，$0\le x\le 10^9$ 且 $x \notin \N$