Xét bộ gồm 2016 số: \(2^1;2^2;...;2^{2016}\)
Do 2017 nguyên tố đồng thời \(2^k\) là lũy thừa của 1 số nguyên tố khác 2017 nên \(2^k\) ko chia hết 2017 với mọi k
Do đó tất cả các số trong bộ số nói trên đều ko chia hết 2017
- Nếu các số trong dãy trên chia 2017 có số dư đôi một khác nhau \(\Rightarrow\) có 2016 số dư \(\Rightarrow\) có đúng 1 số chia 2017 dư 1, giả sử đó là \(2^n\) thì \(2^n-1⋮2017\)
- Nếu tồn tại 2 số trong 2016 số trên có cùng số dư khi chia 2017 là \(2^i\) và \(2^j\) với \(1\le i< j\le2016\Rightarrow1\le j-i< 2016\)
\(\Rightarrow2^j-2^i⋮2017\)
\(\Rightarrow2^i\left(2^{j-i}-1\right)⋮2017\)
\(\Rightarrow2^{j-i}-1⋮2017\) (do \(2^i\) ko chia hết 2017)
\(\Rightarrow n=j-i\) thỏa mãn yêu cầu
