一个取整函数积分的一般形式

\[\Large\displaystyle \int_{0}^{[x]}\left ( t-\left [ t \right ] \right )\mathrm{d}t=\frac{[x]}{2}\]

\(\Large\mathbf{Proof:}\) 我们来看更一般的形式，令\(m=\left \lfloor a \right \rfloor\)，有\[\begin{align*} \int_{a}^{a+k}\left ( t-\left [ t \right ] \right )\mathrm{d}t&=\int_{a}^{a+k}\left \{ t \right \}\mathrm{d}t\\ &=\int_{a}^{m+1}\left \{ t \right \}\mathrm{d}t+\sum_{j=m+1}^{k+m-1}\left ( \int_{j}^{j+1}\left \{ t \right \}\mathrm{d}t \right )+\int_{k+m}^{k+a}\left \{ t \right \}\mathrm{d}t\\ &=\int_{a}^{m+1}\left ( t-m \right ) \mathrm{d}t+\sum_{j=m+1}^{k+m-1}\left ( \int_{j}^{j+1}\left ( t-j \right )\mathrm{d}t\right )+\int_{k+m}^{k+a}\left ( t-k-m \right )\mathrm{d}t\\ &=\frac{k}{2} \end{align*}\] 所以令 \(a=0~,~k=[x]\)，即得\[\Large\boxed{\displaystyle \int_{0}^{[x]}\left ( t-\left [ t \right ] \right )\mathrm{d}t=\color{blue}{\frac{[x]}{2}}}\]