Cho tập hợp S={1;2;3;…;2025} gồm 2025 số nguyên dương đầu tiên. Xét một tập con M của tập hợp S có nhiều hơn một phần tử thỏa mãn: với mỗi a,b∈M, nếu 2b−a∈S thì 2b−a∈M.
Gọi k là số phần tử của tập hợp M. Chứng minh tồn tại k tập hợp A1,A2,…,Ak là các tập con của tập hợp số tự nhiên N và thỏa mãn đồng thời hai điều kiện sau:
i) ⋃i=1kAi=N và Ai∩Aj=∅,∀i,j∈{1;2;…;k},i=j.
ii) Với mỗi a,b∈M, tồn tại i,j∈{1;2;…;k} sao cho {a+x∣x∈Ai}={b+y∣y∈Aj}.