二项式定理背景