12.05.2013 Views

Una Introducción (otra mas) - Departamento de Matemática y ...

Una Introducción (otra mas) - Departamento de Matemática y ...

Una Introducción (otra mas) - Departamento de Matemática y ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

264 Teoría <strong>de</strong> Números<br />

Por lo tanto para algún k, se tiene que qk q qk+1. Como<br />

q < qk+1, <strong>de</strong>l teorema anterior obtenemos<br />

<br />

<br />

|qkx−pk| |qx −p| = q<br />

p<br />

x− <br />

q<br />

1 1<br />

< q =<br />

2q2 2q .<br />

<br />

pk<br />

Luego <br />

x− <br />

1<br />

qk<br />

< .<br />

2qqk<br />

Supongamos que p<br />

no es una convergente en la expansión en fracción<br />

q<br />

continuada para x. En particular, p pk<br />

= , luego qpk = pqk y |qpk −<br />

q qk<br />

pqk| es un entero positivo.<br />

Como |qpk −pqk| 1, se tiene<br />

1<br />

qqk<br />

1<br />

<strong>de</strong> don<strong>de</strong> <<br />

qqk<br />

1<br />

2qqk<br />

<strong>de</strong>sigualdad obtenemos<br />

|qpk −pqk|<br />

qqk<br />

=<br />

<br />

<<br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

pk<br />

qk<br />

pk<br />

qk<br />

1<br />

2qqk<br />

<br />

<br />

= <br />

<br />

pk<br />

qk<br />

−x+x− p<br />

<br />

<br />

<br />

q<br />

<br />

<br />

−x<br />

+<br />

<br />

<br />

<br />

p<br />

x− <br />

q<br />

+ 1<br />

2q 2<br />

+ 1<br />

, restando<br />

2q2 1<br />

2qqk<br />

< 1<br />

2q 2,<br />

1<br />

2qqk<br />

− p<br />

<br />

<br />

<br />

q<br />

a ambos lados <strong>de</strong> esta<br />

luego q < qk. Pero hemos supuesto que qk q. Esto es una con-<br />

tradicción.

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

Saved successfully!

Ooh no, something went wrong!