范德蒙恒等式

✍ dations ◷ 2025-07-01 09:28:36 #组合数学,数学恒等式

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

甲班有 $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}}$

相关

一部分个别教会（英语：Particular Church；拉丁语：ecclesia particularis）或称地区教会，是天主教会的一种分类。根据天主教会圣统制和法典，在唯一天主教会的最高权力（即教宗及世界主教团）之下
95号州际公路95号州际公路（Interstate 95，简称I-95）是美国州际公路系统的一部分，共计跨越15州，是美国东岸的交通大动脉，位于东北部的路段更是因为大量的使用量而被称为东北走廊。北起缅因州与
玛丽·沃诺克沃诺克女男爵海伦·玛丽·沃诺克，CH，DBE，FBA，FMedSci（英语：Helen Mary Warnock, Baroness Warnock，1924年4月14日－2019年3月20日），本姓威尔逊（Wilson），英国伦理、教育和心灵哲学家及存在
爱德华氏症参数所指定的目标页面不存在，建议更正成存在页面或直接建立下列一个页面（建立前请先搜寻是否有合适的存在页面可以取代）：]]爱德华氏综合征（亦称18-三体综合征）是一种遗传疾病，是（所
北平临时大学北平临时大学是1945年8月日本二战投降之后，中华民国教育部在北平设立的大学，用以甄审沦陷区的大学生。抗日战争时，汪精卫政权所属的公立大学，被蒋介石领导的国民党人士称为汪伪
科马尔县科马尔县（Comal County）是位美国得克萨斯州中南部的一个县。面积1,488平方公里。根据美国2000年人口普查，共有人口78,021人。县治新布朗费尔斯。成立于1846年3月24日。县名是西
克拉克山脉坐标：77°16′S 142°0′W / 77.267°S 142.000°W / -77.267; -142.000克拉克山脉（英语：Clark Mountains）是南极洲的山脉，位于玛丽伯德地，属于福特山脉的一部分，处于阿拉格尼山脉
塔维尔·亚特·乌姆尔塔维尔·亚特·乌姆尔(Tawil-at'Umr)，别名太古永生者(The Most Ancient and Prolonged of Life)，是美国小说家霍华德·菲利普·洛夫克拉夫特所创造的克苏鲁神话中的旧日支配者
里希·卡浦尔里希·卡浦尔（印地语：ऋषि कपूर，英语：Rishi Kapoor，1952年9月4日－2020年4月30日）是一位印度宝莱坞演员、电影制作人和导演。他是印度演员、导演拉兹·卡普尔的次子，与兄弟在孟
双链大师陶希德·埃普斯（英语：Tauheed Epps，1977年9月12日 - ），艺名双链大师（2 Chainz，又称二链子；前艺名为Tity Boi），美国饶舌歌手、媒体人，并且曾是一名大学篮球运动员。他在佐治亚州科利奇帕