范德蒙恒等式

✍ dations ◷ 2025-10-27 18:28:59 #组合数学,数学恒等式

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

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

相关

孤儿受体孤儿受体（英语：orphan receptor）是指一些与其它已确认的受体结构上明显相似，但其内源配体还未发现的受体。一旦对应的配体被找到，该受体就被称为“领养孤儿”（"adopted orphan"）。
时间膨胀时间膨胀是一种物理现象：两个完全相同的时钟之中，拿着甲钟的人会发现乙钟比自己的走得慢。这现象常被说为是对方的钟“慢了下来”，但这种描述只会在观测者的参考系上才是正确的
卡尔·李特尔卡尔·李特尔（Carl Ritter，1779年8月7日－1859年9月28日），为德国地理学家，出生在奎德林堡，后世称之为人文地理学之父。1796年，他入读了哈雷大学，读自然科学和文史等课程。1819年，他担任
中心书城深圳书城中心城位于中国广东省深圳市中心区（CBD）北中轴线上，福田区福中一路，北邻莲花山，南接深圳市民中心，西邻深圳音乐厅、深圳图书馆，东毗深圳市少年宫，是“深圳书城”品牌的旗舰
深圳市儿童医院深圳市儿童医院（Shenzhen Children's Hospital），位于中国广东省深圳市福田区益田路和红荔路的交界，隶属中国医科大学。创建于1997年，1998年初正式开院，是一家集医疗、保健、科研、
卢木斋卢木斋（1856年－1948年8月），名靖，字勉之，号木斋，以号行，湖北沔阳（今仙桃市）人，著名实业家、教育家，私立南开大学早期建校的资助人之一。卢木斋将兴办实业的全部财产用于发展教育事业，先后
曲　松曲松（？－）籍贯不详，中国人民解放军少将。曲松曾长期在中国人民解放军总参谋部任职，历任中国人民解放军总参谋部动员部民兵局局长、国家国防动员委员会综合办公室专职副主任、中国人
FFmpegFFmpeg 是一个开放源代码的自由软件，可以运行音频和视频多种格式的录影、转换、流功能，包含了libavcodec——这是一个用于多个项目中音频和视频的解码器库，以及libavformat——
硝酸四氨合铜硝酸四氨合铜（缩写：TACN）是一种无机化合物，化学式为(NO3)2。该化合物加热至257℃左右爆炸，产物是氧化铜。硝酸四氨合铜可由硝酸铜和氨水的反应制备：硝酸四氨合铜可以和酸反应：
觉罗宜纯觉罗宜纯（？－？）满洲镶黄旗人，爱新觉罗氏。觉罗宜纯是满洲镶黄旗人，清朝觉罗，为清朝附生，曾署左翼觉罗族长。1909年，清廷开资政院，觉罗宜纯出任资政院钦选议员。