引入:在小学的时候已经学习了分数,并且我们知道76是真分数,710是假分数,173是带分数,而23115是繁分数。而将这些组合起来构成一个新的分数,这种分数被称为连分数。形式如下,但是研究的时候只研究b1=b2=....=bn=1这一情况:
a1+a2+a3+a4+...b3b2b1
连分数的基本性质
定义1:(连分数)
形如如下形式的分数就被称为连分数,但是这种写法比较繁琐,所以就使用[a1,a2,...,an]来表示如下形式的连分数,由于b1=b2=...=bn=1因此不用关注b
a1+a2+a3+⋱+an1111
例子:将6729转换为连分数的形式。
- 首先将6729取倒数0+29671,此时就是一个假分数,将假分数转换为带分数0+22991。
- 此时将这个倒数后的带分数,给个加号就变成0+2+2991
- 之后继续上面两步的操作0+2+3+9211
- 继续前两步的操作,直到分子分子都是1,得到0+2+3+4+21111
- 最后使用符号表示[0,2,3,4,2]
注解:连分数为什么会与初等数论有关系呢?由上面的例子发现,在求连分数的时候会发现,我们一直都是在做带余除法,并且是辗转相除法。此时发现,使用符号表示连分数刚好使用的是辗转相除法得到的商表示的。
29=0∗67+2967=2∗29+929=3∗9+29=4∗2+12=2∗1+0
定义2:
[a1,a2,...,ak]=qkpk叫做a1+a2+a3+⋱+an1111的第k个渐进连分数。
注解1:渐进连分数其实就是在研究连分数的一部分,比如[a1]是上式第一个渐进连分数其为a1;[a1,a2]是上式第二个渐进连分数其为a1+a21;第k个渐进连分数以此类推。
注解2:qkpk是关于a1,a2,...,ak的函数,且与ak+1,ak+2,...,an无关。并且可以得到q1p1=1a1,q2p2=a1+a21=a2a1a2+1,q3p3=a1+a2+a311=a3a2+1a3(a2a1+1)+a1
定理1:
若连分数[a1,a2,...,an]的渐进分数是q1p1,q2p2,...,qnpn则在这些渐进连分数之间满足递推关系:
p1=a1, p2=a2a1+1, pk=akpk−1+pk−2q1=1, q2=a1, qk=akqk−1+qk−2
注解:这里默认连分数存在,如果a2=0,则会出现q2p2不存在,
定理2:
若连分数[a1,a2,...,an]的n个渐近连分数是qkpk,k=1,2,...,n则下列两关系成立:
pkqk−1−pk−1qk=(−1)k,k≥2pkqk−2−pk−2qk=(−1)k−1ak, k≥3
定义3:(简单连分数、有限简单连分数,无限简单连分数,连分数的值)
若a1是整数,a2,a3,...,ak,...是正整数,则连分数[a1,a2,...,ak,....]叫做简单连分数。
若简单连分数中a的个数有限,则被叫做有限简单连分数。
若简单连分数中a的个数无限,则被叫做无限简单连分数
对于无限简单连分数,仍然规定qkpk=[a1,a2,...,ak](k=1,2,...)是它的渐近分数,又如当k→∞时qkpk有一个极限,我们就把这一极限叫做连分数的值
定理3:
设[a1,a2,...,an,...]是(有限或无限的)简单连分数,qkpk(k=1,2,...)是它的渐近分数,则:
- 当k≥3时,qk≥qk−1+1,因而对任何k来说,qk≥k−1;
- q2(k−1)p2(k−1)>q2kp2k,q2k−1p2k−1>q2k−3p2k−3,q2kp2k>q2k−1p2k−1;
- qkpk(k=1,2,...)都是既约分数。
定理4:
每一简单连分数表示一个实数
实数表成连分数
循环连分数