Ek Soru: n tane tam sayı verilsin. Elemanlarının toplamı n ile tam bölünebilecek şekilde, bu sayıların bir alt kümesinin seçilebileceğini gösteriniz.
Çözüm: n tane tam sayı a1,a2,…,an olsun. k=1,2,…,n için Tk=a1+a2+⋯+ak toplamlarını tanımlayalım.
Eğer n∣Tk olacak biçimde bir k değeri varsa {a1,a2,…,ak} alt kümesi istenen özelliktedir.
Eğer her bir k∈{1,2,…,n} için n∤Tk oluyorsa T1,T2,…,Tn sayıları n ile bölümünden 1,2,…,n−1 kalanlarını verebilir. Güvercin yuvası prensibi gereği 1≤i<j≤n olacak biçimde öyle iki farklı i, j değerleri vardır ki Ti ile Tj, n ile bölündüğünde aynı kalanı verirler. Yani Tj−Ti≡0(modn) olur. Bu durumda
n∣Tj−Ti=ai+1+ai+2+⋯+aj
olup {ai+1,ai+2,…,aj} kümesi istenen özelliktedir.