《初等数论》13.4节习题8的解答

证明：如果$C_k=\frac{p_k}{q_k}$是$\sqrt{d}$的简单连分数展开式的收敛子，那么$|p_k^2-d{q}_k^2|<1+2\sqrt{d}$.

思路：已知$p_k^2-d{q}_k^2=(-1{)}^{k-1}{Q}_{k+1}$，那么可以是否可以求得$Q_{k+1}$的取值范围，然而可知的是${\alpha }_k=\frac{P_k+\sqrt{d}}{Q_k}>0,{\alpha }_k^{\prime }=\frac{P_k-\sqrt{d}}{Q_k}\in (-1,0)$，因为${\alpha }_k,k\in Z_{+}$是纯循环的,从而可得${\alpha }_k-{\alpha }_k^{\prime }=\frac{2\sqrt{d}}{Q_k}>0\Rightarrow Q_k>0$，又

$Q_{k+1}=\frac{d-P_{k+1}^2}{Q_k}\Rightarrow P_{k+1}=\sqrt{d-Q_k{Q}_{k+1}}<\sqrt{d}$
$Q_{k+1}\le Q_k{Q}_{k+1}=d-P_{k+1}^2<d$

没有得出一个更好的上界，故而尝试采用逆推，遇到什么就证明什么

证：

$|p_k^2-d{q}_k^2|=|p_k-q_k\sqrt{d}||p_k+q_k\sqrt{d}|$

$=q_k^2|C_k-\sqrt{d}||C_k+\sqrt{d}|<1+2\sqrt{d}$

$\iff |C_k-\sqrt{d}||C_k+\sqrt{d}|<(1+2\sqrt{d})q_k^2$

$\iff C_k^2<(1+2\sqrt{d})q_k^2+d$

$\because {\forall }_{k\in Z_{+},j\in Z_{+}}{C}_{2k-1}>C_{2k+1},C_{2(j+1)}<C_{2j},C_{2k-1}>C_{2j}$

$\therefore \max (C_0,C_1,...)=C_1$

$\therefore \iff C_k^2<C_1^2=(a_0+\frac{1}{a_1}{)}^2<(\sqrt{d}+1{)}^2=1+2\sqrt{d}+d=(1+2\sqrt{d})+d\le (1+2\sqrt{d})q_k^2+d$

$\therefore$得证

经过反思后，发现上面证明有个致命的错误：

$|C_k-\sqrt{d}||C_k+\sqrt{d}|<(1+2\sqrt{d})q_k^2$

下面给出严格证明：

$|p_k^2-d{q}_k^2|=q_k^2|C_k-\sqrt{d}||C_k+\sqrt{d}|$

$<q_k^2\times \frac{1}{q_k{q}_{k+1}}\times |C_k+\sqrt{d}|$

$<q_k^2\times \frac{1}{q_k^2}\times |C_k+\sqrt{d}|$

$<C_k+\sqrt{d}$

$\le C_1+\sqrt{d}$

$=a_0+\frac{1}{a_1}+\sqrt{d}<\sqrt{d}+1+\sqrt{d}=1+2\sqrt{d}$

∴ ∀ k ∈ Z + ∪ { 0 } ∣ Q k ∣ < 1 + 2 d \therefore \forall_{k \in Z_+ \cup \{ 0 \}} |Q_k| < 1 + 2\sqrt{d} ∴∀k∈Z+​∪{0}​∣Qk​∣<1+2d ​