牟合方盖(英語:Steinmetz solid)是几何体,是两支等半径圆柱躺在平面上垂直相交的交集,像兩個方形蓋子合在一起,稱作「牟合方蓋」。而其英文名稱是源自於一名數學家查爾斯·普羅透斯·斯泰因梅茨[1],計算出了交集的體積。
但更早之前,阿基米德與祖沖之已經解決了這個問題。他們用不同方法計出球體積是,為圓柱半徑。祖沖之正是计出牟合方蓋体积为,从而推出球体积公式。
由兩個半徑為r的圓柱體交集的部分所形成的牟合方蓋體積為
且表面積為[2][3]
將交集部分平分成8個大小相同的體積。利用積分計算其中的一塊體積的計算方法如下:
發現對軸進行切割,切下來的每一塊都是一厚度為的正方形,高度為的時候其邊長為,因此可以得此塊體積為
因為一個牟合方蓋由8個上述的形體組成,因此牟合方蓋的體積為
考慮圓柱體的算式: 體積為: 有以下限制:
代入後得到
《九章算術》曾認為,球體外切圓柱體積與球體積之比等於正方形與其內切圓面積之比。魏國數學家劉徽在他為《九章算術》作的註釋指出,原書說法不正確,只有「牟合方蓋」(兩支垂直相交圓柱體的交集之體積)與球體積之比,才正好等於正方形與其內切圓的面積之比,即是:
- 球体积:牟合方盖体积=
但劉徽沒有提供牟合方蓋體積公式,也就得不出球體積公式。
一直到南北朝,數學家祖冲之和其子祖暅之才另創新法求出牟合方蓋與球體體積。他們的求法紀錄在唐代李淳風為九章算數作的注解中,流傳至今。
(臣淳风等谨按:祖暅之谓刘徽、张衡二人皆以圆囷为方率,丸为圆率,乃设新法。)祖暅之开立圆术曰:以乘积开立方除之,即立圆径。其意何也?取立方棋一枚,令立枢于左后之下隅,从规去其右上之廉。又合而横规之,去其前上之廉。于是立方之棋分而为四,规内棋一,谓之内棋;规外棋三,谓之外棋。
這段說明的形狀可看做是塊牟合方蓋,外接一立方體;塊牟合方蓋即「內棋」,立方體減去內棋餘部即為「外棋」。
更合四棋,复横断之。以勾股言之,令余高为勾,内棋断上方为股,本方之数,其弦也。勾股之法,以勾幂减弦幂,则余为股幂。若领余高自乘,减本方之幂,余即内棋横断上方之幂也。本方之幂,即外四棋之断上幂。然则余高自乘,即外三棋之断上幂矣。不问高卑,势皆然也。然固有所归同而途殊者尔。而乃控远以演类,借况以析微。
現將內外棋橫向切開。內棋截面是正方形,可用勾股弦定理求出其邊長與圓半徑的關係式。圓半徑(立方體邊長)r,底面到截面高h,則正方形邊長,面積;也就是說外棋截面積為。
按阳马方高数参等者,倒而立之,横截去上,则高自乘与断上幂数,亦等蔫。夫叠棋成立积,缘幂势既同,则积不容异。由此观之,规之外三棋旁蹙为一,即一阳马也。
現以立方體的底面和底面以外一粒頂點作一四角錐(這形狀稱陽馬)。對陽馬距離角錐h處橫向切開,則截面是正方形,面積等於。
祖氏父子在此解釋:所有等高處橫截面積相等的兩個同高立體,其體積也必然相等。這就是今天所稱的「祖暅原理」。套用此定理,
- 外棋截面積=陽馬截面積=
所以外棋體積也等於陽馬體積。
三分立方,则阳马居一,内棋居二可知矣。合八小方成一大方,合八内棋成一合盖。内棋居小方三分之二,则合盖居立方矣三分之二,较然验矣。
《九章算术》已有提到,阳马体积等于其外接立方体积[4],所以內棋體積是立方體的,即。由於內棋是牟合方蓋的,故牟合方蓋體積為
- 。
而球體積即為
- 。
三個軸相互垂直的圓柱體的交集所形成的一個固體的表面,有三條邊相交的頂點和四條邊相交的頂點。這組頂點可以被視為一個菱形十二面體的邊。確定體積和表面積的方法是觀察到三圓柱體可以通過具有三條邊相交的頂點(參見圖表)和六個曲面金字塔(三角形是圓柱體表面的一部分)來重新取樣為正方體。曲面三角形的體積和表面積可以通過類似的方法來確定,如上面對牟合方蓋所做的操作。[2][3]
對三個半徑皆為的圓柱體,其三軸相互垂直所形成的相交部分體積為:
其表面積為:
考慮相交部分的算式:
把相交的部分拆成6個相等的「蓋子」與1個正方體。蓋子分別在正方體的6個面上。
正方體的體積為:每個蓋子的體積為:
因此相交部分的體積為:
- ^ Howard Eves, Slicing it thin, in: David Klarner, The mathematical Gardner, Wadsworth International 1981, S. 111
- ^ 2.0 2.1 埃里克·韦斯坦因. Steinmetz Solid. MathWorld.
- ^ 3.0 3.1 Moore, M. Symmetrical intersections of right circular cylinders. The Mathematical Gazette. 1974, 58 (405): 181–185. JSTOR 3615957. doi:10.2307/3615957.
- ^ 《九章算術》卷第五「商功」,十五問。