我正在阅读钦钦的连分式的英文译本,我可能在第4页的定理1中发现了一个错误。
Khinchin观察到,如果我们将有限连分式$[a_0;a_1,…a_n]$简化为$p/q$,将连分式$[a_1;a_2,…a-n]$简化成$p'/q'$,那么由于$p/q=a_0+\frac1{p'/q'}$,我们可以选择$p$和$q$的值,这样:
$$p=a_0p'+q',\quad q=p'\tag{*}$$
并使用它以$p/q$的形式递归定义有限连分式的标准表示。
Khinchin将$[a_0;a_1,…a_k]$定义为$k$-th收敛的连分数$[a_0;a_1,…a_n]$,其中$n\geq k$。
定理1指出,其中$p_k/q_k$是第$k$次收敛的标准表示:
$$p_k=a_k p_{k-1}+p_{k-2}$$$$q_k=a_k q_{k-1}+q_{k-2}$$
现在,Khinchin为第$r$-次收敛编写了$p'_r/q'_r$。这是我第一次怀疑。。。他不是已经为此写了$pr/qr$吗?然后他说:
根据$(*)$中的公式,$$p_n=q_0p'{n-1}+q'{n-1}$$$$q_n=p'{n-1}$$
什么?这根本不是$(*)$说的!该循环将$[a_0;a_1,…a_n]$与$[a_1;a_2,…a_n]$关联,这里Khinchin试图将$[a_0;a_1,..a_n]$[a_0;a_1,..a_{n-1}]$关联。在我看来,钦钦或译者使用“收敛”这个词是错误的。当使用我上面给出的定义解释“收敛”时,构成定理1基础的递归关系似乎是正确的,但我只验证了$k=2$。