博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
数论概论(Joseph H.Silverman) 定理39.1 连分数的递归公式
阅读量:6931 次
发布时间:2019-06-27

本文共 1398 字,大约阅读时间需要 4 分钟。

连分数递归公式:设

\begin{align*}
\frac{p_n}{q_n}=[a_0,a_1,\cdots,a_n]=a_0+\dfrac{1}{a_{1}+\dfrac{1}{a_2+\dfrac{1}{\ddots
+\dfrac{1}{a_n}}}}
\end{align*}

其中$a_0,a_1,a_2,\cdots$视为变量而不是特定的值,则分子$p_0,p_1,p_2,\cdots$由递归公式

\begin{equation}
p_0=a_0,p_1=a_1a_0+1,p_n=a_np_{n-1}+p_{n-2}(n\geq 2)
\end{equation}
给出,而分母$q_0,q_1,q_2,\cdots$由递归公式
\begin{equation}
q_0=1,q_1=a_{1},q_n=a_nq_{n-1}+q_{n-2}(n\geq 2)
\end{equation}
给出.

 

证明:使用数学归纳法.当$n=0$时,$\frac{p_0}{q_0}=a_0$.此时,可以令$p_0=a_0,q_0=1$.设当$n=k$时,递推式成立,则即此时可以令

\begin{equation}\label{eq:1111111111}
p_k=a_kp_{k-1}+p_{k-2}
\end{equation}

\begin{equation}\label{eq:11111111111}

q_k=a_kq_{k-1}+q_{k-2}
\end{equation}
则$n=k+1$时,我们把\ref{eq:1111111111}和\ref{eq:11111111111}中的$a_k$用$a_k+\frac{1}{a_{k+1}}$代替.可得
\begin{equation}\label{eq:222}
p_{k+1}=(a_k+\frac{1}{a_{k+1}})p_{k-1}+p_{k-2}
\end{equation}且
\begin{equation}\label{eq:22}
q_{k+1}=(a_k+\frac{1}{a_{k+1}})q_{k-1}+q_{k-2}
\end{equation}
\ref{eq:222}即
\begin{equation}\label{eq:1224}
p_{k+1}=p_k+\frac{p_{k-1}}{a_{k+1}}
\end{equation}
\ref{eq:22}即
\begin{equation}\label{eq:1225}
q_{k+1}=q_k+\frac{q_{k-1}}{a_{k+1}}
\end{equation}
将\ref{eq:1224}和\ref{eq:1225}的右边都乘以$a_{k+1}$,$\frac{p_{k+1}}{q_{k+1}}$的值不会变.因此变为
\begin{equation}
p_{k+1}=a_{k+1}p_k+p_{k-1}
\end{equation}且

\begin{equation}

q_{k+1}=a_{k+1}q_k+q_{k-1}
\end{equation}

根据数学归纳法,命题得证.

转载于:https://www.cnblogs.com/yeluqing/archive/2012/11/22/3827651.html

你可能感兴趣的文章
[Unity3d]制作打包并载入AssetBundle
查看>>
Excel直接转图片
查看>>
iOS静态库的编译
查看>>
JAVA基础中关于double进制问题的解析
查看>>
Android 图片透明度处理代码
查看>>
邮件服务器问题--邮件积压、传递延迟解决方法
查看>>
Maven2整合集成IntelliJ IDEA创建Web项目
查看>>
实战postfix邮件发送
查看>>
U盘如何量产成USB-CDROM
查看>>
shell批量增删改查百库百表(mysql)
查看>>
网路游侠:日志审计系统与SOC的区别
查看>>
无处不在的网络与中国IPv9
查看>>
hexo
查看>>
云场景实践研究第85期:墨迹天气
查看>>
一个SAP开发人员的2017总结
查看>>
7216:Minecraft
查看>>
上接稳扎稳打Silverlight(20) - 2.0通信之WebClient, 以字符串的形式上传/下载数据
查看>>
perl连接mysql的例子
查看>>
windows server 2008虚拟化技术一览
查看>>
webpack2 实践
查看>>