Lời giải (nguồn: CLB Toán Lim - LIM Olympic):
(1) Với mỗi tập con T⊂{3,4,…,2026}, xét bốn tập T, T∪{1}, T∪{2} và T∪{1,2}.
Giả sử tổng các phần tử của T có số dư là r khi chia cho 4. Khi đó tổng các phần tử của bốn tập trên lần lượt có số dư r,r+1,r+2,r+3 (mod 4).
Do đó trong bốn tập trên có đúng một tập có tổng các phần tử chia hết cho 4.
Khi T chạy qua tất cả các tập con của {3,4,…,2026}, các nhóm gồm bốn tập trên tạo thành một phân hoạch của tập hợp tất cả các tập con của S. Có 22024 cách chọn T, nên có đúng 22024 tập con của S có tổng các phần tử chia hết cho 4 (kể cả tập rỗng).
Giờ trừ đi tập rỗng (có tổng bằng 0) ta được số tập con cần tìm là 22024−1.
(2) Điều kiện ∣Si∖Sj∣=0 với mọi i=j tương đương với Si⊂Sj với mọi i=j.
Như vậy các tập S1,S2,…,Sn đôi một không chứa nhau.
Trước hết ta chứng minh n≤2024.
Để ý với n≥2 thì ta không thể có Si=S, do đó 1≤∣Si∣≤2025 với mọi i.
Vì các ∣Si∣ đôi một khác nhau nên trước hết ta có n≤2025.
Giả sử n=2025. Khi đó các số ∣Si∣ phải nhận đủ các giá trị 1,2,…,2025.
Gọi A,B,C là 3 tập Si bên trên thỏa mãn ∣A∣=1, ∣B∣=2025, ∣C∣=2. Viết A={a}.
Do A⊂B nên a∈/B. Mà ∣B∣=2025, suy ra B=S∖{a}.
Mặt khác, từ A⊂C ta cũng có a∈/C. Vì thế C⊂S∖{a}=B, mâu thuẫn với điều kiện C⊂B.
Vậy n≤2024. Giờ ta sẽ chứng minh giá trị n=2024 đạt được.
Ta chứng minh bằng quy nạp rằng với mọi số chẵn m≥4, tồn tại một họ Fm gồm m−2 tập con của {1,2,…,m} sao cho các tập đôi một không chứa nhau và có kích thước lần lượt là 1,2,…,m−2.
Với m=4, lấy F4={{1},{2,3}}. Rõ ràng họ này thỏa mãn yêu cầu.
Giả sử đã xây dựng được Fm. Xét họ
Fm+2={A∪{m+1}:A∈Fm}∪{[m],{m+2}},
trong đó [m]={1,2,…,m}.
Các tập A∪{m+1} có kích thước lần lượt là 2,3,…,m−1, còn {m+2} có kích thước 1 và [m] có kích thước m. Vậy Fm+2 có đúng một tập ở mỗi kích thước 1,2,…,m.
Hai tập dạng A∪{m+1} đôi một không chứa nhau vì các tập A ban đầu đôi một không chứa nhau. Mỗi tập A∪{m+1} chứa phần tử m+1, trong khi [m] không chứa m+1, nên A∪{m+1}⊂[m]. Ngược lại, ∣A∪{m+1}∣≤m−1<m=∣[m]∣, nên [m]⊂A∪{m+1}.
Cuối cùng, {m+2} không chứa trong bất kì tập nào còn lại vì các tập đó không chứa m+2; đồng thời các tập còn lại đều có ít nhất hai phần tử nên không thể chứa trong {m+2}.
Vậy Fm+2 cũng thỏa mãn yêu cầu.
Lấy m=2026, ta thu được 2024 tập con của S thỏa mãn tất cả các điều kiện của bài toán.
Do đó nmax=2024