定理102:s(s1)个元素分成个组,那么 必存在一个组至少含有s这里「1为“上 整数”记号个元素。 证明:用反证法证明。 若每个组至多含有st+1)个元素,则t个 组最多有元素tst1 因为ss/tk(s/)+1 所以有1+1)<*(s/)+1)-1)s, 导致矛盾。故必存在一个组至少含有st 个元素。 任意13个人中,至少有二人生日在同一个月; 任意70个人中,至少有「sH70/1216人生日同 月;定理10.2：s(s≥1)个元素分成t个组，那么 必存在一个组至少含有s/t(这里 为“上 整数”记号)个元素。 证明：用反证法证明。 若每个组至多含有(s/t-1)个元素，则t个 组最多有元素t*(s/t-1)， 因为s/t≤s/t<(s/t)+1， 所以有t*(s/t-1)<t*((s/t)+1)-1)<s， 导致矛盾。故必存在一个组至少含有s/t 个元素。 任意13个人中，至少有二人生日在同一个月; 任意70个人中，至少有s/t=70/12=6人生日同 月;