Bài toán : Chứng minh rằng với mọi số nguyên dương luôn tồn tại một dãy gồm số nguyên liên tiếp sao cho bất kì số nào trong dãy cũng đều có ước dạng .
Lời giải :
Bổ đề : Với là các số nguyên dương và là số nguyên dương khác thì ta có
Chứng minh bổ đề :
Đặt và
Ta có và
Gọi thì
Vì nên theo định lí thì tồn tại hai số nguyên dương sao cho
Từ đó và
Do đó
Nhưng vì
Nên
Từ suy ra .
Bổ đề chứng minh hoàn tất.
Trở lại bài toán :
Xét hệ đồng dư tuyến tính :
Với là các số nguyên tố phân biệt
Theo bổ đề ta có với mọi
Từ đó theo định lí phần dư Trung Hoa thì hệ này có nghiệm.
Suy ra điều cần chứng minh.
Pingback: Danh sách tổng hợp các bài toán số học | Juliel's Blog