查看“︁牟合方盖”︁的源代码

{{refimprove|time=2015-05-30T23:37:22+00:00}}
[[File:Bicylinder Steinmetz solid.gif|right|frame|牟合方蓋]]
'''牟合方盖'''（{{lang-en|Steinmetz solid}}）是[[几何体]]，是两支等[[半径]][[圆柱]]躺在[[平面 (数学)|平面]]上[[垂直]][[相交]]的[[交集]]，像兩個方形蓋子合在一起，稱作「牟合方蓋」。而其英文名稱是源自於一名數學家[[查爾斯·普羅透斯·斯泰因梅茨]]<ref>Howard Eves, Slicing it thin, in: David Klarner, The mathematical Gardner, Wadsworth International 1981, S. 111</ref>，計算出了交集的體積。

但更早之前，[[阿基米德]]與[[祖沖之]]已經解決了這個問題。他們用不同方法計出球體積是<math display="inline">\frac{4}{3} \pi r^3</math>，<math display="inline">r</math>為圓柱半徑。[[祖沖之]]正是计出牟合方蓋体积为<math display="inline">\frac{16}{3} r^3</math>，从而推出球体积公式。

==性質==
由兩個半徑為{{mvar|r}}的圓柱體交集的部分所形成的牟合方蓋體積為
[[File:Steinmetz-cc.svg|300px|right|thumb|牟何方蓋的形成]]
<math display="block">V = \frac{16}{3} r^3</math>
且表面積為<ref name="mathworld">{{mathworld | urlname = SteinmetzSolid | title = Steinmetz Solid}}</ref><ref name="moore">{{cite journal
 | author = Moore, M.
 | title = Symmetrical intersections of right circular cylinders
 | jstor = 3615957
 | journal = {{le|The Mathematical Gazette}}
 | volume = 58
 | issue = 405
 | pages = 181–185
 | year = 1974
 | doi = 10.2307/3615957}}</ref>
<math display="block">A = 16 r^2.</math>
===以體積公式證明===
[[File:利用體積公式計算牟合方蓋體積.png|thumb|299x299像素|利用體積公式計算牟合方蓋的體積]]
將交集部分平分成8個大小相同的體積。利用積分計算其中的一塊體積的計算方法如下：

發現對<math display="inline">z</math>軸進行切割，切下來的每一塊都是一厚度為<math display="inline">\mathrm{d}z</math>的正方形，高度為<math display="inline">z</math>的時候其邊長為<math display="inline">\sqrt{r^2-z^2}</math>，因此可以得此塊體積為

<math display="block">\begin{align}
V = \int^{r}_{0}((\sqrt{r^2-z^2})^2)\mathrm{d}z 
  = \int^{r}_{0}(r^2-z^2)\mathrm{d}z 
  = \bigg[r^2z-\frac{z^3}{3}\bigg|^r_0 
  = r^3-\frac{1}{3} r^3 
  = \frac{2}{3}r^3 
\end{align}</math>

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

<math display=block>8V=\frac{16}{3}r^3</math>

=== 以多重積分證明 ===
考慮圓柱體的算式：
<math display=block>\begin{align}
  x^2+z^2 &= r^2 \\
  x^2+y^2 &= r^2
\end{align}</math>
體積為：
<math display="block">\begin{align}
\iiint_V \mathrm{d}z\,\mathrm{d}y\,\mathrm{d}x
\end{align}</math>有以下限制：

<math display="block">\begin{array}{rcccl}
  -\sqrt{r^2-x^2} &\leqslant& z &\leqslant& \sqrt{r^2-x^2} \\[4pt]
  -\sqrt{r^2-x^2} &\leqslant& y &\leqslant& \sqrt{r^2-x^2} \\[4pt]
  -r &\leqslant& x &\leqslant& r
\end{array}</math>

代入後得到

<math display="block">\begin{align}
V &= \int_{-r}^{r}\int_{-\sqrt{r^2-x^2}}^{\sqrt{r^2-x^2}}\int_{-\sqrt{r^2-x^2}}^{\sqrt{r^2-x^2}} \mathrm{d}z\,\mathrm{d}y\,\mathrm{d}x \\[2pt]
  &= 8r^3-\frac{8r^3}{3} \\[2pt]
  &= \frac{16r^3}{3}
\end{align}</math>

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

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

{{quote|（臣淳风等谨按：祖暅之谓刘徽、张衡二人皆以圆囷为方率，丸为圆率，乃设新法。）祖暅之开立圆术曰：以乘积开立方除之，即立圆径。其意何也？取立方棋一枚，令立枢于左后之下隅，从规去其右上之廉。又合而横规之，去其前上之廉。于是立方之棋分而为四，规内棋一，谓之内棋；规外棋三，谓之外棋。}}

這段說明的形狀可看做是<math>\tfrac{1}{8}</math>塊牟合方蓋，外接一立方體；<math>\tfrac{1}{8}</math>塊牟合方蓋即「內棋」，立方體減去內棋餘部即為「外棋」。

{{quote|更合四棋，复横断之。以勾股言之，令余高为勾，内棋断上方为股，本方之数，其弦也。勾股之法，以勾幂减弦幂，则余为股幂。若领余高自乘，减本方之幂，余即内棋横断上方之幂也。本方之幂，即外四棋之断上幂。然则余高自乘，即外三棋之断上幂矣。不问高卑，势皆然也。然固有所归同而途殊者尔。而乃控远以演类，借况以析微。}}

現將內外棋橫向切開。內棋截面是[[正方形]]，可用[[勾股弦定理]]求出其邊長與圓半徑的關係式。圓半徑（立方體邊長）r，底面到截面高h，則正方形邊長<math display="inline">\sqrt{r^2-h^2}</math>，面積<math display="inline">r^2-h^2</math>；也就是說外棋截面積為<math display="inline">r^2-(r^2-h^2)=h^2</math>。

{{quote|按阳马方高数参等者，倒而立之，横截去上，则高自乘与断上幂数，亦等蔫。夫叠棋成立积，缘幂势既同，则积不容异。由此观之，规之外三棋旁蹙为一，即一阳马也。}}

現以立方體的底面和底面以外一粒[[頂點 (幾何)|頂點]]作一四角錐（這形狀稱'''陽馬'''）。對陽馬距離角錐h處橫向切開，則截面是正方形，面積等於<math>h^2</math>。

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

::外棋截面積＝陽馬截面積＝<math>h^2</math>

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

{{quote|三分立方，则阳马居一，内棋居二可知矣。合八小方成一大方，合八内棋成一合盖。内棋居小方三分之二，则合盖居立方矣三分之二，较然验矣。}}

《九章算术》已有提到，阳马体积等于其外接立方体积<math display="inline">\tfrac{1}{3}</math><ref>[[wikisource:zh:九章算術#.E4.B9.9D.E7.AB.A0.E7.AE.97.E8.A1.93.E3.80.80.E5.8D.B7.E7.AC.AC.E4.BA.94.E3.80.80.E5.95.86.E5.8A.9F|《九章算術》卷第五「商功」]]，十五問。</ref>，所以內棋體積是立方體的<math display="inline">\tfrac{2}{3}</math>，即<math display="inline">\tfrac{2 r^3}{3}</math>。由於內棋是牟合方蓋的<math display="inline">\tfrac{1}{8}</math>，故牟合方蓋體積為
:<math display="inline">\frac{2}{3}\times8=\frac{16}{3}r^3</math>。
而球體積即為
:<math display="inline">\frac{16}{3}r^3\times\frac{\pi}{4}=\frac{4}{3}\pi r^3</math>。

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

對三個半徑皆為<math display="inline">r</math>的圓柱體，其三軸相互垂直所形成的相交部分體積為：

<math>V_3(r, r, r)=8(2-\sqrt{2})r^3</math>

其表面積為：

<math>A_3(r,r,r)=24(2-\sqrt{2})
r^2</math>

=== 以體積公式證明 ===
考慮相交部分的算式：
[[File:三圓柱體相交體積計算分解圖.png|thumb|304x304px|三圓柱體相交體積計算分解圖]]
[[File:三圓柱體相交體積中正方體積計算.png|thumb|241x241px|三圓柱體相交體積中正方體積計算]]
<math display="block">\begin{align}
  x^2+z^2 &= r^2 \\
  x^2+y^2 &= r^2 \\
  y^2+z^2 &= r^2
\end{align}</math>

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

正方體的體積為：<math display="block">V_{\text{cube}} = (\sqrt{2}r)^3</math>每個蓋子的體積為：<math display="block">\begin{align}
V_{\text{cap}} &= \int_{\sqrt{2}r/2}^r 4(r^2-z^2) ~\mathrm{d}z \\
        &= 4\bigg[r^{2}z-\frac{z^3}{3}\bigg|_{\sqrt{2}r/2}^{r}\bigg] \\
        &= \frac{1}{3}(8-5\sqrt{2})r^3 
\end{align}</math>
[[File:三圓柱體相交體積中蓋子體積計算.png|thumb|282x282px|三圓柱體相交體積中蓋子體積計算]]
因此相交部分的體積為：

<math display="block">\begin{align}
V_{\text{tricylinder}} &= V_{\text{cube}} + 6 V_{\text{cap}} \\
                &= (\sqrt{2}r)^3 + 6[\frac{1}{3}(8-5\sqrt{2})r^3] \\
                &= 8(2-\sqrt{2})r^3 
\end{align}</math>

==註釋==
<small><references/></small>
{{中国数学史}}
==參考資訊==
*[http://episte.math.ntu.edu.tw/articles/mm/mm_01_4_01/page2.html 祖沖之、球體公式及其他] {{Wayback|url=http://episte.math.ntu.edu.tw/articles/mm/mm_01_4_01/page2.html |date=20160305011927 }}，EpisteMath | 數學知識
*[https://web.archive.org/web/20130801160715/http://elib.lib.tsinghua.edu.cn:9080/mathdl/htm/donghua/liyuan.htm 《缀术》中的开立圆术]，中文數學數字圖書館
*[http://sketchup.google.com/3dwarehouse/details?mid=b170ed71b798d500a6b083aba0e2034a 於Google SketchUp 3D 模型庫的「牟合方蓋」立體模型] {{Webarchive|url=https://archive.today/20130124181306/http://sketchup.google.com/3dwarehouse/details?mid=b170ed71b798d500a6b083aba0e2034a |date=2013-01-24 }}


[[Category:中國古代數學]]
[[Category:立体几何|N]]