Trisección del ángulo

Trisección de Arquímedes, usando un método neusis. Se vale de una regla en la que se marca la distancia AB (igual al radio de la cirunferencia, OQ). El ángulo que triseca el ángulo principal, se obtiene haciendo pivotar y deslizar la regla por el punto P (que define el ángulo dado POQ), hasta lograr que el punto A se sitúe sobre el eje horizontal, y que el punto B se sitúe sobre la circunferencia. Se ilustra para los ángulos α (>90°) y β (<90°)

La trisección del ángulo es uno de los tres problemas clásicos de la antigua matemática griega. El problema consiste en encontrar un ángulo cuya medida sea un tercio de otro ángulo dado, utilizando únicamente regla y compás.

El problema es sencillo en algunos casos (por ejemplo, si el ángulo dado es recto o si en el barrido por la circunferencia total puede construirse un ángulo que sea la tercera parte del mismo), pero es imposible de resolver en general, como demostró Pierre Wantzel en su artículo Recherches sur les moyens de reconnaître si un Problème de Géométrie peut se résoudre avec la règle et le compas, de 1837. Su demostración utiliza la teoría de Galois.

La trisección del ángulo es uno de los problemas clásicos de la antigüedad griega que sobrevivió sin ser resuelto hasta el Plantilla:Siglo, junto con la cuadratura del círculo y la duplicación del cubo. Este último fue resuelto en el mismo artículo por Wantzel, demostrando su irresolubilidad. La cuadratura del círculo también es imposible, como probó Carl Louis Ferdinand von Lindemann en 1882.

Es posible trisecar un ángulo arbitrario utilizando herramientas distintas a la regla y el compás. Por ejemplo, el método neusis, también conocido por los antiguos griegos, implica el deslizamiento y la rotación simultáneos de una regla graduada, lo que no se puede lograr con las herramientas originales. Los matemáticos desarrollaron otras técnicas en los siglos posteriores.

Debido a que el problema de la trisección del ángulo está definido en términos simples, pero es complejo hasta el punto de ser irresoluble, se convirtió en un tema frecuente de intentos pseudomatemáticos de resolución por parte de entusiastas ingenuos. Estas soluciones a menudo implican interpretaciones erróneas de las reglas o simplemente son incorrectas.

Antecedentes y enunciado del problema

La bisección de ángulos arbitrarios se conoce desde la antigüedad

Usando solamente una regla sin marcar y un compás, los matemáticos griegos encontraron la manera de dividir una línea recta en un conjunto arbitrario de segmentos iguales, dibujar rectas paralelas, bisecar ángulos, construir algunos polígonos regulares y generar cuadrados de igual o dos veces el área de un determinado polígono.

Sin embargo, tres problemas específicos resultaron ser especialmente esquivos: trisecar un ángulo, duplicar un cubo y cuadrar un círculo. El problema de la trisección del ángulo se enuncia así: Plantilla:Definición

Prueba de imposibilidad

Reglas graduadas. Las que se muestran están marcadas: una regla ideal no está marcada

Compases

Pierre Wantzel publicó una prueba de la imposibilidad de trisecar clásicamente un ángulo arbitrario en 1837. La prueba de Wantzel, reformulada en terminología moderna, usa el álgebra abstracta de extensión de cuerpos, un tema que ahora se combina típicamente con la teoría de Galois. Sin embargo, Wantzel publicó estos resultados antes que Galois (cuyo trabajo se publicó en 1846) y no utilizó la conexión entre extensiones de cuerpos y grupos que es el tema específico de la teoría de Galois.

El problema de construir un ángulo de una medida dada Plantilla:Math es equivalente a construir dos segmentos de manera que la razón de su longitud sea Plantilla:Math. De una solución a uno de estos dos problemas, se puede pasar a la solución del otro mediante una construcción con regla y compás. Existe una expresión trigonométrica que relaciona los cosenos del ángulo original y de su trisección:

Plantilla:Math = Plantilla:Math

De ello se deduce que, dado un segmento que se define con una longitud unitaria, el problema de la trisección del ángulo es equivalente a construir un segmento cuya longitud es la raíz de un polinomio de tercer grado. Esta equivalencia reduce el problema geométrico original a un problema puramente algebraico.

Todo número racional es construible. Cada número irracional que es construible con regla y compás en un solo paso a partir de algunos números dados es una raíz de un polinomio de grado 2 con coeficientes en el cuerpo al que pertenecen estos números. Por lo tanto, cualquier número que se pueda construir mediante una secuencia finita de pasos es una raíz de un polinomio mínimo cuyo grado es una potencia de dos. El ángulo Plantilla:Math radianes (60 grados, 60°) es construible. El siguiente argumento demuestra que es imposible construir un ángulo de 20°, lo que implica que no se puede trisecar un ángulo de 60° y, por lo tanto, que no se puede trisecar un ángulo arbitrario.

Denótese el conjunto de los números racionales por Plantilla:Math. Si se pudiera trisecar un ángulo de 60°, el grado de un polinomio mínimo de Plantilla:Math sobre Plantilla:Math sería una potencia de dos. Ahora, considérese Plantilla:Math. Se debe tener en cuenta que Plantilla:Math = Plantilla:Math = Plantilla:Math. Luego, por la fórmula del triple ángulo, Plantilla:Math, e igualmente, Plantilla:Math.

Entonces, Plantilla:Math, y se define Plantilla:Math como el polinomio Plantilla:Math.

Dado que Plantilla:Math es una raíz de Plantilla:Math, el polinomio mínimo para Plantilla:Math es un factor de Plantilla:Math. Debido a que Plantilla:Math tiene grado 3, si tiene solución en Plantilla:Math, entonces tiene una raíz racional. Según el teorema de la raíz racional, esta raíz debe ser Plantilla:Math o Plantilla:Math, pero ninguna de ellas es una raíz del polinomio. Por lo tanto, Plantilla:Math es irreducible sobre Plantilla:Math, y el polinomio mínimo para Plantilla:Math es de grado Plantilla:Math.

Por lo tanto, un ángulo de Plantilla:Math no se puede trisecar.

Ángulos trisecables

Sin embargo, algunos ángulos se pueden trisecar. Por ejemplo, para cualquier ángulo constructible Plantilla:Math, un ángulo de medida Plantilla:Math se puede construir de forma trivial triplicando directamente un ángulo de medida Plantilla:Math. Hay ángulos que no son construibles pero que son trisecables (a pesar de que el ángulo de un tercio en sí mismo no es construible). Por ejemplo, Plantilla:Math es un ángulo de este tipo: cinco ángulos de medida Plantilla:Math se combinan para formar un ángulo de medida Plantilla:Math, que es un círculo completo más el Plantilla:Math deseado.

Para un número natural Plantilla:Mvar, un ángulo de medida Plantilla:Math es trisecable si y solo si Plantilla:Math no divide a Plantilla:Mvar. En contraste, Plantilla:Math es construible si y solo si Plantilla:Mvar es una potencia de Plantilla:Math o el producto de una potencia de Plantilla:Math con el producto de uno o más números de Fermat distintos.

Caracterización algebraica

Nuevamente, denótese el conjunto de los números racionales por Plantilla:Math.

Teorema: un ángulo de medida Plantilla:Math se puede trisecar si y solo si

Plantilla:Math

se puede reducir sobre la extensión del cuerpo Plantilla:Math.

La demostración es una generalización relativamente sencilla de la prueba dada anteriormente de que un ángulo de Plantilla:Math no es trisecable.

Otros métodos

El problema general de la trisección de ángulos se puede resolver utilizando herramientas adicionales y, por lo tanto, saliendo del marco griego original de la regla y el compás.

Se han propuesto muchos métodos incorrectos para trisecar un ángulo en general. Algunos de estos métodos proporcionan aproximaciones razonables; otros (algunos de los cuales se mencionan a continuación) involucran herramientas no permitidas en el problema clásico. El matemático Underwood Dudley ha detallado algunos de estos intentos fallidos en su libro "The trisectors" (Los Trisectores).

Método de construcción geométrica aproximada

Trisección aproximada: Tomando OF=2OE, la construcción permite determinar fácilmente el arco HEG, que es aproximadamente una tercera parte del arco BEA

Esta construcción requiere trazar una circunferencia de radio arbitrario y con centro en el vértice O del ángulo a trisecar (∠AOB), y situar un punto F en la bisectriz del ángulo dado a una distancia del doble del radio de la circunferencia. Considerando ∠AOB = 2a y ∠HOG = 2x, entonces se tiene que el triángulo ΔOCF incluye el ángulo ∠OCF = ½ (a + x) ya que es un ángulo inscrito en la circunferencia que comprende un arco de medida a + x, y también se tiene que ∠CFO = ½ (a - x) porque al extender la bisectriz se obtiene un ángulo opuesto al ángulo ∠EOB = a, que por otro lado, es un ángulo externo al triángulo ΔOCF no adyacente a los ángulos ∠OCF = ½ (a + x ) y ∠CFO. En consecuencia:

$C\hat{F}O=a-\frac{a+x}{2}=\frac{a-x}{2}$

Usando la ley de los senos y los cosenos en el triángulo ΔOCF y considerando los lados OF y OC que miden respectivamente 2.r y r, donde r es el radio de la circunferencia, entonces:

$\frac{2.r}{\mathrm{sen}\frac{a+x}{2}}=\frac{r}{\mathrm{sen}\frac{a-x}{2}}⟺\frac{\mathrm{sen}\frac{a-x}{2}}{\mathrm{sen}\frac{a+x}{2}}=\frac{1}{2}\cdot$

Con la segunda igualdad se llega a:

$\frac{(\mathrm{sen}a/2).(\cos x/2)-(\mathrm{sen}x/2).(\cos a/2)}{(\mathrm{sen}a/2).(\cos x/2)+(\mathrm{sen}x/2).(\cos a/2)}=\frac{1}{2}$

Dividiendo el numerador y el denominador del primer miembro de la expresión anterior, resulta: $\frac{(\tan a/2)-(\tan x/2)}{(\tan a/2)+(\tan x/2)}=\frac{1}{2}$.

Esto demuestra que $\tan \frac{x}{2}=\frac{1}{3}\tan \frac{a}{2}$. De ello se deduce que x es aproximadamente $\frac{a}{3}$.

Aproximación por bisecciones sucesivas

Compás de Descartes

Mecanismo de abanico de Sylvester

La trisección se puede aproximar mediante la repetición del método de la regla y el compás para bisecar un ángulo. Las series geométricas Plantilla:Nowrap o Plantilla:Nowrap se pueden utilizar como base para las bisecciones. Se puede obtener una aproximación hasta cualquier grado de precisión en un número finito de pasos, pero la resolución exacta requeriría realizar un número infinito de pasos.

Usando un acoplamiento mecánico

Un ángulo se puede trisecar con un dispositivo que es esencialmente una versión de cuatro brazos de un compás, con conexiones articuladas intermedias diseñadas para mantener iguales los tres ángulos entre los brazos adyacentes. Este dispositivo fue estudiado por René Descartes en 1629, según consta en su correspondencia con Isaac Beeckman.

Posteriormente, se idearían otros mecanismos simples capaces de trisecar ángulos, incluido el Trisector de Kempe y el mecanismo de abanico de Sylvester (también conocido como Isoklinostat).

Usando origami

Trisección de un ángulo mediante pliegues (origami) y comprobación del resultado

La trisección, como muchas construcciones imposibles con la regla y el compás, se puede lograr fácilmente mediante las operaciones de plegado de papel, u origami. Los axiomas de Huzita (tipos de operaciones de plegado) permiten construir extensiones cúbicas (raíces cúbicas) de longitudes determinadas, mientras que con la regla y el compás solo pueden construirse extensiones cuadráticas (raíces cuadradas).

La construcción en origami adjunta (ideada por de Hisashi Abe en 1980) ilustra el procedimiento:

• Se traza la línea d pasando por la esquina A de la hoja para que forme, con el borde inferior h₀ de la hoja, el ángulo a cortar en tres.
• Se dobla la hoja para determinar dos bandas horizontales del mismo ancho (arbitrario) en la parte inferior de la hoja. Se denominan h₁ y h₂ a las líneas que las delimitan.
• Se dobla la hoja mediante un pliegue p para que AB delimite A'B', de manera que el punto A se sitúe sobre la línea h₁ (generando el punto A'), al mismo tiempo que el punto B (intersección del borde izquierdo con la recta h₂) se sitúe sobre la recta d, generando el punto B' (axioma 6 de las matemáticas del origami).
• La línea t que pasa por A y A' es entonces el trisector del ángulo dado: el ángulo formado por h₀ y t es igual a 1/3 del ángulo formado entre h₀ y d.

La demostración es simple: por simetría con respecto a la recta p, el punto medio P de AB da el punto medio P' de A'B' y, así como A'P es perpendicular a AB, se tiene que AP' es perpendicular a A'B'. Los dos triángulos rectángulos P'A'A y P'B'A son, por lo tanto, triángulos semejantes.

Por otro lado, sea H la proyección ortogonal de A' sobre h₀. Dado que los triángulos HAA' y PA'A son semejantes como mitades del mismo rectángulo, y dado que los triángulos PA'A y P'AA' también son semejantes por simetría con respecto a P, se deduce que los triángulos HAA' y P'AA' son semejantes entre sí.

La semejanza de los tres triángulos HAA', P'AA' y P'AB' demuestra que las rectas AP' y AA' dividen el ángulo dAh₀ en tres ángulos de la misma medida.

Con una escuadra triangular

Trisección del ángulo mediante el Rechtwinkelhaken (ajuste de una escuadra), según Ludwig Bieberbach (animación 2 min 05 s, con una parada al final de 60 s)

En 1932, Ludwig Bieberbach publicó en el "Journal für die reine und angewandte Mathematik" su obra "Zur Lehre von den kubischen Konstruktionen". Según sus propias palabras (traducción libre):

"Como se sabe ... toda construcción cúbica se remonta a la trisección del ángulo y a la multiplicación del cubo, es decir, a la extracción de la tercera raíz. Solo pretendo demostrar cómo estas dos tareas clásicas se pueden resolver mediante el ajuste de un ángulo recto."

La siguiente descripción de la construcción (animación adyacente) contiene su continuación hasta la trisección completa del ángulo.

La construcción comienza con una circunferencia goniométrica alrededor del punto $A$, el primer lado del ángulo a trisecar sobre el diámetro horizontal $\overline{BP}$ y a continuación un segundo círculo unitario alrededor de $P$. Ahora, se traza un arco con radio igual al diámetro $\overline{BP}$ y centro en $P$, que pasa por el punto $O$. A continuación, se dibuja el segundo lado del ángulo $\delta$, obteniéndose el punto $C$. En el siguiente paso se utiliza el llamado "medio de construcción adicional", que en el ejemplo ilustrado es el "Geodreieck". El triángulo se debe colocar sobre el dibujo de la siguiente manera: el vértice del ángulo recto determina el punto $S$ sobre el lado del ángulo $\overline{PC}$ cuando un cateto del triángulo pasa por el punto $O$ y el otro es tangente al círculo unitario con centro en $A$. Después se conecta el punto $O$ con $S$ y se dibuja la tangente desde $S$ al círculo unitario alrededor de $A$ (de acuerdo con el ajuste del ángulo recto mencionado anteriormente como Rechtwinkelhaken). El ángulo encerrado por los segmentos $\overline{OS}$ y $\overline{PS}$ es, por tanto, exactamente $\frac{\delta }{3}$.

Para comprobarlo, se traza la paralela a $\overline{OS}$ desde $P$, creando dos ángulos entre paralelas de valor $\frac{\delta }{3}$ y el punto $D$. Una paralela adicional a $\overline{OS}$ desde $A$ determina el punto de contacto $E$ de la tangente con el círculo unitario alrededor de $A$. Finalmente, si se traza una línea recta desde $P$ a través de $E$ hasta que se cruce con el círculo unitario en $F$, se comprueba que el ángulo $\delta$ ha quedado dividido exactamente en tres partes.

Con una curva auxiliar

• 
  Trisección usando la espiral de Arquímedes
• 
  Trisección usando la trisectriz de Maclaurin
• 
  Trisección con el caracol de Pascal: $\mathrm{\angle }AOB/3=\mathrm{\angle }BPQ$

Hay ciertas curvas llamadas trisectrices que, si se dibujan en el plano usando otros métodos distintos de la regla y el compás, se pueden usar para trisecar ángulos arbitrarios. Los ejemplos incluyen la trisectriz de Maclaurin, que en coordenadas cartesianas viene dada por la ecuación implícita

$2x(x^2+y^2)=a(3x^2-y^2),$

y la espiral de Arquímedes. De hecho, la espiral se puede utilizar para dividir un ángulo en "cualquier" número de partes iguales.

Con una regla graduada

Trisección de un ángulo usando una regla graduada

Método de Arquímedes

Otro medio de trisecar un ángulo arbitrario con un "pequeño" paso fuera del marco clásico griego es mediante una regla con dos marcas separadas por una distancia determinada. La siguiente construcción se debe originalmente a Arquímedes. Este tipo de soluciones se caracterizan por utilizar el método neusis, incluyendo el empleo de herramientas distintas de un compás y de una regla no marcada. Los diagramas muestran esta construcción para un ángulo agudo, pero de hecho funciona para cualquier ángulo de hasta 180 grados.

La construcción implica asumir tres principios de la geometría euclídea:

1. Cualquier conjunto completo de ángulos apoyados sobre una línea recta suma 180°,
2. La suma de los ángulos de cualquier triángulo es 180°, y,
3. Dos lados iguales de un triángulo isósceles encontrarán al tercero según el mismo ángulo (véase pons asinorum).

Construcción:

Sea Plantilla:Mvar la línea horizontal en el diagrama adyacente. El ángulo Plantilla:Mvar (a la izquierda del punto Plantilla:Mvar) es el objeto de la trisección. Para ello, primero, se dibuja el punto Plantilla:Mvar que delimita al ángulo Plantilla:Mvar con el vértice en Plantilla:Mvar, y a continuación se dibuja una circunferencia de radio Plantilla:Mvar. Entonces, entra en juego la regla en la que se ha marcado la distancia Plantilla:Mvar: mientras mantiene la regla (pero no la marca) pasando por Plantilla:Mvar, la regla se desliza y gira hasta que una marca esté en la circunferencia y la otra en la recta Plantilla:Mvar. La marca en el círculo figura como Plantilla:Mvar y la marca en la recta está indicada como Plantilla:Mvar. Esto asegura que Plantilla:Math. Si se dibuja un radio Plantilla:Mvar, se hace evidente que los segmentos Plantilla:Mvar, Plantilla:Mvar y Plantilla:Mvar tienen todos la misma longitud. Ahora, los triángulos Plantilla:Mvar y Plantilla:Mvar son isósceles, por lo tanto (según el tercer principio), cada uno tiene dos ángulos iguales.

Hipótesis: Dado que Plantilla:Mvar es una línea recta, y que Plantilla:Mvar, Plantilla:Mvar y Plantilla:Mvar tienen la misma longitud,

Conclusión: Entonces el ángulo Plantilla:Math.

Demostración:

1. Del Hecho 1) anterior, $e+c=180$°.
2. Mirando el triángulo BCD, del Hecho 2) $e+2b=180$°.
3. De estas dos últimas ecuaciones, se deduce que $c=2b$.
4. Del Hecho 2), $d+2c=180$°, entonces $d=180$° $-2c$, y por lo tanto, $d=180$° $-4b$.
5. Del Hecho 1), $a+d+b=180$°, luego $a+(180$° $-4b)+b=180$°.

En consecuencia, (Plantilla:Math), o lo es lo mismo, (Plantilla:Math), y el teorema queda demostrado.

Una vez más, el uso de una regla marcada hace que esta construcción quede fuera de las "reglas" de la matemática griega clásica, en la que solo se permitían construcciones con regla y compás exclusivamente.

Método de Nicomedes

El método de Nicomedes también se vale de una regla marcada para ajustar una longitud conocida.

Construcción:

Dado cualquier ángulo CÂB (véase la figura adjunta), se considera una recta $d$, perpendicular a $AB$, que cruza $AB$ en $D$ y a $AC$ en $C$. A continuación, por $C$ se traza una recta $e$ paralela a $AB$ y por $A$ se traza una recta $f$ paralela a $d$; las rectas $e$ y $f$ se cruzan en $F$. Ahora, desde $A$ se traza la recta $g$, que se cruza con $d$ en $H$ y con $e$ en $E$, ajustándola de forma que (véase método neusis):

$HE=2AC$; luego EÂD = $\frac{1}{3}$ CÂD.

Método de trisección de Nicomedes

Demostración:

La construcción cumple las siguientes condiciones:

• CD $\perp$ AB
• FE//AD
• FA//CD
• $HE\cong 2AC$

EÂD $\cong \frac{1}{3}$ CÂD

Sea $G$ el punto medio de $HE$, entonces se tiene que:

$HG\cong GE$ por construcción

$CG\cong HG\cong GE$ porque el triángulo $CHE$ es rectángulo.

Y además, también se cumple que

$AC\cong HG\cong CG\cong GE.$

Por otro lado

EÂB $\cong$ CÊG porque son ángulos alternos internos

CÊG $\cong$ EĈG porque el triángulo $CGE$ es isósceles.

El ángulo CĜH es el ángulo externo del triángulo $CGE$ y, por lo tanto,

CĜH $\cong$ EĈG + CÊG $\cong$ 2 CÊG

Pero también

CĜH $\cong$ CÂG porque el triángulo $CAG$ también es isósceles.

De aquí se deduce que

CÂB $=$ CÂG + GÂB $\cong$ 2 CÊG + GÂB $\cong$ 2 GÂB + GÂB $=$ 3 GÂB

y en consecuencia,

GÂB $\cong \frac{1}{3}$ CÂB como queda demostrado

Con una cuerda y un cilindro

Trisección del ángulo POQ valiéndose de una cuerda y un cilindro

Thomas Hutcheson publicó un artículo en el Mathematics Teacher que usaba una cuerda en lugar de un compás y una regla. Una cuerda se puede utilizar como regla (estirándola) o como compás (fijando un punto e identificando otro), pero también se puede enrollar alrededor de un cilindro, la clave de la solución de Hutcheson.

Hutcheson construyó un cilindro a partir del ángulo a ser trisecado -dibujando un arco a través del ángulo, y completándolo como una circunferencia-, en la que se inscribe un triángulo equilátero para dividirla en tres partes iguales. A continuación, tras desarrollar el cilindro, procedía a proyectar estas tres partes iguales sobre el ángulo a ser trisecado mediante una simple construcción de triángulos semejantes. Tras devolver el cilindro a su posición original, los dos nuevos puntos generados se corresponden con la trisección del ángulo de partida.

Con un "tomahawk"

Un dispositivo trisector (tomahawk) dividiendo un ángulo. El asa define una de las dos trisectrices y la línea azul forma la otra

Un dispositivo trisector o "tomahawk" es una forma geométrica que consta de un semicírculo y dos segmentos ortogonales, de modo que la longitud del segmento más corto es igual al radio del círculo. La trisección se ejecuta apoyando el extremo del segmento más corto del tomahawk en uno de los segmentos del ángulo, y el borde del círculo en el otro, de modo que el "mango" (el segmento más largo) pase por el vértice del ángulo. Una vez ajustado el dispositivo trisector, una línea de trisección pasa por el vértice del ángulo y por el centro del semicírculo; y la otra coincide con el "mango" del aparato.

Aunque el "tomahawk" se puede construir con regla y compás, generalmente no es posible colocarlo en la posición que resuelve el problema utilizando exclusivamente estos dos elementos. En consecuencia, la construcción anterior no contradice la no trisectibilidad de los ángulos utilizando exclusivamente regla y compás.

El dispositivo produce el mismo efecto geométrico que el método de plegado de papel: la distancia entre el centro del círculo y la punta del segmento más corto es el doble de la distancia del radio, lo que siempre se cumple gracias a la que la circunferencia es tangente a uno de los lados del ángulo. También es equivalente al uso de una regla en L (una escuadra de carpintero).

Usos de la trisección angular

Animación de una construcción neusis de un heptágono a partir del radio de la circunferencia circunscrita $\overline{OA}=6$, basada en el procedimiento de Andrew Gleason, usando trisección de ángulo mediante el tomahawkPlantilla:Rp

Un ecuación de tercer grado con coeficientes reales se puede resolver geométricamente con compás, regla y un trisector de ángulos si y solo si tiene tres raíces reales.Plantilla:Rp

Un polígono regular con n lados se puede construir con regla, compás y un trisector de ángulos si y solo si $n=2^r{3}^s{p}_1{p}_2\cdots p_k,$ donde r, s, k ≥ 0 y donde p_i son primos distintos de 3 de la forma $2^t{3}^u+1$ (es decir, son números primos de Pierpont mayores que 3).Plantilla:Rp

Generalización

Para cualquier entero distinto de cero Plantilla:Mvar, un ángulo de medida Plantilla:Math radianes se puede dividir en Plantilla:Mvar partes iguales con regla y compás si y solo si Plantilla:Mvar es una potencia de Plantilla:Math o es una potencia de Plantilla:Math multiplicada por el producto de uno o más Fermat distintos. primos, ninguno de los cuales divide a Plantilla:Mvar. En el caso de la trisección (Plantilla:Math, que es un número primo de Fermat), esta condición se convierte en el requisito mencionado anteriormente de que Plantilla:Mvar no sea divisible por Plantilla:Math.

Véase también

• Bisección
• Número construible
• Polígono construible
• Geometría euclidiana
• Historia de la geometría
• Teorema de Morley
• Cuadratriz
• Trisectriz
• Criptografía geométrica
• Otras construcciones imposibles con regla y compás:
  • La cuadratura del círculo
  • La duplicación del cubo

Lecturas relacionadas

• Courant, Richard, Herbert Robbins, Ian Stewart, "¿Qué son las matemáticas ?: una aproximación elemental a las ideas y métodos", Oxford University Press US, 1996. Plantilla:ISBN.

Enlaces externos

• Sitio de MathWorld
• Problemas geométricos de la antigüedad, incluida la trisección de ángulos
• Un poco de historia
• Enlace con la construcción mediante una regla graduada
• Otro enlace, mencionando a Arquímedes
• Un artículo extenso con muchas aproximaciones y puntos de vista exteriores al ámbito griego
• sitio de geometría Plantilla:Wayback
• Plantilla:Youtube (Doce maneras de trisecar un ángulo)

Otros medios de trisección

• Animación de la trisección aproximada de un ángulo, con un error máximo de ≈ ± 4E-8°
• Trisección mediante el caracol de Pascal (Archivado 2009-10-25) el caracol de Pascal de Pascal; véase también Trisectriz
• Trisección con la Espiral de Arquímedes
• Trisección mediante la concoide de Nicomedes
• Sitio sciencenews.org sobre el uso del origami
• Trisección hiperbólica y el espectro de los polígonos regulares