范德蒙恒等式

✍ dations ◷ 2025-04-26 12:30:35 #组合数学,数学恒等式

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

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

相关

恩他卡朋恩他卡朋，学名为Entacapone。吸收/分布：代谢/排泄：Entacapone引起的副作用主要和dopaminergic作用增加有关，当临床使用发现上述副作用时，调降levodopa的剂量约10～15﹪时可有效改善，常
离心力离心力（英语：centrifugal force）是一种虚拟力或称惯性力，它使旋转的物体远离它的旋转中心。在牛顿力学里，离心力曾被用于表述两个不同的概念：在一个非惯性参考系下观测到的一个惯
爱丽丝梦游仙境《爱丽丝梦游仙境》（英语：Alice's Adventures in Wonderland，通常缩写成Alice in Wonderland）或称爱丽丝漫游奇境，是英国数学家查尔斯·路特维奇·道奇森以笔名路易斯·卡罗出版
span style=color: white;费德丽卡·墨格里尼/span费代丽卡·莫盖里尼（Federica Mogherini，1973年6月16日－)，意大利政治家，现任欧洲联盟委员会副主席（英语：Vice-President of the European Commission）、欧洲联盟委员会外交和安全政
维陶塔斯·蓝茨伯克里斯维陶塔斯·兰茨贝吉斯（立陶宛语：Vytautas Landsbergis，俄语：Ви́таутас Ла́ндсбергис，1932年10月18日－），立陶宛保守派政治家、欧洲议会议员。曾领导立陶宛独立
威廉·A·惠勒威廉·A·惠勒（英语：William Almon Wheeler，1819年6月30日－1887年6月4日）是美国纽约州联邦众议员和第19任美国副总统（1877年–1881年）。惠勒生于纽约州的马龙村，后来就读佛蒙特大学
牙买加元牙买加元（货币编号JMD）是牙买加自1969年以来的流通货币。辅币单位为分。1元=100分。
氯化锕氯化锕是一种无机化合物，化学式为AcCl3，有强放射性。氯化锕有三氯化铀（UCl3）的结构，空间群P 63/m，晶胞参数a =7.63 Å，c = 4.56 Å。锕的Wyckoff位置为2c，氯为6h (avec y ~ 0.29)。
恩里克·博拉尼奥斯恩里克·尼古拉斯·博拉尼奥斯·赫耶尔（西班牙语：Enrique Nicolas Bolaños Geyer，1928年5月13日生于尼加拉瓜马萨亚 - ），尼加拉瓜政治家，2001年11月当选尼加拉瓜总统，2007年1月卸
林国芳林国芳（1820年－1862年），台湾台北新庄人，籍贯福建漳州府龙溪县白石吉上社，是台湾巨富林平侯之子，林国华之弟，板桥林家的重要成员，亦是多次分类械斗的重要当事人。曾获得盐运使头衔，候