题目描述:
设p为奇素数,集合{1,2,3,···,p}中计算元素之和能被p整除的非空子集的个数。
推导过程。。
结果为 2 p − 2 p + 1 \frac{2^p-2}{p}+1 p2p−2+1其中 2 p − 2 p \frac{2^p-2}{p} p2p−2 一定是个整数。可以根据费马小定理 a m − 1 = 1 m o d m a^{m-1} = 1 mod m am−1=1modm 令a=2,m=p得 2 p − 1 − 1 = 0 m o d ​ p 2^{p-1}-1=0mod \!p 2p−1−1=0modp两边同乘以2得 2 p − 2 = 0 m o d p 2^p -2=0mod p 2p−2=0modp故得证。