25.11.2014 Views

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

5.5. La fracción continua de e 125<br />

Demostración:<br />

ecuaciones:<br />

La ecuación matricial equivale al siguiente sistema de<br />

up n−1 + vq n−1 = r m−1 u ′ , (5.8)<br />

wq n−1 = s m−1 u ′ , (5.9)<br />

up n−2 + vq n−2 = r m−1 v ′ + r m−2 w ′ , (5.10)<br />

wq n−2 = s m−1 v ′ + s m−2 w ′ . (5.11)<br />

Como r m−1 y s m−1 son enteros primos entre sí, de (5.7) se sigue que los<br />

cocientes<br />

up n−1 + vq n−1<br />

= wq n−1<br />

r m−1 s m−1<br />

son un mismo número entero u ′ que satisface (5.8) y (5.9). Considerando el<br />

segundo cociente concluimos que u ′ > 0.<br />

Las ecuaciones (5.10) y (5.11) forman un sistema de ecuaciones lineales de<br />

determinante ±1, luego tiene solución entera v ′ , w ′ .<br />

Tomando determinantes en la ecuación matricial llegamos a que<br />

uw(−1) n−1 =(−1) m−1 u ′ w ′ ,<br />

y puesto que m ≡ n (mód 2), podemos concluir que D = uw = u ′ w ′ . De aquí<br />

se deduce además que w ′ > 0. De (5.11) se sigue que<br />

v ′ = wq n−1 − s m−2 w ′<br />

sm − 1<br />

≥− s m−2<br />

s m−1<br />

w ′ ≥−w ′ ,<br />

y usando además (5.9)<br />

v ′ = wq n−2 − s m−2 w ′<br />

≤ w q n−2 = u′<br />

q n−2 ≤ u ′ .<br />

s m−1 s m−1 q n−1<br />

Por el teorema 5.8 tenemos<br />

ξ = p n−1ξ n + p n−2<br />

q n−1 ξ n + q n−2<br />

.<br />

Haciendo uso de esto y de las ecuaciones que definen a u ′ , v ′ , w ′ llegamos a que<br />

η = uξ + v = (up n−1 + vq n−1 )ξ n +(up n−2 + vq n−2 )<br />

w<br />

w(q n−1 ξ n + q n−2 )<br />

= r m−1u ′ ξ n + r m−1 v ′ + r m−2 w ′<br />

s m−1 u ′ ξ n + s m−1 v ′ s m−2 w ′ ,<br />

de donde, de acuerdo con la definición η m =(u ′ ξ n + v ′ )/w ′ , se concluye<br />

η = r m−1η m + r m−2<br />

s m−1 η m + s m−2<br />

.<br />

Consecuentemente η =[b 0 ,b 1 ,...,b m−1 ,η m ].

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

Saved successfully!

Ooh no, something went wrong!