牟合方盖

牟合方盖（）是几何体，是两支等半径圆柱躺在平面上垂直相交的交集，像兩個方形蓋子合在一起，稱作「牟合方蓋」。而其英文名稱是源自於一名數學家查爾斯·普羅透斯·斯泰因梅茨Howard Eves, Slicing it thin, in: David Klarner, The mathematical Gardner, Wadsworth International 1981, S. 111，計算出了交集的體積。

但更早之前，阿基米德與祖沖之已經解決了這個問題。他們用不同方法計出球體積是，為圓柱半徑。祖沖之正是计出牟合方蓋体积为，从而推出球体积公式。

性質
由兩個半徑為的圓柱體交集的部分所形成的牟合方蓋體積為
300px|right|thumb|牟何方蓋的形成

且表面積為

以體積公式證明
將交集部分平分成8個大小相同的體積。利用積分計算其中的一塊體積的計算方法如下：

發現對軸進行切割，切下來的每一塊都是一厚度為的正方形，高度為的時候其邊長為，因此可以得此塊體積為

因為一個牟合方蓋由8個上述的形體組成，因此牟合方蓋的體積為

 以多重積分證明 
考慮圓柱體的算式：

體積為：
有以下限制：

代入後得到

初出
《九章算術》曾認為，球體外切圓柱體積與球體積之比等於正方形與其內切圓面積之比。魏國數學家劉徽在他為《九章算術》作的註釋指出，原書說法不正確，只有「牟合方蓋」（兩支垂直相交圓柱體的交集之體積）與球體積之比，才正好等於正方形與其內切圓的面積之比，即是：
球体积：牟合方盖体积＝
但劉徽沒有提供牟合方蓋體積公式，也就得不出球體積公式。

推導
一直到南北朝，數學家祖冲之和其子祖暅之才另創新法求出牟合方蓋與球體體積。他們的求法紀錄在唐代李淳風為九章算數作的注解中，流傳至今。

這段說明的形狀可看做是塊牟合方蓋，外接一立方體；塊牟合方蓋即「內棋」，立方體減去內棋餘部即為「外棋」。

現將內外棋橫向切開。內棋截面是正方形，可用勾股弦定理求出其邊長與圓半徑的關係式。圓半徑（立方體邊長）r，底面到截面高h，則正方形邊長，面積；也就是說外棋截面積為。

現以立方體的底面和底面以外一粒頂點作一四角錐（這形狀稱陽馬）。對陽馬距離角錐h處橫向切開，則截面是正方形，面積等於。

祖氏父子在此解釋：所有等高處橫截面積相等的兩個同高立體，其體積也必然相等。這就是今天所稱的「祖暅原理」。套用此定理，

外棋截面積＝陽馬截面積＝

所以外棋體積也等於陽馬體積。

《九章算术》已有提到，阳马体积等于其外接立方体积《九章算術》卷第五「商功」，十五問。，所以內棋體積是立方體的，即。由於內棋是牟合方蓋的，故牟合方蓋體積為
。
而球體積即為
。

三圓柱體相交
450px|thumb|生成三圓柱體相交的表面：首先切割兩個圓柱體（紅色，藍色）。所生成的牟合方蓋被第三個（綠色）圓柱體切割。
三個軸相互垂直的圓柱體的交集所形成的一個固體的表面，有三條邊相交的頂點和四條邊相交的頂點。這組頂點可以被視為一個菱形十二面體的邊。確定體積和表面積的方法是觀察到三圓柱體可以通過具有三條邊相交的頂點（參見圖表）和六個曲面金字塔（三角形是圓柱體表面的一部分）來重新取樣為正方體。曲面三角形的體積和表面積可以通過類似的方法來確定，如上面對牟合方蓋所做的操作。

對三個半徑皆為的圓柱體，其三軸相互垂直所形成的相交部分體積為：

其表面積為：

 以體積公式證明 
考慮相交部分的算式：

把相交的部分拆成6個相等的「蓋子」與1個正方體。蓋子分別在正方體的6個面上。

正方體的體積為：每個蓋子的體積為：
因此相交部分的體積為：

註釋

參考資訊
祖沖之、球體公式及其他 ，EpisteMath | 數學知識
《缀术》中的开立圆术，中文數學數字圖書館
於Google SketchUp 3D 模型庫的「牟合方蓋」立體模型 

Category:中國古代數學
N