Dejemos que $x,y \in \mathbb R$ . Entonces podemos escribir
$$ x = m+\{x\} \:\:\text{and}\:\: y = n+\{y\}, $$
donde $m,n \in \mathbb Z$ y $\{x\},\{y\} \in [0,1)$ .
Así,
$$ x+y = m+n+\{x\}+\{y\}, $$
donde $m+n \in \mathbb Z$ y $\{x\}+\{y\} \in [0,2)$ .
Por lo tanto,
$$ \lfloor x+y \rfloor = \begin{cases} m+n & \:\text{if}\: \{x\}+\{y\}<1; \\ m+n+1 & \:\text{if}\: \{x\}+\{y\} \ge 1. \end{cases} $$
Con $x=n\alpha$ y $y=\alpha$ Esto es
$$ \lfloor n\alpha+\alpha \rfloor = \begin{cases} \lfloor n\alpha \rfloor + \lfloor \alpha \rfloor & \:\text{if}\: \{n\alpha\}+\{\alpha\}<1; \\ \lfloor n\alpha \rfloor + \lfloor \alpha \rfloor + 1 & \:\text{if}\: \{n\alpha\}+\{\alpha\} \ge 1. \end{cases} $$
Por lo tanto,
$$ \lfloor (n+1)\alpha \rfloor - \lfloor n\alpha \rfloor = \begin{cases} \lfloor \alpha \rfloor & \:\text{if}\: \{n\alpha\}+\{\alpha\}<1; \\ \lfloor \alpha \rfloor + 1 & \:\text{if}\: \{n\alpha\}+\{\alpha\} \ge 1. \end{cases} $$