**出入相补**（又称**以盈补虚**）积是古中国数学中一条用于推证几何图形的面积或体积的基本原理。其内容有四；

1. 一个几何图形，可以切割成任意多块任何形状的小图形，总面积或体积维持不变=所有小图形面积或体积之和。
2. 一个几何图形，可以任意旋转，倒置、移动、复制，面积或体积不变。
3. 多个几何图形，可以任意拼合，总面积或总体积不变。
4. 几何图形与其复制图形拼合，总面积或总体加倍。

出入相补原理最早由三国时代魏国数学家刘徽创建。"勾股各自乘，并，而开方之，即弦。勾自乘为朱方，股自乘为青方，另**出入相补**，各从其类，因就其余不移动也，合成弦方之幂，开方除之，即弦也。"

等腰三角形面积
-------

等腰三角形面积
等腰三角形面积第二种算法
《九章算术·方田》第25问："今有圭田，广十二步，正纵二十一步。问为田几何？
答曰：一百二十六步。"
《九章算术·方田》第26问："又有圭田，广五步二分步之一，纵八步三分步之二。问：为田几何？"
答曰：二十三步六分步之五。
术曰：半广以乘正纵。
圭田指等腰三角形田。《九章算术》给出求圭田面积的公式：

圭田面积=半广以乘正纵。半广=等腰三角形底长之半，正纵指等腰三角形的高。

等腰三角形面积= {\displaystyle {1 \over 2}} x 等腰三角形底长x等腰三角形的高。
刘徽从出入相补予以证明：

刘徽注曰：半广者**以盈补虚**为直田也。亦可半正纵以乘广。按半广乘纵，以取中平之数。故广纵相乘为积步。

如图ABC 为等腰三角形田，BC 为等腰三角形底宽(广)，DC 为 半广 = {\displaystyle {\frac {DC}{2}}}，AD 为等腰三角形的高(正纵)。

以盈补虚为直田：将三角形ABC按中线等分为两个相等的三角形ABD,ADC。将实三角形ABD 经平移和1800 转动，填补虚三角形ADC，成为一个长方形AECD。三角形ABC的面积=长方形AECD的面积=DC（半广） x AD（正纵）。
圭田面积=半广以乘正纵=DC x AD。

第二法：从三角形ABC底线作长方形BCFE，其高度BE= 三角形高度AD/2。从三角形顶点A作垂直平分线AD，与长方形顶线EF相交于M点。将盈三角形AML移动,补上虚三角形CFL，将盈三角形AMK移动，补上虚三角形BEK，即得实长方形EFCB。所以三角形ABC的面积=长方形EFCB面积=半正纵以乘广。

任意三角形面积
-------

出入相补
如图三角形ABC底长为L，高为H,求三角形面积。

从B点画垂直线BD，将三角形ABC切割成两个直角三角形ABD、BCD
复制三角形ABD为ABE，倒置其上：
复制三角形BCD为BCF，倒置其上：
长方形ACFE面积=三角形1，2，3，4之和，
但三角形3面积=三角形1面积，三角形4面积=三角形2面积，
所有长方形ACFE面积=HxL=2X(三角形1+三角形2)=2X三角形ABC，
所有三角形ABC面积= HxL/2。

直角梯形面积
------

今有邪田……术曰：并两邪而半之，以乘正纵若广
又可半正纵若广
《九章算术·方田》第27问

今有邪田一头广三十步，一头广四十二步，正纵六十步。问，为田几何？
答曰：九亩一百四十四步
《九章算术·方田》第28问：
又有邪田，正广六十五步，一畔纵一百步，一畔纵七十二步。问，为田几何？
答曰：二十三亩七十步。
术曰：并两邪而半之，以乘正纵若广。又可半正纵若广，以并，亩法而一。
邪田即斜田，即一边直角一边斜的梯田。如图邪田ABCD。求面积时将两个邪田合併，成为一个长方形GBHD，从长方形正中作垂直线平分EF，将长方形等分为二。将盈三角形MCF移补虚三角形MAE，得实长方形EBFD。

由于以盈补虚，邪田ABCD面积=长方形EBFD面积=邪田正纵x(邪田上边长度+邪田下边长度)/2。

第二种方法："又可半正纵若广，以并"：在邪田正纵中点作平行线EF；将上半部ABEF与下半步EFCD合併，成为长方形。

邪田ABCD面积=长方形GFDB面积=(AB+CD)\*FD=(AB+CD)\*BD/2。

梯形面积
----

中分箕田则为两邪田
又可并踵舌，半正踵以乘之
《九章算术方田》第29问：

今有箕田，舌广二十步，踵广五十步，正纵一百三十五步。问：为田几何？
答曰：四十六亩二百三十二步半。
术曰：并踵舌而半之，以乘正纵。亩法而一。
刘徽注曰：中分箕田则为两邪田，故其术相似。又可并踵舌，半正踵以乘之。
箕田即正梯形田。
第一法：
将梯田ABCD就正中线截为两个邪田EBDF和AECF，将AECFD倒转移动到右边，与EBDF合并成为长方形EF'E'F。梯田ABCD面积=长方形EF'E'F面积=((梯田上边长度+梯田下边长度)/2) X 梯田高度。

第二法：将梯田ABCD就半高处作水平线EF，将ABCD截为两个梯形ABFE，EFDC。将上截ABFED倒转，和EFDC合并为四边形EE'AC，再从左边截出三角形ECG，移动到右边，并成长方形EE'G'G。
梯田ABCD面积=长方形EE'G'G面积=(梯形上边长度+梯形下边长度) \* 梯形高度之半。

内接正十二边形面积
---------

内接正十二边形面积= 3R2
以六觚之一面乘半径，因而三之，得十二觚之幂
刘徽计算圆形内接正十二边形面积的公式："以六觚之一面乘半径，因而三之，得十二觚之幂"。

如图 BC为内接正六边形的一边，HC为正十二边形的一边，圆的半径为AH。

刘徽公式： 以内接六边形一边BC 的长度 X 圆的半径AH X 3=内接正十二边形面积。
如圆半径=1，则内接正十二边形面积=3
利用出入相补容易证明刘徽公式。

作长方形FGED， 其面积= BC x AH。
用三角形AHC补虚三角形AGC，又以三角形CMH补虚三角形CEH，得正方形AGEH，
正方形AGEH面积=两个三角形AHC面积。
因此长方形FGED面积=2X 正方形AGEH面积=4X三角形AHC面积。
内接正十二边形面积=12 X三角形AHC 面积 = 3 X 方形FGED面积 =3X 正六边形边长 X 半径。
推广为 圆内接2N 边形的面积 = {\displaystyle {\frac {N}{2}}} x半径 x N边形一边的长度。

刘徽还计算出半径一尺圆形内接正96边形面积=313.9344方寸，内接正192边形面积=314.1024方寸

梯形立体体积
------

梯形堤体积
《九章算术》卷第五商功："今有堤下广二丈，上广八尺，高四尺，袤一十二丈七尺。问：积几何？"

刘徽术文："并上下广而半之者，以盈补虚，得中平之广，以高若深乘之，得一头之立幂，又以袤乘之，得立实之积。"

参考文献
----

1. ↑  刘徽注 《九章算术》卷第九

* 吴文俊主编 《中国数学史大系》第三卷 第一章 第二节 刘徽的出入相补原理 146-152；186-189 ISBN 7-303-04557-0/O

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

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

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

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

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

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

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

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

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

 |

 |