范德蒙恒等式

✍ dations ◷ 2025-06-09 19:34:58 #组合数学,数学恒等式

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

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

相关

维生工资维生工资是指一个劳工为了支付生活开销（包含食、衣、住、行）的所需的最低收入，往往比最低工资高。在英国及瑞士，维生工资的标准是每周工作40个小时所能获得的工资，不含额外的收入
林口区坐标：25°04′39″N 121°23′30″E / 25.0775308°N 121.3916021°E / 25.0775308; 121.3916021林口区，旧名树林口，是中华民国新北市所辖29个区之一，除滨海地区的狭窄平原外，主
蚤蝇蚤蝇又名为驼背蝇，为一类小型的苍蝇，常出现在尸体腐败后期。属于双翅目蚤蝇科（学名：Phoridae），估计有超过4000个物种，分成4个亚科230个属。最常见的是别名棺材蝇的蛆症异蚤蝇（Megase
拉科塔语拉科塔语（Lakȟótiyapi），又称梯顿语，是苏族分支拉科塔人的语言，属苏语系（英语：Siouan languages）西苏语族（英语：Western Siouan languages）。拉科塔语是苏族语变体之一，和其他苏语变体
脱乳清酸奶脱乳清酸奶，又称酸奶奶酪或希腊式酸奶，是将酸奶通过布或者纸滤去乳清后的产物，其黏稠度介于酸奶和奶酪之间，依然保留了酸奶独特的酸味。就像大多酸奶一样，脱乳清酸奶也是用牛奶加
小舌鼻音小舌鼻音是辅音的一种，在国际音标中以⟨ɴ⟩（即小型大写字母N）表示，在X-SAMPA中以⟨N\⟩表示。当符号成对出现时，左边的是清音，右边的是浊音。阴影区域表示被认为是不可能的发音。
恒星演化恒星演化是恒星随着时间的推移而变化的过程。根据恒星的质量，它的寿命可以从质量最大恒星的几百万年到质量最小恒星的万亿年，这是比宇宙年龄还要长许多的时间。这张表格显示恒
杨枢 (清朝)杨讴（1844年－1917年），字星垣，回族，哈吉。1903-1907年（光绪二十九年至三十三年）钦差出使日本国大臣（即驻日本公使，官位为候补四品京堂），同年5月到任东京。1909年光绪帝和慈禧太后同日驾崩
詹姆士·卡特利吉詹姆士·卡特利吉（James Cartlidge，1974年4月30日－）是一位英格兰政治人物，他的党籍是保守党。自2015年开始，他担任南萨福克选区选出的英国下议院议员。在从政之前他是一位商人。
杜绍祁杜绍祁（？－1829年），字少京，江苏无锡县人，清朝官员。杜绍祁为嘉庆二十五年（1820年）庚辰科进士。道光初年署任凤山县知县。道光四年（1824年）升台防同知。道光七年（1827年）任淡水抚民同知。道