BÀI 3.

THẶNG DƯ TRUNG HOA

1. Lý thuyết
1.1. Định lý Bezout
1.2. Phương trình đồng dư bậc nhất.
1.3. Hệ phương trình đồng dư bậc nhất.
1.4. Thặng dư Trung Hoa mở rộng
 x  r1 (mod m1 )
 x  r (mod m )
 2 2
+Cho các số nguyên m1 , m2 ,..., mk . Xét hệ 
 ......................
 x  rk (mod mk )

+Điều kiện có nghiệm ri  rj (mod(mi , m j ))

+Khi đó, hệ có nghiệm duy nhất mod[m1 , m2 ,..., mk ] .
2. Một số dạng toán
2.1. Trong các bài toán số học
2.1.1. Bài toán cơ bản:
Trước hết bắt đầu bằng một số bài toán tìm nghiệm để nắm được công thức nghiệm.
 x  1(mod 2)

Bài 1. Giải hệ sau :  x  2(mod 3)
 x  3(mod 5)

Lời giải
+Ta có: M  2.3.5  30
M M M
+ M1   15, M 11  1 ; M 2   10, M 21  1 ; M 3   6, M 31  1
2 3 5
+Nghiệm của hệ x  15  20  18  7(mod 30)
Bài 2. Tìm bội tự nhiên nhỏ nhất của 6 mà khi nó chia cho 5; 7 có số dư tương ứng là 2; 3
Lời giải
 x  0(mod 2)
 x  0(mod 3)

x
+Số thỏa mãn là nghiệm của hệ 
 x  2(mod 5)
 x  3(mod 7)

+Chọn ra số nhỏ nhất trong lớp đồng dư mod 210 .

Bài 3. Giải phương trình sau: x 2  1(mod15)

1
Lời giải

 x  1(mod 3)
2

+ x  1(mod15)   2
2

 x  1(mod 5)

 x  1(mod 3)  x  1(mod 3)  x  1(mod 3)  x  1(mod 3)

+Ta có 4 hệ đồng dư  ; ; ;
 x  1(mod 5)  x  1(mod 5)  x  1(mod 5)  x  1(mod 5)
+Vậy hệ có 4 nghiệm.
Câu hỏi đặt ra: x 2  1(mod m), m  p1 ... pt có bao nhiêu nghiệm? Câu trả lời sẽ có ở phần
k 1 p t

tiếp theo.
Với những bài toán chỉ ra sự tồn tại (không cần chỉ ra chính xác nghiệm) thì việc sử
dụng công cụ thặng dư Trung Hoa rất hữu hiệu.
2.1.2. Bài toán chứng minh sự tồn tại.
Bài 1.Với mỗi số nguyên dương n , tồn tại n số nguyên dương liên tiếp
Xét các số liên tiếp a  1, a  2,..., a  n . Việc lựa chọn pi thỏa mãn yêu cầu bài toán tạo
nên đặc thù riêng cho từng bài toán.
1. Tất cả các số đều là hợp số
Phân tích: Chọn số nguyên tố
Để thỏa mãn yêu cầu bài toán ta cần chỉ ra tồn tại a sao cho a  i pi i  1, n

 a  1(mod p1 )
 a  2(mod p )
 2
Nghĩa là a là nghiệm của hệ đồng dư 
 .......................
 a   n(mod pn )

Chỉ cần chọn p1 , p2 ,..., pn đôi một nguyên tố cùng nhau (thôi tốt nhất chọn số nguyên tố cho
đảm bảo dễ dàng).
Lưu ý: Có thể xảy ra tình huống a  i  pi ???
Lời giải: Các em hãy trình bày lời giải theo sự phân tích ở trên.
2. Mỗi số không là lũy thừa của một số nguyên.
Phân tích: Chọn số bình phương của số nguyên tố
Để thỏa mãn yêu cầu thì chỉ ra tồn tại số nguyên a : a  i  k s i  1, n

Hay có thể tìm điều kiện dễ thỏa nhất là tồn tại số nguyên tố pi : v p (a  i)  1 .
i

Cách chọn phụ hợp là a  i  pi (mod pi2 ), i  1, n và a  i  pi .

2
Lời giải: Các em tự trình bày lời giải theo sự phân tích ở trên.
3. Mỗi số đều có ước dạng 2k  1
Phân tích: Chọn các số Mersen đôi một nguyên tố cùng nhau.
Để thỏa yêu cầu bài toán chỉ ra tồn tại a : a  i có ước dạng 2k  1 .
i

Đến đây ta nghĩ tới việc chọn pi  2  1 , chọn các số nguyên tố thì sẽ hơi khó khăn nên ta
k i

nghĩ tới các số Mersen (vì trong định lý thặng dư Trung Hoa chỉ cần các số đôi một nguyên
tố cùng nhau)
Lưu ý: ( pi , p j )  1  (ki , k j )  1
Lời giải: Dành cho các em.
4. Mỗi số đều có ước là lũy thừa bậc s của một số nguyên dương lớn hơn 1 , với s là số
nguyên dương cho trước.
Phân tích: Chọn các số lũy thừa bậc s của số Fecmat.
Chỉ ra tồn tại a : a  i pi s

Vấn đề: Kiểm soát ( pi , p j )  1 ta nghĩ tới các số Fecmat Fn  22  1

s s n

Lưu ý: ( Fi , Fj )  1
s s

Lời giải: Các em tự trình bày

5. Mỗi số đều chia hết cho n số nguyên tố liên tiếp
Phân tích: Tích của n số nguyên tố liên tiếp
Chỉ ra tồn tại a : a  i pn i 1 pn i ... p2 n i 2
Lời giải: Các em tự trình bày lời giải
6. Mỗi số đều có ít nhất k ước nguyên tố phân biệt , với k là số nguyên dương cho trước.
7. Mỗi số đều có ít nhất một ước là số chính phương.
8. (30-04-2019)Ta gọi e(n) là tổng của các số mũ của tất cả các ước nguyên tố của n
8.1. Chứng minh rằng tồn tại 1000 số nguyên dương liên tiếp mà mỗi số đều có số mũ không
nhỏ hơn 10
8.2. Tồn tại 1000 số nguyên dương liên tiếp trong đó có đúng 500 số có số mũ không nhỏ
hơn 10
Bài 2.Với mỗi số nguyên dương, tồn tại tập A  {a1 , a2 ,..., an }
1. Là một cấp số cộng , số hạng đều là lũy thừa của một số tự nhiên với số mũ lớn hơn 1
Phân tích: Các số nguyên tố p1 , p2 ,..., pn
3
{1, 2,..., n}  {a, 2a,..., na} là cấp số cộng.

Để thỏa mãn thì cần có: a  2k .3k ...n k và ia  2k .3k ...i k 1...nk  (....) p .
2 3 n 2 3 i n i

Nghĩa là tồn tại k2 , k3 ,..., kn : k2 , k3 ,..., ki  1,..., kn pi i  2, n .

+Các số ki tồn tại như thế nào?

Lời giải: Các em tự hoàn thiện
2.Với mọi tập con của Z , tồn tại số nguyên dương m sao cho các phần tử của mA đều là
lũy thừa của một số tự nhiên.
Phân tích: Giống như bài 2.1.
3. Tổng các phần tử của tập con khác rỗng của A là một lũy thừa.
Phân tích
Xét tập S  {x1 ; x2 ;...; xn } có 2n  1 tập con khác rỗng.

Đặt S1 , S 2 ,..., S 2 1 là tổng các phần tử của các tập con của S
n

Theo bài 2.2 tồn tại m : mS1 , mS2 ,..., mS2 n

1 đều là lũy thừa.

Khi đó tập X  {mx1 , mx2 ,..., mxn } thỏa mãn yêu cầu bài toán.
Lời giải: Các em tự hoàn thiện
4. ai  a j là lũy thừa của số tự nhiên với số mũ lớn hơn 1

Phân tích: Chọn các số nguyên tố p1 , p2 ,..., pk (k  2n)

1 xi j
Chọn ai  1 .2 ...k .i . Khi đó ai  a j  1 .2 ...(i  j )
x x x x x
1 2 k 1 2
...k xk .
1 xi j pi j
Để thỏa mãn: ai  a j  1 .2 ...(i  j ) ...k xk  (...)
x x1 2
.

+Các số xi tồn tại như thế nào?

5. Là một cấp số cộng có công sai d , mỗi số hạng có ít nhất k ước nguyên tố. Với k , d là
các số nguyên dương cho trước.
6. Luôn tồn tại n số liên tiếp của dãy a  b, a  2b,..., a  nb.... đều là hợp số . Với a, b là các
số nguyên dương cho trước.
Bài 3.
1. Cho ( p, q)  1 . CMR tồn tại số nguyên k sao cho ( pq  1) n k  1 là hợp số với n  
Phân tích
Ta thấy : ( pq  1) n k  (1) n k (mod p), (mod q)
Nếu n chẵn thì chọn k  1(mod p ), mod(q )
4
Nếu n lẻ thì chọn k  1(mod p ), (mod q)
Lời giải: Các em học sinh tự giải
2. Chứng minh rằng tồn tại vô hạn số nguyên dương chẵn k sao cho mọi số nguyên tố p
thì p 2  k là hợp số.
Phân tích
+ p  2 luôn đúng với mọi số nguyên dương chẵn
+ p  3 để k  p 2  k  9 là hợp số thì chọn k  5(mod 7)
+ p  3  p 2  1(mod 3) , chọn k  2(mod 3)
Số nguyên k được chọn thế nào để thỏa mãn yêu cầu bài toán.
Lời giải: Dành cho các em học sinh.
3. Cho số nguyên tố p . Chứng minh tồn tại một bội số của p sao cho 10 chữ số tận cùng
của nó đôi một khác nhau.
Phân tích : Số cần tìm x  a1a2 ...a10 (mod1010 ); x  0(mod p)
+Xét p  {2;5}
+Xét p  {2;5}
Lời giải: Các em tự trình bày lời giải
4. Cho số nguyên a có ước nguyên tố dạng 4k  1 . Chứng minh rằng tồn tại
b   : b 2  1| a 4  a 2

2.1.3.Bài toán kết hợp với tính chất của số Femat

Bài 1.Chứng minh rằng tồn tại số nguyên dương k sao cho 2n.k  1 là hợp số với mọi số
nguyên dương n
m
Phân tích: Giả sử n  2m.l  2n  (22 )l  1(mod 2m  1  Fm )

Tìm k : k  1(mod Fm ) m
Lưu ý: F0 , F1 , F2 , F3 , F4 là số nguyên tố và F5  p.q .
Chọn k như thế nào để thỏa mãn.
Bài 2.Cho trước các số nguyên dương n, k . Chứng minh rằng tồn tại n số nguyên dương
liên tiếp mà mỗi số đều có ước là lũy thừa bậc k .
Phân tích: Chọn các số lũy thừa bậc s của số Fecmat.
Chỉ ra tồn tại a : a  i pi k

5
Vấn đề: Kiểm soát ( pi , p j )  1 ta nghĩ tới các số Fecmat Fn  22  1
k k n

Lưu ý: ( Fi , Fj )  1
k k

Bài 3.
1. Tìm tất cả các số n   sao cho tồn tại m : 2n  1| m 2  9
2. Tìm tất cả các số tự nhiên n thỏa mãn 2n  13 và tồn tại số nguyên dương m để

2n  1
| 4m 2  1
3
2.1.4. Bài toán chia hết
Bài 1.Chứng minh rằng phương trình x 2  34 y 2  1(mod m) có nghiệm với mọi m  
Phân tích
Nếu (m;3)  1  x 2  34 y 2  ( x  5 y )( x  5 y )  (3 y  1)(3 y  1)(mod m)
Nếu ( m;5)  1  x 2  34 y 2  ( x  3 y )( x  3 y )  (5 y  1)(5 y  1)(mod m)
Bài 2. Cho các số nguyên dương thỏa mãn a n  n | 2021n  n . Tìm a .
Bài 3. Chứng minh rằng với mọi số nguyên dương N  p1. p2 ... p2021 là ước của vô số số có

dạng a a 1  (a  1) a
Bài 4.
1. Cho số tự nhiên n không có ước chính phương. CMR: a n  1n  a n  1n 2
2. Tìm n  1: a  : a n  1n  a n  1n 2
3. Tìm tất cả các số nguyên dương a sao cho 2n  n 2 | a n  n a n  5
2.2. Trong các bài toán đa thức
Bài 1. Tìm số nghiệm của phương trình x 2  2  3x(mod 360)
( x  1)( x  2)  0(mod 23 )

Phân tích: ( x  1)( x  2)  0(mod 2 .3 .5)  ( x  1)( x  2)  0(mod 3 )
3 2 2

( x  1)( x  2)  0(mod 5)


Bài 2. Cho m  20192020 . Có bao nhiêu số tự nhiên n  m sao cho n(2n  1)(5n  1)m
Phân tích: n(2n  1)(5n  1)m  10n(10n  5)(10n  2)  0(mod m) ;(m,10)  1
Bài 3.Cho đa thức hệ số nguyên và tập S  { p1 , p2 ,..., p2021} gồm 2021 số nguyên tố phân biệt.

Với mỗi số tự nhiên n , đều tồn tại pi  S : P(n)pi . CMR tồn tại p  S : p | P (n), n   .

6
Tổng quát: Thay tập S  {a1 , a2 ,..., a2021} gồm các số nguyên.
Bài 4. Cho đa thức P( x)  (2 x  1)(5 x  1) . Chứng minh rằng với mọi số nguyên dương n
luôn tồn tại số nguyên dương x sao cho P( x)n
Câu hỏi đặt ra: Liệu có tồn tại đa thức khác thỏa mãn yêu cầu bài toán?
Bài 5. Chứng minh rằng với mỗi số nguyên dương n , tồn tại k1 , k2 ,..., kn đôi một nguyên tố

cùng nhau (ki  1) sao cho k1k2 ...kn  1 là tích của hai số nguyên liên tiếp.
2.3. Trong các bài toán tổ hợp
Bài 1. Điểm nguyên A 2 được gọi là nhìn thấy được từ O nếu trong đoạn OA không có
điểm nguyên nào ngoài O, A . Với mỗi số tự nhiên n , luôn tồn tại một hình vuông n  n các
đỉnh nguyên và mọi điểm nguyên bên trong và trên biên của hình vuông đều không nhìn thấy
được O .
Bài 2.Ta gọi một tập hợp các số nguyên dương C là tốt nếu với mọi số nguyên dương k đều
tồn tại a, b  C : (a  k , b  k )  1 . Giả sử ta có một tập C tốt mà tổng các phần tử bằng 2021 .
Chứng minh rằng có thể loại bỏ đi một số phần tử c  C mà tập C vẫn tốt.
Bài 3. Ta gọi một hình vuông là tốt , nếu bốn đỉnh nguyên, đồng thời đoạn thẳng nối tâm O
đến tất cả các điểm nguyên trên biên và trong hình vuông đó chứa ít nhất một điểm nguyên
khác hai đầu mút. Chứng minh rằng mọi số nguyên dương n đều tồn tại một hình vuông tốt
dạng n  n .
Bài 4. Một số nguyên dương k có tính chất Tm nếu với mọi số nguyên dương a , đều tồn tại

số nguyên dương n sao cho 1k  2k  ...  n k  a (mod m)

1. Tìm các số nguyên dương k có tính chất T20
2. Tìm số nguyên dương k nhỏ nhất có tính chất T20 . 15

Bài 5. Với mỗi số tự nhiên n , luôn tồn tại một tập S gồm n phần tử , sao cho bất kì một tập
con nào của S cũng có tổng các phần tử là lũy thừa của một số tự nhiên.
Bài 6. Một cấp số cộng có ít nhất 3 số nguyên dương được gọi là chuẩn nếu tích các số hạng
của nó là ước số của số có dạng n 2  1
1. Chứng minh rằng tồn tại một cấp số cộng chuẩn với công sai bằng 12
2. Hỏi cấp số cộng chuẩn có công sai bằng 12 có nhiều nhất bao nhiêu số hạng.
3. Bài tập tự luyện

7
Bài 1. Ta gọi một số là lũy thừa đúng nếu nó có dạng a m với a, m nguyên lớn hơn 1. Tìm

tất cả các số nguyên dương n lớn hơn 1 sao cho tồn tại các số nguyên dương b1 , b2 ,..., bn

không đồng thời bằng nhau để với mọi k nguyên dương thì  b1  k   b2  k  ... bn  k  là lũy
thừa đúng?
Bài 2. Cho số nguyên dương n . Chứng minh rằng tồn tại vô hạn cặp số nguyên dương

 a, b  với a, b  n sao cho

n n n

  a  i  | b  b  2020  ;   a  i  | b ;   a  i  |  b  2020  .
i 1 i 1 i 1

Bài 3. Cho dãy b1  b2  b3  ... là dãy các số tự nhiên mà mỗi số hạng là tổng của hai số

chính phương. Chứng minh rằng tồn tại vô hạn m sao cho bm1  bm  2021 .
Bài 4. Chứng minh rằng với mỗi k nguyên dương, k  2 , luôn tồn tại một cấp số cộng

a1 a2 a
, ,..., n các số hữu tỷ, trong đó ai , bi   ,  ai , bi   1 và các số
b1 b2 bn
a1 , b1 , a2 , b2 ,..., an , bn đều phân biệt.
Bài 5. Tồn tại hay không tập hợp X thoả mãn đồng thời hai điều kiện sau:
i) Tập X gồm 2020 số tự nhiên phân biệt.
ii) Tổng của một số phần tử bất kì trong X đều có dạng luỹ thừa bậc lớn hơn 1 của một số
nguyên dương.
Bài 6. Cho tập S   a1 , a2 ,..., an  gồm các số nguyên dương và đa thức P  x    x  . Biết

rằng với mọi số nguyên dương k đều tồn tại một chỉ số i   1,2,..., n sao cho ai | P  k  .

Chứng minh rằng tồn tại một chỉ số i0 sao cho ai0 | P  k  với mọi số nguyên dương k.

Bài 7. Cho tập S   a1 , a2 ,..., an  gồm các số nguyên. Chứng minh rằng tồn tại số nguyên b

sao cho tập bS   ba1 , ba2 ,..., ban  chứa toàn những lũy thừa bậc lớn hơn 1 của một số
nguyên nào đó.
Bài 8. Một số nguyên n được gọi là số “tốt” nếu | n | không phải là số chính phương. Xác
định tất cả các số nguyên m có thể biểu diễn bằng vô hạn cách là tổng của 3 số tốt khác
nhau và tích của chúng là một số chính phương lẻ.
8
Bài 9. Chứng minh rằng tồn tại một dãy tăng {an } các số tự nhiên sao cho với mọi k  0 thì

dãy {k  an } chỉ chứa hữu hạn số nguyên tố.

Bài 10. Chứng minh rằng phương trình x1  x2  ...  xn 1  xn có vô số nghiệm ( x1 ; x2 ;...; xn )
p p 1 2 p p
n 1 n

. Trong đó p1 , p2 ,..., pn là các số nguyên tố phân biệt.