Showing Inequality using Gauss Function 
If $\alpha, \beta\in \Bbb{R}$ and $m, n\in \Bbb{N}$ show that the inequality
$[(m+n)\alpha]+[(m+n)\beta] \ge [m\alpha]+[m\beta]+[n\alpha+n\beta]$
holds iff m=n

I thought that we have to find a counter-example such that when $m\neq n$, there always exists certain (m, n) which makes the inequality doesn't hold. But it was too confusing to do so. I also tried basic inequalities with Gauss functions, but I was rather afraid I might not be able to find counter-examples in that case.
Could it be possible to break it through using rather simple methods rather than seperating each possible case and find a counter-example in each case?
Thanks!

You can proceed as follows.
Lemma 1. The inequality is true if $m=n$.
Proof of lemma 1. Replacing $m$ with $n$, the inequality becomes
$$
[2n\alpha]+[2n\beta] \geq [n\alpha]+[n\beta]+[n(\alpha+\beta)] \tag{1}
$$
Let us put $x=n\alpha-[n\alpha],y=n\beta-[n\beta]$. Then $x,y$ are in $[0,1)$, $[2n\alpha]=2[n\alpha]+[2x], [2n\beta]=2[n\beta]+[2y]$ and $[n(\alpha+\beta)]=[n\alpha]+[n\beta]+[x+y]$, so that
(1) reduces to  $[2x]+[2y] \geq [x+y]$. Now $[x+y]$ can only be $0$ or $1$ ;
if it is $0$ the inequality is clear, and if it is $1$ then at least one of
$x,y$ is larger than $\frac{1}{2}$, which concludes the proof of Lemma 1.
Lemma 2. If $m < n$, the inequality becomes false  for 
$\alpha=\frac{2m^2+1}{2mn(m+n)}, \beta=\frac{2mn-1}{2mn(m+n)}$.
Proof of lemma 2. Note that $\alpha+\beta=\frac{1}{n}$, 
$(m+n)\alpha=1-\frac{2m(n-m)-1}{2mn}$ and
$(m+n)\beta=1-\frac{1}{2mn}$. We deduce that
$$
[(m+n)\alpha]=[(m+n)\beta]=[n\alpha]=[n\beta]=0, [n(\alpha+\beta)]=1.
$$
Lemma 3. If $m > n$ and $m$ is not a multiple of $n$, the inequality becomes false  for $\alpha=\frac{1}{m}, \beta=\frac{q}{m}$, where $q=[\frac{m}{n}]$.
Proof of lemma 3. Indeed, we have $(m+n)\alpha=1+\frac{n}{m}$, so $[(m+n)\alpha]=1$. Since $m$ is not a multiple of $n$, we have $q <\frac{m}{n}$, so $(m+n)\beta=q+q\frac{n}{m}$ yields $[(m+n)\beta]=q$. Trivially $[m\alpha]=1$
and $[m\beta]=q$ ; also $n(\alpha+\beta)=\frac{n}{m}(q+1)$ and 
$\frac{m}{n} \leq  q+1 \leq \frac{m}{n}+1 < \frac{2m}{n}$, so $[n(\alpha+\beta)]=1$. Finally
$$
[(m+n)\alpha]+[(m+n)\beta]=1+q < 1+q+1= [m\alpha]+[m\beta]+[n\alpha+n\beta]
$$
Lemma 4. If $m > n$ and $m$ is a multiple of $n$, say
$m=tn$ for some integer $t\geq 2$, the inequality becomes false for $\alpha=\frac{3t+1}{2nt(t+1)}$, $\beta=\frac{2t^2-1}{2nt(t+1)}$.
Proof of lemma 4. The following equalities hold :
$$
\begin{array}{rclcl}
(m+n)\alpha &=& 1+\frac{t+1}{2t} &=& 2-\frac{t-1}{2t} \\
(m+n)\beta &=& t-1+\frac{2t-1}{2t} &=& t-\frac{1}{2t} \\
m\alpha &=& 1+\frac{t-1}{2(t+1)} &=& 2-\frac{t+3}{2t+2} \\
m\beta &=& t-1+\frac{1}{2(t+1)} &=& t-\frac{2t+1}{2t+2} \\
n(\alpha+\beta) &=& 1+\frac{1}{2(t+1) } & & \\ 
\end{array}
$$
so 
$$
[(m+n)\alpha]+[(m+n)\beta]=1+(t-1) < 1+(t-1)+1= [m\alpha]+[m\beta]+[n\alpha+n\beta]
$$
