Question

证明:任意含2n－1个整数的集合S中，一定存在含n个整数的子集，使得这n

证明:任意含2n－1个整数的集合S中，一定存在含n个整数的子集，使得这n个整数的和能被n整除(特殊值法就不要用了，我试过了)

Answer 1

本人不会，答案来自http://www.zybang.com/question/50e1c3e8356e554769ce0033385b1dd4.html

COPY如下 ：
不难验证,若命题对两个正整数m、n分别成立,则对mn也成立.于是只要验证命题对任意素数p成立.用反证法,假设存在2p-1个数{a[1],...,a[2p-1]},使得其中任意p个的和不是p的倍数.
对{1,...,2p-1}的任意p元子集I,令
S[I]=∑a[i],i∈I
根据假设及Fermat小定理,S[I]^(p-1)=1 [mod p].从而
∑S[I]^(p-1) = C(2p-1,p) [mod p]
容易验证,C(2p-1,p)不是p的倍数.---------------到这部分我还明白了
另一方面,每个S[I]^(p-1)由如下的项组成：
{(p-1)!/(e[1]!*...*e[r]!)}*a[i(1)]^(e[1])*...*a[i(r)]^(e[r])---------------这是二项式展开
其中i(1),...,i(r)∈I,e[1]+...+e[r]=p-1.而每个这样的项会在包含{i(1),...,i(r)}的p元指标集I所对应的S[I]中各出现一次.对每个固定的{i(1),...,i(r)},这样的I共有C(2p-1-r,p-r)个.注意到0