**垛积术**，也称**隙积术**，实质上是一种高阶等差级数求和问题。由北宋沈括首開先河，南宋杨辉和元朝朱世杰多有贡献。

沈括在《梦溪笔谈》卷十八《技艺》篇首创隙积术，是用來研究某種物品按規律堆積起來求其總數問題。隙积是指酒甕之类的物品，往上堆積成台形之狀，求其總數，這是二階等差級數求和問題。至於垛積是堆垛求積的意思。垛积术是杨辉繼沈括的隙積術之後，開創高阶等差级数的研究。元代朱世杰則將垛积术的研究推向最高峰，他使用的招差術实际上是解决了任意高阶等差级数的有限项求和问题。

沈括隙积术
-----

北宋沈括在《梦溪笔谈》卷十八《技艺》篇，首创隙积术：*隙積者，謂積之有隙者，如累棋、層壇及灑家積罌之類。雖似覆鬥，四面皆殺，緣有刻缺及虛隙之處，用芻童法求之，常失於數少。餘思而得之，用爭童法為上位；下位別列：下廣以上廣減之，余者以高乘之，六而一，並入上位。假令積罌：最上行縱橫各二罌，最下行各十二罌，行行相次。先以上二行相次，率至十二，當十一行也。以芻童法求之，倍上行長得四，並入下長得十六，以上廣乘之，得之三十二；又倍下行長得二十四，並入上長，得二十六，以下廣乘之，得三百一十二；並二位得三百四十四，以高乘之，得三千七百八十四。重列下廣十二，以上廣減之，餘十，以高乘之，得一百一十，並入上位，得三千八百九十四；六而一，得六百四十九，此為罌數也。芻童求見實方之積，隙積求見合角不盡，益出羨積也*

一个层罈，共h层，上面{\displaystyle a\times b}，下底{\displaystyle c\times d}，

这是二阶等差级数求和问题：

{\displaystyle ab+(a+1)(b+1)+(a+2)(b+2)+...+(a+h-1)(b+h-1)}
沈括给出的公式 {\displaystyle {\frac {h}{6}}((2a+c)b+(2c+a)d+(d-b))}

杨辉垛积术
-----

杨辉在《详解九章算法》《商功》篇阐述了方垛，刍甍垛，刍童垛，和三角垛。

### 方垛

*果子以垛，下方十四个，问计几何？*
*术曰：下方加一，乘下方为平积。又加半为高，以乘下方为高积。如三而一*.

{\displaystyle 1+4+9+16....n^{2}={\frac {1}{3}}n(n+1)(n+{\frac {1}{2}})={\frac {1}{6}}n(n+1)(2n+1)}。
### 刍童垛

即长方形立体垛,上面长n个,宽m个,高h个:

{\displaystyle 4\*2+5\*3+6\*4+7\*5+\dots +(n+h-1)\*(m+h-1)={\frac {h}{6}}((2n+n+h-1))\*m+(2(n+h-1)+n)}
### 三角垛

*三角垛下广一面十二个，上尖，高十二个，问：计几何?*

术曰：下广加一，乘下广。平积，下广加二乘之，立高方积，如六而一。
{\displaystyle 1+3+6+10+\dots {\frac {n(n+1)}{2}}={\frac {1}{6}}n(n+1)(n+2)}

朱世杰垛积术
------

### 三角垛

《四元玉鉴》 《果垛叠藏》第一问：

"今有三角垛果子一所，值钱一贯三百二十文，只云从上一个值钱二文，次下层层每个累贵一文，问底子每面几何？"

答曰：九个。
术曰：立天元一为每个底子，如积求之，得三万一千六百八十为益实十为从方，二十一为从上廉，一十四为下廉，三为从隅，三桀方开之，得每个底子，合问。

三角垛级数

{\displaystyle 1+3+6+10+...+{\frac {1}{2}}n(n+1)}

三角垛自上而下，每边的果子数是：

{\displaystyle 1,2,3,4,5,6,\dots ,n}

自上而下，每个果子值钱：

{\displaystyle 2,3,4,5,6,7,\dots ,(n+1)}

三角果子垛价值V由下列级数表示

{\displaystyle v=2+9+24+50+90+147+224+\dots +{\frac {1}{2}}n(n+1)^{2}}

这是一个已知级数和，倒求 n 的数学问题。

朱世杰用天元术，令天元一 为每底边的果子数{\displaystyle x=n}

朱世杰用的求和公式：{\displaystyle v={\frac {1}{2\*3\*4}}(3x+5)\*x\*(x+1)\*(x+2)}

  

今v=1320得

3\*x^{4}+14x^{3}+21x^{2}+10x-31680=0

解之，得x=n=9。

v=2+9+24+50+90+147+224+324+450=1320。

### 三角落一形垛

{\displaystyle 1\*2\*3+2\*3\*4+3\*4\*5+\dots +n(n+1)(n+2)={\frac {1}{4}}n(n+1)(n+2)(n+3)}

### 四角落一形垛

{\displaystyle 1\*2\*3+2\*3\*5+3\*4\*7+\dots +n(n+1)(2n+2)={\frac {1}{2}}n(n+1)^{2}(n+2)}

### 岚峰形垛

{\displaystyle 1+6+18+\dots +n^{2}(n+1)={\frac {1}{24}}n(n+1)(n+2)(3n+1)}

### 三角岚峰形垛

{\displaystyle 6+48+180+\dots +n^{2}(n+1)(n+2)={\frac {1}{20}}n(n+1)(n+2)(n+3)(4n+1)}

### 撒星更落一形垛

{\displaystyle 1+5+15+35+70+\dots +{\frac {1}{24}}n(n+1)(n+2)(n+3)={\frac {1}{120}}n(n+1)(n+2)(n+3)(n+4)}

### 三角撒星更落一形垛

{\displaystyle 1+6+21+56+126+\dots +{\frac {1}{120}}n(n+1)(n+2)(n+3)(n+4)={\frac {1}{720}}n(n+1)(n+2)(n+3)(n+4)(n+5)}

### 四角岚峰形垛

{\displaystyle 6+90+336+900+\dots +n^{2}(n+1)(2n+1)={\frac {1}{10}}n(n+1)(n+2)(n(4n+1+{\frac {1}{2}})+(4n+{\frac {1}{2}}))}

参考文献
----

1. ↑  吴文俊主编 《中国数学史大系》 第五卷 北宋 沈括 73页 ISBN 7-303-04926-6/O
2. 1 2  吴文俊主编 《中国数学史大系》 第五卷 南宋 杨辉 592页
3. ↑  万有文库第二集 朱世杰撰 罗士琳草 （中） 卷下之一 六四六-六四八
4. 1 2  《李俨.钱宝琮科学史全集》卷3 294页 辽宁教育出版社. 1998

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
中國數學史 |
| --- |
|  |
| 上古至西汉 | 
* 幻方
* 十进位制
* 九九表
* 算筹
* 筹算
* 算表
* 算数书
* 《周髀算經》
* 《九章算术》
* 张苍
* 耿寿昌
* 《许昌算术》
* 《杜忠算术》
* 勾股定理
* 开方术
* 盈不足术

 |
|  |
| 东汉三国 | 
* 张衡
* 赵爽
* 刘洪
* 徐岳
* 《数术记遗》
* 王蕃
* 刘徽
	+ 割圆术
* 《海岛算经》
* 勾股容方
* 出入相补

 |
|  |
| 晋隋唐五代 | 
* 张邱建
	+ 《张邱建算经》
* 夏侯阳
	+ 《夏侯阳算经》
* 何承天
	+ 调日法
* 甄鸾
* 祖冲之
* 开差幂
* 牟合方盖
* 王孝通
	+ 《缉古算经》
* 李淳风
* 僧一行
* 大衍历
* 明算科
* 重差术
* 《孙子算经》
* 《五经算术》
* 《五曹算经》
* 《算经十书》

 |
|  |
| 两宋 | 
* 沈括
* 李籍
* 刘益
	+ 《议古根源》
* 贾宪
	+ 贾宪三角形
	+ 增乘开平方法
	+ 增乘开立方法
	+ 《黄帝九章算术细草》
* 秦九韶
	+ 秦九韶算法
	+ 《数书九章》
	+ 大衍求一术
* 杨辉
	+ 杨辉纵横图
	+ 幻圆
	+ 《杨辉算法》
		- 《乘除通變算寶》
		- 《田畝比類乘除捷法》
		- 《續古摘奇算法》
	+ 《詳解九章算法》
	+ 《日用算法》
* 《九章算法纂類》
* 递增三乘开四次方术

 |
|  |
| 辽金元 | 
* 张行简
* 天元术
* 李冶
	+ 《测圆海镜》
	+ 《益古演段》
* 《授时历》
	+ 郭守敬
	+ 王恂
* 朱世
	+ 《算学启蒙》
	+ 《四元玉鉴》
	+ 垛积术
* 招差术
* 赵友钦
	+ 《革象新书》
	+ 割圆术
* 金历法
* 耶律楚材历法
* 阿拉伯幻方
* 马拉加天文台

 |
|  |
| 明 | 
* 《丁巨算法》
* 《算法全能集》
* 《透帘细草》
* 吴敬
	+ 《九章详注比类算法大全》
* 王文素
	+ 《新集通證古今算學寶鑑》
* 朱載堉
	+ 十二平均律
	+ 《算学新说》
	+ 《嘉量算經》
* 珠算
	+ 算盘
	+ 《盘珠算法》
* 柯尚迁
	+ 《数学通轨》
* 程大位
	+ 《算法統宗》
		- 格子乘法
* 徐光启
	+ 译《几何原本》前6卷
	+ 《崇祯历书》
* 《算法全能集》
* 《详明算法》
* 《通源算法》

 |
|  |
| 清 | 
* 薛凤祚
* 李子金
	+ 《算法通义》
* 梅文鼎
* 年希尧
	+ 《视学》
* 戴震
* 李湟
* 沈钦裴
* 《畴人传》
* 《数理精蕴》
* 明安图
	+ 《割圜密率捷法》
	+ 割圆连比例
	+ 明安图变换
	+ 卡塔兰数
* 吴烺
* 焦循
	+ 《加减乘除释》
* 李锐
	+ 《开方说》
* 汪莱
	+ 《衡斋算学》
* 孔广森
* 董祐誠
	+ 《割圆比例术图解》
	+ 项名达
* 《象数一原》
* 張敦仁
	+ 《求一算术》
* 戴煦
	+ 《求表捷术》
* 王韬
* 李善兰
	+ 李善兰恒等式
	+ 《则古昔斋算学》
	+ 译《几何原本》后9卷
* 华蘅芳
	+ 《决疑数学》
* 丁取忠
	+ 《白芙堂算学从书》
* 时曰醇
	+ 《百鸡术衍》
* 同文馆
	+ 《同文馆算学课艺》

 |
|  |
| 现代 | 
* 胡明复
* 熊庆来
* 何鲁
* 段子燮
* 李俨
* 姜立夫
* 陈苏学派
	+ 陈建功
	+ 苏步青
* 陈省身
* 钱宝琮
* 江泽涵
* 华罗庚
	+ 《數論導引》
	+ 《堆叠素数论》
* 王元
* 潘承洞
* 许宝騄
* 陈景润
* 丘成桐
* 吴文俊
	+ 吴消元法
* 廖山涛
* 张益唐

 |

 |