范德蒙恒等式

✍ dations ◷ 2025-09-09 22:13:07 #组合数学,数学恒等式

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

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

相关

呼吸道合胞体病毒人类呼吸道合胞病毒，又称呼吸道融合病毒，简称HRSV（Human Respiratory Syncytial Virus），为副黏液病毒科肺病毒属中型单链RNA病毒，分为A,B两型， A,B两型之主要差异在于病毒外膜表面
零售产品 · 定价 · 分销服务 · 零售 · 宣传品牌管理 · 大客户营销营销道德 · 营销效果营销调查 · 市场调查市场划分 · 营销战略市场优势 · 操
AAA干电池（Dry cell）的定义是以糊状电解液来产生直流电的化学电池（湿电池则为使用液态电解液的化学电池），大致上分为一次电池及蓄电池两种，是日常生活之中为普遍使用，以及轻便的电池。
法伯病法伯病（英语：Farber disease），又名法伯脂肪肉芽肿病、神经酰胺酶缺乏症、纤维细胞性异常粘多糖病、脂肪肉芽肿病:545，是一种极为罕见的（迄今为止全球已报道80例）常染色体隐性溶小体
胡希尔胡希尔国家森林（英语：Hoosier National Forest）是座美国国家森林，位于印第安纳州南部丘陵地带，由美国国家森林局管辖。森林分成四个不同的大区，总面积202,814英亩（820.76平方千米）。
施蛰存施蛰存（1905年12月3日－2003年11月19日），名德普，字蛰存，男，浙江杭州人，中国现代派作家、文学翻译家、学者，华东师范大学中文系教授。常用笔名施青萍、安华、薛蕙、李万鹤、陈蔚、舍之
毛利就隆毛利就隆（1602年10月17日－1679年9月12日）是江户时代的大名。周防下松藩和德山藩初代藩主。就隆系毛利家初代。父亲是毛利辉元。受兄长秀就授与偏讳，亦取祖父隆元名中一字，于是以
马伯庸马伯庸（1980年11月14日－），本名马力，朋友惯称“小白”，赤峰人，中国大陆作家，曾就职于施耐德电气（中国）投资有限公司，人称“网络鬼才”、马亲王、亲王。作品涵盖历史、科幻、影视评论等诸
廖士翔 (主播)廖士翔（11月4日 - ），现任年代新闻台、壹电视新闻台记者兼任主播。
日月潭羊耳蒜日月潭羊耳蒜（学名：），为台湾特有种兰花，已灭绝。原本分布于南投县日月潭地区的拉鲁岛，海拔约750m左右。假球茎卵形。叶为线形或线状披针形，长16-30公分，仅1-1.5公分宽。总状花序顶生