To find all real numbers α such that for any positive integer n, the expression
Sn=⌊α⌋+⌊2α⌋+⋯+⌊nα⌋
is a multiple of n, let's analyze the problem using properties of the floor function.
### Step 1: Analyze Sums of Floor Functions
For any α, we can express each floor term as:
⌊kα⌋=kα−{kα},
where {x} denotes the fractional part of x, given by {x}=x−⌊x⌋.
Hence, the sum Sn becomes:
Sn=(α+2α+⋯+nα)−({α}+{2α}+⋯+{nα})
Sn=2n(n+1)α−k=1∑n{kα}
For Sn to be a multiple of n, ∑k=1n{kα} must also satisfy some divisibility condition.
### Step 2: Consider Specific Values of α
- **Integer α:** If α is an integer, then each ⌊kα⌋=kα and thus Sn=α(1+2+⋯+n)=α2n(n+1), which is a multiple of n.
- **Non-integer α:** Suppose α=m+β, where m is an integer and 0<β<1. Then
⌊kα⌋=mk+⌊kβ⌋
For Sn to be a multiple of n, the fractional parts ∑k=1n⌊kβ⌋ must combine to form such a multiple. However, determining this condition to hold depends intricately on β.
### Step 3: Test for Simplicity with β=0
When β=0, α=2m, where 2m is even, the floor function simplifies without fractional interference:
Sn=(1+2+⋯+n)⋅2m=mn(n+1),
which is clearly a multiple of n.
### Conclusion
From this analysis, we conclude that the condition for Sn to be a multiple of n for any positive integer n holds true for even integer values of α. Thus, the final solution is:
All even integers satisfy the condition of the problem, and no other real number α does so.