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 3 trên 5: Dựng 116 bộ ba đã cân bằng sẵn
Hiểu nôm na

Giống như dựng sẵn 116116 chiếc cân nhỏ đã cân bằng từ những cặp số dự trữ, để sau này ta chỉ cần thêm cùng một lượng cân vào mỗi chiếc để giữ chúng luôn thăng bằng.

{301,801,1883} and {1689,1189,107} both sum to 2985=3×995\{301,801,1883\}\ \text{and}\ \{1689,1189,107\}\ \text{both sum to}\ 2985=3\times995
Phân tích chi tiết

Lấy 5858 bộ ba như {301,801,1883},{302,802,1881},…,{358,858,1769}\{301,801,1883\},\{302,802,1881\},\ldots,\{358,858,1769\} (tọa độ đầu tăng 11, tọa độ hai tăng 11, tọa độ ba giảm 22 sau mỗi bước), cùng với 5858 bộ ba bù của chúng {1689,1189,107},{1688,1188,109},…,{1632,1132,221}\{1689,1189,107\},\{1688,1188,109\},\ldots,\{1632,1132,221\} thu được bằng cách thay mỗi số xx bởi 1990−x1990-x. Mọi bộ ba nêu trên đều có tổng 2985=3×9952985=3\times995, vì việc thay xx bởi 1990−x1990-x ở một tọa độ rồi bù trừ ∓1\mp1 ở tọa độ khác không làm thay đổi tổng, và bộ ba đầu tiên đã có tổng 301+801+1883=2985301+801+1883=2985. Cách này dùng hết 174174 trong số 994994 cặp ở Bước 2 và tạo ra 116116 bộ ba rời nhau, mỗi bộ có tổng 29852985.