2
$\开始组$

我正在阅读钦钦的连分式的英文译本,我可能在第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$。

$\端组$

2个答案2

重置为默认值
2
$\开始组$

这个问题原来是我的一个非常简单的阅读错误。

事实上,Khinchin的$p'_r/q'_r$不是原始连分数的$r^{rm-th}$收敛

$$[a_0;a_1,…a_n]$$

但对于连续分数:

$$[a_1;a_2,…,a_n]$$

在这种情况下,他的主张是显而易见的。

$\端组$
1
$\开始组$

他说,在第3页中间,没有编号

$$[a_0;a_1,\ldots,a_n]=[a_0;r_1]=a_0+\frac{1}{r_1}$$这里,$$r_1=[a_1;a_2,\ldots,a_n]$$

这与您的(*)一致,这是第4页的公式(6)。

同时,多年来我已经很好地利用了这些,我建议您习惯使用这个俚语,将收敛写成一些$\sqrt N.$。注意前两个收敛是如何(合法的)$0/1$和非法的$1/0.$这里,对于收敛$p/q,$下面的整数是$p^2-13q^2$

$$\sqrt{13}$$

$$ \开始{数组}{ccccccccCCccccccccccccc}& & 3 & & 1 & & 1 & & 1 & & 1 & & 6 & & 1 & & 1 & & 1 & & 1 & & 6 & \\\压裂{0}{1}和\压裂{1}{0}&&\压裂{3}{1{和&\压裂}4}{1}&&\裂缝{7}{2}&&\frac{11}{3}&&\frac{18}{5}&&\\frac{119}{33}&\frac{137}{38}&\压裂{180}&&压裂{4287}{1189}\\\\& 1 & & -4 & & 3 & & -3 & & 4 & & -1 & & 4 & & -3 & & 3 & & -4 & & 1 & & -4 \结束{数组}$$

$\端组$
6
  • $\开始组$ 是的,但在定理1的证明中应用公式(6)的情况似乎不是这样。 $\端组$
    – 杰克·M
    评论 2015年5月12日21:01
  • $\开始组$ @JackM,重要的是定理1。我建议你练习正数的平方根,正如我在答案中编辑的那样,然后看看你是否可以返回并证明(6)。找到上面的“数字”,即3所需的一切;1,1,1,1,6,1,1,1,1,6是一个计算器,它取一个正实数,取其小数部分,取其倒数,并将其作为新实数报告。“数字”,$a_n,$是其中的整数部分。 $\端组$ 评论 2015年5月12日21:09
  • $\开始组$ @与此同时,杰克姆,我认为钦钦在每一个细节上都是正确的,但如果结果证明是错误的,我可以接受。我知道如何用手做这些,以及如何用它们证明定理。 $\端组$ 评论 2015年5月12日21:12
  • $\开始组$ @WillJagy,你计算的底线是什么?当我计算收敛时,我会写下除那部分以外的所有内容,我不知道你在那里做什么。明确地说,我指的是线:1,-4,3,-3。。。 $\端组$ 评论 2015年7月1日2:40
  • 1
    $\开始组$ 啊,我现在明白你是怎么解释的了。谢谢您。它是代数整数$p+q\sqrt{13}$的数字域范数。 $\端组$ 评论 2015年7月1日3:04

你必须登录来回答这个问题。

不是你想要的答案吗?浏览标记的其他问题.