α が条件を満たすことと α+2 が条件を満たすことは同値である.α=0 は明らかに条件を満たすので 0≤α<2 のみを考えればよい.
0<α<1 のとき,⌊mα⌋=1 なる整数 m≥2 が存在し,そのような m の最小値を n とすれば ⌊α⌋+⌊2α⌋+⋯+⌊mα⌋=1 は m の倍数でない.
1≤α<2 のとき,任意の正整数 n について n≤⌊nα⌋<2n に気をつければ帰納的に ⌊nα⌋=2n−1 がわかる.よって 2−n1≤α<2 であるが,n を十分大きく取れば矛盾する.
以上より条件を満たす α は偶数のみ.