李善兰恒等式

✍ dations ◷ 2025-11-30 07:42:08 #代数小作品,中国数学史,组合数学,数学恒等式

李善兰恒等式为组合数学中的一个恒等式，由中国清代数学家李善兰于1859年在《垛积比类》一书中首次提出，因此得名。

有幂级数和概率两种证明方法。

${\binom {n+k}{k}}^{2}=\sum _{j=0}^{k}{\binom {k}{j}}^{2}{\binom {n+2k-j}{2k}}$ ${\binom {n+k}k}^2=\sum_{j=0}^k {\binom kj}^2 \binom {n+2k-j}{2k}$

其中 ${\binom {k}{l}}={\frac {k!}{l!(k-l)!}}$ ${\binom {k}l}=\frac{k!}{l!(k-l)!}$

李善兰恒等式是Saalschütz's theorem（英语：Generalized hypergeometric function#Saalschütz's theorem）的一个整数特例。

${}_{3}F_{2}(a,b,-n;c,1+a+b-c-n;1)={\frac {(c-a)_{n}(c-b)_{n}}{(c)_{n}(c-a-b)_{n}}}.$ ${}_{3}F_{2}(a,b,-n;c,1+a+b-c-n;1)={\frac {(c-a)_{n}(c-b)_{n}}{(c)_{n}(c-a-b)_{n}}}.$

$\sum _{j=0}^{k}{\binom {k}{j}}^{2}{\binom {n+2k-j}{2k}}={\frac {(n+2k)!}{(2k)!n!}}\sum _{j=0}^{\infty }{\frac {(-k)^{(j)}(-k)^{(j)}(-n)^{(j)}}{(1)^{(j)}(-n-2k)^{(j)}j!}}={\frac {(n+2k)!}{(2k)!n!}}{}_{3}F_{2}(-k,-k,-n;1,-n-2k;1)$ $\sum _{j=0}^{k}{\binom {k}{j}}^{2}{\binom {n+2k-j}{2k}}={\frac {(n+2k)!}{(2k)!n!}}\sum _{j=0}^{\infty }{\frac {(-k)^{(j)}(-k)^{(j)}(-n)^{(j)}}{(1)^{(j)}(-n-2k)^{(j)}j!}}={\frac {(n+2k)!}{(2k)!n!}}{}_{3}F_{2}(-k,-k,-n;1,-n-2k;1)$

$={\frac {(n+2k)!(1+k)_{n}(1+k)_{n}}{(2k)!n!(1)_{n}(1+2k)_{n}}}={\frac {(n+2k)!(n+k)!(n+k)!(2k)!}{(2k)!n!k!k!n!(n+2k)!}}={\binom {n+k}{k}}^{2}$ $={\frac {(n+2k)!(1+k)_{n}(1+k)_{n}}{(2k)!n!(1)_{n}(1+2k)_{n}}}={\frac {(n+2k)!(n+k)!(n+k)!(2k)!}{(2k)!n!k!k!n!(n+2k)!}}={\binom {n+k}{k}}^{2}$

相关

头重脚轻头重脚轻（Lightheadedness）也称为头昏目眩，是头晕时常见，令人不悦的感觉，常伴随着可能会昏倒的感觉。头重脚轻的感觉可能是短期或长期的，偶尔也可能是慢性病。当时也可能会出现所
潘诺尼亚卢森尼亚语潘诺尼亚卢森尼亚语（руски язик）是一种居住在塞尔维亚西北部（巴奇卡地区）和克罗地亚东部的潘诺尼亚卢森尼亚人使用的卢森尼亚语方言。潘诺尼亚卢森尼亚语属于东斯拉夫
自由、平等、博爱自由、平等、博爱（法语：Liberté, Égalité, Fraternité，发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans U
毛管蚜科毛管蚜科（Greenideidae）是蚜总科下的一个科。
柳宗元柳宗元（773年－819年11月28日），字子厚，河东（今山西运城）人，唐代著名文学家、思想家，唐宋八大家之一。参加永贞革新失败，被贬为永州司马。为当道者嫉恨，除短暂奉召入京外，终生未再北还。因
305医院中国人民解放军军徽中国人民解放军第三〇五医院，位于北京市西城区文津街甲13号，是中央军委联合参谋部直属单位，三级甲等医院。中国人民解放军第三〇五医院成立于1969年。地址位
三河地区三河，中国古地名。三河指河东、河内、河南。河东大约相当于现在山西的临汾、运城；河内郡大约相当于现在河南的焦作、济源、新乡、安阳、鹤壁；河南不是现在的河南省，而是河南洛阳
胡世宁《明良真像》之胡世宁像，明·佚名绘胡世宁（1470年－1531年），字永清，号静菴，浙江仁和（今杭州市）人，明朝政治人物，弘治癸丑进士，嘉靖初累官兵部尚书。胡世宁为人性情刚直不畏强权，且善于用兵
思勉原创奖思勉原创奖是华东师范大学为纪念史学家吕思勉而创立的人文学术著作奖项，每两年颁发一次，表扬具有原创性的学术成果。提名奖：章培恒、骆玉明《中国文学史新著》提名奖：范伯群《中
绵誉右翼近支族长（嘉庆十八年～道光十五年）宗人府右宗人（嘉庆二十五年～道光十五年）右翼前锋统领（道光三年～？年）正蓝旗汉军都统（道光六年～十五年）镶红旗蒙古都统（署任，道光七年～？年）镶蓝旗汉军