二項定理は三項以上の和の冪展開に拡張することができる: ( x 1 + x 2 + ⋯ + x m ) n = ∑ k 1 + k 2 + ⋯ + k m = n ( n k 1 , k 2 , … , k m ) x 1 k 1 x 2 k 2 ⋯ x m k m {\displaystyle (x_{1}+x_{2}+\cdots +x_{m})^{n}=\textstyle \sum \limits _{k_{1}+k_{2}+\cdots +k_{m}=n}{\dbinom {n}{k_{1},k_{2},\ldots ,k_{m}}}{x_{1}}^{k_{1}}{x_{2}}^{k_{2}}\cdots {x_{m}}^{k_{m}}}
ここで和は、非負整数列 k1, …, km の総和が n であるもの全体に亙って取るから、右辺の展開式は項の次数が何れも n次である斉次多項式である。展開式の係数 (n
k1, …, km) は多項係数と呼ばれ、 ( n k 1 , k 2 , … , k m ) = n ! k 1 ! k 2 ! ⋯ k m ! {\displaystyle {\binom {n}{k_{1},k_{2},\ldots ,k_{m}}}={\frac {n!}{k_{1}!\,k_{2}!\cdots k_{m}!}}}
となる。組合せ論的には、多項係数 (n 二項式の総乗といった、より次元の高いものを取り扱う場合にも二項定理はしばしば有用である。二項定理により等式 ( x 1 + y 1 ) n 1 ⋯ ( x d + y d ) n d = ∑ k 1 = 0 n 1 ⋯ ∑ k d = 0 n d ( n 1 k 1 ) x 1 k 1 y 1 n 1 − k 1 ⋯ ( n d k d ) x d k d y d n d − k d {\displaystyle (x_{1}+y_{1})^{n_{1}}\cdots (x_{d}+y_{d})^{n_{d}}=\textstyle \sum \limits _{k_{1}=0}^{n_{1}}\cdots \sum \limits _{k_{d}=0}^{n_{d}}{\dbinom {n_{1}}{k_{1}}}\,{x_{1}}^{k_{1}}{y_{1}}^{n_{1}-k_{1}}\;\cdots \;{\dbinom {n_{d}}{k_{d}}}\,{x_{d}}^{k_{d}}{y_{d}}^{n_{d}-k_{d}}} が成り立つ。この式は多重指数を用いれば ( x + y ) α = ∑ ν ≤ α ( α ν ) x ν y α − ν {\displaystyle (x+y)^{\alpha }=\textstyle \sum \limits _{\nu \leq \alpha }{\dbinom {\alpha }{\nu }}\,x^{\nu }y^{\alpha -\nu }}
k1, …, km) は、n元-集合を各位数が k1, …, km となる、互いに素な部分集合へ分割する場合の数となる。
多重二項定理