求杨辉三角第 nnn 行奇数的个数,或者 ∑i=0n((ni)%2)的值\sum_{i=0}^n(\binom{n}{i}\%2)的值∑i=0n((in)%2)的值
杨辉三角,也称帕斯卡三角(Pascal′s trianglePascal's\ trianglePascal′s triangle),如下图:
其具有性质:第 nnn 行 第 mmm 列元素值为 (nm)\binom{n}{m}(mn),且有 (nm)=(n−1m−1)+(n−1m)\binom{n}{m}=\binom{n-1}{m-1}+\binom{n-1}{m}(mn)=(m−1n−1)+(mn−1),即第 nnn 行 mmm 列的值等于第 n−1n-1n−1 行 m−1m-1m−1 列的值与第 n−1n-1n−1 行 mmm 列的值的和。
对于任意的素数 ppp 有:
(1)(nm)=(⌊np⌋⌊mp⌋)(n mod pm mod p)(mod p)\binom{n}{m}=\binom{\lfloor\frac{n}{p}\rfloor}{\lfloor\frac{m}{p}\rfloor}\binom{n\ mod\ p}{m\ mod\ p}(mod\ p)\tag{1}(mn)=(⌊pm⌋⌊pn⌋)(m mod pn mod p)(mod p)(1)当n<m时,(nm)=0当 n<m时,\binom{n}{m}=0当n<m时,(mn)=0
证明:
1.当 n mod p≥m mod pn\ mod\ p \ge m\ mod\ pn mod p≥m mod p 时,因为
(2)n=⌊np⌋⋅p+n mod p
\begin{aligned}
n=\lfloor\frac{n}{p}\rfloor\cdot p+n\ mod\ p\tag{2}
\end{aligned}
n=⌊pn⌋⋅p+n mod p(2)
所以有
(3)(1+x)n=(1+x)p⋅⌊np⌋(1+x)n mod p≡(1+xp)⌊np⌋(1+x)n mod p (mod p)
\begin{aligned}
(1+x)^n&=(1+x)^{p\cdot \lfloor\frac{n}{p}\rfloor}(1+x)^{n\ mod\ p}\\
&\equiv (1+x^p)^{\lfloor\frac{n}{p}\rfloor}(1+x)^{n\ mod\ p}\ (mod\ p)\tag{3}
\end{aligned}
(1+x)n=(1+x)p⋅⌊pn⌋(1+x)n mod p≡(1+xp)⌊pn⌋(1+x)n mod p (mod p)(3)考虑公式(3)中xmx^mxm项的模 ppp 系数,左边为(nm) mod p\binom{n}{m}\ mod\ p(mn) mod p右边为 (⌊np⌋⌊mp⌋)(n mod pm mod p)(mod p)\binom{\lfloor\frac{n}{p}\rfloor}{\lfloor\frac{m}{p}\rfloor}\binom{n\ mod\ p}{m\ mod\ p}(mod\ p)(⌊pm⌋⌊pn⌋)(m mod pn mod p)(mod p)
因此当n mod p≥m mod pn\ mod\ p\ge m\ mod\ pn mod p≥m mod p时,上述等式成立。
2.当 n mod p<m mod pn\ mod\ p<m\ mod\ pn mod p<m mod p 时,(n mod pm mod p)(mod p)=0\binom{n\ mod\ p}{m\ mod\ p}(mod\ p)=0(m mod pn mod p)(mod p)=0而又因为n!n!n!的 ppp 因子个数为 ∑i=1+∞⌊npi⌋\sum_{i=1}^{+ \infty}\lfloor\frac{n}{p^i}\rfloori=1∑+∞⌊pin⌋那么 (4)(nm)=n!m!(n−m)!\binom{n}{m}=\frac{n!}{m!(n-m)!}\tag{4}(mn)=m!(n−m)!n!(4)的ppp 因子个数为
(5)∑i=1+∞⌊npi⌋−∑i=1+∞(⌊mpi⌋+⌊n−mpi⌋)=∑i=1+∞(⌊npi⌋−⌊mpi⌋−⌊n−mpi⌋)
\sum_{i=1}^{+ \infty}\lfloor\frac{n}{p^i}\rfloor-\sum_{i=1}^{+ \infty}(\lfloor\frac{m}{p^i}\rfloor+\lfloor\frac{n-m}{p^i}\rfloor)=\sum_{i=1}^{+ \infty}(\lfloor\frac{n}{p^i}\rfloor-\lfloor\frac{m}{p^i}\rfloor-\lfloor\frac{n-m}{p^i}\rfloor)\tag{5}
i=1∑+∞⌊pin⌋−i=1∑+∞(⌊pim⌋+⌊pin−m⌋)=i=1∑+∞(⌊pin⌋−⌊pim⌋−⌊pin−m⌋)(5)
显然
⌊npi⌋−⌊mpi⌋−⌊n−mpi⌋≥0\lfloor\frac{n}{p^i}\rfloor-\lfloor\frac{m}{p^i}\rfloor-\lfloor\frac{n-m}{p^i}\rfloor\ge 0
⌊pin⌋−⌊pim⌋−⌊pin−m⌋≥0
如果 n mod p<m mod pn\ mod\ p<m\ mod\ pn mod p<m mod p,可以推出
⌊np⌋−⌊mp⌋−⌊n−mp⌋=1\lfloor\frac{n}{p}\rfloor-\lfloor\frac{m}{p}\rfloor-\lfloor\frac{n-m}{p}\rfloor=1
⌊pn⌋−⌊pm⌋−⌊pn−m⌋=1于是(nm)\binom{n}{m}(mn)的 ppp 因子个数 ≥1\ge1≥1,所以 (nm)≡0(mod p)\binom{n}{m}\equiv 0(mod\ p)(mn)≡0(mod p) ,即当n mod p<m mod pn\ mod\ p<m\ mod\ pn mod p<m mod p时,式子(1)两边等于0。
综上所述式子(1)得证。
Lucas′s theorem:(nm)≡∏i=0k(nimi)(mod p),其中Lucas's\ theorem:\binom{n}{m}\equiv \prod_{i=0}^{k}\binom{n_i}{m_i}(mod\ p),其中Lucas′s theorem:(mn)≡i=0∏k(mini)(mod p),其中m=mkpk+mk−1pk−1+⋯m1p+m0 m=m_kp^k+m_{k-1}p^{k-1}+\cdots m_1p+m_0m=mkpk+mk−1pk−1+⋯m1p+m0 n=nkpk+nk−1pk−1+⋯n1p+n0n=n_kp^k+n_{k-1}p^{k-1}+\cdots n_1p+n_0n=nkpk+nk−1pk−1+⋯n1p+n0且当ni<mi时,(nimi)=0且当n_i<m_i时,\binom{n_i}{m_i}=0且当ni<mi时,(mini)=0
证明:利用上述定理对 (⌊np⌋⌊mp⌋)\binom{\lfloor\frac{n}{p}\rfloor}{\lfloor\frac{m}{p}\rfloor}(⌊pm⌋⌊pn⌋)递归展开,便可推出 Lucas′s theoremLucas's\ theoremLucas′s theorem。
当 p=2p=2p=2 时,要使得 (nm)≡1 mod 2\binom{n}{m}\equiv 1\ mod\ 2(mn)≡1 mod 2,即要求∏i=0k(nimi)≡1 mod p\prod_{i=0}^{k}\binom{n_i}{m_i}\equiv 1\ mod\ pi=0∏k(mini)≡1 mod p由于在 n,mn,mn,m 的二进制展开中,系数 1≥ni,mi≥01\ge n_i,m_i\ge 01≥ni,mi≥0,所以只有当 ni≥min_i\ge m_ini≥mi 时,(nimi)=1\binom{n_i}{m_i}=1(mini)=1,记 nnn 的二进制表示中 111 的个数为 I(n)I(n)I(n)而对于 nnn 的二进制展开,满足 ni≥min_i\ge m_ini≥mi 的 mmm 有 2I(n)2^{I(n)}2I(n) 个,所以对于杨辉三角第 nnn 行数列 (n−10),(n−11),⋯ ,(n−1m),⋯ ,(n−1n)\binom{n-1}{0}, \binom{n-1}{1},\cdots,\binom{n-1}{m},\cdots,\binom{n-1}{n}(0n−1),(1n−1),⋯,(mn−1),⋯,(nn−1)其中奇数个数为 2I(n−1)2^{I(n-1)}2I(n−1) 个。