范德蒙恒等式

✍ dations ◷ 2025-09-18 10:05:12 #组合数学,数学恒等式

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

甲班有 m {\displaystyle m} 个同学,乙班有 n {\displaystyle n} 个同学,从两个班中选出 k {\displaystyle k} 个同学有 ( n + m k ) {\displaystyle {\binom {n+m}{k}}} 种方法。

从甲班选 k i {\displaystyle k-i} 名,从乙班选 i {\displaystyle i} 名有 ( n i ) ( m k i ) {\displaystyle {\binom {n}{i}}{\binom {m}{k-i}}} 种方法,考虑所有情况 i = 0 , 1 , , k {\displaystyle i=0,1,\ldots ,k} ,从两个班中合计 k {\displaystyle k} 选出个同学有 i = 0 k ( n i ) ( m k i ) {\displaystyle \sum _{i=0}^{k}{\binom {n}{i}}{\binom {m}{k-i}}} 种方法。

所以 ( n + m k ) = i = 0 k ( n i ) ( m k i ) {\displaystyle {\binom {n+m}{k}}=\sum _{i=0}^{k}{\binom {n}{i}}{\binom {m}{k-i}}}

注意到

等号左边化简成

等号右边则根据定义

比较 x k {\displaystyle x^{k}} 系数,可得

k i j ( n 1 k 11 , k 12 , , k 1 t ) ( n s k s 1 , k s 2 , , k s t ) = ( n 1 + n 2 + + n s r 1 , r 2 , , r t ) {\displaystyle \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 n 1 , n 2 , , n m ) = n ! n 1 ! n 2 ! n m ! , k 1 l + k 2 l + + k s l = r l , l = 1 , , t {\displaystyle {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 + + x t ) n 1 + n 2 + + n s = ( x 1 + x 2 + + x t ) n 1 ( x 1 + x 2 + + x t ) n s {\displaystyle (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 ) = n = 0 a ( n ) b ( n ) c ( n ) n ! = Γ ( c ) Γ ( c a b ) Γ ( c a ) Γ ( c b ) , ( c ) > ( a + b ) {\displaystyle {}_{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)}

i = 0 k ( n i ) ( m k i ) = m ! k ! ( m k ) ! i = 0 ( n ) ( i ) ( k ) ( i ) ( m k + 1 ) ( i ) i ! = m ! k ! ( m k ) ! 2 F 1 ( n , k ; m k + 1 ; 1 ) {\displaystyle \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)}

= m ! k ! ( m k ) ! Γ ( m k + 1 ) Γ ( n + m + 1 ) Γ ( n + m k + 1 ) Γ ( m + 1 ) = ( n + m ) ! k ! ( n + m k ) ! = ( n + m k ) {\displaystyle ={\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}}}

相关

  • 膝蓋膝,俗称膝盖,为位于大小腿之间的连接部位。膝的主要内部组成结构为半月板以及四条韧带。半月板为膝内部股骨下端和胫骨上端之间的接连处所垫的一块新月形的纤维软骨组织,作用是
  • 矿物杂酚油矿物杂酚油(英文:Coal tar creosote 或 Creosote oil),或工业用杂酚油,是一种从煤焦油或其他矿物油中蒸馏而成的液体。需要注意的是,尽管本品有时被称为杂酚油或木馏油,它和前两者
  • GAP良好农业规范 (Good Agricultural Practices, GAP)的一套用于农业生产且生产结果与执行者利益相一致的操作规范。对于由哪些方法组成“良好农业规范”,有着很多不同的定义。
  • 亚历山大大帝马其顿的亚历山大三世(古希腊语:Ἀλέξανδρος Γ' ὁ Μακεδών,其名字亚历山大意为“人类的(.mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek
  • GAME OVER?《GAME OVER?》是日本音乐团体AAA的第46张单曲,于2015年4月29日由avex trax发售。
  • 安东尼·戈德布卢姆安东尼·戈德布卢姆 (1983年6月23日出生)Kaggle的创办人与首席执行官。Kaggle为资料科学的比赛平台,为NASA、维基百科 福特和勤业众信,建立预测模型,解决许多实际遇到的问题。
  • 李尚思李尚思(?-?),字从学,山西曲沃县南薰里人,明朝政治人物。嘉靖戊午解元,隆庆戊辰进士,万历年间官至吏部右侍郎。嘉靖三十七年(1558年)戊午科山西乡试解元。隆庆二年(1568年)戊辰科进士,授刑部
  • ATEEZATEEZ(韩语:에이티즈;日语:エイティーズ)是韩国KQ娱乐旗下的八人男子音乐组合,于2018年10月24日出道,成员由星和、弘中、润浩、吕尚、伞、旼琦、友荣、锺浩所组成,并由弘中担任队长
  • LulzSecLulzSec安全(Lulz Security)是2011年出现的一个黑客组织,因在2个月内成功袭击了中央情报局,美国参议院,任天堂,索尼等多家机构而名声大噪。他们发动称为“反安全行动”的一个计划,
  • 东海道惊魂‘东海道お化け道中’(とうかいどうおばけどうちゅう)是1969年(昭和44年)3月21日大映配给公开大映京都撮影所制作的时代剧、特撮映画。同时放映‘卡美拉对大恶兽基龙’。78分。