调日法[1]是南北朝数学家何承天发明的一种系统地寻找最佳逼近(帕德近似)以表示天文数据或数学常数的内插法。据宋史卷七十四:“宋世何承天,更以四十九分之二十六为强率,十七分之九为弱率;于强弱之际,以求日法……自后治历者,莫不因承天法,累强弱之数”调日法后來传入日本。
中国有学者认为祖冲之可能利用何承天的调日法求得圆周率的约率和密率:
何承天的调日法是他对数学的一项重要贡献。一千年以后,15世纪法国数学家尼古拉·许凯(1455年 ━ 1488年),才使用相似的插入法。
已知 a b < c d {\displaystyle {\frac {a}{b}}<{\frac {c}{d}}}
则 a b < a + c b + d < c d {\displaystyle {\frac {a}{b}}<{\frac {a+c}{b+d}}<{\frac {c}{d}}}
推而广之:
欲求精确分数 f n {\displaystyle f_{n}} 使 | f − f n | < δ {\displaystyle |f-f_{n}|<\delta } ,其中 δ {\displaystyle \delta } 为误差界限。
令 f 0 = a b {\displaystyle f_{0}={\frac {a}{b}}} 为弱率, f 1 = c d {\displaystyle f_{1}={\frac {c}{d}}} 为强率。
第一步,根据下列方法求得一个近似分数
如果 f 2 > f {\displaystyle f_{2}>f} ,则将 f 2 = a + c b + d {\displaystyle f_{2}={\frac {a+c}{b+d}}\ } 作为新的强分数,和旧弱分数 a b {\displaystyle {\frac {a}{b}}\ } 调日得到近似分数:
如果 f 2 < f {\displaystyle f_{2}<f} , 则将 f 2 = a + c b + d {\displaystyle f_{2}={\frac {a+c}{b+d}}\ } 作为新的弱分数,和旧强分数 c d {\displaystyle {\frac {c}{d}}\ } 调日得到近似分数:
反复操作,到 | f − f n | < δ {\displaystyle |f-f_{n}|<\delta } 为止。
另外,还可以直接求m,k的数值,加快逼近速度: 若 a b < x < c d {\displaystyle {\frac {a}{b}}<x<{\frac {c}{d}}} ,且 x − a b = d 1 {\displaystyle x-{\frac {a}{b}}=d_{1}} 以及 c d − x = d 2 {\displaystyle {\frac {c}{d}}-x=d_{2}}
如果有正整数m,k满足: k d m b = d 1 d 2 {\displaystyle {\frac {kd}{mb}}={\frac {d_{1}}{d_{2}}}}
那么就有: x = m a + k c m b + k d {\displaystyle x={\frac {ma+kc}{mb+kd}}}
证明如下:由条件可得
而根据 k d m b = d 1 d 2 {\displaystyle {\frac {kd}{mb}}={\frac {d_{1}}{d_{2}}}} 又有
代入上面的两个关系式可得:
解关于x的一元一次方程就有结果:
何承天调日法被同时代和后代数学家如赵爽,祖冲之,一行等运用。
何承天将 9 17 = 0.529412... {\displaystyle {\frac {9}{17}}=0.529412...\ } 作为朔望月零数部分的弱率,以 26 49 = 0.530612... {\displaystyle {\frac {26}{49}}=0.530612...\ } 作为朔望月零数部分的强率。运用调日法,最后得到 399 752 {\displaystyle {\frac {399}{752}}\ } ,根据他的观测数值0.530585,首先计算d1,d2
寻找满足以下关系的m,k值:
可以令(m,k)=(1,15)
从而得到:
727年唐朝天文学家一行在《大衍历》中用同样的弱率和强率求得 1613 3040 {\displaystyle {\frac {1613}{3040}}}
南北朝数学家祖冲之熟悉调日术,他以 4 11 {\displaystyle {\frac {4}{11}}} 为弱率, 以 7 19 {\displaystyle {\frac {7}{19}}} 为强率,通过调日法得到 144 391 {\displaystyle {\frac {144}{391}}}
何承天以 56 101 {\displaystyle {\frac {56}{101}}} 为弱率,以 5 9 {\displaystyle {\frac {5}{9}}} 为强率,用调日法求得近点月为 417 752 {\displaystyle {\frac {417}{752}}} 。祖冲之也得到高精度的数值 14631 26377 {\displaystyle {\frac {14631}{26377}}}
祖冲之求圆周率约率和密率的方法已失传。有学者认为他用刘徽割圆术求得圆周率的约率和密率 ;也有学者认为祖冲之有可能用何承天的调日法求得圆周率的约率和密率的分数表示式[2]。 祖冲之对调日法是熟悉的,他自己就用过调日法改进何承天近点月 417 752 {\displaystyle {\frac {417}{752}}} 为更加精确的 14631 26377 {\displaystyle {\frac {14631}{26377}}}
取 π ≈ 3.1416 {\displaystyle \pi \approx 3.1416} ,先只考虑小数部分,根据 1 8 < 0.1416 < 1 7 {\displaystyle {\frac {1}{8}}<0.1416<{\frac {1}{7}}} ,用调日法进行计算:
所以可以令(m,k)=(1,15),从而可以得到结果:
3 + 1 × 1 + 1 × 15 1 × 8 + 15 × 7 = 3 + 16 113 = 355 113 {\displaystyle 3+{\frac {1\times 1+1\times 15}{1\times 8+15\times 7}}=3+{\frac {16}{113}}={\frac {355}{113}}}
祖冲之密率 355 113 {\displaystyle {\frac {355}{113}}} 和π之误差为0.0000002668。下一个[來源請求]比之更為精确的分数为 52163 16604 = 3.1415923874 {\displaystyle {\frac {52163}{16604}}=3.1415923874} 误差为 -0.0000002662,分子、分母都比祖冲之密率的分子、分母複雜得多。
祖冲之很可能先用刘徽割圆术求出圆周率。刘徽割圆术计算需要多次开平方运算,例如用八次割圆术得到 π ≈ 3927 1250 = 3.1416 {\displaystyle \pi \approx {\frac {3927}{1250}}=3.1416} [3], 无论分子分母都比祖冲之密率的分子分母复杂,但还不如密率的分数表示准确。用十一次割圆术可得到和密率相当精确但比较复杂的分数,再通过调日法求得准确而又简单的分数式。
调日法后传入日本。日本数学家关孝和(Seki, Takakazu, 1642-1708)在《括要算法》一书中称之为零约术,并用之得出圆周率的近似分数为 355 113 {\displaystyle {\frac {355}{113}}} [4],正是祖冲之的密率。
黄金分割:
用调日法求分数表示:
分母1,2,3,5,8,13,21,....正是斐波那契数列。