李善兰恒等式

✍ dations ◷ 2025-04-26 13:02:54 #代数小作品,中国数学史,组合数学,数学恒等式

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

相关

阴道前庭窝阴道前庭窝（fossa of vestibule of vagina, fossa navicularis），是一个阴道/处女膜到阴唇系带之间的船型凹地。可以在处女膜和小阴唇之间的在巴多林氏管上凹槽组织中可看到小型
行政院农业委员会林务局行政院农业委员会林务局（简称林务局）是中华民国林业事务的最高主管机关，为行政院农业委员会附属机关，主管全国森林、保安林的经营管理及自然生态保育等相关业务之推动及其政策、
加波岛加波岛（朝鲜语：가파도／加波島 Gapa do */?）是一个属于韩国济州特别自治道的岛屿，位于济州岛和马罗岛之间。人口约245人。盛产青稞。面积0.84平方千米，是马罗岛的三倍。最高峰约2
小俄罗斯小罗斯或小俄罗斯（俄语：Малая Русь或Малороссия、乌克兰语：Мала Русь，希腊语：Μικρὰ Ῥωσία）是俄罗斯及俄语历史上曾使用的一个政治和地理术
宅地法《宅地法案》（Homestead Acts），又译《份地法》、《移居法》，是1862年美国联邦政府颁布的针对农业发展，以很低的价格转让或无偿分配国有土地的一系列法案。仅这一系列法案中的第一
氯铂酸氯铂酸，或称六氯铂酸、六水合六氯合铂（IV）酸，是一个无机化合物，其化学式为 H2PtCl6·(H2O)6)。氯铂酸是最快捷容易取得的铂（俗名白金）的化合物。氯铂酸很少在纯净状态取得。氯铂酸
孝康皇后 (明朝)孝康皇后常氏（1355年－1378年），开平王常遇春之女，明朝明兴宗朱标的正妻，追封皇后。洪武四年（1371年）四月，明太祖朱元璋亲册为皇太子妃。1374年，常氏生长子朱雄英，亦是朱标长子。1378年，生
索尔·勒维特所罗门·索尔·勒维特（Solomon "Sol" LeWitt，1928年9月9日－2007年4月8日）是一位美国犹太艺术家，他是观念艺术和极简主义艺术的创始人之一，此外还参与了其他多场现代艺术运动。他
林鼎林鼎（891年－944年），字涣文。福建侯官(今福州市)人，生于明州（今浙江宁波）。林鼎曾仕吴越武肃王钱镠，为观察押牙，后进入文穆王钱元瓘幕府。后唐长兴三年（932年）钱元瓘继位后，林鼎署镇海军
雷丁斯多夫湖坐标：54°06′33″N 10°42′52″E / 54.109257°N 10.714331°E / 54.109257; 10.714331雷丁斯多夫湖（德语：Redingsdorfer See），是德国的湖泊，位于该国北部石勒苏益格-荷尔斯泰因