曹士
曹士是唐代民間天文學家。在780—783年間,他撰成符天曆,這僅是一種民間小歷,似不登大雅之堂,但實際上,卻在曆法史上占有相當重要的地位。
符天曆
符天曆選取唐高宗顯慶五年(660年)為曆元,以這種近距曆元取代傳統的上元法。所謂上元是一種理想的曆元,它要求一系列天文現象同起始於一點,這實際上是不可能的,強求之,就不能不帶有牽強附會的因素,而且自上元到實際求算年之間往往相距極其龐大的年份,所以上元法存在即使計算繁雜,又使計算結果失真的弊端。
曹士的改革
曹士的改革,正是針對這種弊病採取的有效措施。又,傳統曆法的天文數據,一般均以分數表示。對此,曹士選用了萬分法,即取分母為一萬,這即使各天文數據呈一目了然的形式,又使計算便捷。這兩項改革,後為元代授時曆所接受。
開闢了曆法數值表格及其計算公式化的蹊徑
此外,曹士開闢了曆法數值表格及其計算公式化的蹊徑。符天曆對於日躔表及太陽視運動不均勻性改正的計算進行了極重要的改革,建立了太陽實際運行度(V)與平均運行度(M)之間的數學關係式:
式中M為所求日距冬至時刻的天數,亦即度數。該式實質上是劉焯二次差內插法的一種特殊形式,它既具有計算上的簡便性,又具有數學上的嚴密性。它的出現是我國古代曆法體系進一步公式化、數學化的重要標誌。
曹士 - 影響 意義
這種公式化、數學化的趨勢,在邊岡的崇玄歷(892年)中得到了極大的發展。邊岡把曹士上述公式所展示的數學方法,明確歸結為“相減相乘”法,並把該法推廣套用於黃赤道宿度變換、月亮極黃緯和交食等曆法問題的計算中,均建立了相應的算式。不但如此,邊岡還首創了計算每日中午日影長度的二個三次函式式,把傳統的二十四節氣晷影長度表格及其每日晷長的計算公式化了。他還曾定出二個計算太陽視赤緯的算式,(41)係為四次函式式,這就把傳統的二十四節氣太陽視赤緯表格及每日太陽視赤緯的計算公式化了。它們在天文學和數學上都具有很重要的意義。