MathLabs

Bài 1

Chứng minh rằng tập hợp {1,2,…,1989}\{1, 2, \ldots, 1989\} có thể viết thành hợp của 117117 tập con đôi một rời nhau A1,A2,…,A117A_1, A_2, \ldots, A_{117}, mỗi tập có đúng 1717 phần tử, sao cho tổng các phần tử của mỗi AiA_i đều bằng nhau.
Bước 5 trên 5: Bồi thêm 7 cặp cho mỗi khối
Hiểu nôm na

Vì mỗi cặp luôn nặng đúng 19901990 dù là cặp nào, nên phát cho mỗi đĩa cân cùng một số cặp sẽ giữ cân luôn thăng bằng, bất kể cặp cụ thể nào rơi vào đĩa nào.

2985+7×1990=16915,3+7×2=172985 + 7\times1990 = 16915,\qquad 3+7\times2=17
Phân tích chi tiết

Còn lại 994−175=819994-175=819 cặp từ Bước 2, và 819=117×7819=117\times7. Chia các cặp này sao cho mỗi khối trong 117117 khối ở Bước 3–4 nhận đúng 77 cặp mới, chưa dùng. Mỗi khối tăng từ 33 phần tử lên 3+7×2=173+7\times2=17 phần tử, và tổng của nó tăng từ 29852985 lên 2985+7×1990=169152985+7\times1990=16915 — đúng bằng mục tiêu tìm được ở Bước 1, và bằng nhau ở mọi khối vì mỗi khối nhận cùng số cặp có cùng tổng 19901990. Đây chính là cách chia A1,…,A117A_1,\ldots,A_{117} cần tìm.