調日法
調日法[1]是南北朝數學家何承天發明的一種系統地尋找最佳逼近(帕德近似)以表示天文數據或數學常數的內插法。據宋史卷七十四:「宋世何承天,更以四十九分之二十六為強率,十七分之九為弱率;於強弱之際,以求日法……自後治歷者,莫不因承天法,累強弱之數」調日法後來傳入日本。
中國有學者認為祖沖之可能利用何承天的調日法求得圓周率的約率和密率:
- 圓周率的約率為
- 圓周率的密率為
何承天的調日法是他對數學的一項重要貢獻。一千年以後,15世紀法國數學家尼古拉·休凱(1455年 ━ 1488年),才使用相似的插入法。
何承天調日法原理
編輯已知
則
推而廣之:
- ,其中 m,k 為正整數。
欲求精確分數 使 ,其中 為誤差界限。
令 為弱率, 為強率。
第一步,根據下列方法求得一個近似分數
如果 ,則將 作為新的強分數,和舊弱分數 調日得到近似分數:
如果 , 則將 作為新的弱分數,和舊強分數 調日得到近似分數:
反覆操作,到 為止。
另外,還可以直接求m,k的數值,加快逼近速度: 若 ,且 以及
如果有正整數m,k滿足:
那麼就有:
證明如下:由條件可得
而根據 又有
代入上面的兩個關係式可得:
解關於x的一元一次方程就有結果:
應用
編輯何承天調日法被同時代和後代數學家如趙爽,祖沖之,一行等運用。
朔望月
編輯何承天將 作為朔望月零數部分的弱率,以 作為朔望月零數部分的強率。運用調日法,最後得到 ,根據他的觀測數值0.530585,首先計算d1,d2
尋找滿足以下關係的m,k值:
可以令(m,k)=(1,15)
從而得到:
727年唐朝天文學家一行在《大衍曆》中用同樣的弱率和強率求得
閏周問題
編輯南北朝數學家祖沖之熟悉調日術,他以 為弱率, 以 為強率,通過調日法得到
近點月
編輯何承天以 為弱率,以 為強率,用調日法求得近點月為 。祖沖之也得到高精度的數值
圓周率約率和密率
編輯祖沖之求圓周率約率和密率的方法已失傳。有學者認為他用劉徽割圓術求得圓周率的約率和密率 ;也有學者認為祖沖之有可能用何承天的調日法求得圓周率的約率和密率的分數表示式[2]。 祖沖之對調日法是熟悉的,他自己就用過調日法改進何承天近點月 為更加精確的
取 ,先只考慮小數部分,根據 ,用調日法進行計算:
尋找滿足以下關係的m,k值:
所以可以令(m,k)=(1,15),從而可以得到結果:
祖沖之密率 和π之誤差為0.0000002668。下一個[來源請求]比之更為精確的分數為 誤差為 -0.0000002662,分子、分母都比祖沖之密率的分子、分母複雜得多。
祖沖之很可能先用劉徽割圓術求出圓周率。劉徽割圓術計算需要多次開平方運算,例如用八次割圓術得到 [3], 無論分子分母都比祖沖之密率的分子分母複雜,但還不如密率的分數表示準確。用十一次割圓術可得到和密率相當精確但比較複雜的分數,再通過調日法求得準確而又簡單的分數式。
調日法後傳入日本。日本數學家關孝和(Seki, Takakazu, 1642-1708)在《括要算法》一書中稱之為零約術,並用之得出圓周率的近似分數為 [4],正是祖沖之的密率。
黃金分割:
用調日法求分數表示:
分母1,2,3,5,8,13,21,....正是斐波那契數列。