Solution:
Let's prove the statement by induction.
The base case n=1 is trivial.
Let's prove the inductive step. Given that 11,33,55,…,(2n−1)2n−1 have different residues (mod 2n), we want to show that 11,33,55,…,(2n+1−1)2n+1−1 give different results mod 2n+1.
Let's split the 2n elements in two sets A and B, where
A={11,33,55,…,(2n−1)2n−1}
and
B={(2n+1)2n+1,(2n+3)2n+3,(2n+5)2n+5,…,(2n+(2n−1))2n+(2n−1)}.
Let's closely examine the elements in Bmod2n+1. By Euler-Fermat (we can use it in this case because gcd(2n+k,2n+1)=1) and the binomial expansion, we have:
(2n+k)2n+k≡(2n+k)k≡s=0∑k(sk)⋅2ns⋅kk−s≡2n⋅kk+kk≡2n+kk(mod2n+1)
In other words,
B≡{11+2n,33+2n,55+2n,…,(2n−1)2n−1+2n} (mod 2n+1)
Now, by the inductive hypothesis, the elements in A are distinct (mod 2n) and so are the elements in B. Finally, since the elements in B (mod 2n+1) are simply obtained by adding 2n to the elements in A, the 2n numbers give different remainders (mod 2n+1), concluding the inductive step.
Hence, the initial statement is true for all n∈N.