乘方垛

        太垛迭单数而成。元垛迭根数而成。一乘方垛迭平方而成。二乘方垛迭立方而成。三乘方垛迭三乘方而成。四乘方垛以上可类推 ^①。又太垛递减一迭成元垛。元垛从顶起递去一层迭成一乘方垛。一乘方垛从顶起递去一层迭成二乘方垛。二乘方垛从顶起递去一层迭成三乘方垛。以上可类推。
        乘方垛有层数求积术:
        太垛层数即积数。
        元垛以层数为高 ^②。以三角一乘垛求积术入之 ^③。
        一乘方垛有方一、隅一。方以层数为高,隅以层数减一为高 ^②。各以三角二乘垛求积术入之 ^③。
        二乘方垛有方一、廉四、隅一。方以层数为高,廉以层数减一为高,隅以层数减二为高 ^②。各以三角三乘垛求积术入之 ^③。
        三乘方垛有方一、上廉十一、下廉十一、隅一。方以层数为高,上廉以层数减一为高,下廉以层数减二为高,隅以层数减三为高 ^②。各以三角四乘垛求积术入之 ^③。
        四乘方垛有方一、甲廉二十六、乙廉六十六、丙廉二十六、隅一。方以层为高,甲廉以层减一为高,乙廉以层减二为高,丙廉以层减三为高,隅以层减四为高 ^②。各以三角五乘垛求积术入之 ^③。
        五乘方垛以上递增一廉。各廉之数详左表 ^④,馀法可类推。造表法:每格视上层左、右二格,左格系左斜下第几行,右格系右斜下第几行,各依行数倍之,相并即本格数 ^⑤。
        

清·李善兰《垛积比类》卷二(《则古昔斋算学》)

        [注]①此为形如1 ^p+2 ^p+3 ^p+…+n ^p的级数,p=0,1,2,3,…即为太、元、一乘方、二乘方、三乘方……诸垛。②此即…(r+p-1),令p=1,2,3,…即为元、一乘方、二乘方……诸垛的情形。③此即令p=1,2,3,……即为元、一乘方、二乘方……垛的垛积。
        ④此表为:

        ⑤此指出上下层系数之间的关系

        【评】此为李善兰关于乘方垛求积术的系统论述。
        三角自乘垛者,三角垛逐层皆自乘也 ^①。子垛为一乘垛,逐层自乘之,共积丑垛为二乘垛,逐层自乘之,共积寅垛为三乘垛,逐层自乘之,共积卯垛,以下可类推。
        三角自乘垛有层求积术:
        子垛有方一、隅一,方以层为高,隅以层减一为高 ^②,各以三角二乘垛求积术入之 ^③。
        丑垛有方一、廉四、隅一,方以层为高,廉以层减一为高,隅以层减二为高 ^②,各以三角四乘垛求积术入之 ^③。
        寅垛有方一、甲廉九、乙廉九、隅一,方以层为高,甲廉以层减一为高,乙廉以层减二为高,隅以层减三为高 ^②,各以三角六乘垛求积术入之 ^③。
        卯垛有方一、甲廉十六、乙廉三十六、丙廉十六、隅一。方以层为高,甲廉以层减一为高,乙廉以层减二为高,丙廉以层减三为高,隅以层减四为高 ^②,各以三角八乘垛术入之 ^③。
        辰垛以下可类推。本表平列诸格即各垛方、廉、隅诸数也。
        

清·李善兰《垛积比类》卷三(见《则古昔斋算学》)

        [注]①三角自乘垛的通项为(f _p ^r) ²,其中f _p ^r＝r(r+1)(r+2)…(r+p-1)。令p=1,2,3,……便是子、丑、寅、卯垛。②此即著名的李善兰恒等式:
        ,其中,即二项式定理系数,当其中p=1,2,3,4,……便依次是子、丑、寅、卯垛的情形。③此即李善兰用三角垛求和公式得出的三角自乘垛求和公式:
        
        【评】李善兰恒等式与三角自乘垛求和公式均是李氏驰名中外的成果。李氏未给出该恒等式的证明。于是,证明该恒等式成为二十世纪许多数学家感兴趣的问题。就中以匈牙利数学家杜兰·保尔的证明(1954)比较有名。