Notas sobre numeros

origami-construibles
Enrique Rodrguez Castillo
Escucho y olvido, veo y recuerdo,
hago y comprendo.
- Confusio

n
Introduccio
En estas notas, se presenta una breve introduccion a los n
umeros origamiconstruibles, que son una generalizacion de los n
umeros construibles mediante
regla y compas.
En la primera seccion, se da la definicion de los n
umeros origami-construibles
y se construye la unidad imaginaria, as como dos operaciones elementales: localizar paralelas y reflejar un punto a traves de una lnea.
En la segunda seccion, se estudian las operaciones de campo de los n
umeros
complejos restringidas al conjunto de n
umeros origami-construibles y como consecuencia, veremos que el conjunto de n
umeros origami-construibles forma un
subcampo de los n
umeros complejos.
En la tercer seccion, aprenderemos como calcular la raz cuadrada y c
ubica
de un n
umero origami-construible; como una consecuencia de poder calcular
races c
ubicas con origamis, veremos que es posible trisectar un angulo, lo que
no es posible con regla y compas.
Finalmente, en la seccion cuatro, estudiaremos con mas formalidad la Teora
de Campos con origamis y analizaremos cu
ales races de la unidad podemos
construir con origamis.
Se han realizado varias ilustraciones gr
aficas de los procesos origamicos en
la construccion o demostraci
on de resultados para facilitar la comprension y dar
una gua visual (geometrica) a los lectores. Cualquier comentario o sugerencia,
favor de hacermela llegar mediante correo electronico a la direccion
erodriguez@matmor.unam.mx
esperando poder mejorar este material con la aportacion activa de los lectores.
Aprovecho para agradecer la colaboracion del L. M. Manuel Francisco Ocejo
Monta
no en la elavoracion de estas notas mediante consejos practicos y soluci
on
de problemas tipograficos.
1

 n y operaciones elementales
1. Definicio
Seguiremos los axiomas de Humiaki Huzita para establecer las construcciones
y dobleces permitidos en origamis; no presentaremos el axioma de Justin ya
que no estamos interesados en tener un sistema completo de axiomas sino en la
construccion del campo de n
umeros origami-construibles y para esto, basta con
los axiomas de Huzita.
Iniciamos con una hoja de papel con dos puntos marcados; la hoja de papel
representara el plano complejo y los dos puntos marcados al principio representan el origen, el elemento 0, y la unidad, el elemento 1.
1 Definici
on. Un n
umero complejo C es origami-construible (o-c) si
se puede obtener, partiendo de 0 y 1, al intersectar dos dobleces permitidos en
origamis. Los dobleces permitidos son
(O1) Dados dos puntos (o-c) en el plano complejo, digamos p1 y p2 , podemos
doblar la hoja a traves de la lnea que pasa por los dos puntos p1 y p2 .
(O2) Dados dos puntos p1 y p2 que sean (o-c), podemos doblar la hoja para
hacer que p1 quede sobre p2 .
(O3) Dadas dos lneas 1 y 2 en C, podemos doblar la hoja para hacer que 1
quede sobre 2 .
(O4) Dado un punto p que sea (o-c) y una lnea , podemos doblar la hoja a
traves de la lnea perpendiclar a que pasa por p.
(O5) Dados dos puntos p1 y p2 que sean (o-c) y una lnea , podemos hacer
que p1 quede sobre dejando fijo a p2 .
(O6) Dados dos puntos p1 y p2 que sean (o-c) y dos lneas 1 y 2 , podemos,
con un s
olo doblez, llevar a p1 sobre 1 y a p2 sobre 2 .
El axioma (O2) nos permite encontrar la lnea perpendicular al segmento
p1 p2 que pasa por el punto medio de tal segmento; el axioma (O3) nos permite bisectar cualquier
angulo mientras que el axioma (O6) nos permitira resolver ecuaciones polinomiales c
ubicas donde los coeficientes son n
umeros (o-c)
y tambien podremos trisectar angulos. Se puede demostrar que no existe doblez
alguno en origamis que no pueda ser reproducido mediante el uso de estos axiomas.
En este momento, no pondre mucho enfacis en la comprension y realizaci
on
geometrica de cada uno de los axiomas, esperando que cada lector interesado
haga un intento, con una hoja de papel, para aprender como se usan los axiomas en la pr
actica; este trabajo requiere de cierto ingenio y en ocaciones, el
conocimiento tambien ayuda para poder encontrar una forma de realizar un
doblez permitido en origamis.
Al conjunto de todos los n
umeros (o-c) del plano complejo lo denotaremos
por O; por definicion, tenemos que 0, 1 O as que el conjunto de n
umeros
origami-construibles es no vaco.
2

Ahora, veamos como localizar los ejes coordenados y a la unidad imaginaria

con el uso de origamis.
Sabemos que 0 y 1 son n
umeros (o-c) y el axioma (O1) nos permite doblar
la hoja a traves de la lnea que pasa por 0 y 1, pero esta lnea es precisamente
el eje-X; a tal recta la denotaremos por LX .
Ahora, el axioma (O4), podemos doblar la hoja a traves de la lnea perpendicular a LX que pasa por 0 para obtener la lnea LY la cu
al representa al eje
imaginario.
LY

LX

LX

Figura 1: Localizaci
on de los ejes coordenados.
Para construir a la unidad imaginaria, que denotaremos por i, procedemos
como sigue: primero, necesitamos realizar un doblez a traves de la lnea perpendicular a LX que pasa por 1, lo cual es permitido gracias al axioma (O4), y
a esta lnea auxiliar la denotaremos por 1 . el procedimiente se muestra en el
cuadro de la izquierda de la siguiente figura.
Luego, aplicamos el axioma (O5) a los puntos 0 y 1 y a la lnea 1 para
llevar al punto 0 sobre la lnea 1 y obtener un doblez que denotaremos por 2 .
Finalmente, la intersecci
on de la recta 2 con la recta LY es la unidad imaginaria
i. El proceso se muestre en el cuadro de la derecha en la siguiente figura.
LY
LY
2

LX

LX

Figura 2: Localizaci
on de las lneas auxiliares 1 y 2 .
Como una consecuencia de esta construccion, tenemos nuestro primer n
umero construible no trivial, la unidad imaginaria.
3

Teorema 1.1. La unidad imaginaria es un n

umero origami-construible.
Corolario 1.2. El n
umero

1
2

+ i 12 es origami-construible.

Demostraci
on. Consideremos los dobleces hechos en el cuadro derecho de la
figura 2. Si realizamos un dobles para llevar a 1 sobre 0, obtendremos una lnea
3 . La intersecci
on de 2 y 3 es el punto 21 (1 + i).
A continuacion, presentaremos dos operaciones elementales en origamis que
nos permitir
an realizar las operaciones de campo con n
umeros origami-construibles en la pr
oxima seccion. Primero, aprenderemos a localizar lneas paralelas.
Teorema 1.3. Dados un punto p O y una lnea , podemos doblar la hoja a
traves de la paralela a que pasa por p.
Demostraci
on. Aplicando el axioma (O4) al punto p y la recta obtenemos un
doblez 1 que es perpendicular a y que pasa por p como se muestra en la
siguiente figura.

p
1

Figura 3: Localizaci
on de la recta auxiliar 1
Ahora, volvemos a aplicar el axioma (O4) al punto p y a la recta auxiliar 1
para obtener un dobles 2 que resulta ser paralela a y pasa por p; este proceso
se muestra en la siguiente figura.

2
p
1

Figura 4: Localizaci
on de la recta paralela a que pasa por p.
A esta operaci
on la denotaremos por (E1).
4

Una consecuencia inmediata de localizar paralelas es la siguiente.

Corolario 1.4. Si p O y escribimos p = a + ib, entonces a, ib O.
Demostraci
on. Primero localizamos los ejes coordenados. Luego, localizamos
la lnea paralela al eje imaginario que pasa por p, denotemosla por 1 ; la interseccion de 1 con el eje real es a. Luego, localizamos la lnea paralela al eje real
que pasa por p y denotemosla por 2 ; la interseccion de 2 con el eje imaginario
es ib.
1

Lo que nos dice este resultado

es que podemos proyectar a un
n
umero origami-construible hacia los ejes de coordenadas para
construir otro n
umero origamiconstruible; en particilar, si p es
un n
umero origami-construible,
entonces su parte real es un n
umero origami-construible.

Figura 5: Proyecci
on de p sobre los ejes coordenados.

En el siguiente resultado, veremos como reflejar un punto origami-construible

a traves de una lnea para obtener un nuevo n
umero origami-contruible. En este
caso, es importante que la lnea a traves de la cual queremos reflejar sea una
lnea que al menos contenga un n
umero origami-contruible.
Teorema 1.5. Dados un punto p O y una lnea , la reflexi
on de p a traves
de es nuevamente un n
umero origami-construible.
Demostraci
on. Primero, con la ayuda del axioma (O4) podemos localizar la
lnea perpendicular a que pasa por p, denotemosla por 1 ; luego, construimos
un punto p1 \1 1 (esto es posible ya que los puntos 0, 1, i, p O y no son
colineales); el punto p1 lo podemos construir como el punto de interseccion de
con alguna de las siguientes lneas:
0,p

: la lnea que pasa por 0 y p,

1,p
i,p

: la lnea que pasa por 1 y p,

: la lnea que pasa por i y p.

1 La notaci
on p1 \1 nos indica que el punto p1 pertenece a la lnea pero no pertenece
a la lnea 1 .

Como los puntos 0, 1, i, p son origamiconstruibles, cada una de las lneas

anteriores son dobleces permitidos en
origamis. Cabe mencionar que para
este resultado, es importante que la
lnea sea un doblez permitido en
origamis para poder encontrar el punto
p1 de manera legal.
Ahora, gracias al axioma (O5), podemos llevar al punto p sobre la lnea 1
dejando fijo al punto p1 y mantenemos
la hoja doblada a traves de la lnea
(la que encontramos gracias al axioma
(O5) aplicado a p, p1 y 1 ). De hecho,
la lnea por la cual debemos realizar
este doblez coincide con la lnea ; en
la figura se muestra este procedimiento;
las lneas en amarillo indican que parte
de la hoja tenemos que mover y colocarla sobre la parte que queda arriba
de la lnea haciendo que el punto p
quede sobre el punto verde dejando fijos a todos los puntos de la lnea . En
esta parte, mantenemos el doblez que
hemos realizado para realizar el siguiente doblez.
Con la hoja a
un doblada, podemos
doblar nuevamente a traves de la lnea
que pasa por p1 y p para obtener una
lnea 2 ; por u
ltimo, la reflexion de p a
traves de es el punto de interseccion
de las lneas 1 y 2 .

p1

p1

p1

Figura 6: Localizar la perpendicular a que pasa por p y construir p1 .

A esta operaci
on la denotaremos por (E2).
A diferencia de los axiomas y la operaci
on (E1), la reflexion a traves de una
recta de un n
umero origami-construible nos produce un nuevo n
umero origamiconstruible, la imagen de la reflexion del punto inicial.
Corolario 1.6. Dado un n
umero p origami-construible, podemos girarlo hasta
el eje real para obtener un n
umero origami-construible que es la imagen de la
rotaci
on aplicada a p.
Demostraci
on. Si p es un n
umero real, no hay nada que hacer. Supongamos
que p no es un n
umero real y sea la lnea que pasa por 0 y por p, entonces
el
angulo que forma con respecto al eje real, denotemoslo por , es diferente de
6

cero y aplicando el axioma (O3) al punto p y al eje real, obtenemos una lnea 1 ;
mantenemos el doblez. Ahora, mientras la hoja permanece doblada aplicamos
(O1) a los puntos i y p para obtener una lnea 2 . El punto que resulta de rotar
a p hacia el eje real es la interseccion del eje real con la lnea 2 .
Tambien podemos rotar hacia el eje imaginario, solo hay que cambiar eje
realpor eje imaginarioy n
umero realpor n
umero de la forma iy con y R.
Con los Corolarios 1.4 y 1.6 podemos ver que si p es un n
umero origamiconstruible, entonces su parte imaginaria es origami-construible.
2. Operaciones de campo
En esta seccion, demostraremos que el conjunto de n
umeros origami-construibles
es un subcampo de C. Para este efecto, veremos que la suma, resta, multiplicacion de n
umeros origami-construibles es nuevamente un n
umero origamiconstruible as como demostrar que para cualquier n
umero origami-construible,
el resultado de dividir tal n
umero por un n
umero origami-construible no nulo
(diferente de cero) es nuevamente un n
umero origami-construible. Se sugiere la
consulta de [ROT:A] para la comprension de los conceptos algebraicos que se
utilizan en esta seccion.
Primero, estudiaremos la suma de n
umeros origami-construibles.
Teorema 2.1. Sean p1 , p2 O, entonces p1 + p2 O.
Demostraci
on. Dividiremos la prueba en tres casos.
1. Supongamos que los puntos p1 y p2 no son colineales2 y consideremos las
lneas 1 y 2 que son las lneas que pasan por 0 y p1 as como la lnea que
pasa por 0 y p2 , respectivamente; para explicar mejor lo anterior, 1 es el
doblez que realizamos al aplicar el axioma (O1) a los puntos 0 y p1 y de
manera analoga localizamos la lnea 2 al aplicar (O1) a los puntos 0 y p2 .
Ahora, localizamos la lnea paralela a
1 que pasa por p2 y la denotamos por
||
1 ; de manera similar, localizamos la
lnea paralela a 2 que pasa por p1 para
||
obtener un doblez 2 .
Finalmente, el punto p1 + p2 es el punto
||
||
de intersecci
on de las lneas 1 y 2 . Por
tanto, p1 + p2 O.

p1
||
2

2
p2

||

Figura 7: Construccion de la suma p1 + p2 .

2 Refiriendonos a no colineales con respecto al 0; en otras palabras, la l
nea que pasa por
0 y por p1 no contiene al punto p2 .

2. En el caso cuando p1 , p2 y 0 quedan sobre la msma recta, consideraremos

dos subcasos:
(a) Supongamos que p1 6= p2 . Primero, doblamos a traves de la lnea que
pasa por p1 y por p2 ; denotemosla por 1 . Ahora, doblamos a traves
de la lnea perpendicular a 1 que pasa por el punto medio del segmento p1 p2 , es decir, aplicamos el axioma (O2) a los puntos p2 y p1 ;
mantenemos este doblez. Con la hoja doblada, aplicamos el axioma
(O4) al punto 0 y 1 para obtener un doblez e2 . Al desdoblar la hoja
por completo, obtenemos dos lneas, una es 2 que es perpendicular
a 1 y pasa por 0; la otra es 2 que es perpendicular a 1 y pasa por
el punto p1 + p2 .
2
1

p2

2
0

p1

Figura 8: Construccion de la suma p1 + p2 .

(b) Para el caso cuando p1 = p2 , realizamos casi las mismas operaciones
que en el caso anterior, s
olo sustituimos la aplicaci
on de (O2) y aplicamos (O4) al punto p1 y la lnea 1 . El resto del procedimiento es
igual.
Esto nos dice que la suma de n
umeros complejos restringida a O es una operaci
on
binaria.
Ahora, veamos como obtener los inversos aditivos de n
umeros origami-construibles: sea p O y la lnea que pasa por p y 0. Aplicamos el axioma (O4)
para obtener un doblez 1 que es perpendicular a y que pasa por 0; luego,
reflejamos al punto p a traves de 1 para obtener el punto p.
Corolario 2.2. El conjunto de n
umeros origami-construibles es un subgrupo
abeliano aditivo de los n
umeros complejos.
La demostraci
on queda como ejercicio para el lector. Como ayuda, puede
consultar [ROT:G] en el captulo 2 seccion de Subgrupos, Teorema 2.2; con este
resultado, s
olo tiene que verificar los siguientes dos puntos:
El elemento neutro aditivo de C pertenece a O.
Si p, q O, entonces p q O (recuerde que p q = p + (q)).
8

Corolario 2.3. Cualquier n

umero entero es un n
umero origami-construible.
Demostraci
on. Primero, veamos que los n
umeros naturales son n
umeros origami-construibles y esto, lo haremos por induccion matematica. Sabemos que 1
es un n
umero origami-construible; supongamos que n es un n
umero natural que
es origami-construible, entonces la suma de n con 1 es origami-construible por
lo que n + 1 es un n
umero origami-construible.
Ahora, si tenemos un n
umero entero m y es positivo, entonces ya vimos
que es origami-construible; si m es negativo, entonces m es positivo y por
lo anterior, es origami-construible y al reflejar m a traves del eje imaginario
obtenemos que m es un n
umero origami-construible.
A continuacion, estudiemos la multiplicaci
on de n
umeros origami-construibles.
Sean z, w C; sabemos que existen n
umeros reales x, y tales que z = x + iy
y esta expresi
on es u
nica. Ahora, el producto zw se puede calcular como
zw = (x + iy)w = xw + i(yw);
si suponemos que tanto z como w son n
umeros origami-construibles, entonces los
n
umeros reales x y y son n
umeros origami-construibles ya que x es la proyecciones de z sobre el ejes real y y es la rotacion por un angulo de 3/2 de la
proyecci
on sobre el eje imaginario de z. Para ver que O es cerrado bajo multiplicacion, basta ver que si r R y r es un n
umero origami-construible, entonces
para cualquier n
umero origami-construible p tenemos que rp es nuevamente un
n
umero origami-construible as como ip sera un n
umero origami-construible.
Teorema 2.4. Sea p un n
umero origami-construible, entonces ip tembien es
un n
umero origami-construible. Si r es un n
umero real origami-construible,
entonces rp es un n
umero origami-construible.
Demostraci
on. Para multiplicar a un n
umero p por la unidad imaginaria i tenemos que encontrar el argumento de p y sumar /2 a tal argumento; en otras
palabras, tenemos que girar a p por 90o .
Sea la lnea que pasa por p y por 0, entonces podemos encontrar la lnea perpendicular a que pasa por 0 mediante
la aplicaci
on del axioma (O4) al punto 0
y a la lnea , denotemos esta lnea por
1 ; luego, encontramos la lnea 2 que
bisecta al
angulo entre las lneas y 1
y esto lo hacemos aplicando el axioma
(O2) a las lneas y 1 . Finalmente, reflejamos al punto p a traves de la lnea
2 para obtener el punto ip.

ip

Figura 9: Multiplicar por la unidad imaginaria.

9

Ahora, supongamos que r es un n

umero real origami-construible. La demostraci
on la dividiremos en dos casos: cuando p es un n
umero origami-construible que no es un n
umero real y cuando es un n
umero real.
Supongamos que p O que no es un
n
umero real, entonces encontramos la
lnea 1 determinada por 0 y p aplicando el axioma (O1); tambien, encontramos la lnea 2 determinada por 1 y
por p aplicando el axioma (O1). Luego,
encontramos la lnea paralela a 2 que
pasa por r aplicando la operaci
on (E1)
a la lnea 2 y al punto r, denotemos
esta lnea por 3 . Ahora, la interseccion
de 3 con 1 es el punto rp.

p
LX

0
1

1 r

Figura 10: Multiplicar por un n

umero real.
Supongamos que p es un n
umero origami-construible real. En este caso,
simplemente sumamos i para obtener un punto auxiliar p1 = p+i; multiplicamos
por r como en el caso 1 para obtener el punto
rp1 = r(p + i) = rp + ir.
Por u
ltimo, proyectamos al eje real el punto rp1 para obtener rp.
Para finalizar esta seccion, veremos que en n
umeros origami-construibles
podremos encontrar los inversos multiplicativos.
Si z = x + iy es un n
umero complejo no nulo (diferente de 0) y denotamos
por z al conjugado de z, entonces zz = |z|2 , donde |z|2 = x2 + y 2 es el modulo
complejo de z. Como z 6= 0, entonces |z|2 6= 0 y as, tenemos


z |z|z 2 = 1
umero origamiy de este modo, podemos ver que z 1 = |z|1 2 z. Ahora, si z es un n
construible, entonces z es la reflexion a traves del eje real de z, por lo que z
es un n
umero origami-construible. N
otese que |z| siempre es un n
umero real
positivo as que para encontrar los inversos multiplicativos en origamis basta
con dividir a un n
umero complejo origami-construible por un n
umero real.
Teorema 2.5. Si r es un n
umero real origami-construible no nulo y p es un
n
umero origami-construible, entonces 1r p es un n
umero origami-construible.
Demostraci
on. La demostraci
on es similar a la multiplicaci
on.
Primero, supongamos que p no es un n
umero real y construimos la lnea
1 determinada por 0 y p aplicando el axioma (O1) a estos dos puntos; luego,
encontramos la lnea 2 determinada por r y p. A continuacion, encontramos

10

la lnea paralela a 2 que pasa por 1 mediante el uso de la operaci

on (E1) para
obtener 3 . Por u
ltimo, la interseccion de 1 con 3 es el punto 1r p.
Ahora, supongamos que p es un n
umero real. Construimos un punto auxiliar
p1 = p + i el cual no es un n
umero real y aplicamos lo anterior para encontrar
1
r p1

= 1r p + i 1r .

Si proyectamos al eje real, obtenemos 1r p.

N
otese que si en la u
ltima parte de la demostraci
on, proyectamos al eje
imaginario (en vez de proyectar sobre el eje real) y despues rotamos por un
angulo de 3/2, obtenemos el n

umero 1r .
Corolario 2.6. Cualquier n
umero racional es un n
umero origami-construible.
Demostraci
on. Sea p/q un n
umero racional, entonces p y q son n
umero enteros
y por tanto, son origami-construibles. Ahora, por lo anterior, sabemos que 1/q
es un n
umero origami-construible y por el Teorema 2.4 tenemos que
p
q

= 1q p

es un n
umero origami-construible.
Teorema 2.7. El conjunto de n
umeros origami-construibles es un subcampo de
los n
umeros complejos que contiene a los n
umeros racionales, es decir, es una
extensi
on de campo de los n
umeros racionales.
Si K es un campo y es una extensi
on de Q, lo denotaremos por K : Q.
bicas
3. Races cuadradas y cu
En esta seccion, aprenderemos a calcular races cuadradas y races c
ubicas de
n
umeros origami-construibles, los cuales seran nuevamente origami-construibles;
con la ayuda de las formulas radicales para solucionar las ecuaciones polinomiales de grado menor o igual a 4, podremos demostrar que cualquier ecuacion
polinomial con coeficientes en O de grado menor o igual a 4 tiene races en O.
Adem
as, aprenderemos a trisectar un angulo, lo cual no es posible realizar con
las construcciones con regla y compas. Las referencias recomendadas en esta
seccion para el estudio de funciones polinomiales son [ART] y [ESC].
Raices cuadradas

Primero, recordemos la forma polar de expresar a un n

umero complejo. Sabemos que si z = x + iy, entonces
p
|z| = x2 + y 2

y si z 6= 0, entonces podemos determinar su argumento mediante

arg z = arctan xy

11

recordando que si x = 0 y y > 0, entonces

arg z =

mientras que si y < 0, entonces

arg z =

3
2 .

As, podemos expresar a z como

z = |z| (cos arg z + i sen arg z)
y por la formula de Euler, z = |z| ei arg z . Con esta expresi
on, podemos ver que

1
1
arg z
z = z /2 = |z| /2 ei /2
de donde se deduce que para obtener la raz cuadrada de un n
umero origamiconstruible, tenemos que bisectar el argumento de tal n
umero y calcular la
raz cuadrada de un n
umero origami-construible real positivo. Para bisectar el
argumento de un n
umero origami-construible, no tenemos ning
un problema ya
que esta operaci
on es v
alida mediante el axioma (O3). As, s
olo tenemos que
mostrar que si r es un n
umero real positivo que es origami-construible, entonces

r es un n
umero origami-construible.
Para este efecto, consideremos la siguiente ecuaci
on


y+1 2
2

y 2 +2y+1
4

y1 2
2

+ x2 ;

si desarrollamos las expresiones, obtenemos

y 2 2y+1
4

+ x2

de donde deducimos que x2 = y. Consideremos el crculo con centro

en i (r1/2)
r+1
y radio 2 , entonces este crculo intersecta al eje real en el punto r. Ahora,
hagamos esto mediante el uso de origamis.

Teorema 3.1. Sea r O. Si r es un n

umero real positivo, entonces r O.
Demostraci
on. Primero, encontremos el centro. Para esto, sabemos que podemos multiplicar por i a r y obtenemos el n
umero origami-construible ir; luego,
restamos i y dividimos entre 2 para obtener el centro p = i (r1/2), que es un
n
umero origami-construible.
Sea la lnea quese obtiene al aplicar el axioma (O5) a los puntos i y p y
al eje real, entonces r es la reflexion de i a traves de la lnea .
Para encontrar la raz cuadrada de un n
umero complejo p, lo primero que
hacemos es encontrar la lnea 1 que bisecta su argumento y despues, rotamos

p hacia el eje real para obtener su modulo r = |p|; luego, encontramos r y lo

rotamos sobre la lnea 1 .

12

En esta subsecci
on presentaremos la deduccion de la formula general para encontrar las
races de un polinomio de segundo grado en
el anillo de polinomios de una variable con coeficientes complejos.
Sabemos que los n
umeros complejos forman un campo algebraicamente
cerrado, es decir, C es un campo donde cada polinomio de grado positivo con
coeficientes en C tiene al menos una raz en C; en particular, existe al menos
una soluci
on a la ecuaci
on polinomial
La ecuaci
on general de segundo
grado

z2 a = 0

(1)

para cualquier a C. Si C es una soluci

on a la ecuaci
on (1), entonces
2
tambien es soluci
on de tal ecuaci
on por
lo
que
z

a
tiene
sus dos races en C;

a tales races las denotaremos por a.

Si consideramos un polinomio de una variable con coeficiente complejos,
digamos
p(z) = az 2 + bz + c,
y C es una raz de p(z), es decir,
p() = a2 + b + c = 0,
entonces tambien es una raz del polinomio
q(z) = z 2 + ab z +

c
a

ya que q(z) = a1 p(z) y como a1 6= 0, entonces z0 C es una raz de q(z) si

y s
olo si z0 es raz de p(z); a los polinomios de la forma z 2 + az + b se les
llaman polinomios m
onicos de segundo grado. De este modo, concluimos
que encontrar las races de polinomios general de segundo grado es equivalente
a encontrar las races de polinomios monicos de segundo grado.
Ahora, sea p(z) un polinomio monico de segundo grado, digamos p(z) =
z 2 + bz + c; si hacemos el cambio de variable z = w b/2, entonces

2


p(z(w)) = w 2b + b w 2b + c
 


2
2
=
w2 bw + b4 + bw b2 + c


2
= w2 + c b4 .
Sea q(w) = p(z(w)), entonces q(w) es un polinomio monico de segundo grado
que no tiene termino lineal; luego, es raz de q(w) si y s
olo si b/2 es raz
de p(z). Podemos ver que las races de q(w) son
q
2
y
w0
w0 = b4 c
de donde concluimos que las races de p(z) son
q
q
2
b
b
b2
z0 = 2 +
y
z1 = 2 b4 c.
4 c
13

Manipularemos algebraicamente la expresi

on de las races de p(z) para obtener
la conocida formula para las races de polinomios monicos de segundo grado:
comenzamos con la expresi
on que encontramos para z0 , entonces
q
q
b2
b2
b
b
4c
z0 = 2 +
4 c = 2 +
4 4
q

2
2
= 2b + b 4c
= 2b + b 24c
4

b + b2 4c
;
=
2
realizando una manipulaci
on similar para z1 , obtenemos

b b2 4c
.
z1 =
2
Ahora, si tenemos un polinomio general de segundo grado
p(z) = az 2 + bz + c
definimos
q(z) = a1 p(z) = z 2 +

b
a

z+

c
a

para obtener un polinomio monico de segundo grado y aplicando la formula

anterior, vemos que las races son
q
q
q
2
2
2
ab ab 2 4 aac2
ab b 4ac
ab ab 2 4 ac
a2
=
=
2
2
2

2
ab b a4ac
b b2 4ac
=
=
2
2a
llegando as a la ya conocida formula para encontrar las races de un polinomio
general de segundo grado a partir de sus coeficientes.
Teorema 3.2. Supongamos que p(z) es un polinomio de segundo grado con
coeficientes en el campo de n
umeros origami-construibles, entonces sus races
son n
umeros origami-construibles.
Raices c
ubicas
entonces

Como en el caso de las races cuadradas, nos apoyaremos en el

uso de la expresi
on polar de los n
umeros complejos. Si z C,
arg z

1
3
z = |z| /3 ei 3

de donde concluimos que para encontrar la raz c

ubica de un n
umero complejo,
tenemos que calcular la raz c
ubica de un n
umero real positivo y trisectar el
argumento de tal n
umero complejo. En esta
on, veremos que si z es
subsecci
umero origamiun n
umero origami-construible, entonces 3 z tambien es un n
construible.
Presentaremos el metodo de Hatori Koshiro para resolver las ecuaciones
polinomiales de tercer grado con coeficientes reales mediante el uso de origamis.
14

La idea es encontrar una soluci

on de la ecuaci
on
x3 + ax2 + bx + c
usando origamis, donde a, b y c son tres n
umeros reales con c 6= 0; se excluye el
caso c = 0 porque si esto ocurre, podemos factorizar como sigue


x x2 + ax + b

de donde obtenemos la raz x0 = 0 y las otras dos raices las podemos encontrar
con los metodos de las subsecciones anteriores.
Antes de empezar, necesitamos el siguiente resultado.

Lema 3.3. Si es un doblez permitido en origamis y m es la pendiente de ,

entonces m es un n
umero real origami-construible.
Demostraci
on. La idea de la demostraci
on es encontrar dos puntos origamiconstruibles en , digamos (x1 , y1 ) y (x2 , y2 ) (pensando el plano complejo como
el plano cartesiano identificando el eje real con el eje-x y el eje imaginario
1
con el eje-y), y recordando que m = xy22 y
amos que m es un n
umero
x1 tend
origami-construible ya que las proyecciones sobre los ejes de los n
umeros origamiconstruibles son nuevamente n
umeros origami-construibles. Para encontrar a
estos dos puntos (que tienen que ser distintos), procedemos como sigue:
Afirmaci
on. Al menos dos de las lneas
0,1 :
0,i :
0,1+i :

la lnea que pasa por 0 y 1,

la lnea que pasa por 0 e i,
la lnea que pasa por 0 y 1 + i,

intersectan a en al menos un punto.

Demostraci
on. Supongamos que no intersecta a una de las lneas
mencionadas anteriormente, digamos que no intersecta a 0,1 , entonces 0,1 es paralela a y como las otras dos lneas no son paralelas
a 0,1 , entonces tampoco pueden ser paralelas a y de este modo,
intersecta a las otras dos lneas.

En el caso de que intersecte en puntos diferentes a cada una de las dos

lneas de las que habla la afirmaci
on anterior, entonces habremos encontrado a
los dos puntos origami-construibles que buscabamos.
El caso cuando intersecta en un s
olo punto a las dos lneas antes mencionadas, entonces el punto de interseccion, digamos p, debe pertenecer a las
tres lneas, pero las lneas 0,1 , 0,i y 0,1+i s
olo se intersectan en el orgen (considerando intersecciones dos-a-dos) de donde concluimos que debe ser una
lnea que pasa por el origen. Ahora, notese que en cada una de las lneas
0,1 , 0,i y 0,1+i existen una infinidad de n
umeros origami-construibles; por
ejemplo, si consideramos la lnea 0,1+i , sabemos que 1 + i 0,1+i y que la
15

suma de n
umeros origami-construibles es un n
umero origami-construible por
lo que (1 + i) + (1 + i) = 2 + 2i es un n
umero origami-construible y adem
as,
2 + 2i 0,1+i .
Sean 1 y 2 las dos lneas que intersectan a ; sabemos que 0 es un n
umero
origami-construible as que tomaremos un punto q 6= 0 origami-construible en
una de las dos lneas 1 o 2 , supongamos que q 1 .

Luego, construimos la lnea 3 que es

paralela a 2 y pasa por q; as, tenemos
que el punto de interseccion de 3 y es
un punto p origami-construible y concluimos que {0, p} es un subconjunto de
O, es decir, encontramos dos puntos
distintos en que son n
umeros origamiconstruibles.

q
0

Figura 11: Encontrar dos puntos origami-construible en .

Con esto, terminamos la prueba.
Ahora, consideremos los puntos p1 = (a, 1) y p2 = (c, b) as como las lneas
1 :
2 :

y = 1
x = c;

por el axioma (O6)3 sabemos que existe un doblez que lleva a p1 sobre 1
y al mismo tiempo lleva a p2 sobre 2 ; se puede demostrar que tal doblez
es la lnea tangente com
un a las par
abolas P1 y P2 , donde P1 es la par
abola
con foco en p1 y directriz 1 y analogamente se define P2 . Podemos ver que si
realizamos dobleces paralelos a 1 , entonces no llevaremos al punto p2 sobre 2
y recprocamente, si realizamos dobleces paralelos a 2 no llevaremos a p1 sobre
1 . As, no puede ser paralela a 1 ni a 2 por lo que la pendiente de es finita
y diferente de cero.
El objetivo ahora sera demostrar que la pendiente de es una soluci
on de la
ecuaci
on polinomial
x3 + ax2 + bx + c.
Teorema 3.4. Sea el doblez construido anteriormente y m su pendiente,
entonces m es una raz del polinomio x3 + ax2 + bx + c.
Demostraci
on. En los cursos de Geometra Analtica se demuestra que la par
abola P1 tiene la siguiente ecuaci
on
P1 :
3 Esta

(x a)2 = 4y.

es la primera vez que ocupamos el axioma (O6).

16

Para revisar esto, se sugiere consultar [LEH] en el captulo VI. Supongamos que
la lnea tiene la ecuaci
on mx + y0 y tambien supongamos que el punto de
tangencia es (x1 , y1 ), entonces
m = 12 (x1 a);

(2)

esto se puede ver considerando la ecuaci

on de P1
y = 14 (x a)2
y viendo a y como una funcion diferenciable en la variable x, calculando su
derivada y evaluando en el punto de tangencia. Por la formula de la ecuacion
de la recta mediante el conocimiento de las coordenadas de un punto de la recta
y su pendiente, obtenemos la siguiente ecuaci
on para
:

1
2 (x1

a)(x x1 ) = y y1 ;

mediante manipulaciones algebraicas elementales podemos deducir que la ecuaci

on de es
y = mx mx1 + y1
de donde concluimos la identidad
y0

= y1 mx1 .

(3)

Como (x1 , y1 ) es un punto sobre la par

abola P1 y recordando la relaci
on (2),
podemos ver que

2
y1 = 14 (x1 a)2 = x12a = m2
y tambien por (2) tenemos

x1 = 2m + a
y al sustituir en (3) estas dos relaciones, obtenemos
y0 = y1 mx1 = m2 m(2m + a) = m2 am.

(4)

Ahora, estudiemos las relacions de m y y0 con la par

abola P2 . De los cursos de
Geometra Analtica, podemos ver que la ecuaci
on para P2 es
P2 :

(y b)2 = 4cx

y usando las herramientas del Calculo Diferencial, encontramos la ecuacion de

la lnea tangente en el punto (x2 , y2 ), el cual es el punto donde es tangente a
P2 :
:

1
2c (y2

b)(y y2 ) = x x2 ;

ahora, desarrollando algebraicamente esta u

ltima expresi
on tenemos
:

y=

2c
y2 b x

17

2c
y2 b x2

+ y2

de donde deducimos que

m = 2c/y2 b

(5)

y
2cx2
y2 b .

y0 = y2

(6)

Como (x2 , y2 ) es un punto sobre la par

abola P2 y por (5), tenemos


cx2 =

y2 b
2

2

y sustituyendo esto en (6) vemos que

y0

= y2

de (5) podemos ver que

(7) obtenemos
y0

y2 b
2

2
y2 b
c
m

y2 b
2

2

= y2

as como y2 =

c
+b
2m

Ahora, de las ecuaciones (4) y (8) tenemos

c
m

m2 am = b +

2c
m

=b+

y2 b
2 ;

(7)

+ b y al sustituir esto en
c
m.

(8)

c
m;

despejando y multiplicando por m tenemos

m3 + am2 + bm + c = 0
lo que muestra que m es una raz del polinomio deseado.
Gracias a este Teorema, podemos calcular la raz c
ubica de cualquier n
umero
real positivo c solucionando la ecuaci
on x3 c con el metodo anterior. Ahora,
s
olo falta aprender a trisectar un angulo con origamis.
Lema 3.5. Si es un n
umero real en el intervalo [0, 2], entonces
sen(3) = 3 sen 4 sen3
y
cos(3) = 4 cos3 3 cos .
La demostraci
on de este hehco requiere de las conocidas identidades trigonometricas
cos( + ) = cos cos sen sen ,

sen( + ) = sen cos + cos sen

y
cos2 + sen2 = 1.
18

Se propone como ejercicio al lector la demostraci

on de este Lema. Ahora, si
es el
angulo formado por el eje real y la lnea determinada por 0 y un
n
umero origami-contruible p, entonces sen /3 se puede encontrar resolviendo
la ecuaci
on c
ubica
x3 43 x + 41 sen
y cos /3 se encuentra al resolver la ecuaci
on
x3 + 34 x

1
4

cos ;

s
olo falta ver que sen y cos son n
umeros origami-construible y esto lo proponemos en el siguiente resultado.
Proposici
on 3.6. Sean p un n
umero origami-construible diferente de 0, la
lnea determinada por 0 y p y el a
ngulo formado por el eje real y , entonces
sen y cos son n
umeros origami-construibles.
Demostraci
on. Sabemos que p = |p| ei ; tambien sabemos que la parte real de p
es |p| cos y su parte imaginaria es |p| sen . As, vemos que |p| sen y |p| cos
son n
umeros origami-construibles. Supongamos que p = p1 + ip2 , donde p1 y p2
son n
umeros reales, entonces
q
|p| = p21 + p22
y como p1 y p2 son la parte real y la parte imaginaria de p, respectivamente,
entonces p1 y p2 son n
umeros origami-construibles y as podemos concluir que
|p| es un n
umero origami-construible. Finalmente, como p 6= 0, entonces |p| =
6 0
por lo que 1/|p| es un n
umero origami-construible y por tanto,
sen =

1
|p|

(|p| sen )

cos =

1
|p|

(|p| cos )

y
son n
umeros origami-construibles.
Para construir la lnea con angulo /3, basta considerar el punto
cos /3 + i sen /3,
el cual sabemos que es origami-construible, y localizar la lnea que pasa por 0 y
este punto.
En esta subsecci
on, presentaremos las formulas
de Cardano-Tartaglia y mostraremos que cualquier ecuaci
on polinomial de tercer grado con
coeficientes origami-construibles es soluble mediante procesos permitidos en
origamis.
La ecuaci
on general de tercer
grado

19

Como antes, basta encontrar las soluciones de polinomios monicos de grado

tres. As, consideremos el polinomio
p(z) = z 3 + bz 2 + cz + d
y haciendo el cambio de variable z = w 1/3b, obtenemos el polinomio
q(w) = p(z(w)) = w3 + c w + d ,

2
3
donde c = c b/3 y d = d bc/3 + 3b (b/3) . Supongamos que es una raz
de q(w) y escribimos = + , donde y son dos n
umeros complejos que
determinaremos mas adelante, entonces
3

= 3 + 3 + 3 2 + 3 2
= 3 + 3 + 3( + )
= 3 + 3 + 3

de donde conluimos que

0

= q() = 3 + c + d
= 3 + 3 + 3 + c + d
= 3 + 3 + (3 + c ) + d .

Impongamos la condici
on = c /3 para tener
3 + 3 = d

(9)

y
33 =

 3
c
3

(10)

al sustituir (9) en (10) obtenemos

 3


3 3 d = c3

de donde deducimos

( 3 )2 + d ( 3 )

 3
c
3

=0
3

por lo que 3 es una raz del polinomio monico de segundo grado z 2 +d z(c /3) .
De la formula general de segundo grado, obtenemos los siguientes posibles valores para 3 :
p

d (d )2 + 4(c /3)
3
(11)
=
2

y por (9) vemos que

3

= d =

d
20

(d )2 + 4(c /3)
.
2

(12)

Ahora, sea = ei2/3 una raz primitiva de la unidad, entonces las soluciones
de las ecuaciones (11) y (12) son
,

2 ,

y
respectivamente. Si recordamos el requisito impuesto (10), podemos formar
parejas de soluciones, por ejemplo, {, 2 } ya que
()( 2 ) = ( 3 )() = =

 3
c
3

de este modo, vemos que las races de q(w) son

+ 2

+ ,

2 + .

Teorema 3.7. Consideremos un polinomio de grado 3 en C[x], digamos que

p(z) = az 3 + bz 2 + cz + d. Las races en C de p(z) son
+b
1 =
3a

2 =

ei

2
3

+ ei
3a

4
3

y
3 =

ei

4
3

+ ei
3a

2
3

donde
=

y
=

27a2 d+9abc3ab2 +b3

r
3

27a2 d9abc+3ab2 b3

(27a2 d+9abc3ab3 +b3 )2 4a3 (3cb)3

2

(27a2 d9abc+3ab3 b3 )2 4a3 (3cb)3

.
2

Corolario 3.8. Si un polinomio de tercer grado tiene todos sus coeficientes en

el campo de los n
umeros origami-construibles, entonces sus races tambien son
n
umeros origami-construibles.
La formula para encontrar las races de un polinomio de cuarto grado fue descubierta por el
matematico italiano Lodovici Ferrari alrededor
del a
no 1545; en esta seccion, presentaremos la deducci
on de esta formula debida
a Renato D. Descartes en el a
no de 1637.
Consideremos un polinomio monico de grado cuatro
La ecuaci
on general de cuarto
grado

p(z) = z 4 + bz 3 + cz 2 + dz + e;

21

si hacemos el cambio de variable z = w 14 b obtenemos el polinomio

q(w) = p(z(w)) = w4 + c w2 + d w + e ,
donde
c

= 3/8b2 + c,

b3
bc
8 2 +d
4
3b
b2 c
bd
44 + 16 4

+ e.

Factoricemos el polinomio q(w) como producto de dos polinomios cuadr

aticos,
digamos
q(w) = (w2 + w + )(w2 w + );

(13)

notese que el coeficiente se debe a que q(w) no tiene termino c

ubico. Si
podemos encontrar los n
umeros , , que satisfagan la ecuaci
on (13), entonces
encontraremos las races de q(w). Expandiendo el lado derecho de (13) e igualando los terminos del mismo grado, obtenemos el sistema de ecuaciones
+ 2

= c

(14)

(15)
(16)

= d
= e ;

si = 0, entonces d = 0 y as, tenemos

q(w) = w4 + c w2 + e = (w2 )2 + c (w2 ) + e
que es una ecuaci
on cuadr
atica en w2 y las soluciones son

c (c )2 4e
.
w2 =
2
Supongamos que 6= 0, entonces podemos reescribir (14) y (15) como sigue
+

= c + 2

= d ;

al sumar ambas ecuaciones obtenemos

2 = 2 + c +

2 = 2 + c

d
.

y si las restamos, obtenemos

De este modo, es claro que basta con encontrar a . Ahora, de (16) obtenemos




2 + c + d
4e = 4 = (2)(2) = 2 + c d
= 4 + 2c 2 + d d + (c )2 +
22

c d

c d

(d )2
2 ;

multiplicando por 2 obtenemos

6 + 2c 4 + ((c )2 4e )2 (d )2 = 0
y esta es una ecuaci
on c
ubica en 2 por lo que podemos encontrar tal n
umero
. De aqu, podemos determinar los valores de , y y luego resolver las dos
ecuaciones cuadr
aticas.
Cada proceso en la b
usqueda de las raices del polinomio q(w) son procesos
v
alidos en origamis, siempre que los coeficientes de p(z) sean n
umeros origamiconstruibles; as, esta discucion nos arroja el siguiente resultado.
Teorema 3.9. Si p(z) es un polinomio de grado 4 con coeficientes en el campo
de n
umeros origami-construibles, entonces sus races tambien son n
umeros origami-construibles.
4. Teora de campos con origamis
Los resultados que se presentaran en esta seccion no seran demostrados ya que
se necesitan conocimientos basicos en la Teora de Galois as como la Teora de
Campos. A los lectores interesados en conocer sobre la Teora de Campos, se les
recomienda [ROT:A]; para los interesados en conocer sobre la Teora de Galois
se les recomienda [COX], [ART] y [STW].
Primero, estableceremos la relaci
on de n
umeros origami-construibles con la
Teora de Campos.
Teorema 4.1. Un n
umero complejo p es origami-construible si y s
olo si existe
una sucesi
on finita (K0 , . . . , Kn ) de subcampos de C tal que
Q = K0 K1 Kn1 Kn C,
p Kn y [Kj : Kj1 ] {2, 3} para todo j {1, 2, . . . , n}.
A una sucesi
on de subcampos (K0 , . . . , Kn ) que satisfaga
K 0 K 1 Kn
se le llama una torre de subcampos; el smbolo [Kj : Kj1 ] indica el grado
de la extensi
on de campos Kj : Kj1 . De este modo, podemos ver que la
extensi
on de campos Kn : Q es una extensi
on finita, es decir, la extensi
on
Kn : Q tiene grado finito; as, concluimos que cada n
umero origami-construible
es un n
umero algebraico, es decir, es la raz de un polinomio con coeficientes
racionales y que tal polinomio es irreducible sobre Q.
2 Definici
on. Al conjunto de todos los n
umeros algebraicos lo denotaremos
por A.
Se puede demostrar que A es un subcampo de los n
umeros complejos. La
importancia de A radica en que es el mnimo subcampo en el que se descompone como producto de factores lineales cualquier polinomio con coeficientes
racionales, es decir, A es la cerradura algebraica de Q.
23

Ahora es claro que la extensi

on O : Q es una extensi
on intermedia de A : Q,
es decir, tenemos
Q O A C;
de este modo, es claro que n
umeros como o e no son n
umeros origamiconstruibles ya que estos dos n
umeros no son n
umeros algebraicos.
Una pregunta importante es cu
ales poligonos regulares se pueden contruir
con origamis? Si un n-agono puede ser construido con origamis, colocando el
centro en 0 y uno de sus vertices en 1, entonces el resto de los vertices son
precisamente las n-esimas races de la unidad. Del mismo modo, si una raz
n-esima primitiva de la unidad es un n
umero origami-construible, entonces el
n-agono en cuestion se puede construir con origamis simplemente multiplicando
la raz primitiva.
Lema 4.2. Una raz n-esima primitiva de la unidad es un n
umero origamiconstruible si y s
olo si el n-
agono regular con centro en 0 y un vertice en 1 se
puede contruir con origamis.
Ahora, el problema sera saber para que n N podemos construir una raz
n-esima primitiva de la unidad. Primero, veamos un resultado importante.
Teorema 4.3. Sean p un n
umero algebraico sobre Q, f (z) el polinomio irreducible asociado a p y K el campo de descomposici
on de f (z). El n
umero p
es origami-construible si y s
olo si L : Q es una extensi
on de grado 2n 3m para
algunos n
umeros naturales n y m, no ambos cero.
A continuacion, presentaremos algunas aplicaciones de este resultado.
1. Sea 11 una raz 11-esima primitiva de la unidad, es decir, una raz del
polinomio
f11 (z) = z 10 + z 9 + + z + 1
que satisface la siguiente propiedad: si es una raz del polinomio f11 (z),
k
.
entonces existe un n
umero natural k {0, 1, . . . , 10} tal que = 11
Consideremos el conjunto
r
Q(11 ) = {a0 + a1 11 + + ar 11
: r N, a0 , . . . , ar Q};

se puede demostrar que Q(11 ) es un subcampo de C que contiene a Q.

Con tecnicas de Teora de Galois, se puede demostrar que Q(11 ) es el

campo de descomposicion de f11 (z) y mediante criterios de Algebra

Moderna, podemos demostrar que f11 (z) es un polinomio irreducible sobre Q;
adem
as, podemos mostrar que la extensi
on Q(11 ) : Q tiene grado 10 y
como 10 no es de la forma 2n 3m , entonces 11 no es un n
umero origamiconstruible.
Esto significa que no podemos construir un endec
agono (poligono regular
de 11 lados) mediante origamis.

24

2. Sea una raz del polinomio f (z) = z 6 + z + 1; se puede demostrar

que f (z) es un polinomio irreducible sobre Q por lo que la extensi
on de
campos Q() : Q es de grado 6. Sabemos que 6 = 2 3, pero no es un
n
umero origami-construible ya que el grupo de Galois de f (z) es S6 , el
grupo simetrico en 6 smbolos, y de este modo, gracias a resultados de la
Teora de Galois, si K es el campo de descomposicion de f (z), entonces
se tiene [K : Q] = 6! = 24 32 5.

umero algebraico ya que

3. Consideremos = 7 2. Claramente, es un n
f (z) = z 7 2 es un polinomio irreducible sobre Q y es una raz de f (z).
Sea K el campo de descomposicion de f (z), entonces podemos mostrar
que 7 es un divisor primo de
[K : Q] por lo que [K : Q] no es de la forma
umero origami-construible.
2n 3m . Por tanto, el n
umero 7 2 no es un n
Corolario 4.4. Sea n un n
umero entero positivo mayor o igual a 2. Una raz
n-esima primitiva de la unidad es un n
umero origami-construible si y s
olo si
n = 2k 3m p1 pr , donde cada pi es un n
umero primo de la forma pi = 1 + 2t 3s
para algunos s, t enteros no negativos y no simultaneament cero.
La demostraci
on de este resultado se puede encontrar en [KIN].

25

Referencias
[ROT:A] Rotman, Joseph. Advanced Modern Algebra, PENDIENTE.
[ROT:G] Rotman, Joseph. Introduction to the Theory of Groups, fourth edition.
Springer - Verlag; New York, 1995.
[ART] Artin, Emile. Galois Theory. Notre Dame Press; New York, 1942.
[COX] Cox, David. Galois Theory. Wiley - Interscience; New Jersey, 2004.
[ESC] Escofier, Jean-Pierre. Galois Theory. Springer-Verlag; New York-BerlinHeidelberg, 2001.
[STW] Stewart, I. Galois Theory, third edition. Chapman & Hall; Florida, 2003.
[KIN] King, James. Origami-constructible numbers. Article. December 17,
2004.
[LEH] Lehman, Charles. Geometra Analtica. Editorial Limusa, S. A. de C. V.;
Mexico, 2001.
[HKO] Hatori, Koshiro. P
agina web
http://www.jade.dti.ne.jp/~hatori/library/conste.html.

26