二项式系数等于2的n次方推导