$$S=\lfloor \alpha \rfloor+\lfloor 2\alpha \rfloor+\cdots+\lfloor n\alpha\rfloor$$
olsun. Tam değer fonksiyonuyla daha ilişik bir çözüm verelim. Benzer bir şekilde
$$\sum_{i=1}^{n}{i}=\dfrac{n\left(n+1\right)}{2}\Longleftrightarrow \sum_{i=1}^{n}{\lfloor \alpha\rfloor}\equiv \sum_{i=1}^{n}{\lfloor \alpha +2\rfloor} \pmod{n}$$
olduğunu söyleyebiliriz. O zaman $\alpha\in [0,2]$ aralığını yani $0\leq \alpha\leq 2$ durumunu incelemek yeterli olacaktır. $\alpha=0$ ve $\alpha=2$ durumunda tüm $n$ için $n\mid S$'tir ve bu durum çift tam sayıların usteneni sağladığını ifade eder. $\alpha=1$ durumunda ise $n\nmid S$'tir ve istenen koşulu tek tam sayılar sağlamaz. Diğer durumları inceleyelim
$i)$ $0<\alpha<1$ : Bu durumda $n=\left\lceil \dfrac{1}{\alpha}\right\rceil$ alalım. Buna göre $n\alpha=\left\lceil \dfrac{1}{\alpha}\right\rceil.\alpha \geq \dfrac{1}{\alpha}.\alpha=1$ olduğu açıktır. Öte taraftan
$$n\alpha=\left\lceil \dfrac{1}{\alpha}\right\rceil.\alpha<\alpha\left(\dfrac{1}{\alpha}+1\right)=1+\alpha<2$$
olduğunu söyleyebiliriz. Bundan dolayı $\lceil n\alpha \rceil=1$ olacaktır. Ayrıca
$$n\alpha=\left(n-1\right)\alpha+\alpha<(n-1)\alpha+1<2\Longleftrightarrow (n-1)\alpha<1\Longleftrightarrow \sum_{i=1}^{n-1}{\lfloor i\alpha\rfloor}=0$$
elde edilir. Buna göre $S=1$ olur ve her $n$ değeri için $n\nmid 1$ sağlanmaz. Dolayısıyla bu durum elenir.
$ii)$ $1<\alpha<2$ : Bu durum bir önceki duruma dönüştürebilir. Zira $\alpha=b+1$ olsun.
$$S=\sum_{i=1}^{n}{\lfloor i\alpha\rfloor}=\dfrac{n(n+1)}{2}+\sum_{i=1}^{n}{\lfloor ib\rfloor}$$
olduğunu söyleyebiliriz. Ayrıca $0<b<1$ olduğundan $\sum\limits_{i=1}^{n}{\lfloor b\rfloor}$ toplamı $i)$ durumundaki toplama denktir ve $n=\left\lceil \dfrac{1}{b}\right\rceil$ alındığında $\sum\limits_{i=1}^{n}{\lceil ib\rceil}=1$ elde edilir. Dolayısıyla bu durumda
$$S=\sum_{i=1}^{n}{\lfloor i\alpha\rfloor}=\dfrac{n(n+1)}{2}+\sum_{i=1}^{n}{\lfloor ib\rfloor}=\dfrac{n(n+1)}{2}+1$$
ki bu ifade her $n$ pozitif tam sayısı tarafından bölünmez ve $n\nmid S$ durumları da elde edilir.
Sonuç olarak hem $(0,2)$ aralığında $S$ toplamı her $n$ pozitif tam sayısı tarafından bölünmez. $\alpha\in[0,2]$ için sadece $\alpha=0$ ve $\alpha=2$ durumlarında, tüm çift tam sayıları kapsamak üzere toplam $n$'in bir tam katıdır.
Not: Problemin Hermite Özdeşliği ile de çözülebileceğine inanıyorum. Hermite Özdeşliği (
Hermite's Identity) herhangi bir $n$ doğal sayısı ve $x$ reeli için
$$\left\lfloor nx\right\rfloor =\sum_{i=1}^{n-1}{\left\lfloor x+\dfrac{i}{n}\right\rfloor}$$
olduğunu söyler. $S$ toplamındaki tüm tam değer fonksiyonları $\lfloor \alpha\rfloor$'a indirgenip $\pmod{n}$'de götürülebilir. Sonrasında ise benzer bir durum incelemesi yapılabilir.
