weiye 老師所提的方法1
即 Democritus 的證明,證明等底同高的三角錐有相同體積之時
則是用到現在稱為 "Cavalieri's principle" 或者「祖氏原理」
可見
http://tinyurl.com/a7hqt7j
另一個方法則是 Eudoxus 用「窮盡法」的證明
在三角錐中,不斷放入三角柱,而一系列的角柱的體積和,將成為一個無窮無比級數
概述如下:若 ABCD 為一三角錐,
取 E 為 AB 中點, F 為 AC 中點, G 為 AD 中點, H 為 BD 中點, I 為 CD 中點
則 AEF-GHI 為一三角柱。
由 E, F 對 BC 作垂足,分別為 J, K
則 EJH-FKI 亦為一三角柱
由以上可將三角錐切割成五部分
AEF-GHI, EJH-FKI, D-GHI (三角錐), H-BEJ (三角錐), I-CFK (三角錐)
角柱的體積可直接計算,而餘下三個三角錐,則以同樣方法無窮盡切割下去
圖形自己畫吧...立體圖,我不太會畫,抱歉囉