調日法[1]是南北朝數學家何承天發明的一種系統地尋找最佳逼近(帕德近似)以表示天文數據或數學常數的內插法。據宋史卷七十四:「宋世何承天,更以四十九分之二十六為強率,十七分之九為弱率;於強弱之際,以求日法……自後治歷者,莫不因承天法,累強弱之數」調日法後來傳入日本。
中國有學者認為祖沖之可能利用何承天的調日法求得圓周率的約率和密率:
- 圓周率的約率為
![{\displaystyle {\frac {22}{7}}\ }](//wikimedia.org/api/rest_v1/media/math/render/svg/900c183feaa95e4ecd6aed0fa4df81037bf1cf80)
- 圓周率的密率為
![{\displaystyle {\frac {355}{113}}\ }](//wikimedia.org/api/rest_v1/media/math/render/svg/091e96cfdc0ba117288ca9cc2e49656cd3d186c8)
何承天的調日法是他對數學的一項重要貢獻。一千年以後,15世紀法國數學家尼古拉·休凱(1455年 ━ 1488年),才使用相似的插入法。
何承天調日法原理
已知
則
推而廣之:
,其中 m,k 為正整數。
欲求精確分數
使
,其中
為誤差界限。
令
為弱率,
為強率。
第一步,根據下列方法求得一個近似分數
![{\displaystyle f_{2}={\frac {a+c}{b+d}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/b4b2464b43869267a80453707e8168c3bd89fcc8)
如果
,則將
作為新的強分數,和舊弱分數
調日得到近似分數:
![{\displaystyle f_{3}={\frac {a+c+a}{b+d+b}}\ }](//wikimedia.org/api/rest_v1/media/math/render/svg/b35b43ed003094b192831b4a154a3f3dca43055a)
如果
, 則將
作為新的弱分數,和舊強分數
調日得到近似分數:
![{\displaystyle f_{3}={\frac {a+c+c}{b+d+d}}\ }](//wikimedia.org/api/rest_v1/media/math/render/svg/63a859bdc478187cc28b91a90a64c4feb77cde25)
反覆操作,到
為止。
另外,還可以直接求m,k的數值,加快逼近速度:
若
,且
以及
如果有正整數m,k滿足:
那麼就有:
證明如下:由條件可得
![{\displaystyle {\begin{aligned}bd_{1}&=bx-a\\dd_{2}&=c-dx\end{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/0530041ac33d0968616a16cd6cc3250333b30da1)
而根據
又有
![{\displaystyle mbd_{1}=kdd_{2}}](//wikimedia.org/api/rest_v1/media/math/render/svg/e6e2268d6597f70ef4b876ecf146038d08fc84d1)
代入上面的兩個關係式可得:
![{\displaystyle m(bx-a)=k(c-dx)}](//wikimedia.org/api/rest_v1/media/math/render/svg/f77168038f6662b81643a3c08d675f01240f6220)
解關於x的一元一次方程就有結果:
![{\displaystyle x={\frac {ma+kc}{mb+kd}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/74882db310fd2140f900ffa56f81936da801f1ad)
應用
何承天調日法被同時代和後代數學家如趙爽,祖沖之,一行等運用。
朔望月
何承天將
作為朔望月零數部分的弱率,以
作為朔望月零數部分的強率。運用調日法,最後得到
,根據他的觀測數值0.530585,首先計算d1,d2
![{\displaystyle {\begin{aligned}d_{1}&=0.530585-0.529412&=0.001173\\d_{2}&=0.530612-0.530585&=0.000027\end{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/0283673a565fefec0532afe95f6b3bb89a4e6061)
尋找滿足以下關係的m,k值:
![{\displaystyle {\begin{aligned}{\frac {49k}{17m}}&={\frac {1173}{27}}\\{\frac {k}{m}}&={\frac {1173\times 17}{49\times 27}}&\approx {}15.07\ldots \end{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/57dca4b3f7b236136947c9382dfd95014f30d15d)
可以令(m,k)=(1,15)
從而得到:
![{\displaystyle {\frac {1\times 9+15\times 26}{1\times 17+15\times 49}}={\frac {399}{752}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/be2a7fb7a518204c5d3e6dc5341e36f389fb067c)
727年唐朝天文學家一行在《大衍曆》中用同樣的弱率和強率求得
閏周問題
南北朝數學家祖沖之熟悉調日術,他以
為弱率,
以
為強率,通過調日法得到
近點月
何承天以
為弱率,以
為強率,用調日法求得近點月為
。祖沖之也得到高精度的數值
圓周率約率和密率
祖沖之求圓周率約率和密率的方法已失傳。有學者認為他用劉徽割圓術求得圓周率的約率和密率 ;也有學者認為祖沖之有可能用何承天的調日法求得圓周率的約率和密率的分數表示式[2]。 祖沖之對調日法是熟悉的,他自己就用過調日法改進何承天近點月
為更加精確的
取
,先只考慮小數部分,根據
,用調日法進行計算:
![{\displaystyle {\begin{aligned}d_{1}&=0.1416-0.125&=0.0166\\d_{2}&=0.142857-0.1416&=0.001257\end{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/04caa15fcd2b34c96cc0f86a74a0f3e695dadb7f)
尋找滿足以下關係的m,k值:
![{\displaystyle {\begin{aligned}{\frac {7k}{8m}}={\frac {0.0166}{0.001257}}\\{\frac {k}{m}}={\frac {8\times 0.0166}{7\times 0.001257}}&\approx {}15.09\ldots \end{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/a0dd4cd4f294b19042e2c77f10e69645b9588f72)
所以可以令(m,k)=(1,15),從而可以得到結果:
祖沖之密率
和π之誤差為0.0000002668。下一個[來源請求]比之更為精確的分數為
誤差為 -0.0000002662,分子、分母都比祖沖之密率的分子、分母複雜得多。
祖沖之很可能先用劉徽割圓術求出圓周率。劉徽割圓術計算需要多次開平方運算,例如用八次割圓術得到
[3], 無論分子分母都比祖沖之密率的分子分母複雜,但還不如密率的分數表示準確。用十一次割圓術可得到和密率相當精確但比較複雜的分數,再通過調日法求得準確而又簡單的分數式。
調日法後傳入日本。日本數學家關孝和(Seki, Takakazu, 1642-1708)在《括要算法》一書中稱之為零約術,並用之得出圓周率的近似分數為
[4],正是祖沖之的密率。
黃金分割:
![{\displaystyle \varphi ={\frac {{\sqrt {5}}+1}{2}}\approx 1.6180339887...}](//wikimedia.org/api/rest_v1/media/math/render/svg/42adaee0a9b3207b2972a016ca895730fd9a7def)
用調日法求分數表示:
![{\displaystyle {\frac {1}{1}},{\frac {2}{1}},{\frac {3}{2}},{\frac {5}{3}},{\frac {8}{5}},{\frac {13}{8}},{\frac {21}{13}},{\frac {34}{21}},{\frac {55}{34}},{\frac {89}{55}},{\frac {144}{89}},{\frac {233}{144}},{\frac {377}{233}},{\frac {610}{377}},{\frac {987}{610}},{\frac {1597}{987}},{\frac {2584}{1597}},{\frac {4181}{2584}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/5a7ae2e8681c243589f54479d07a6c970445bdef)
分母1,2,3,5,8,13,21,....正是斐波那契數列。
其他
- √2=1.4142135623 ~=
![{\displaystyle {99 \over 70}}](//wikimedia.org/api/rest_v1/media/math/render/svg/3f4b8a84ae83a1e1d0bc8deeacc7a3062be49d63)
- √3=1.7320508075 ~=
![{\displaystyle {71 \over 41}}](//wikimedia.org/api/rest_v1/media/math/render/svg/cadf9c35e6a13998083558512abc3ee77522633f)
- √5=2.2360679775 ~=
![{\displaystyle {199 \over 89}}](//wikimedia.org/api/rest_v1/media/math/render/svg/2aea4bb5cd47902afd1e8265a3a40eb193f86923)
- √10=3.162277660 ~=
![{\displaystyle {117 \over 37}}](//wikimedia.org/api/rest_v1/media/math/render/svg/8c89ff8d398770a40678e09c25486b930f6c2fca)
=1.059463094~=![{\displaystyle {107 \over 101}}](//wikimedia.org/api/rest_v1/media/math/render/svg/17e7cc5bde56eaaff829c7df6ef7e5b5a98a3a36)
- e=2.718281828 ~=
![{\displaystyle {2721 \over 1001}}](//wikimedia.org/api/rest_v1/media/math/render/svg/3e837759091a55a811cc7f9c4f9ea4b59daa94a0)
- 普朗克常數 ~=
x10-34
- 萬有引力常數 G~=
x10-11
- 阿伏伽德羅常量~=
x1023
- 玻爾茲曼常數~=
x10-23
參考文獻
中國古時將天文數據的小數部分的分母稱為「日」,「調日術」即是調節分母的意思。
傅海倫編著 《中外數學史概論》 第四章 劉徽的割圓術 51頁 科學出版社,ISBN978-7-03-018477-1
吳文俊 主編 《中國數學史大系》第四卷 125頁,ISBN7-300-0425-8/O