Có tồn tồn tại 4004 số nguyên dương mà tổng 2003 số bất kì không chia hết cho 2003 không
Hãy nhập câu hỏi của bạn vào đây, nếu là tài khoản VIP, bạn sẽ được ưu tiên trả lời.
Ta chứng minh trong 2003 số nguyên dương đã cho chỉ nhận nhiều nhất 4 giá tri khác nhau.
Thật vậy giả sử trong các số đã cho có nhiều hơn 4 chữ số khác nhau, giả sử \(a_1,a_2,a_3,a_4,a_5\)là 5 số khác nhau bất kì. Không mất tính tổng quát giả sử
\(a_1< a_2< a_3< a_4< a_5\)(1)
Theo đầu bài \(a_1a_2=a_3a_4\)(2)
Theo (1) không xảy ra \(a_1a_2=a_3a_4\)hoặc\(a_1a_3=a_2a_4.\)
Tương tự 4 số khác nhau \(a_1,a_2,a_3,a_5\)thì \(a_1a_5=a_2a_3\)(3).
Từ (2) và (3) suy ra \(a_4=a_5.\)Mâu thuẫn.
Vậy trong 2003 số nguyên dương đã cho không thể có hơn 4 số khác nhau. Mà 2003 = 4.500 + 3.
Do đó trong 2003 số tự nhiên dương đã cho luôn tìm được ít nhất 500 + 1 = 501 số bằng nhau.
(Modulo 3, nha bạn.)
Giả sử tồn tại 5 số thoả đề.
Trong 5 số nguyên dương phân biệt đó sẽ xảy ra 2 trường hợp:
1. Có 1 số chia hết cho 3, 1 số chia 3 dư 1, 1 số chia 3 dư 2.
Khi đó, tổng 3 số này chia hết cho 3 (vô lí).
2. 5 số này khi chia cho 3 chỉ còn 2 loại số dư mà thôi.
Khi đó, theo nguyên lí Dirichlet thì tồn tại 3 số cùng số dư khi chia cho 3. Tổng 3 số này chia hết cho 3 (vô lí nốt).
Vậy điều giả sử là sai.