Question

[Đặng Anh Thư]

Chứng minh rằng luôn tồn tại số nguyên dương n không vượt quá 2016 sao cho   2ⁿ-1 chia hết cho 2017.

Answer 1

[Nguyễn Việt Lâm]

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