阿基米德的天秤与刘徽的牟合方盖.ppt

槓桿原理與牟合方蓋 淺談體積公式的由來 利用積分 (integration) 利用極限 （limits) 阿基米德（Archimedes） BC 287 - 212 數學之神 我想到了! 古希臘語原文：ευρηκα. (Eureka!) 給我一個支點，我可以撬動地球。 古希臘語原文：δο? μοι που στω και κινο την γην. (Dos moi pou sto kai kino ten gen). 不要碰我的圓！ 原文（古希臘文拉丁字母轉寫）：Noli turbare circulos meos. 槓桿原理 槓桿原理 槓桿原理 槓桿原理 槓桿原理 槓桿原理 槓桿原理 槓桿原理 畢氏定理 / 勾股定理 / 商高定理 劉徽 牟合方蓋（Mouhefanggai ） 牟合方蓋（Mouhefanggai ） 祖暅 祖暅，字景爍，中國南北朝時期數學家、天文學家、將領。祖沖之的兒子。 《南史》稱祖暅『少傳家業，究極精微，有巧思。』 516年被囚，525年徐州太守釋之。 與祖沖之合著《綴術》，惜北宋時已失傳。 歐多克索斯 – 阿基米德公理 『窮竭法』 從一個數量減去至少一半，再從剩下來的數量又減去至少一半，這樣做下去，經過多次後，剩下來的數量可以任意地小。 e.g. ? = 0.1，由 100 出發，可以得到數量小於 ? 嗎？ 利用窮竭法求圓形面積 利用窮竭法求圓形面積 利用劉徽祖暅原理求橢圓面積 「夫疊 ?成立積，緣冪勢既同，則積不容異。 」 劉徽祖暅原理 「夫疊 ?成立積，緣冪勢既同，則積不容異。 」 h1 h1 h2 h2 劉徽祖暅原理 same_pyramid.ggb Volume I : Volume II = Area I : Area II same_box.ggb 牟合方蓋體積 : 球體體積 = 紅色正方形面積 :黃色圓形面積 = (2a)2 : ?a2 a = 4 : ? 球體體積 = 牟合方蓋體積 劉徽：「欲陋形措意，懼失正理，敢不厥疑，以俟能言者。」 祖沖之 摘自《數學歷史典故》梁宗巨 著 3pyramids.ggb 3pyramids.wg3 證明：錐體體積 = h r r r L 形面積 = h h 正方形面積 = mouhefanggai.ggb h r r h 由劉徽祖暅原理 大正方體體積 – (1/8)牟合方蓋體積 = 錐體體積 牟合方蓋體積 = 牟合方蓋體積 = 球體體積 = 牟合方蓋體積 = = 後話 40 10 4 1 0.4 0.1 0.03 [ABCD] 圓面積之半 證明 [ABCD] = 大正方形面積之半 大正方形面積 圓面積 大正方形面積之半 圓面積之半 [ABCD] 圓面積之半 [ABCD] 圓面積之半 設 a1 =圓面積 ? [ABCD] 4[AEB] a1 之半 證明 [AEB] = 長方形面積之半 長方形面積 弓形 AEB 面積 長方形面積之半 弓形 AEB 面積之半 [AEB] 弓形 AEB 面積之半 4[AEB] 4*弓形 AEB 面積之半 4[AEB] a1 之半 設 a2 = 圓面積 ? [AEBFCGDH] a1 =圓面積 ? [ABCD] =圓面積 ? 圓內接正 4 邊形 a2 =圓面積 ? 圓內接正 8 邊形 (注：a2 = a1 ? 比 a1 之半大的量) a3 =圓面積 ? 圓內接正 16 邊形 (注：a3 = a2 ? 比 a2 之半大的量) a4 =圓面積 ? 圓內接正 32 邊形 (注：a4 = a3 ? 比 a3 之半大的量) … 根據窮竭法，an 可以任意小。 即：圓形和其圓內接正多邊形（ 2n 邊形）之面積相差可以任意小。 阿基米德稱：圓面積 = 圓周 ? 半徑 ? 2 阿基米德之證明 (窮竭法 + 歸謬法) 設 A = 圓周 ? 半徑 ? 2 如果圓面積 A 設 B = 圓面積 ? A 由窮竭法，必存在 an B 即，必存在圓內接正多邊形，使 圓面積 ? 該圓內接正多邊形面積 B 圓面積 ? 該圓內接正多邊形面積 圓面積 ? A 圓內接正多邊形面積 A 但，圓內接正多邊形面積 = (1/2) ? k ? 邊長 ? N = (1/2) ? k ? 周界 (1/2) ? 半徑 ? 圓周 得，圓內接正多邊形面積 A 產生矛盾！ 如果圓面積 A 同樣產生矛盾！ 所以圓面積必等於 A 窮竭法 + 歸謬法 古希臘的證明手法： 利用窮遏法 利用窮遏法 * Mr. JOHN NG (2007-05-15) 聖芳濟書院數學周講座 公式 b h h b r 正六邊形面積 = 正 n 邊形面積 = = 圓形面積 = = = r 6 4 4 6 4 6 4 6 6