Corolario 3.6.

12 Un nudo o enlace racional L de tipo (p,q) puede ser representado de la

forma C( 2b 1 , 2 b2 , . , 2 bn ).

Demostracin:
Sea L un enlace de tipo (p, q). Si p y q son pares, entonces

gcd ( p ,q) 1 ,

contradiccion, por tanto p y q no son pares. Si p y q son impares, entonces se considera

el enlace racional equivalente de tipo (p, q - p) donde p es impar y q - p es par, de forma
que renombrando solo se tienen dos casos: que p sea impar, q par y p par y q impar, se
prueban del mismo modo.

Se obtiene la expansion de
Se inicia con
ri

Se divide

p
q

por medio del siguiente algoritmo:

r1 := p , r 0 :=q e i :=1
entre

tal que se cumple

, luego, mientras

r i+2 0

se hace lo siguiente

r i+1,
r i=ai+2 .r i +1+ r i+2 y r i +2 <r i+1

donde

ai +2

es el cociente, y

r i+2

es el residuo.
Si

ai +2

es impar entonces

r i=ai+2 .r i +1+ r i+2 y r i +2 <r i+1

ai +2 :=ai +2 .+1 y r i+2=r i ai +2

r i+1

se siguen cumpliendo. en otro caso

de manera que
ai +2

r i+2

quedan igual.
Luego se toma i:=i+ 1
De manera que se obtiene C( a1 , a2 , . , an ). tal que cada ai es un numero par.

Ejemplo Se muestran dos expansiones en fraccin continua de 13/4

13
1
=3+
4
4
3.6. Enlaces Racionales

se

13
=4+
4

1
2+

1
2+

1
2

Entonces el enlace racional L de tipo (13, 4) tiene los siguientes diagramas regulares
C(3, 4) y C(4, -2, 2, -2).