范德蒙恒等式

✍ dations ◷ 2025-04-03 16:52:43 #组合数学,数学恒等式

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

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

相关

分析天平分析天平（Analytical balance）一般是指能精确称量到±0.0001g的天平，它是比台秤更为精确的称量仪器。有多种类型：电子分析天平（电子天平）、单盘分析天平、电光分析天平等。电子分
上加拿大旗帜上加拿大（英文：Upper Canada）是一个在1791年至1841年间以五大湖北岸为管辖区域的英国殖民地，是安大略省的前身。与下加拿大相比“上加拿大”地理位置在圣劳伦斯河上游，故以此
鞣酸鞣酸，又称单宁酸，是丹宁的一种特殊形式，是一种多酚。它具有弱酸性，pKa≈6，这来自它的很多酚羟基。商品鞣酸的化学式通常写作C76H52O46，对应着十棓酰葡萄糖，但实际上它是多聚赖氨酸
319国道319国道（或“国道319线”、“G319线”）是中国计划要兴建的国道，起点为台湾高雄，经由福建厦门，终点为四川成都。该国道原本的起点为福建厦门，后《国家公路网规划(2013-2030年)》发
拉彼鲁兹伯爵让-弗朗索瓦·德·加洛拉彼鲁兹伯爵让-弗朗索瓦·德·加洛（法语：Jean François de Galaup, comte de Lapérouse，1741年8月23日－1788年？），法国海军军官、探险家。出生在法国南部的阿尔比，早年曾在耶稣会
迈克尔·佩勒姆迈克尔·佩勒姆（英语：Michael Perham，1992年3月16日－），英国赫特福德郡人，2007年1月3日，14岁的佩勒姆成功单人航海横渡大西洋，成为史上完成这项壮举最年轻的航行者。
反英雄反英雄（英文：Antihero）是文学、电影、戏剧作品中，形象接近反派角色或有缺点的普通人，但同时具有英雄气质或做出英雄行为的角色。反英雄可以是主角或重要的
迈伦·舒尔兹迈伦·舒尔兹（Myron Scholes，/ʃoʊlz/;，1941年7月1日－）是一位美国经济学家，主要的成就是与费舍尔·布莱克发展出计算金融衍生工具的布莱克-舒尔兹模型，并因此获得1997年的诺贝尔经
李宝荣 (外交官)李宝荣（1962年12月－），男，中华人民共和国外交官，曾任中华人民共和国驻智利共和国特命全权大使，现任中华人民共和国驻委内瑞拉特命全权大使。
休闲效益休闲效益，是指一个人参与休闲活动时，在活动过程中或结束时得到心理、生理、社会、智能等方面的利益。有许多研究者针对休闲效益有其定义：Mannel 及 Stynes认为人们在参与休闲活