范德蒙恒等式

✍ dations ◷ 2025-02-23 00:33:37 #组合数学,数学恒等式

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

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

相关

罗马竞技场坐标：41°53′25.02″N 12°29′32.62″E / 41.8902833°N 12.4923944°E / 41.8902833; 12.4923944罗马斗兽场（意大利语：Colosseo，英语：Colosseum，又译作罗马斗兽场、罗马大角斗
茄目茄目（学名：Solanales）是被子植物真双子叶植物分支下的一个目。花序尾端，萼片合生，花粉通常具有胼胝质本目物种可以合成O-甲基黄酮类，无法合成杨梅黄酮截至2018年，该目下目前已知有
摩伦汗摩伦汗（蒙古语：Молон хаан，1437年－1466年），名为脱古思猛可，鞑靼君主，第30代蒙古大汗。脱脱不花的长子，1465年，脱古思猛可继承了弟弟马儿古儿吉思的汗位。然而，他像他弟弟一样
网易考拉海购考拉海购，原名网易考拉，是一个跨境购物网站，于2015年1月9日成立。2016年，获得国内跨境电商中首张“B2C商品类电子商务交易服务认证证书”。2019年1月，于杭州湖滨银泰开设第一家线
体 (语法)体又称体貌、动貌词，是一种语法范畴，表示事件的内部时间结构，例如关于该动作的开始、持续、完成或重复等方面的情况，但不涉及该动作发生的时间。注意区分，Grammatical aspect是指
亚历克西斯·瓦尼安亚历克西斯·凯利·瓦尼安（英语：Alexis Kerry Ohanian，1983年4月24日－）是一个美国创业者、行动主义者和投资者，也是Reddit的创办人之一。瓦尼安在1983年4月24日出生于纽约布鲁克林
傅炳昭傅炳昭（1865年－1946年），山东黄县人，中国近代实业家、银行家。傅炳昭于同治四年（1865年）生于山东省登州府黄县（今龙口市），其早年家境较好，曾赴华南、南洋商业考察。另据周学熙后人回忆，傅
富伦湖坐标：54°11′22″N 10°18′54″E / 54.18944°N 10.31500°E / 54.18944; 10.31500富伦湖（德语：Fuhlensee），是德国的湖泊，位于该国北部石勒苏益格-荷尔斯泰因州，面积0.14平方公里
曹作清曹作清（1939年－），号岳麓山人、颢瀚，湖南人，中国书法家、画家，活跃于两岸书画交流。现任中华书法家协会理事、中华将军教授书画院会员、高雄市书画学会会员、中国书法学会会员代表、
海滩游侠 (电影)《海滩游侠》（英语：）是一部2017年美国动作喜剧片，由塞斯·高登执导，改编自1989年同名电视剧。电影主演包括道恩·强森、扎克·埃夫隆、亚历珊卓·妲妲里奥、凯莉·罗巴克、艾芬妮