Geometría con regla y compás (I)
¿Se pueden construir todos los polígonos regulares con regla y compás? Vamos a ver la construcción de los mismos partiendo de unos ejes coordenados y dos puntos y :
Polígono regular de 3 lados: Triángulo equilátero
Es el polígono regular con menor número de lados que podemos tener. Su construcción es muy sencilla:
Trazamos una circunferencia con centro en y radio y otra con centro en y mismo radio. Esas dos circunferencias se cortan en dos puntos.Tomamos uno de ellos, digamos . Trazando los segmentos y obtenemos el triángulo equilátero .
Polígono regular de 4 lados: Cuadrado
La construcción del cuadrado también es sencilla:
Trazamos una circunferencia con centro en y radio . Esa circunferencia corta al eje en dos puntos. Tomamos uno de ellos, digamos . Trazamos la recta paralela al eje que pasa por y la recta paralela al eje que pasa por . El punto de corte de las mismas, digamos , es el vértice que nos faltaba. Trazando los segmentos , y obtenemos nuestro cuadrado.
Polígono regular de 5 lados: Pentágono regular
La construcción del pentágono es algo más complicada que las anteriores, pero sigue siendo ciertamente asequible:
Trazamos la paralela al eje que pasa por , digamos . Se traza la mediatriz del segmento obteniendo el punto como corte con el eje . Trazamos la circunferencia de centro y radio , digamos . Obtenemos el punto como corte de con la recta . Con centro en trazamos la circunferencia de radio , , obteniendo el punto de corte con el eje . Trazamos ahora la circunferencia de centro y radio , . Obtenemos el punto al cortar con y el punto como corte con la mediatriz del segmento . Para obtener el vértice que nos falta, , simplemente construimos el punto simétrico a respecto de la mediatriz del segmento . Uniendo los vértices obtenemos el pentágono regular buscado.
Polígono regular de 6 lados: Hexágono regular
La construcción del hexágono regular es bastante sencilla. La vemos:
Con radio trazamos circunferencias con centro y . Tomamos uno de los puntos de corte, digamos . Ese es el centro del hexágono. Trazamos ahora la circunferencia de centro y radio . Obtenemos los puntos y como cortes con las circunferencias anteriores y como corte con el eje . Trazando la paralela al eje que pasa por obtenemos el último vértice, , como corte de esta recta y la circunferencia trazada justo antes. Uniendo los vértices obtenemos el hexágono regular buscado.
Polígono regular de 7 lados: Heptágono regular
El heptágono regular no es construible con regla y compás. Vamos a ver por qué:
Viendo las construcciones anteriores de otra forma, mediante la relación de los puntos del plano con los números complejos, para construir un polígono regular de lados debe ser construible el número complejo . En el caso del heptágono debería ser construible el punto . Tenemos que el polinomio tiene a como raíz. La descomposición en polinomios irreducibles en queda así: . Como no es raíz de debe serlo del otro factor. Pero el grado del mismo es , y ya vimos que para que un punto fuera construible el grado de su polinomio mínimo irreducible en debía ser una potencia de . Por tanto no podemos construir el número complejo y en consecuencia tampoco el heptágono regular.
Ya hemos encontrado el primero que no puede construirse con regla y compás. Si continuáramos nos daríamos cuenta de que el polígono regular de 8 lados sí es construible pero el de 9 lados no lo es. Y ahora la pregunta es bastante evidente: ¿sabemos qué polígonos regulares son construibles con reglas y compás? Por suerte sí. Y nuestro idolatrado Gauss es uno de los principales culpables, probablemente el que más. Vamos con el resultado:
Teorema: (Construcción de polígonos regulares con regla y compás)
Un polígono regular de lados es construible con regla y compás en el sentido expuesto si y sólo si la descomposición en factores primos de es de la forma
siendo y los primos de Fermat distintos entre sí (recordemos que un primo de Fermat es un número primo que sea de la forma ).
Es decir, que un polígono regular es construible si el número de lados del mismo es una potencia de 2, un primo de Fermat o producto de una cierta potencia de 2 (pudiendo ser ) y varios primos de Fermat distintos. Y lo mejor del teorema es que es un si y sólo si, es decir, tenemos totalmente determinados los polígonos regulares que podemos construir con regla y compás. Así el triángulo (), el cuadrado (), el pentágono () y el hexágono () son construibles con regla y compás pero el heptágono regular () no lo es. Continuando, el octógono regular () sí es construible pero el eneágono regular () no lo es.
Una de las implicaciones de este teorema fue probada por Gauss y la otra fue demostrada por Pierre Wantzel.
Una de las construcciones de polígonos regulares con regla y compás más conocidas es la del heptadecágono (polígono regular de lados). La primera demostración de que esta construcción es posible se debe también a Gauss que la encontró cuando contaba con 19 años de edad, aunque parece ser que la primera construcción física de este polígono se debe a Johannes Erchinger. Parece ser que el hecho de encontrar la solución a este problema (que aparece en la sección VII de Disquisitiones Arithmeticae) hizo que Gauss se decantara por las Matemáticas en vez de por la Filosofía. Puede ser que sea ésta la razón por la que mandó que se grabara un heptadecágono en su tumba, aunque al final el albañil encargado del asunto, al ver la dificultad de la construcción y que apenas se distinguiría de un círculo, terminó grabando una estrella de 17 picos (Fuente: Dios creó los números, de Stephen Hawking). Al final del artículo tenéis un enlace a una página donde, entre otros, podéis ver cómo construir un heptadecágono con regla y compás.
De hecho es el tercer primo de Fermat. Los cinco primeros (y los únicos que se conocen) son y , del cual ya hablamos hace unos días. La primera construcción que se conoce de este monstruo de polígono se debe a Johann Hermes y data de 1894, después de 10 años de trabajo. Si la construcción es correcta valió la pena tanto esfuerzo.
Y para terminar algo de información para los retos que nos lanzó Domingo en este comentario del primer post de la serie:
Fuentes de los 3 artículos
- Mis apuntes de Álgebra II
- Regla y compás en la Wikipedia
- Construcción de polígonos regulares
- Regla y Compás: Zirkel.jar: Programa hecho en Java perfecto para las construcciones con regla y compás. Es el que he usado para este artículo. Muy recomendable y libre. Lo encontré en el blog de Concepción: Muchas gracias.
Fuente:
Gaussianos