簡介
祖亙是南北朝時代杰出的數(shù)學家祖沖之的兒子,字景爍。生卒年代不詳。 祖亙跟其父一樣是一位對數(shù)學做出過重大貢獻的杰出數(shù)學家祖暅之 南朝齊梁間數(shù)學家,梁時任太府卿。
生平
從幼繼承家學,潛心研究天算之術(shù)。但由于戴法興等人的頑強阻擾,在祖沖之生前,始終沒有能夠施行,祖沖之死后,經(jīng)他再三請求,《大明歷》終于在梁武帝天監(jiān)九年正式采用。他還首次得出計算球體體積的正確計算公式!毒耪滤阈g(shù)》正確的解決了圓的面積和圓柱的體積計算方法。但球體的體積公式卻是錯誤的。劉徽雖以指出,也并未完成這一任務,“幕勢即同,則積不容異”,即形狀不同的物體,只要他們等高處得橫截面積相等,那么體積也必然相等。這個計算球體積的公理被稱作“祖式公理”。這一結(jié)論國外在一千年以后才有意大利數(shù)學家卡瓦列里提出,他還制成銅日圭、漏壺等精密觀測儀器,為后世所取法,他的兒子祖皓再傳家學,也長于歷法
興趣
受家庭的影響,尤其是父親的影響,他從小就熱愛科學,對數(shù)學具有特別濃厚的興趣,祖沖之在462年編制《大明歷》就是在祖亙?nèi)谓ㄗh的基礎上完成的!毒Y術(shù)》一書經(jīng)學者們考證,有些條目就是祖暅所作。祖亙終生讀書專心致志,因走路時思考問題所以鬧出了許多笑話。祖亙原理是關(guān)于球體體積的計算方法,這是祖亙一生最有代表性的發(fā)現(xiàn)。
球體積之父
求球的體積,是古代數(shù)學家一個長久未解的問題,祖亙在研究趙爽和劉徽所做的工作的基礎上,發(fā)現(xiàn)了一個原理,即現(xiàn)在所謂的“劉徽原理”:“冪勢相同,則積不容異。”這句話的意思是:“夾在兩個平行平面間的幾何體,如果被平行于這兩個平面的任何平面所截得的截面面積都相等,那么這兩個幾何體的體積相等!崩眠@個原理,他又進一步推算出球體積公式為43πRRR。這個公式比意大利數(shù)學家卡瓦利里推導的公式早了1000多年,這是一個非常了不起的成就。
著作
成就劉徽還著有《漏刻經(jīng)》1卷、《天文錄徑要決》1卷、《天文錄》30卷,但這些著作都已失傳,他還協(xié)助父親修訂了《大明歷》,這部歷法比當時《元嘉歷》更為先進。開曾多次上書朝廷,朝廷于510年正式來用《大明歷》實現(xiàn)了父親生前的遺愿。