Problem 2
Let and be given by and . Prove that for any non-integer real number satisfying .
Step 2 of 6: Use the half-turn symmetry
Detailed analysis
Replacing by permutes the shifts and among themselves, so both sums are invariant. Consequently the interval type maps to the interval type with , so it suffices to treat only intervals of the form for .