知识/定理
沈括（北宋，1050）《梦溪笔谈》：隙积术（垛积求和，高阶等差）与会圆术（弓形近似）。
公式
垛积 $S=n\frac{(a+b)}{2}+...$；弓形公式（弧长/矢高近似）。
证明思路
（算法归纳）从累堆容器计数的等差/等差型求和总结出公式。
应用/例子
堆物计数、土木弓形结构计算。
意义/影响
高阶等差级数与插值思想的中国先声；沈括兼通天文地理历算。
所属：四 中世纪·伊斯兰黄金时代 ｜ 难题证明状态 ↔ 数学难题编年
DOXA · 数学编年史 · 知识详情
1050 ｜ 沈括 ｜ 离散·组合 ｜ 突破
沈括（北宋，1050）《梦溪笔谈》：隙积术（垛积求和，高阶等差）与会圆术（弓形近似）。
垛积 $S=n\frac{(a+b)}{2}+...$；弓形公式（弧长/矢高近似）。
（算法归纳）从累堆容器计数的等差/等差型求和总结出公式。
堆物计数、土木弓形结构计算。
高阶等差级数与插值思想的中国先声；沈括兼通天文地理历算。
所属：四 中世纪·伊斯兰黄金时代 ｜ 难题证明状态 ↔ 数学难题编年