Để tìm tất cả các số nguyên dương k thỏa mãn điều kiện đã cho, ta sẽ giải phương trình theo n.

2n + 11 chia hết cho 2k - 1 có nghĩa là tồn tại một số nguyên dương m sao cho:
2n + 11 = (2k - 1)m

Chuyển biểu thức trên về dạng phương trình tuyến tính:
2n - (2k - 1)m = -11

Ta nhận thấy rằng nếu ta chọn một số nguyên dương nào đó, ta có thể tìm được một số nguyên dương k tương ứng để phương trình trên có nghiệm. Do đó, ta chỉ cần tìm tất cả các số nguyên dương n thỏa mãn phương trình trên.

Để giải phương trình này, ta có thể sử dụng thuật toán Euclid mở rộng (Extended Euclidean Algorithm). Tuy nhiên, trong trường hợp này, ta có thể tìm được một số giá trị n và k thỏa mãn phương trình bằng cách thử từng giá trị của n và tính giá trị tương ứng của k.

Dưới đây là một số cặp giá trị n và k thỏa mãn phương trình đã cho:
(n, k) = (3, 2), (7, 3), (11, 4), (15, 5), (19, 6), …

Từ đó, ta có thể thấy rằng có vô số giá trị n và k thỏa mãn phương trình đã cho.

nhưng mà đề bài là 2ⁿ+11 chia hết cho 2^k-1 chứ không phải 2n+11 chia hết cho 2k-1.

để n^2 +2002 là số chính phương 
=> n^2 +2002 =a^2 ( với a là số tự nhiên #0) 
=> a^2 -n^2 =2002 
=> (a-n)(a+n) =2002 
do 2002 chia hết cho 2=> a-n hoặc a+n phải chia hết cho 2 
mà a-n -(a+n) =-2n chia hết cho 2 
=> a-n và a+n cung tính chẵn lẻ => a-n ,a+n đều chia hết cho 2 
=>(a-n)(a+n) chia hết cho 4 mà 2002 không chia hết cho 4 
=> vô lý 

Ai giải được thì nhớ giải rõ ràng nhé! Xin cam ơn người giải được.