一个有用的定理

今天%popoqqq的时候看到了一个他不屑于证的定理
$\sum_{i=偶数} C（i,n） = \sum_{i=奇数} C（i,n） (n不等于0)$
怎么证明呢？（开启口胡模式）

第一种情况：

n为奇数时显然（无论选偶数/奇数，剩下的一定是奇数/偶数）

第二种情况：

n为偶数且n/2为奇数。
那我们先考虑n/2的情况，即在n的一半选数。
设选奇数的答案集合为｛a1,a2,……an/4｝偶数的为｛b1,b2,……bn/4｝(可以选0个数)
根据情况一有$\sum_{n/4} ^i ai=\sum_{n/4} ^i bi$
所以$\sum_{i=偶数} C（i,n） =\sum_{n/4} ^i\sum_{n/4} ^j aiaj+\sum_{n/4} ^i\sum_{n/4} ^j bibj=\sum_{n/4} ^i\sum_{n/4} ^j aiaj*2$

$\sum_{i=奇数} C（i,n） =\sum_{n/4} ^i\sum_{n/4} ^j aibj*2=\sum_{n/4} ^iai\sum_{n/4} ^j aj*2=\sum_{n/4} ^i\sum_{n/4} ^j aiaj*2$

所以$\sum_{i=偶数} C（i,n） = \sum_{i=奇数} C（i,n）$

第三种情况：

n为偶数且n/2为偶数。
那么就一直/2，总能除到奇数的情况。然后跟第二种情况差不多推回上来就好了。

证毕

（不要在意是否严谨）