范德蒙恒等式

✍ dations ◷ 2025-11-17 19:31:54 #组合数学,数学恒等式

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

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

相关

统计调查社会统计调查有时也被称作“社会调查”或“调查研究”，但它与中文里的“社会调查”是有区别的，社会调查泛指针对特定的议题收集相关的社会资料与数据的过程，而统计调查则专指对
超流体超流体是一种物质状态，特点是完全缺乏黏性。如果将超流体放置于环状的容器中，由于没有摩擦力，它可以永无止尽地流动。它能以零阻力通过微管，甚至能从碗中向上“滴”出而逃逸。超
石碇区坐标：24°59′30″N 121°39′31″E / 24.9916787°N 121.6585671°E / 24.9916787; 121.6585671石碇区是台湾新北市下辖的一个市辖区，位在台北盆地东南山区，境内多山，开发程度
奥斯卡·闵可夫斯基奥斯卡·闵可夫斯基（Oskar Minkowski 1858年1月13日－1931年7月18日）德国生物化学家、布雷斯劳大学教授，胰岛素的发现者。数学家赫尔曼·闵可夫斯基的哥哥、天天物理学家鲁道夫·
叶博文叶博文（1947年9月25日－2019年4月1日），台湾社会运动者、实业家，曾任核四公投促进会首席执行官、人民作主运动总指挥、台北二二八纪念馆创馆馆长、台北建成扶轮社创社社长，曾参与筹
Wireless Application Protocol Bitmap FormatWireless Application Protocol Bitmap Format（缩写是Wireless Bitmap，文件扩展名是.wbmp），是一个monochrome图形文件格式，为移动计算设备专门优化。WBMP图片是黑白的，所以图片文
钦图洛夫岭坐标：65°42′31″S 62°33′23″W / 65.70861°S 62.55639°W / -65.70861; -62.55639钦图洛夫岭（保加利亚语：Чинтулов хребет）是南极洲的山岭，位于葛拉汉地的奥
马罗什·谢夫乔维奇马罗什·谢夫乔维奇（斯洛伐克语：Maroš Šefčovič，斯洛伐克语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sa
叶在琦叶在琦（1866年－1906年），字肖韩，号稚愔、穉愔，福建闽县人。清末官员、诗人。光绪十二年（1886年）丙戌科三甲进士。同年五月，改翰林院庶吉士。光绪十五年四月，散馆，授翰林院检讨。历官监察
那卡诺那卡诺（1918年12月22日－1993年2月21日），本名黄仲鑫，台湾著名作词家、鼓手。台南第二公学校毕业后，师承于黄锦昆，20岁即出师。台湾日治时代，以中野（NAKANO）为日本名，并以音译定艺名为那