李善兰恒等式

✍ dations ◷ 2025-08-27 00:29:44 #代数小作品,中国数学史,组合数学,数学恒等式

李善兰恒等式为组合数学中的一个恒等式，由中国清代数学家李善兰于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}$

相关

宜浏片宜浏片，赣语九个方言片之一。赣语宜春片，或称之为宜浏片。主要分布在赣西和赣西北以及湖南同萍乡毗邻的两个县市。包括江西的万载县、宜丰县、上高县、高安市、渝水区、樟树市
克利福德代数克利福德代数（Clifford algebra），又称几何代数（Geometric algebra），是综合了内积和外积两种运算，在几何和物理中在很多应用的一门数学学科。克利福德代数是复数、四元数和外代数的
票贴票贴为一种金融用语，支票贴现简称。企业往来常以支付远期支票付款，而企业可能遇到一种困境是应收账款票据甚多在手，但偏偏需要支付现金急用，否则可能资金断裂，此时有银行或民间金
虎尾机场战役虎尾机场战役，是1947年二二八事件，发生于云林县虎尾镇的一场战役。1947年3月1日晚间，天马茶房的消息传到虎尾后，虎尾闹区的虎尾座附近开始一阵骚动，街上开始发生本省人与外省人的
艾薇薇艾薇薇（1989年3月30日－2011年5月4日）中国江苏人，知名模特儿和世界杯宝贝。艾薇薇16岁就因为家庭贫寒而离开家庭，一边打工挣钱一边上学，大专毕业后在福州工作，随后去上海发展，签约聚
帕特里克·斯图尔特帕特里克·斯图尔特爵士，OBE（Sir Patrick Stewart，1940年7月13日－），英国电影、电视剧和舞台剧演员，曾获得艾美奖和金球奖提名，他还是哈德斯菲尔德大学的名誉校长。在将近50年的时间
环蕃环蕃是由一个或多个芳环和一条或多条碳链或仅为一个键组成的环外有环的多环烃型有机化合物。详见蕃命名法。
桑加蒙间冰期桑加蒙间冰期（英语：Sangamonian Stage或Sangamon interglacial）是一个用于北美洲的更新世的一个间冰期，得名于美国桑加蒙县，是距今最近的间冰期，距今约7.5万到12.5万年前。
中国科学院上海应用物理研究所中国科学院上海应用物理研究所（英语：Shanghai Institute of Applied Physics, Chinese Academy of Sciences）为专门从事民用非动力核技术研究的中国国有科研机构，以光子科学、核
佩斯领导力业绩模型佩斯领导力业绩模型是一个以财务业绩来区分领导者的领导力模型，它与关注领导者人格，行为技能和商业胜任力的两类传统领导力模型有着显著区别。该模型由泰德·普林斯博士于2002