Trisección del ángulo

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.

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°)

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.^[1]​ 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 siglo XIX, junto con la cuadratura del círculo y la duplicación del cubo.^[2]​ 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.^[3]​

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í:

Construir un ángulo igual a un tercio de un ángulo arbitrario dado (o dividirlo en tres ángulos iguales), usando solo dos herramientas: una regla sin marcar, y un compás

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.^[4]​ 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.^[5]​

El problema de construir un ángulo de una medida dada θ es equivalente a construir dos segmentos de manera que la razón de su longitud sea cos θ. 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:

cos θ = 4 cos³ θ/3 − 3 cos θ/3

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 π/3 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 Q. Si se pudiera trisecar un ángulo de 60°, el grado de un polinomio mínimo de cos 20° sobre Q sería una potencia de dos. Ahora, considérese x = cos 20°. Se debe tener en cuenta que cos 60° = cos π/3 = 1/2. Luego, por la fórmula del triple ángulo, cos π/3 = 4x³ − 3x, e igualmente, 4x³ − 3x = 1/2.

Entonces, 8x³ − 6x − 1 = 0, y se define p(t) como el polinomio p(t) = 8t³ − 6t − 1.

Dado que x = cos 20° es una raíz de p(t), el polinomio mínimo para cos 20° es un factor de p(t). Debido a que p(t) tiene grado 3, si tiene solución en Q, entonces tiene una raíz racional. Según el teorema de la raíz racional, esta raíz debe ser ±1, ±1/2, ±1/4 o ±1/8, pero ninguna de ellas es una raíz del polinomio. Por lo tanto, p(t) es irreducible sobre Q, y el polinomio mínimo para cos 20° es de grado 3.

Por lo tanto, un ángulo de 60° no se puede trisecar.

Ángulos trisecables

Sin embargo, algunos ángulos se pueden trisecar. Por ejemplo, para cualquier ángulo constructible θ, un ángulo de medida 3θ se puede construir de forma trivial triplicando directamente un ángulo de medida θ. 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, 3π/7 es un ángulo de este tipo: cinco ángulos de medida 3π/7 se combinan para formar un ángulo de medida 15π/7, que es un círculo completo más el π/7 deseado.

Para un número natural N, un ángulo de medida 2π/N es trisecable si y solo si 3 no divide a N.^[6]​^[7]​ En contraste, 2π/N es construible si y solo si N es una potencia de 2 o el producto de una potencia de 2 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 Q.

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

q(t) = 4t³ − 3t − cos(θ)

se puede reducir sobre la extensión del cuerpo Q(cos(θ)).

La demostración es una generalización relativamente sencilla de la prueba dada anteriormente de que un ángulo de 60° no es trisecable.^[8]​

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).^[3]​

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:

${\displaystyle 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:

${\displaystyle {\frac {2.r}{\operatorname {sen} {\frac {a+x}{2}}}}={\frac {r}{\operatorname {sen} {\frac {a-x}{2}}}}\Longleftrightarrow {\frac {\operatorname {sen} {\frac {a-x}{2}}}{\operatorname {sen} {\frac {a+x}{2}}}}={\frac {1}{2}}\cdot }$ 

Con la segunda igualdad se llega a:

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

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

Esto demuestra que ${\displaystyle \tan {\frac {x}{2}}={\frac {1}{3}}\tan {\frac {a}{2}}}$ . De ello se deduce que x es aproximadamente ${\displaystyle {\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 1/3 = 1/4 + 1/16 + 1/64 + 1/256 + ⋯ o 1/3 = 1/2 − 1/4 + 1/8 − 1/16 + ⋯ 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.^[9]​

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.^[10]​ Este dispositivo fue estudiado por René Descartes en 1629, según consta en su correspondencia con Isaac Beeckman.^[11]​

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).^[12]​

Usando origami

Artículo principal: Matemáticas del 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".^[13]​ 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 ${\displaystyle A}$ , el primer lado del ángulo a trisecar sobre el diámetro horizontal ${\displaystyle {\overline {BP}}}$  y a continuación un segundo círculo unitario alrededor de ${\displaystyle P}$ . Ahora, se traza un arco con radio igual al diámetro ${\displaystyle {\overline {BP}}}$  y centro en ${\displaystyle P}$ , que pasa por el punto ${\displaystyle O}$ . A continuación, se dibuja el segundo lado del ángulo ${\displaystyle \delta }$ , obteniéndose el punto ${\displaystyle 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 ${\displaystyle S}$  sobre el lado del ángulo ${\displaystyle {\overline {PC}}}$  cuando un cateto del triángulo pasa por el punto ${\displaystyle O}$  y el otro es tangente al círculo unitario con centro en ${\displaystyle A}$ . Después se conecta el punto ${\displaystyle O}$  con ${\displaystyle S}$  y se dibuja la tangente desde ${\displaystyle S}$  al círculo unitario alrededor de ${\displaystyle A}$  (de acuerdo con el ajuste del ángulo recto mencionado anteriormente como Rechtwinkelhaken). El ángulo encerrado por los segmentos ${\displaystyle {\overline {OS}}}$  y ${\displaystyle {\overline {PS}}}$  es, por tanto, exactamente ${\displaystyle {\frac {\delta }{3}}}$ .

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

Con una curva auxiliar

Artículo principal: Trisectriz

•  

  Trisección usando la espiral de Arquímedes

•  

  Trisección usando la trisectriz de Maclaurin

•  

  Trisección con el caracol de Pascal: ${\displaystyle \angle AOB/3=\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.^[14]​ Los ejemplos incluyen la trisectriz de Maclaurin, que en coordenadas cartesianas viene dada por la ecuación implícita

${\displaystyle 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 l la línea horizontal en el diagrama adyacente. El ángulo a (a la izquierda del punto B) es el objeto de la trisección. Para ello, primero, se dibuja el punto A que delimita al ángulo a con el vértice en B, y a continuación se dibuja una circunferencia de radio AB. Entonces, entra en juego la regla en la que se ha marcado la distancia AB: mientras mantiene la regla (pero no la marca) pasando por A, la regla se desliza y gira hasta que una marca esté en la circunferencia y la otra en la recta l. La marca en el círculo figura como C y la marca en la recta está indicada como D. Esto asegura que CD = AB. Si se dibuja un radio BC, se hace evidente que los segmentos AB, BC y CD tienen todos la misma longitud. Ahora, los triángulos ABC y BCD son isósceles, por lo tanto (según el tercer principio), cada uno tiene dos ángulos iguales.

Hipótesis: Dado que AD es una línea recta, y que AB, BC y CD tienen la misma longitud,

Conclusión: Entonces el ángulo b = a/3.

Demostración:

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

En consecuencia, (a − 3b = 0), o lo es lo mismo, (a = 3b), 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 ${\displaystyle d}$ , perpendicular a ${\displaystyle AB}$ , que cruza ${\displaystyle AB}$  en ${\displaystyle D}$  y a ${\displaystyle AC}$  en ${\displaystyle C}$ . A continuación, por ${\displaystyle C}$  se traza una recta ${\displaystyle e}$  paralela a ${\displaystyle AB}$  y por ${\displaystyle A}$  se traza una recta ${\displaystyle f}$  paralela a ${\displaystyle d}$ ; las rectas ${\displaystyle e}$  y ${\displaystyle f}$  se cruzan en ${\displaystyle F}$ . Ahora, desde ${\displaystyle A}$  se traza la recta ${\displaystyle g}$ , que se cruza con ${\displaystyle d}$  en ${\displaystyle H}$  y con ${\displaystyle e}$  en ${\displaystyle E}$ , ajustándola de forma que (véase método neusis):

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

 

Método de trisección de Nicomedes

Demostración:

La construcción cumple las siguientes condiciones:

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

EÂD ${\displaystyle \cong {1 \over 3}}$  CÂD

Sea ${\displaystyle G}$  el punto medio de ${\displaystyle HE}$ , entonces se tiene que:

${\displaystyle HG\cong GE}$  por construcción

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

Y además, también se cumple que

${\displaystyle AC\cong HG\cong CG\cong GE.}$ 

Por otro lado

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

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

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

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

Pero también

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

De aquí se deduce que

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

y en consecuencia,

GÂB ${\displaystyle \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^[15]​ 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 ${\displaystyle {\overline {OA}}=6}$ , basada en el procedimiento de Andrew Gleason, usando trisección de ángulo mediante el tomahawk^[16]​^{:p. 186}

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.^[16]​^{:Thm. 1}

Un polígono regular con n lados se puede construir con regla, compás y un trisector de ángulos si y solo si ${\displaystyle 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 ${\displaystyle 2^{t}3^{u}+1}$  (es decir, son números primos de Pierpont mayores que 3).^[16]​^{:Thm. 2}

Generalización

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

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

Referencias

1. M. L. Wantzel (1837). «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». Journal de Mathématiques Pures et Appliquées 1 (2): 366-372. 
2. Stillwell, John (2010). «Ruler and compass constructions». Mathematics andits history (en inglés) (Tercera edición). Springer. pp. 26-27. Consultado el 17 de julio de 2014. 
3. Dudley, Underwood (1994), The trisectors, Mathematical Association of America, ISBN 978-0-88385-514-0 .
4. Wantzel, P M L (1837). «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.». Journal de Mathématiques Pures et Appliquées. 1 2: 366-372. Consultado el 3 March 2014. 
5. Para conocer la base histórica de la demostración de Wantzel en la obra anterior de Ruffini y Abel, y su sincronización respecto a Galois, véase Smorynski, Craig (2007), History of Mathematics: A Supplement, Springer, p. 130, ISBN 9780387754802 ..
6. MacHale, Desmond. "Constructing integer angles", Mathematical Gazette 66, June 1982, 144–145.
7. McLean, K. Robin (July 2008). «Trisecting angles with ruler and compasses"». Mathematical Gazette 92: 320-323. doi:10.1017/S0025557200183317. «See also Feedback on this article in vol. 93, March 2009, p. 156.» 
8. Stewart, Ian (1989). Galois Theory. Chapman and Hall Mathematics. pp. g. 58. ISBN 978-0-412-34550-0. 
9. Jim Loy (2003). . Archivado desde el original el February 25, 2012. Consultado el 30 March 2012.  Parámetro desconocido |orig-year= ignorado (ayuda)
10. Isaac, Rufus, "Two mathematical papers without words", Mathematics Magazine 48, 1975, p. 198. Reprinted in Mathematics Magazine 78, April 2005, p. 111.
11. «Descartes’ Mathematics». Stanford Encyclopedia of Philosophy (en inglés). First published Mon Nov 28, 2011; substantive revision Fri Dec 11, 2015. Consultado el 23 de marzo de 2021. 
12. Yates, Robert C (1942). The Trisection Problem. The National Council of Teachers of Mathematics. pp. 39-42. 
13. Ludwig Bieberbach (1932) Zur Lehre von den kubischen Konstruktionen, Journal für die reine und angewandte Mathematik, H. Hasse und L. Schlesinger, Band 167 Berlin, p. 142–146 online-copie (GDZ). Retrieved on June 2, 2017.
14. Jim Loy . Archivado desde el original el November 4, 2013. Consultado el 4 de noviembre de 2013. 
15. Hutcheson, Thomas W. (May 2001). «Dividing Any Angle into Any Number of Equal Parts». Mathematics Teacher 94 (5): 400-405. 
16. Gleason, Andrew Mattei (March 1988). . The American Mathematical Monthly 95 (3): 185-194. JSTOR 2323624. doi:10.2307/2323624. Archivado desde el original el November 5, 2014. 

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. ISBN 978-0-19-510519-3.

Enlaces externos

• Sitio de MathWorld
• Problemas geométricos de la antigüedad, incluida la trisección de ángulos
• Un poco de historia
• Otro enlace, mencionando a Arquímedes
• sitio de geometría
• Twelve Ways to Trisect an Angle – David Richeson en 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°
• (Archivado 2009-10-25) el caracol de Pascal de Pascal; véase también Trisectriz
• 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

•   Datos: Q733081
•   Multimedia: Angle trisection