范德蒙恒等式

✍ dations ◷ 2025-10-11 12:20: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}}$

相关

肝sub木/sub在中医传统脏象学说中，肝属五行中的木，其主要功能为“疏泄”与“藏血”。其中疏泄包含了精神情绪、消化，以及与气、血、水的流通；而藏血则包括了血液的储藏及调节。除此之外，肝与
高分子材料高分子材料是由相对分子质量较高的化合物构成的材料。我们接触的很多天然材料通常是高分子材料组成的，如天然橡胶、棉花、人体器官等。人工合成的化学纤维、塑料和橡胶等也是
毒蕈碱毒蕈碱（英语：Muscarine）是一种有毒的天然生物碱，主要存在于丝盖伞属（英语：Inocybe）和杯伞属的真菌中，例如白霜杯伞。粉褶蕈属（英语：Entoloma）和小菇属（英语：Mycena）的真菌中也有发现含有达
向斜谷向斜谷：它是沿向斜轴伸展的河谷，是一种顺地形。向斜谷的两岸谷坡岩层均属顺倾没在不良的岩性和倾角较大的条件下，容易发生顺层滑坡等病害。向斜谷一般都比较开阔。
大青龙汤大青龙汤，出自《伤寒论·辨太阳病脉证并治中第六》，主治外感风寒，不汗出而烦躁，身疼痛，脉浮紧。
proteins蛋白质（英语：protein，旧称“朊”）是大型生物分子，或高分子，它由一个或多个由α-氨基酸残基组成的长链条组成。α-氨基酸分子呈线性排列，相邻α-氨基酸残基的羧基和氨基通过肽键连接
潮州话拼音方案潮州话拼音方案（潮州话：Diê⁵ziu¹uê⁷ Pêng¹im¹ huang¹uan³（潮州）Dio⁷ziu¹uê⁷ Pêng¹im¹ huang¹uan³（汕头）；泉漳话闽南拼音：Dióziūwê Pīnyīm Hōng'àn，台罗拼
斗姥元君斗姥元君（又写作斗母或斗姆）是中国道教的女神，也是北斗众星之母。名字的“斗”指的是北斗众星。而“姥”字（古字也写成姆），意思就是母亲。斗姥元君在道教信仰中出现得很晚，但地位却
弗里波特 (俄亥俄州)弗里波特（英语：Freeport），是一个美国村庄，位于俄亥俄州哈里森县。根据2010年的人口普查，当地人口为369人。弗里波特位于40°12′40″N 81°15′59″W / 40.21111°N 81.26639°W /
解兆鼎解兆鼎（1862年－1915年），江苏丹徒县葛村人。清末武榜眼，军事将领。解兆鼎为光绪十二年（1886年）一甲第二名武进士，授官二等侍卫，差满，出任广西郁林州参将。民国四年（1915年）卒。其故宅尚存