Number theory, geometry and algebra - Dynamics-approx.jku.at
Number theory, geometry and algebra - Dynamics-approx.jku.at
Number theory, geometry and algebra - Dynamics-approx.jku.at
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Similarly, one shows th<strong>at</strong><br />
√ 1| 3 = 1+<br />
|1 + 1|<br />
|2 + 1|<br />
|1 + 1| +··· = [1;1,2] (113)<br />
|2<br />
√<br />
5 = [2;4] (114)<br />
√<br />
7 = [2;1,1,1,4] (115)<br />
More generally, consider the fraction<br />
x = [b;a] = b+ 1|<br />
|a + 1|<br />
|b + 1|<br />
|a +...<br />
where a,b ∈ N <strong>and</strong> a|b (say b = a.c). x is a solution of the equ<strong>at</strong>ion<br />
x = b+ 1|<br />
|a + 1|<br />
|x = (ab+1)x+b .<br />
ax+1<br />
(116)<br />
Hence x 2 −bx−c = 0, i.e. x = 1 2 (b+√ b 2 +4c).<br />
The l<strong>at</strong>ter are examples of periodical continued fractions i.e. those of<br />
the form<br />
[a 0 ;a 1 ,...,a n ,a n+1 ,...,a m ].<br />
Proposition 29 ϑ has a periodical represent<strong>at</strong>ion ⇔ ϑ is a quadr<strong>at</strong>ic irr<strong>at</strong>ional<br />
number i.e. a solution of an equ<strong>at</strong>ion<br />
aϑ 2 +bϑ+c = 0<br />
where a,b,c ∈ Z <strong>and</strong> d = b 2 −4ac > 0 is not a quadr<strong>at</strong>ic number.<br />
Lemma 4 Let x,y ∈ R, with y > 1 <strong>and</strong> let<br />
x =<br />
py +r<br />
qy +s<br />
where p,q,r,s ∈ Z with ps−qr = ±1. Then if q > s > 0, there exists an n,<br />
so th<strong>at</strong><br />
p<br />
q = p n<br />
, resp. r q n s = p n−1<br />
q n−1<br />
where ( pn<br />
q n<br />
) is the sequence of convergents of the continued fraction represent<strong>at</strong>ion<br />
of x.<br />
42