Acta de Mathematica Vulgata Volumen 1, pp. 2936, 2005 Universidad de Cdiz Departamento de Matemticas http://www.uca.

es/matematicas/RDM

Construcciones con regla y comps

Antonio Jess Pan Collantes
Licenciatura en Matemticas Universidad de Cdiz antonio.pancollantes@alum.uca.es

1.

Introduccin

En este artculo tratamos de poner de relieve algunos aspectos interesantes acerca de las construcciones con regla y comps a lo largo de la historia. La belleza, manifestada por medio de grandes genialidades, es el principal motivo de la importancia de este tema en la historia de las matemticas, pues aunque es perfectamente posible construir casi cualquier objeto geomtrico ayudndose de otras herramientas, el uso de utensilios distintos de una simple regla sin graduar y un comps siempre ha estado mal visto. Muchos esfuerzos se han hecho para conseguir determinar qu se puede construir con las susodichas herramientas y qu no. Est claro que son herramientas muy potentes que nos permiten construir una innidad de objetos pero, dnde est su lmite? es posible construir cualquier cosa que nos planteemos? Est claro que no, pues cualquier gura que no conste de arcos de circunferencia y segmentos rectilneos queda fuera de su alcance (aunque se pueda acceder a una cantidad nita de puntos de dicha gura, como es el caso de la elipse). Ms adelante veremos que la humanidad ha conseguido resolver el problema de caracterizar aqullas construcciones susceptibles de ser construidas con regla y comps, lo cual, aunque sea completamente intil, es un alivio. En concreto podremos comprender por qu los tres problemas clsicos de la Antigedad, a saber, la triseccin del ngulo, la duplicacin del cubo y la cuadratura del crculo, no son resolubles utilizando nicamente nuestras herramientas. La historia sobre la resolucin de los tres problemas geomtricos clsicos est llena de ancdotas, y como consecuencia de ellos surgieron, por ejemplo, las secciones cnicas, clculo aproximado del nmero p, el mtodo de exhaucin como predecesor del clculo de lmites o la introduccin de curvas trascendentes. El texto est dividido en tres partes: en la primera se hace un repaso a la historia de estas construcciones; en la segunda se hace una breve introduccin a la teora algebraica de cuerpos y extensiones; y una tercera parte que utiliza el contenido de la segunda para demostrar la imposibilidad de los tres problemas clsicos griegos. Adems, este texto est dirigido a cualquier pblico con conocimiento de la geometra de bachillerato, si bien es cierto que la segunda parte puede hacerse un poco dura. Al ser un artculo con carcter divulgativo no debe buscarse el rigor de un tpico escrito de matemticas. 2. Historia

Desde sus orgenes, el hombre ha tratado de comunicarse mediante grasmos o dibujos. Las primeras representaciones que conocemos son las pinturas rupestres. En ellas no solo se intentaba representar la realidad que le rodeaba, animales, astros, al propio ser humano, etc., sino tambin sensaciones, como la alegra de las danzas, o la tensin de las caceras. Cuando el hombre adquiri un determinado desarrollo de sus ideas matemticas necesit tambin reejarlas grcamente. Tras la observacin diaria de diversos cuadrados imperfectos en la naturaleza, 29

30

Antonio Jess Pan Collantes

el hombre induce la existencia del cuadrado ideal (en el sentido platoniano), y se lanza a su representacin. Y entonces necesita instrumentos: en un principio slo punzones y tablillas enceradas (ver http://www.geocities.com/fudbiro/Antecedentes.html para una historia de los instrumentos de escritura); pero despus herramientas que le permitan rmeza en los trazos para imitar la idealidad de los objetos a dibujar. Y as aparecen la regla y el comps. El primer gran avance de la geometra se produjo en Grecia. Tal fue el avance que los Elementos de Euclides fueron el primer modelo de sistema axiomtico. Pero la importancia de la geometra griega no es slo en el aspecto terico, sino tambin en el prctico: se preocuparon de construir sistemticamente cada gura que imaginaban. Para tal n crearon una gran cantidad de herramientas, entre ellos regla, comps y utensilios especiales para trisecar ngulos. Pero curiosamente nuestras dos herramientas tuvieron una especial preponderancia, pues una construccin se consideraba mucho ms elegante si slo necesitaba de ellas para su realizacin. Por ejemplo, podemos considerar construcciones como la bisectriz de un ngulo,

la construccin de polgonos regulares,

o tambin el famoso teorema de Thales, que permite la multiplicacin y divisin de dos segmentos dados cualesquiera, pues se cumple que AB DE = BC EF
Vol. 1-2005

Construcciones con regla y comps

31

E A F B

Esta acin de los griegos por este tipo de construcciones fue transmitida al Mundo rabe, a la Edad Media y al Renacimiento como un juego o reto, ms que por su utilidad. Se fueron aportando ms y ms construcciones, pero no se avanz mucho acerca de las limitaciones que estas herramientas podan presentar. Se encontraron diversas situaciones en las que la regla y el comps parecan no ser sucientes, pero no se poda saber nada riguroso acerca de ellas. Estas limitaciones, aunque evidentes, no slo no mermaron el inters de los matemticos por este juego, sino que incluso apareci una cierta corriente de ellos que intent poner an ms restricciones a la hora de construir. Por ejemplo, cabe destacar al persa del siglo X, Abul Wefa, que se preocup por los objetos que podan ser construidos slo con regla y comps rgido. Se entiende por comps rgido o comps oxidado un instrumento que permite trazar circunferencias de un nico radio prejado. El propio Leonardo da Vinci y otros grandes pensadores del Renacimiento se preocuparon por este tipo de construcciones, pero no fue hasta 1673 cuando apareci en msterdam un libro annimo (a posteriori se supo que el autor fue George Mohr) llamado Compendius Euclidis Curiosi que daba un tratamiento serio al problema. Posteriormente, un agrimensor londinense, William Leybourn, escribi un libro acerca de "juegos y pasatiempos con regla y tenedor"(un tenedor puede hacer las veces de comps rgido). En el siglo XIX el francs Poncelet demostr que toda construccin con regla y comps puede ser llevada a cabo nicamente con una regla y un comps rgido (o sea, un tenedor!). Por otra parte, el suizo Jacob Steiner prob que bastaba nicamente con una regla y una circunferencia ja en el papel. Finalmente, en el siglo XX se prob que slo haca falta la regla, el centro de la circunferencia y un arco de tamao arbitrario de la misma. Por otra parte, el italiano Lorenzo Mascherani prob en 1794 que toda construccin con regla y comps poda ser realizada nicamente con el comps, aunque esto ya lo haba demostrado el desconocido George Mohr un siglo antes. Se cuenta que Napolen le propuso a Mascherani la posibilidad de realizar cualquier construccin de regla y comps a partir de una coleccin innita de palillos de dientes planos y del mismo tamao. La demostracin de este hecho se produjo en 1939 por Dawson. Pero volviendo a la regla y al comps, vamos a hablar de tres construcciones que se plantearon en la Antigua Grecia y que no se pudieron resolver. Se trata de la triseccin de un ngulo arbitrario, la duplicacin de un cubo y la cuadratura del crculo.

2.1.

Triseccin de un ngulo arbitrario

Dada la facilidad para realizar la bisectriz de un ngulo y la triseccin de un segmento, parece natural que en el 500 a.C. algunos griegos se planteasen cmo dividir un tringulo en tres partes iguales. Encontraron solucin a casos concretos (por ejemplo para trisecar el ngulo de 90 grados basta con construir un tringulo equiltero y hacerle la bisectriz). A lo largo de la historia han aparecido falsas demostraciones e incluso soluciones aproximadas:
Vol. 1-2005

32

Antonio Jess Pan Collantes

Es curioso que incluso en nuestros das aparezcan demostraciones como la del padre Callaham, de EEUU, en 1921, pues en 1837 el francs Wantzel demostr la imposibilidad de trisecar un ngulo arbitrario. Este personaje ha llegado incluso a reclamar que existe una conspiracin en su contra por parte de los matemticos profesionales. Lgicamente la comunidad matemtica ya no presta atencin a esta "secta de trisecadores", que se empea en proporcionar demostraciones tan enrevesadas que incluso resulta difcil encontrar dnde est el error. 2.2. Duplicacin del cubo

La historia de este problema es muy curiosa. Se cuenta que en el ao 429 a.C. muri Pericles, tirano de Atenas, y la ciudad cay en una profunda crisis. Los atenienses, abrumados, se dirigieron al Orculo de Delos para pedirle una solucin. Y la respuesta del Orculo fue que la crisis desaparecera si construan para los dioses un altar con el doble de volumen que el ya existente. Como la forma del altar era cbica los atenienses crearon un altar con el doble de arista que el anterior; pero la gran crisis slo no se solucion sino que empeor. Desesperados, los ateniense se dirigieron al Orculo de nuevo, a lo que ste reproch que el nuevo altar no tena el doble de volumen, sino que era ocho veces ms grande:

Vol. 1-2005

Construcciones con regla y comps

33

Los atenienses lo intentaron por todos los medios, pero lo que es seguro es que no lo consiguieron sirvindose slo de regla y comps. Grandes pensadores acometieron este problema: Arquitas de Tarento, Hipcrates de Quo, Menecmo, Eratstenes de Cirene... Pero nuevamente Wantzel prob su imposibilidad en 1837. 2.3. Cuadratura del crculo

Este problema fue propuesto por Anaxgoras en el 500 a.C., y se trata de construir un cuadrado de igual rea que un crculo dado. Ello nace de la necesidad de medir supercies comparndolas con unidades de medida cuadradas, lo que obligaba a convertir la supercie encuadrada en una circunferencia (crculo), en un cuadrado de rea equivalente y por lo tanto ms fcil de medir. dibujo Se encontraron numerosas soluciones aproximadas con regla y comps, y soluciones exactas utilizando otras herramientas. Ha sido uno de los problemas que ms importancia ha tenido en la historia y su estudio ha propiciado numerosos adelantos en la matemtica. De hecho, su inuencia ha sido tal que la expresin hecha "la cuadratura del crculo"se utiliza comnmente para sealar algo de extrema dicultad o imposible. Estos tres problemas tienes en comn un enunciado sencillo, que parece estar sacado de cualquier libro de bachillerato. Sin embargo han tenido a la humanidad pendiente durante... 2200 aos!!. Esto es lo que caracteriza a los problemas geniales, como por ejemplo la conjetura de Fermat: el enunciado puede ser comprendido por un individuo ajeno a las matemticas, pero su demostracin est al alcance de slo unos pocos, y exigi el desarrollo de ramas enteras de las matemticas. Lo cierto es que estos problemas son imposibles de resolver nicamente con regla y comps. Si por ejemplo enuncisemos: "dados tres segmentos iguales construir un cuadrado con ellos", no tendramos dicultad en comprender que su resolucin es imposible. Pues bien, la misma dicultad es la que acompaa a los tres problemas clsicos, con la diferencia de que su imposibilidad no es tan evidente, est un "poco"ms profundo y requiere ms esfuerzo. Es relativamente fcil probar que un determinado objeto es construible: bastar con dar su construccin. Ahora bien, cmo probar que algo no puede ser construido?, puedo realizar innitas construcciones comprobando que ninguna de ellas es la pedida? Como matemticos no nos conformamos con mostrar, debemos de-mostrar (mostrar desde dentro). Para ello podemos utilizar cualquier herramienta lgica que se nos ocurra, por ejemplo el lgebra. Es curioso cmo el lgebra, que nace a partir de la geometra, puede llegar ms de 2000 aos despus para ayudar a la geometra. Recordemos que el lgebra naci como un intento de abstraccin de operaciones tan geomtricas como la unin de segmento, el clculo de reas o la determinacin de volmenes. Es decir, en principio, el lgebra tena sus pies en la geometra, porque todos sus teoremas se basaban en una demostracin geomtrica. La curiosidad aparece cuando la geometra requiere del lgebra para demostrar sus proposiciones. Estos nuevos desarrollos algebraicos junto con la teora de Galois fueron el comienzo del lgebra moderna. A continuacin vamos a desarrollar unos pocos conceptos que nos permitan conocer, al menos, la idea de la demostracin de la imposibilidad de estos tres problemas. 3. Teora de cuerpos y extensiones de cuerpos

Vamos a ver algunos conceptos bsicos de la teora de cuerpos. Denicin 1. Un cuerpo es un anillo conmutativo (F, +, ) tal que 0 es distinto de 1 y todos los elementos de F salvo 0 tienen inverso multiplicativo. Esto es, un cuerpo es un conjunto con las mismas propiedades que los reales (R), los racionales (Q) o los complejos (C).
Vol. 1-2005

34

Antonio Jess Pan Collantes

Denicin 2. Dados dos cuerpos K y K , se dice que K es una extensin de K si K K . Nos centraremos nicamente en las extensiones de la forma K = K (x), esto es, el menor cuerpo que contenga a K y a x, siendo x un elemento que no pertenezca a K (si perteneciese, entonces K (x) = K ). Denicin 3. Se dene el grado de una extensin K K y se simboliza por [K : K ] como la dimensin de K considerado como espacio vectorial sobre K . Es fcil probar que si la extensin es de la forma K K (x) el grado coincide con el grado del polinomio irreducible con coecientes en K que verica x. Para una demostracin de este hecho, as como de una denicin rigurosa de polinomio irreducible ver http://www.itcr.ac.cr/revistamate/MundoMatematicas/Triseccion/node4.html. Por ejemplo: consideremos el cuerpo Q, y el elemento 2 / Q. Entonces tenemos la extensin Q( 2, que ser de grado 2, pues cualquier elemento de este nuevo cuerpo ser de la forma a + b 2 con a, b Q (una base estara formada por 1 y 2). Adems, observemos que verica el polinomio irreducible en Q, x2 2 = 0. Luego la extensin Q Q( 2) es de grado 2. Asimismo, sabemos que i verica el polinomio irreducible en R, x2 + 1 = 0, luego la extensin R R(i) = C es de grado dos tambin. Existen extensiones de cualquier grado. Sin ir ms lejos, en 1882 Linderman prob que es transcendente; esto es, no verica ningn polinomio con coecientes racionales. Luego la extensin Q Q( ) es de grado innito (extensin transcendente). Teorema 4. Sean K , F y H tres cuerpos con K F H . Se verica que [H : K ] = [H : F ] [F : K ]. Con esto ya estamos en condiciones de probar la imposibilidad de los tres problemas clsicos. 4. Imposibilidad de los tres Problemas Clsicos Griegos

En primer lugar debemos acordar qu signica una construccin con regla y comps: a partir de un conjunto de puntos en el plano obtener otros de manera que slo podemos realizar dos operaciones: Por dos puntos trazar una recta. Dibujar una circunferencia dado su centro y su radio. Partiremos de un segmento inicial, cuya medida tomaremos como unidad. Mediante una construccin tradicional, podremos crear una recta perpendicular a uno de los extremos de este segmento. Y obtendremos as una especie de sistema de referencia:

Vol. 1-2005

Construcciones con regla y comps

35

Se puede fcilmente obtener la suma, la resta, la multiplicacin y la divisin de dos segmentos, luego a partir de esta situacin podemos construir cualquier punto de coordenadas racionales. Esto es, podemos construir todo Q. Pero tambin podemos construir otras magnitudes, como por ejemplo 2:

As que podemos construir todo el cuerpo Q( 2). Esto quiere decir que hemos obtenido una extensin de grado 2. Pero cul es el grado, en general, de la extensin de Q que podemos conseguir con regla y comps? Supongamos que tenemos un nmero determinado de puntos construidos, tenemos un cuerpo asociado, Kn , resultado de sumar, restar, multiplicar y dividir todos los segmentos posibles:

Podemos obtener un nuevo punto de tres formas distintas: 1. Interseccin de dos rectas. En cuyo caso las coordenadas del nuevo punto vericarn un polinomio de grado uno, luego no hay ninguna extensin del cuerpo Kn . 2. Interseccin de recta con circunferencia. En este caso las coordenadas vericarn un polinomio de grado dos. Si es irreducible la extensin ser de grado dos, si no, de grado uno. 3. Interseccin de dos circunferencias. Nuevamente las coordenadas verican un polinomio irreducible de grado dos o grado uno, luego la extensin ser de grado dos o grado uno.
Vol. 1-2005

36

Antonio Jess Pan Collantes

Estos tres hechos son fciles de comprobar sin ms que obtener los desarrollos algebraicos pertinentes. As pues, lo que hemos obtenido es que cada vez que construimos un punto o bien el nuevo cuerpo es el mismo, o bien es una extensin de grado dos del cuerpo previo. Supongamos que construimos un punto arbitrario, Pn+1 , ayudndonos de n puntos auxiliares P1 , . . . , Pn . El cuerpo que podemos construir asociado a estos n + 1 puntos ser una extensin de Q de grado [Kn+1 : Q] = [Kn+1 : Kn ][Kn : Kn1 ] . . . [K1 : Q], donde Ki es el cuerpo asociado al conjunto de puntos {P1 , . . . , Pi }. As pues, con lo visto anteriormente, ser: [Kn+1 : Q] = 2t , con t n + 1. Ahora vamos a demostrar, por n, uno a uno la imposibilidad de los tres Problemas Clsicos: 4.1. Triseccin de un ngulo arbitrario

Vamos a ver que no se puede trisecar el ngulo de 60o . Si fuese posible entonces obtendramos el ngulo de 20o :

Es decir, podramos realizar la extensin Q Q(cos 20o ) . Pero teniendo en cuenta la frmula trigonomtrica cos 3A = 4 cos 3A 3 cos A aplicada a A = 20o tenemos que cos 20o verica la ecuacin 4x3 3x 1/2 = 0, que es un polinomio con coecientes en Q irreducible. Luego la extensin Q Q(cos 20o ) es de grado 3, lo cual contradice todos los razonamientos anteriores pues 3 no es potencia de 2. 4.2. Duplicacin de un cubo

Vamos a ver que no se puede duplicar el volumen de un cubo de lado 1. Supongamos un cubo de lado 1, y por tanto volumen 1. Si se pudiese duplicar su volumen obtendramos un segmento s tal que s3 = 2, esto es, s vericara el polinomio irreducible x3 2 = 0, que es irreducible. Por lo tanto la extensin Q Q(s) es de grado 3, y he aqu nuevamente la contradiccin. 4.3. Cuadratura del crculo

Construyamos un crculo de radio unidad. Su rea es . Si fusemos capaces de construir un cuadrado de igual rea, su lado sera un segmento de longitud s tal que s2 = p. Luego habramos construido el nmero , y por tanto tambin podramos construir (Teorema de Thales). Luego la extensin Q Q( ) sera de grado 2t , para cierto t N; y no como prob Linderman, de grado innito.

Vol. 1-2005