调日法[1]是南北朝数学家何承天发明的一种系统地寻找最佳逼近(帕德近似)以表示天文数据或数学常数的内插法。据宋史卷七十四:“宋世何承天,更以四十九分之二十六为强率,十七分之九为弱率;于强弱之际,以求日法……自后治历者,莫不因承天法,累强弱之数”调日法后來传入日本。
中国有学者认为祖冲之可能利用何承天的调日法求得圆周率的约率和密率:
- 圆周率的约率为
![{\displaystyle {\frac {22}{7}}\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/900c183feaa95e4ecd6aed0fa4df81037bf1cf80)
- 圆周率的密率为
![{\displaystyle {\frac {355}{113}}\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/091e96cfdc0ba117288ca9cc2e49656cd3d186c8)
何承天的调日法是他对数学的一项重要贡献。一千年以后,15世纪法国数学家尼古拉·休凯(1455年 ━ 1488年),才使用相似的插入法。
已知
则
推而广之:
,其中 m,k 为正整数。
欲求精确分数
使
,其中
为误差界限。
令
为弱率,
为强率。
第一步,根据下列方法求得一个近似分数
![{\displaystyle f_{2}={\frac {a+c}{b+d}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4b2464b43869267a80453707e8168c3bd89fcc8)
如果
,则将
作为新的强分数,和旧弱分数
调日得到近似分数:
![{\displaystyle f_{3}={\frac {a+c+a}{b+d+b}}\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b35b43ed003094b192831b4a154a3f3dca43055a)
如果
, 则将
作为新的弱分数,和旧强分数
调日得到近似分数:
![{\displaystyle f_{3}={\frac {a+c+c}{b+d+d}}\ }](https://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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0530041ac33d0968616a16cd6cc3250333b30da1)
而根据
又有
![{\displaystyle mbd_{1}=kdd_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6e2268d6597f70ef4b876ecf146038d08fc84d1)
代入上面的两个关系式可得:
![{\displaystyle m(bx-a)=k(c-dx)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f77168038f6662b81643a3c08d675f01240f6220)
解关于x的一元一次方程就有结果:
![{\displaystyle x={\frac {ma+kc}{mb+kd}}}](https://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}}}](https://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}}}](https://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}}}](https://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}}}](https://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}}}](https://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...}](https://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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a7ae2e8681c243589f54479d07a6c970445bdef)
分母1,2,3,5,8,13,21,....正是斐波那契数列。
- √2=1.4142135623 ~=
![{\displaystyle {99 \over 70}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f4b8a84ae83a1e1d0bc8deeacc7a3062be49d63)
- √3=1.7320508075 ~=
![{\displaystyle {71 \over 41}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cadf9c35e6a13998083558512abc3ee77522633f)
- √5=2.2360679775 ~=
![{\displaystyle {199 \over 89}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2aea4bb5cd47902afd1e8265a3a40eb193f86923)
- √10=3.162277660 ~=
![{\displaystyle {117 \over 37}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c89ff8d398770a40678e09c25486b930f6c2fca)
=1.059463094~=![{\displaystyle {107 \over 101}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17e7cc5bde56eaaff829c7df6ef7e5b5a98a3a36)
- e=2.718281828 ~=
![{\displaystyle {2721 \over 1001}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e837759091a55a811cc7f9c4f9ea4b59daa94a0)
- 普朗克常数 ~=
x10-34 - 万有引力常数 G~=
x10-11 - 阿伏伽德罗常量~=
x1023 - 玻尔兹曼常数~=
x10-23
- ^ 中國古时将天文数据的小数部分的分母称为「日」,「调日术」即是调节分母的意思。
- ^ 吴文俊 主编 《中国数学史大系》第四卷 123页,ISBN7-300-0425-8/O
- ^ 傅海伦编著 《中外数学史概论》 第四章 刘徽的割圆术 51页 科学出版社,ISBN978-7-03-018477-1
- ^ 吴文俊 主编 《中国数学史大系》第四卷 125页,ISBN7-300-0425-8/O