27.11.2014 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!