OI-Wiki 上的一个柿子
∑i=0iCni=n2n−1\sum_{i=0}iC_{n}^{i}=n2^{n-1}∑i=0iCni=n2n−1
我wtcl只会拆组合数偷掉 iii 来证明。
上面写的那个“对多项式函数求导可以得证”是什么意思?
哪个多项式?
对 2n2^{n}2n 求导得到 n2n−1n2^{n-1}n2n−1?