The question is to prove that if m is a positive integer then, $$[mx] = [x] + \left[x+\frac{1}{m}\right] +\left[x+\frac{2}{m}\right] + \cdots + \left[x+\frac{(m-1)}{m}\right] $$ for $x \in \mathbb{R}$. Where $[x] =n$ such that $ n \leq x
I'm given that the solution should use the pigeonhole principle. So I need to look for $n$ boxes where I'm trying to stuff $n+1$ things (my understanding of the pigeonhole principle). If I look at the fractional part of x I see $\{x\} \in [0,1)$ where $\{x\}$ is the fraction part of x. So $m\{x\} \in [0,m)$. I can break this interval into $[0,1) [1,2) \ldots [m-1,m)$ or I can divide everything by m and get $[0,\frac{1}{m}) [\frac{1}{m},\frac{2}{m}) \ldots [\frac{m-1}{m},1)$ and get m intervals of length $\frac{1}{m}$ which is my "n" boxes.
I am however stuck with regards to the "$n+1$" objects to put in the box and how to relate this observation to the question. Can anybody provide a hint or point out a flaw in what I have so far?