SergeLang的球体积-数学学科中心.DOC

球體積公式的探索 西苑高中 阮錫琦 1、前言 一般的中學生常常會遭遇球體積公式，當我們面對中學生在沒有微積分的先備知識之下，如何講述？對數學教師而言，實在是一大挑戰。其實，數學史便提供了許多絕佳的素材，可供數學教師剪裁應用，以下是筆者收集的歷史典故，與各位數學界的先進一起分享。 中國對球體積與球表面積問題，在很早以前就已經出現，譬如在《九章算術》已有給出球體積與球冠面積公式。三國時代的數學家劉徽發現這兩個公式不正確。到了南北朝時代，祖暅在劉徽的工作基礎上，推導出計算球體積正確公式，祖暅之後這方面長期沒有進展。一直到明末清初，梅文鼎利用「劉徽原理」，亦即三維的「出入相補」概念，推出球體積公式，但是，從邏輯上來講證明是有缺陷。後來，清末徐有壬發現了梅氏球體積公式的瑕疵，他重新運用「祖祖阿基米德阿基米德除了利用到力學方法中的槓桿原理，並且將平面視為由平行的直線所組成，這樣的想法相當於後來在十七世紀發展出來的「微元」（infinitesimals）概念，亦即將平面分割成無限多條直線作「細微分割」（indivisibles）。他應用「微元」的概念論證許多面積和體積定理，亦即將平面和立體分別視為（無窮多的）直線與平面所組成阿基米德這樣無窮分割的想法和卡瓦列里（B. Cavalieri，1598-1647）完全相同；甚至他提供獨特的「微元」論述，因此得到許多輝煌的成果，更是間接或直接的影響後來的積分學發展。阿基米德「細微分割」（indivisibles）「微元」的概念「夫疊棋成立積，緣冪勢既同，則積不容異」尤其是命題的推導過程中，蘊藏許多迷人的想法值得欣賞。以下，讓我們一起來探索球體積公式發展的歷史脈絡。 2、古代中西的球體積公式的歷史脈絡 2.1、 古中國的球體積公式 2.1.1劉徽的球體積公式 劉徽（三國魏國，約西元263年），認為π≒3的情況下，正方體與內切圓柱體積比為4：3，但圓柱體積：內切球體積 ≠ 4：3。（圖1）他取底徑與高均等於球直徑的兩個圓柱體，使其互相正交，取其公共部份，稱為牟合方蓋(如圖)，但是，劉徽沒有能夠求出牟合方蓋的體積。他說「敢不闕疑，以俟能言者」，他出問題，等待後人來解題，卻指出了解決球積的正確方向。最重要是牟合方蓋設計本身，表示出劉徽對截面積原理已深刻的認識。將幾何形體無限細分再重整求總和 2.1.2祖暅原理 二百年後，終於被祖沖之（西元429~500）和他的兒子祖現了。祖解決了牟合方蓋的計算問題，並計算出正確的球積公式。李淳風 (公元604–672年)在《九章算術注》，＜少廣章＞ 開立圓術中祖祖將牟合方蓋分成八等分稱為內棋，內棋＋外三棋＝小正立方體（如下圖）。「夫疊棋成立積，緣冪勢既同，則積不容異」，即諸立體凡等高處截面積相等，則體積必相等。取同一水平高度h處截小牟合方蓋和小正立方如圖由勾股定理知等高處內棋水平截面積＝正方形QVXU倒立陽馬水平截面積。又陽馬體積＝小正立方體積，內體積＝小正立方體積 。 V內棋＝V正立方體－V外三祺＝V正立方體＝(D)3＝ ，V牟合方蓋 ＝8V內祺＝D3 V球：V牟合方蓋 ＝3：4 → V球＝ V牟合方蓋 ＝．D3＝ 以” 周三徑一” 的古率→ V球＝V牟合方蓋＝．D3＝πr3 雖然祖暅原理是源自於「牟合方蓋」概念，和陽馬體積公式，但其求法與劉徵完全不同。祖暅不直接分割「牟合方蓋」，而是聚焦於全新的物件（object），「內棋等於八份之一的牟合方蓋；內棋體積＝正方體減去倒立陽馬=正方體」的「間接建構法」。得到簡易的球體積公式。其中值得一提，祖暅將「劉徽原理」推廣至任意長方體皆成立。但是，這重大的數學發現，自祖卡瓦列利原理。」若以現代數學表達式為V球=πr3 其具體作法，俗稱「平衡法」或「槓桿原理」，設r為一個半圓的半徑，為直徑，把這個半圓水平放置。畫出2r×r的外切矩形ABCD和一個邊長為2r的等腰直角△ABE （如圖8），再以為軸旋轉一周得到三個立體：球、圓柱和圓錐。圖形為過中心軸所切截面（如圖8斜線部份） 設，， 現在，從這三個立體中，過F點垂直切出厚度為△x的三個薄片，不妨假設皆為扁平的圓柱，則它們的體積近似為 球：πx(2r–x)△x 圓柱：πr2△x 圓錐：πx2△x 由球和圓錐所割出的相應兩個薄片，把它們的重心吊在M點，使得=2r，則這兩個薄片繞A點的合力矩為 （πx(2r–x)△x＋πx2△x）2r=4πr2x△x …… (1) (1)式的右邊正好是圓柱割出薄片處於原來位置時繞A