Pascal公式证法1:证法2设S={a1,a2,…,an}.S的k-组合由两部分组成.1、不包含an的k-组合，即{a1,a2,…,an1}的k-组合，有个.2、包含an的k-组合，由{a1,a2,…,an1}的k1-组合加上an得到，有个.所以，二项式定理证法1:取k个y，nk个x相乘得出xnkyk.证法2采用数学归纳法.一些恒等式例如，1,1；1,2,1；1,3,3,1；1,4,6,4,1都是单峰的.二项式系数的单峰性证明:设1kn二项式系数的单峰性牛顿二项式定理偏序与全序链与反链幂集的对称链划分幂集反链的最多集合数偏序集的链与反链两个对偶的定理两个对偶的定理两个对偶的定理两个对偶的定理两个对偶的定理作业