1

Los famosos tres problemas griegos.

Nos referiremos en esta seccin a los conocidos como problemas griegos, cuyas formulaciones son: o La duplicacin del cubo: El problema consiste en construir un cubo cuyo volumen sea igual al o doble de un cubo dado. La triseccin del ngulo: Dado un ngulo cualquiera, se busca conocer la forma en que es posible o a a obtener un ngulo que sea un tercio del ngulo dado. a a La cuadratura del c rculo: El problema consiste en construir un cuadrado cuya rea sea igual al a rea de un c a rculo dado. La razn por la que estas tres situaciones, especialmente las dos primeras, se convirtieron en problemas de o resolucin no inmediata, es la autoimposicin de los griegos a utilizar slo dos instrumentos de construccin: o o o o la regla no graduada y el comps. a Cabe aclarar que el estudio de las construcciones geomtricas, ya desde la antig e uedad, no estaba asociado a la exactitud del trazado sino a la posibilidad terica de realizarlo. Podr decirse que una construccin o a o geomtrica consiste en el estudio terico sobre el procedimiento que, bajo ciertos condicionamientos, podr e o a llevar a una construccin f o sica. Durante siglos los matemticos se ocuparon de encontrar soluciones a los problemas. Recin con el a e abordaje de las ecuaciones algebraicas aparece un nuevo enfoque para ciertos problemas y es el de estudiar su resolubilidad. Este cambio de mentalidad, el pasaje de buscar mtodos, aunque fueran aproximados, e para encontrar soluciones a desarrollar mtodos y criterios que permitieran estudiar la resolubilidad de e los problemas fue un salto importante en el avance cient ico de la disciplina y el que permiti tambin o e desarrollar el marco terico al cual apelamos para demostrar que los tres problemas griegos son irresolubles o con regla y comps. Dicho marco est en el Algebra que, por un lado, ofrece un modo de examinar e a a interpretar cuestiones geomtricas, al modo cartesiano, y por otro, provee herramientas rigurosas para e probar su irresolubilidad.

1.1

Breve recorrido histrico o

El desarrollo de la Geometr griega tiene una base lgico-deductiva de razonamiento sobre elementos bsicos a o a de manipulacin intelectual que son ciertas ideas, como el punto, la recta, el plano, la circunferencia, la esfera, o cuya existencia estaba garantizada por su caracter absoluto, simple, perfecto. Dicho desarrollo admite como unicos instrumentos de construccin aquellos cuyos efectos pueden traducirse rpidamente en axiomas, en o a enunciados a demostrar deductivamente y en deniciones. Tal es el caso del comps, con el que es posible a representar la forma de la circunferencia, que es el modelo abstracto de, por ejemplo, la boca de un pozo de agua y la regla no graduada con la que se puede trazar la unica recta que pasa por dos puntos de un plano. Mientras los egipcios, precursores en el desarrollo de conocimientos geomtricos, razonaban sobre la boca e del pozo de agua y sus construcciones eran una serie de pasos recetados cuya validez de funcionamiento quedaba en el misticismo del desconocimiento, los griegos buscaban las grandes verdades absolutas y en pos de esto, su gran contribucin fue el aporte de los modelos geomtricos abstractos, y por lo tanto intangibles, o e y el estudio de las relaciones que involucran esos modelos. De este modo, estudiar dichas relaciones comporta estudiar toda una clase de casos concretos y estar en condiciones de explicar el por qu del funcionamiento e de los resultados y posibilidades de las construcciones f isicas particulares. Aunque el razonar sobre los efectos del uso de la regla y el comps, que consist en la materializacin de a an o las intersecciones entre circunferencias y rectas, dio lugar a un importante desarrollo terico, la contracara o es que de este modo los griegos se autoimpusieron reglas que frenaron posibles avances. Tal es as que Platn o (428-347 aC) sosten que la introduccin de otros instrumentos alteraban la pureza de la Geometr Sin a o a. embargo, fue Eudoxo, uno de sus disc pulos quien introduciendo un nuevo instrumento logr realizar la o triseccin del ngulo, que explicaremos ms adelante. o a a 1

El origen de los tres famosos problemas griegos no es claro. Para el problema de duplicacin del cubo, o cuenta la leyenda que el mismo surge a partir de consultar un orculo a propsito de una peste que por a o mucho tiempo rein en Delos. El orculo consultado declar que para que esta catstrofe cesara, el dios o a o a Apolo quer que se le erigiera un altar que sea el doble del altar cbico ya erigido en su honor. Se construy a u o uno tal que la medida de su lado era el doble de la medida del lado del anterior. En vistas de que la peste no cesaba, el orculo fue nuevamente consultado y este declar que Apolo no estaba satisfecho porque el a o altar construido era ocho veces mayor que el viejo altar y l quer uno que fuera exactamente el doble. e a Se dirigieron entonces a los gemetras. Cuenta la leyenda que Platn se excus y sugiri el nombre de o o o o Euclides...(Quien present su obra despus de Platon!). Ms all de esta ancdota, es natural pensar que o e a a e si con los conocimientos de la poca se sab multiplicar y dividir segmentos y reas por enteros, es natural e a a plantearse la cuestin de multiplicar y dividir ngulos y volmenes por enteros. o a u Los trabajos de Vieta (1540-1603) y de Descartes (1596-1650) conducen al lgebra de las longitudes a que establece que mediante la regla y el comps, se pueden construir geomtricamente las longitudes que a e se expresan algebraicamente por sucesivas operaciones aritmticas (suma, resta, multiplicacin y divisin) e o o y sucesivas extracciones de ra ces cuadradas. Mediante la obra de Descartes se consolida la nocin ya o anticipada por los griegos que mediante estos instrumentos pueden construirse las soluciones reales de problemas de segundo grado, y que toda expresin algebraica que slo contiene una sucesin nita de o o o operaciones aritmticas y ra e ces cuadradas es construible con regla y comps y viceversa. a La incorporacin de otros instrumentos, como la regla marcada, nos permite construir efectivamente la o duplicacin del cubo y la triseccin de un ngulo. En relacin con el Algebra, estas construcciones tienen que o o a o ver con la posibilidad de resolver mediante radicales las ecuaciones de grado tres y cuatro con coecientes racionales. El estudio de este tipo de problemas data del siglo XVI (Cardano, 1501-1574). Hasta ahora la alusin que hicimos del Algebra en funcin de las construcciones geomtricas propuestas, o o e nos ha llevado a referirnos a las soluciones mediante radicales de las ecuaciones de grado n, con n = 1, 2, 3o4. Es entonces natural el siguiente planteamiento ms general de los matemticos: Es posible obtener un a a mtodo genrico de resolucin mediante operaciones racionales y radicales para las ecuaciones de grado e e o mayor o igual a 5?. Durante el siglo XVIII se intentaron diversos mtodos, pero fue recin a principios del e e siglo XIX que el cambio de mentalidad al que nos referimos antes, oper en matemticos como Runi y o a Abel, quienes concibieron probar la imposibilidad de la obtencin de una frmula de este tipo. Ms tarde, o o a el desarrollo del Algebra moderna y la teor de grupos durante el siglo XIX dio respuesta a dicha cuestin a o conrmando la imposibilidad.

1.2
1.2.1

Un recorrido matemtico. a
Relacin entre operaciones racionales, ra o ces cuadradas y construcciones geomtricas e con regla y comps. Resolucin geomtrica de ecuaciones cuadrticas. a e a

1. Construccin con regla y comps de segmentos cuyas medidas resultan ser resultados de operaciones o a racionales, la suma, la diferencia, el producto, el cociente, y de la ra cuadrada de otras medidas. z 2. Observar que si considero el conjunto de nmeros construibles con regla y comps a partir de la unidad u a (el 1), con la convencin de considerar tambin los nmeros negativos, entonces los mismos mtodos o e u e geomtricos inducen a entender que se obtiene un subcuerpo de los nmeros reales. e u 3. Denicin de extensin de cuerpo. Extensin por agregado de una ra cuadrada que no pertenece al o o o z cuerpo de base, ver que es un subcuerpo. 4. Si un nmero pertenece a un subcuerpo real proveniente de una torre o cadena de extensiones u cuadrticas, entonces es construible con regla y comps. (Por induccin). a a o 5. Si un punto es construible con regla y comps, es resultado de una sucesin de pasos geomtricos que a e consisten, en forma alternada, en: a) intersecar dos rectas no paralelas, b) intersecar una recta y una

circunferencia, c) intersecar dos circunferencias. Las coordenadas de los puntos que resultantes de cada uno de las construcciones geomtricas enunciadas, pertenecen al cuerpo de base F o en el plano e de alguna extensin cuadrtica de F . (Had pag 19) o a 6. Son equivalentes, (a) a es construible con regla y comps (en el sentido geomtrico) a e (b) a pertenece a un subcuerpo real proveniente de una sucesin de extensiones cuadrticas a partir o a de Q. 7. Deniciones. Desde geometr sinttica: Decimos que un nmero es construible con regla y comps a e u a (construible a secas), cuando su valor absoluto es medida de un segmento que se puede construir a partir de un segmento prejado como unidad mediante: intersecciones entre rectas y circunferencias, trazado de rectas, trazado de circunferencias (segmentos consecutivos, trazado de paralelas y de perpendiculares, etc.) Desde el lgebra moderna: Un nmero real es construible si y slo si existe una torre de subcuerpos a u o de R, Q = F0 F1 . . . F2 Fk R, tal que Fk y cada Fi = Fi1 ( ai ), para algn ai Fi1 . u 8. Imposibilidad de resolver la duplicacin del cubo. Imposible construir 3 2 (Courant o Hadlock pag o 25). 9. Imposibilidad de trisecar un ngulo arbitrario. Mostrar que no se puede trisecar el de 60 grados. a 10. Imposibilidad de cuadrar el circulo con regla y comps. Asumiendo que no es algebraico, entonces a no es construible. Para eso hay que probar de algn modo que todo construible es algebraico. u (a) El grado de extensiones es multiplicativo. (b) Si el grado de una extensin es nito, entonces todo elemento es algebraico. o

1.3

Relacin entre operaciones racionales, ra o ces c bicas, trisecciones de ngulos y u a construcciones con regla marcada.

1. Mostrar construcciones con regla marcada. Denir concoide. Una regla marcada es una regla en la que se realizan dos marcas sobre la misma a una determinada distancia. El uso de la misma es el siguiente: Se tienen dos rectas, y m y un punto O jos, la regla contiene el punto O y se desliza de modo tal que las marcas realizadas pertenezcan a la recta y m respectivamente. 2. Mostrar que con comps, regla no graduada y regla marcada puede trisecarse un ngulo. Dado un a a ngulo AOB, supongamos en primer lugar que es agudo. Se traza una perpendicular m al lado OB a por A, luego una paralela a OB tambin por A. Con regla marcada se determinan dos puntos M e y L sobre m y respectivamente de modo que M L = 2AO. Se traza una paralela a m por el punto medio H del segmento M N . Notemos que: HL = HA pues por H se ha trazado la altura que tambin, por propiedad de la base media de e un tringulo, es mediatriz del segmento AL. a HL = HM = OA por ser H punto medio y por construccin HL = 2OA. o Los tringulos AOH y AHL son issceles, de modo que los ngulos sobre sus bases son iguales a o a entre s .

 Los ngulos LOC y ALO son iguales entre s por alternos internos entre AL OC y OL transvera sal. Llamemos = AOL y = LOB. Por las relaciones mencionadas tenemos que: = 2, pues es externo al tringuloAHL, a

AOB = AOL + LOB = + = 2 + = 3. De este modo se ha llegado a trisecar el ngulo AOB. a Si AOB fuera obtuso, se traza la bisectriz del mismo. El ngulo medio es agudo por lo que es posible a realizar la construccin anterior y obtener su tercio que ser un sexto del ngulo inicial. Al duplicarlo, o a a se obtendr el tercio del AOB. a 3. Mostrar que con regla marcada puede construirse la ra cbica de cualquier nmero. z u u Dado un segmento de medida a, construiremos un segmento cuya medida sea la ra cbica de a. Por z u multiplicacin de segmentos construimos un segmento b = 23k1 para un k entero conveniente de modo o que b > a. Por ejemplo, si a = 20, k 3 puede servir. Se construye un tringulo issceles ACB de a o base a y lados iguales a b. Sobre CA se determina D tal que DA = AC = b. Con regla marcada se determina sobre las rectas BD y AB los puntos E y F respectivamente de modo que C, E y F estn a alineados y EF = b. Considerando el tringulo CAF , y los puntos D, B y E sobre la recta DB, por a teorema de Menelao se tiene que: CD AB F E = 1, AD F B CE y entonces 2b a b = 1. b y x De donde se obtiene que xy = 2ab. Si trazamos la circunferencia de centro C y radio b y llamamos H y G a los puntos de interseccin o entre dicha circunferencia y la recta CF , en particular G est entre C y F. Notemos que a x = b + GE, F G = b + GE, luego x = F G. Ahora usamos semejanza (potencia de un punto respecto a una circunferencia) y tenemos que: F H F G = F A F G, por lo cual, x(x + 2b) = y(y + a). Despejando x de la primera ecuacin y reemplazndola en la segunda, se elimina de las dos ecuaciones o a y queda que y 3 = 4ab2 . Si sustituimos b = 23k1 , y 3 = 26k a. Luego y 3 a = 2k . 2 4

Dado que el valor de la derecha es construible, entonces es posible obtener la ra cbica mediante z u comps y regla marcada. a Teorema: Dadas las rectas , m, un punto O y un segmento de longitud d en un plano cartesiano, si los puntos A y B sobre y m respectivamente son tales que O, A y B estn alineados y la distancia entre A y a B es d, entonces las coordenadas de los puntos A y B, se obtienen a partir de resolver una ecuacin o curtica con coecientes en el cuerpo de base F . a Antes de hacer esta prueba, explorar con Geogebra. Prueba: Por un cambio lineal de coordenadas podemos asumir que O = (0, 0) es el origen y la recta es y = b, para algn b. Consideramos que el lugar de todos los puntos P tales que OP corta a en u Q de modo que P Q = d (dibujar en el Geogebra). Este lugar se llama concoide de Nicmedes . Los o puntos A y B de la proposicin son tales que A y B es un punto de interseccin entre la concoide o o y la recta m. En el sistema elegido, la concoide tiene una ecuacin que deduciremos: Si P pertenece a la concoide, o O, P y Q estn alineados y entonces P y Q pertenecen a una recta de ecuacin y = ax, para un cierto a o b o a. El punto Q tiene coordenadas Q = ( a , b), mientras P = (x, y), con la condicin que dist (P, Q) = d, b (x )2 + (y b)2 = d2 . a Recordemos que las coordenadas de P tambin satisfacen que y = ax, luego, tratando de eliminar el e y parmetro a, sustituimos a = x , con x = 0. Reemplazando y simplicando obtenemos, a (x2 + y 2 )(y b)2 = d2 y 2 . Ecuacin de la concoide o

Observemos que esta ecuacin se satisface tambin para (0, 0) an cuando las simplicaciones son o e u posibles para puntos tales que y = 0. Para encontrar las coordenadas de B, basta sustituir la ecuacin de la recta m, y = px + q quedando o una ecuacin curtica en x. Las soluciones reales de dicha ecuacin son las abscisas de los puntos B. o a o Las ordenadas de dichos puntos se obtienen reemplazando en la ecuacin de m. Despus es posible o e obtener la recta OB y el parmetro a que pertenece a la extensin del cuerpo de base tal que contiene a a o b la abscisa de B. Finalmente las coordenadas de A son A = ( a , a) pertenecientes a dicha extensin. o 4. Construccin geomtrica de las ra o e ces reales de ecuaciones cbicas y de ecuaciones curticas. u a El uso del comps, la regla no graduada y la regla marcada, esta ultima entre rectas solamente, permite a encontrar sucesivas ra ces reales de ecuaciones cbicas y curticas. u a Esto signica que, si se quiere ubicar un punto en el plano cartesiano, tal que sus coordenadas son soluciones de ecuaciones cbicas o curticas, es necesario utilizar el comps y la regla marcada. u a a Para la cbica u (a) Frmula de Cardano. o i. ii. iii. iv. Considerar una cbica completa y reducirla al tipo x3 + px + q = 0 u Plantear una solucin del tipo x = u + v, reemplazar en la cbica. o u 3 v3 Imponer la condicin de que p = 3uv y q = u o 3 y v 3 son ra Mostrar que u ces de la ecuacin cuadrtica: y 2 + qy ( p )3 = 0. Se puede o a 3 q resolver por radicales cuando ( 2 )2 + ( p )3 0 3 5

(b) Por triseccin de ngulos. o a

q i. ( 2 )2 + ( p )3 < 0, implica que p es negativo. Agregar al cuerpo el nmero construible: 3p. u 3 ii. Realizar un cambio de variables x = 1 3pz y la ecuacin queda: z 3 3z + b = 0, con o 3 b = q 27 . Notar que por la condicin de este caso, por el cambio de variables realizado, o p3

provoca que |b| < 2. b iii. Determinamos el ngulo tal que cos = 2 . Luego por la identidad trigonomtrica del a e ngulo triple, si trisecamos a y nombramos x = 2 cos( 1 ), x resulta solucin de la ecuacin a o o 3 dada. Para la curtica ax4 + bx3 cx2 + dx + e = 0, hacer el reemplazo x = y 1 y reducirla a una ecuacin a o 4 4 + px2 + qx + r = 0. Si tiene una ra real, tiene un par de ra sin trmino cbico: x e u z ces reales. El polinomio puede descomponerse x4 + px2 + qx + r = (x2 + ax + b)(x2 ax + c), para algn c. Luego se tienen las siguientes ecuaciones u p = b+ca q = a(c b) r = cb
q 1 1 Usando la primera y la segunda, con los parmetros b y c, se obtiene que: b = 2 (p + a2 a ) = 2a (pa + a q o a3 + q), c = a + b y reemplazando en la tercera se obtiene la ecuacin a6 + 2pa4 + (p2 4r)a2 q 2 = 0.

Por cambio de variables, a2 es solucin de la cbica y 3 + 2py 2 + (p2 4r)y q 2 = 0 cuyos coecientes o u 3 + 2py 2 + (p2 4r)y q 2 = 0 tiene una solucin real positiva, se estn en el cuerpo F . Luego, si y a o puede hallar a, b y por lo menos dos ra ces reales del polinomio curtico. a De este modo queda demostrado que las ra reales de polinomios cbicos y curticos pueden repreces u a sentarse geomtricamente mediante el uso de la regla (no graduada), el comps y la regla marcada entre e a dos rectas. Es decir estamos dando una caracter stica geomtrica de las ra e ces de tales polinomios. 5. Queda por preguntarnos qu caracter e stica algebraica tienen los nmeros construibles con regla maru cada y comps. Un nmero proveniente del uso de la regla y el comps, pertenece a un cuerpo a u a proveniente de sucesivas extensiones cuadrticas F , al introducir la regla marcada, entonces las coa ordenadas de los puntos son ra ces reales de polinomios curticos (pues la concoide es una ecuacin a o curtica) o lineales, con coecientes en F . Una ra de ese tipo pertenece a una cadena de extensiones a z de cuerpos que se obtienen por agregado de una ra cbica, una ra cuadrada o una triseccin de z u z o ngulo. a Luego, se tiene el siguiente resultado: es construible con regla marcada y comps si y slo si existe a o una cadena de subcuerpos reales Q = F0 F1 . . . Fk , tal que Fi se obtiene de Fi1 por agregado o adjuncin de un elemento i , tal que o (a) i = a, a > 0 Fi1 , o (b) i = 3 a, a Fi1 , o (c) i = cos 1 , cos Fi1 3

1.4

Bibliograf a

1. Lebesgue, H. (2008) Les constructions gometriques. Editions Jacques Gabay. 3ieme tirage. Paris. e 2. Descartes, R. (1954) The Geometry. Dover. New York. 3. Hartshorne, R. (2000) Geometry: Euclid and Beyond. Springer. USA. 4. Hadlock, Ch. R. (2000). Field Theory and its classical problems. The Mathematical Association of America (incorporated). USA.

1.5

Temas para breves monograf as

1. Armar los apuntes de lo que se trat en estos encuentros siguiendo el trayecto enunciado. o 2. Armar un trabajo monogrco, con los tres aspectos: histrico-epistemolgico, tcnico, didctico, de a o o e a alguno de los siguientes temas: (a) Trascendencia de . (b) Construccin de pol o gonos regulares por regla y comps. Su relacin con los primos de Fermat. a o