范德蒙恒等式

✍ dations ◷ 2025-11-10 17:55:05 #组合数学,数学恒等式

范德蒙恒等式是一个有关组合数的求和公式。

甲班有 $m {\displaystyle m}$ $m$ 个同学，乙班有 $n {\displaystyle n}$ $n$ 个同学，从两个班中选出 $k {\displaystyle k}$ $k$ 个同学有 ${\binom {n+m}{k}}$ $\binom {n+m}k$ 种方法。

从甲班选 $k-i$ $k-i$ 名，从乙班选 $i {\displaystyle i}$ $i$ 名有 ${\binom {n}{i}}{\binom {m}{k-i}}$ $\binom ni \binom m{k-i}$ 种方法，考虑所有情况 $i=0,1,\ldots ,k$ $i=0,1,\ldots ,k$ ，从两个班中合计 $k {\displaystyle k}$ $k$ 选出个同学有 $\sum _{i=0}^{k}{\binom {n}{i}}{\binom {m}{k-i}}$ $\sum_{i=0}^k \binom ni \binom m{k-i}$ 种方法。

所以 ${\binom {n+m}{k}}=\sum _{i=0}^{k}{\binom {n}{i}}{\binom {m}{k-i}}$ ${\binom {n+m}{k}}=\sum _{i=0}^{k}{\binom {n}{i}}{\binom {m}{k-i}}$

注意到

等号左边化简成

等号右边则根据定义

比较 $x^{k}$ $x^{k}$ 系数，可得

$\sum _{k_{ij}}{n_{1} \choose k_{11},k_{12},\dots ,k_{1t}}\dots {n_{s} \choose k_{s1},k_{s2},\dots ,k_{st}}={n_{1}+n_{2}+\dots +n_{s} \choose r_{1},r_{2},\dots ,r_{t}}$ $\sum _{k_{ij}}{n_{1} \choose k_{11},k_{12},\dots ,k_{1t}}\dots {n_{s} \choose k_{s1},k_{s2},\dots ,k_{st}}={n_{1}+n_{2}+\dots +n_{s} \choose r_{1},r_{2},\dots ,r_{t}}$

其中 ${n \choose n_{1},n_{2},\dots ,n_{m}}={\frac {n!}{n_{1}!n_{2}!\dots n_{m}!}},k_{1l}+k_{2l}+\dots +k_{sl}=r_{l},l=1,\dots ,t$ ${n \choose n_{1},n_{2},\dots ,n_{m}}={\frac {n!}{n_{1}!n_{2}!\dots n_{m}!}},k_{1l}+k_{2l}+\dots +k_{sl}=r_{l},l=1,\dots ,t$

展开 $(x_{1}+x_{2}+\dots +x_{t})^{n_{1}+n_{2}+\dots +n_{s}}=(x_{1}+x_{2}+\dots +x_{t})^{n_{1}}\dots (x_{1}+x_{2}+\dots +x_{t})^{n_{s}}$ $(x_{1}+x_{2}+\dots +x_{t})^{n_{1}+n_{2}+\dots +n_{s}}=(x_{1}+x_{2}+\dots +x_{t})^{n_{1}}\dots (x_{1}+x_{2}+\dots +x_{t})^{n_{s}}$ 可得以上结论。

范德蒙恒等式是超几何函数的一个整数特例。

${}_{2}F_{1}(a,b;c;1)=\sum _{n=0}^{\infty }{\frac {a^{(n)}b^{(n)}}{c^{(n)}n!}}={\frac {\Gamma (c)\Gamma (c-a-b)}{\Gamma (c-a)\Gamma (c-b)}},\quad \Re (c)>\Re (a+b)$ ${}_{2}F_{1}(a,b;c;1)=\sum _{n=0}^{\infty }{\frac {a^{(n)}b^{(n)}}{c^{(n)}n!}}={\frac {\Gamma (c)\Gamma (c-a-b)}{\Gamma (c-a)\Gamma (c-b)}},\quad \Re (c)>\Re (a+b)$

$\sum _{i=0}^{k}{\binom {n}{i}}{\binom {m}{k-i}}={\frac {m!}{k!(m-k)!}}\sum _{i=0}^{\infty }{\frac {(-n)^{(i)}(-k)^{(i)}}{(m-k+1)^{(i)}i!}}={\frac {m!}{k!(m-k)!}}{}_{2}F_{1}(-n,-k;m-k+1;1)$ $\sum _{i=0}^{k}{\binom {n}{i}}{\binom {m}{k-i}}={\frac {m!}{k!(m-k)!}}\sum _{i=0}^{\infty }{\frac {(-n)^{(i)}(-k)^{(i)}}{(m-k+1)^{(i)}i!}}={\frac {m!}{k!(m-k)!}}{}_{2}F_{1}(-n,-k;m-k+1;1)$

$={\frac {m!}{k!(m-k)!}}{\frac {\Gamma (m-k+1)\Gamma (n+m+1)}{\Gamma (n+m-k+1)\Gamma (m+1)}}={\frac {(n+m)!}{k!(n+m-k)!}}={\binom {n+m}{k}}$ $={\frac {m!}{k!(m-k)!}}{\frac {\Gamma (m-k+1)\Gamma (n+m+1)}{\Gamma (n+m-k+1)\Gamma (m+1)}}={\frac {(n+m)!}{k!(n+m-k)!}}={\binom {n+m}{k}}$

相关

三唑三唑是指分子式为C2H3N3，由2个碳原子和3个氮原子组成的一个五元杂环有机化合物。因两个氮原子之间的相对位置不同，三唑有两种同分异构体，这两种异构体分别是：三唑的衍生物一般用
质荷比荷质比又称比荷、比电荷，是一个带电粒子所带电荷与其质量之比，其单位为C/kg。计算时，粒子无论带何种电荷，应一律代入正值计算。电子电荷 e
掺杂掺杂（英语：doping）是半导体制造工艺中，为纯的本征半导体引入杂质，使之电气属性被改变的过程。引入的杂质与要制造的半导体种类有关。轻度和中度掺杂的半导体被称作是杂质半导体，而
腔肠素腔肠素（英语：Coelenterazine），是一种萤光素，可发光，存在于七个门的水生生物体内。是许多荧光素酶和光蛋白的底物。
鄂伦春鄂伦春族（满语：ᠣᡵᠣᠨᠴᠣ，穆麟德：Oronco，太清：Oronqo）是中国55个少数民族之一，使用鄂伦春语，分布在内蒙古自治区的大小兴安岭中。人口约8700人（2010年）。“鄂伦春”是民族自称，意为“
历法列表历法列表列举还在使用的历法，以及曾经施行过或已废除不用的历法。
剑客行《剑客行》为古龙早期作品，算是古龙第一部长篇（《剑毒梅香》虽长，但大部分为代笔），1962年或1963年明祥出版，今据诸葛青云〈卖瓜者言〉更正为1961年。并与1964年明祥出版的《无情碧
邓越凡邓越凡（1962年12月26日－）美国纽约州立石溪大学应用数学教授、高等计算科学研究所研究员，中国济南超算中心泰山学者。至2017年6月，邓越凡发表了100多篇论文，涵盖物理、应用数学、计
中国铁路跨局非空调列车车次在中国的铁路客运中，跨局旅客列车多数已空调化，但仍然存在一些跨局非空调列车，其中以普通旅客快车和普通旅客列车为主。
厄尔·金厄尔·金（1920年1月6日－1998年11月19日），韩裔美国作曲家。曾师事勋伯格、布洛赫和塞欣斯。后在普林斯顿大学及哈佛大学教书，学生众多，包括马克斯韦尔·戴维斯、约翰·亚当斯等。他