Trisección de ángulo - Angle trisection

Los ángulos se pueden trisecar mediante una construcción neusis utilizando herramientas más allá de una regla sin marcar y una brújula. El ejemplo muestra la trisección de cualquier ángulo θ> /4por una regla de longitud igual al radio del círculo, dando un ángulo trisecado φ =θ/3.

La trisección de ángulo es un problema clásico de construcción con regla y compás de las matemáticas griegas antiguas . Se trata de la construcción de un ángulo igual a un tercio de un ángulo arbitrario dado, utilizando solo dos herramientas: una regla sin marcar y un compás .

Pierre Wantzel demostró en 1837 que el problema, como se dijo, es imposible de resolver para ángulos arbitrarios. Sin embargo, aunque no hay forma de trisecar un ángulo en general con solo una brújula y una regla, se pueden trisecar algunos ángulos especiales. Por ejemplo, es relativamente sencillo trisecar un ángulo recto (es decir, construir un ángulo de 30 grados).

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

Debido a que está definido en términos simples, pero complejo para resultar irresoluble, el problema de la trisección de ángulos es un tema frecuente de intentos pseudomatemáticos de solución por parte de entusiastas ingenuos. Estas "soluciones" a menudo implican interpretaciones erróneas de las reglas o simplemente son incorrectas.

Enunciado de antecedentes y problemas

La bisección de ángulos arbitrarios se ha resuelto desde hace mucho tiempo.

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

Tres problemas resultaron esquivos, específicamente, trisecar el ángulo, doblar el cubo y cuadrar el círculo . El problema de la trisección del ángulo dice:

Construya un ángulo igual a un tercio de un ángulo arbitrario dado (o divídalo en tres ángulos iguales), usando solo dos herramientas:

  1. una regla sin marcar, y
  2. un compás.

Prueba de imposibilidad

Gobernantes . Los mostrados están marcados: una regla ideal no está marcada
Brújulas

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 concepto de extensiones de campo , un tema que ahora se combina típicamente con la teoría de Galois . Sin embargo, Wantzel publicó estos resultados antes que Évariste Galois (cuyo trabajo, escrito en 1830, se publicó solo en 1846) y no utilizó los conceptos introducidos por Galois.

El problema de construir un ángulo de una medida dada θ es equivalente a construir dos segmentos tales que la razón de su longitud sea cos  θ . De una solución a uno de estos dos problemas, uno puede pasar a la solución del otro mediante una construcción de brújula y regla. La fórmula del triple ángulo da una expresión que relaciona los cosenos del ángulo original y su trisección: cos  θ  =  4 cos 3 θ/3 - 3 cos θ/3.

De ello se deduce que, dado un segmento que se define como de 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 cúbico . Esta equivalencia reduce el problema geométrico original a un problema puramente algebraico.

Todo número racional es construible. Cada número irracional que se puede construir 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 campo generado por estos números. Por lo tanto, cualquier número que se pueda construir mediante una secuencia de pasos es la raíz de un polinomio mínimo cuyo grado es una potencia de dos . El ánguloπ/3 radianes (60 grados , escrito 60 °) es construible . El siguiente argumento muestra que es imposible construir un ángulo de 20 °. Esto implica que no se puede trisecar un ángulo de 60 ° y, por tanto, que no se puede trisecar un ángulo arbitrario.

Designar el conjunto de los números racionales por Q . Si se pudiera trisecar 60 °, el grado de un polinomio mínimo de cos 20 ° sobre Q sería una potencia de dos. Ahora sea x = cos 20 ° . Tenga en cuenta que cos 60 ° = cosπ/3 = 1/2. Luego, por la fórmula del triple ángulo, cosπ/3= 4 x 3 - 3 x y entonces 4 x 3 - 3 x =1/2. Por lo tanto 8 x 3 - 6 x - 1 = 0 . Definir p ( t ) para el polinomio p ( t ) = 8 t 3 - 6 t - 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 ) . Como p ( t ) tiene grado 3, si es reducible por 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/4o ±1/8, pero ninguno de estos es una raíz. Por lo tanto, p ( t ) es irreducible por Q , y el polinomio mínimo para cos 20 ° es de grado  3 .

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

Ángulos que se pueden trisecar

Sin embargo, algunos ángulos se pueden trisecar. Por ejemplo, para cualquier ángulo construible θ , un ángulo de medida 3 θ se puede trivialmente trivialmente ignorando el ángulo dado y construyendo directamente un ángulo de medida θ . Hay ángulos que no son construibles pero que son trisectibles (a pesar de que el ángulo de un tercio en sí mismo no es construible). Por ejemplo,3 π/7 es tal ángulo: cinco ángulos de medida 3 π/7 combinar para hacer un ángulo de medida 15 π/7, que es un círculo completo más el deseado π/7.

Para un entero positivo N , un ángulo de medida2 π/nortees trisectible si y sólo si 3 no divide N . A diferencia de,2 π/nortees 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 primos de Fermat distintos .

Caracterización algebraica

Una vez más, designar el conjunto de los números racionales por Q .

Teorema : Un ángulo de medida θ puede trisectarse si y solo si q ( t ) = 4 t 3 - 3 t - cos ( θ ) es reducible sobre la extensión de campo Q (cos ( θ )) .

La prueba es una generalización relativamente sencilla de la prueba dada anteriormente de que un ángulo de 60 ° no es trisectible.

Otros metodos

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 compás y regla.

Se han propuesto muchos métodos incorrectos para trisecar el ángulo 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 .

Aproximación por bisecciones sucesivas

La trisección se puede aproximar mediante la repetición del método de la regla y el compás para bisecar un ángulo. La serie geométrica1/3 = 1/4 + 1/dieciséis + 1/64 + 1/256+ ⋯ o1/3 = 1/2 - 1/4 + 1/8 - 1/dieciséis+ ⋯ se puede utilizar como base para las bisecciones. Se puede obtener una aproximación a cualquier grado de precisión en un número finito de pasos.

Usando origami

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) pueden construir extensiones cúbicas (raíces cúbicas) de longitudes determinadas, mientras que la regla y el compás solo pueden construir extensiones cuadráticas (raíces cuadradas).

Usando un enlace

Fan Link de Sylvester

Hay una serie de enlaces simples que se pueden usar para hacer un instrumento para trisecar ángulos, incluido el Trisector de Kempe y el Ventilador de enlace de Sylvester o Isoklinostat.

Con una regla triangular rectángulo

Trisección de un ángulo de Bieberbach (en azul) mediante una regla triangular recta (en rojo)

En 1932, Ludwig Bieberbach publicó en Journal für die reine und angewandte Mathematik su obra Zur Lehre von den kubischen Konstruktionen . En él dice (traducción libre):

" Como se sabe ... cada construcción cúbica se remonta a la trisección del ángulo y a la multiplicación del cubo, es decir, la extracción de la tercera raíz. Solo necesito mostrar cómo estas dos tareas clásicas pueden ser resuelto mediante el gancho en ángulo recto " .

La construcción comienza dibujando un círculo que pasa por el vértice P del ángulo a trisecar, centrado en A en un borde de este ángulo y teniendo B como su segunda intersección con el borde. Un círculo centrado en P y de las mismas se interseca radio de la línea de soportar el borde en A y O .

Ahora la regla triangular derecha se coloca en el dibujo de la siguiente manera: una pierna de su ángulo derecho pasa a través de O ; el vértice de su ángulo derecho se coloca en un punto S en la línea de PC de una manera tal que la segunda pata de la regla es tangente en E al círculo centrado en A . De ello se deduce que el ángulo original se trisected por la línea de PE , y la línea de PD perpendicular a SE y que pasa por P . Esta línea se puede trazar usando nuevamente la regla triangular derecha o usando una construcción tradicional de regla y compás . Con una construcción similar, se puede mejorar la ubicación de E , mediante el uso de que es la intersección de la línea SE y su paso perpendicular a través de A .

Prueba: uno tiene la prueba de las igualdades de los ángulos y las tres líneas OS , PD y AE son paralelas. Como los segmentos de línea OP y PA son iguales, estas tres líneas paralelas delimitan dos segmentos iguales en cada otra línea secante y, en particular, en su SE perpendicular común . Por tanto, SD ' = D ' E , donde D ' es la intersección de las líneas PD y SE . De ello se deduce que los triángulos rectángulos PD ' S y PD ' E son congruentes y, por tanto, la primera deseaba la igualdad. Por otro lado, el triángulo PAE es isósceles , ya que todos los radios de un círculo son iguales; esto implica que Uno tiene también ya que estos dos ángulos son ángulos alternos de una transversal a dos líneas paralelas. Esto prueba la segunda igualdad deseada y, por tanto, la corrección de la construcción.

Con una curva auxiliar

Hay ciertas curvas llamadas trisectrices que, si se dibujan en el plano utilizando otros métodos, se pueden utilizar para trisecar ángulos arbitrarios. Los ejemplos incluyen la trisectriz de Colin Maclaurin , dada en coordenadas cartesianas por la ecuación implícita

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 marcada

Trisección del ángulo con regla marcada

Otro medio para trisecar un ángulo arbitrario con un "pequeño" paso fuera del marco griego es mediante una regla con dos marcas separadas por una distancia determinada. La siguiente construcción se debe originalmente a Arquímedes , llamada construcción de Neusis , es decir, que utiliza herramientas distintas de una regla no marcada . Los diagramas que usamos muestran esta construcción para un ángulo agudo, pero de hecho funciona para cualquier ángulo de hasta 180 grados.

Esto requiere tres hechos de la geometría (a la derecha):

  1. Cualquier conjunto completo de ángulos en una línea recta se suma a 180 °,
  2. La suma de los ángulos de cualquier triángulo es 180 ° y ,
  3. Dos lados iguales de un triángulo isósceles se encontrarán con el tercero en el mismo ángulo .

Sea l la línea horizontal en el diagrama adyacente. El ángulo a (a la izquierda del punto B ) es objeto de trisección. En primer lugar, un punto A se dibuja en un ángulo de rayo , una unidad aparte de B . Se dibuja un círculo de radio AB . A continuación, la marcación de la regla entra en juego: una marca de la regla se coloca en A y el otro en B . Mientras mantiene la regla (pero no la marca) tocando A , la regla se desliza y gira hasta que una marca esté en el círculo y la otra en la línea l . La marca en el círculo está etiquetada C y la marca en la línea está etiquetada D . Esto asegura que CD = AB . Se dibuja un radio BC para que sea obvio que los segmentos de línea 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 Hecho 3 anterior) cada uno tiene dos ángulos iguales.

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

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

Prueba :

  1. Del Hecho 1) anterior, °.
  2. Mirando el triángulo BCD , del Hecho 2) °.
  3. A partir de las dos últimas ecuaciones, .
  4. Del Hecho 2), °, así ° , así del último, ° .
  5. Del Hecho 1) arriba, °, entonces ° °.

Despejando, a - 3 b = 0 , o a = 3 b , y se demuestra el teorema .

Una vez más, esta construcción salió del marco de las construcciones permitidas mediante el uso de una regla marcada.

Con una cuerda

Thomas Hutcheson publicó un artículo en Mathematics Teacher que usaba una cuerda en lugar de una brújula y una regla. Una cuerda se puede utilizar como regla (estirándola) o como brújula (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, completándolo como un círculo y construyendo a partir de ese círculo un cilindro en el que se inscribió, digamos, un triángulo equilátero (un ángulo de 360 ​​grados dividido en tres ). Esto luego fue "mapeado" en el ángulo a ser trisecado, con una simple prueba de triángulos similares.

Con un "tomahawk"

Un hacha de guerra que triseca un ángulo. El tomahawk está formado por las líneas gruesas y el semicírculo sombreado.

Un " tomahawk " es una forma geométrica que consta de un semicírculo y dos segmentos de línea ortogonales, de modo que la longitud del segmento más corto es igual al radio del círculo. La trisección se ejecuta inclinando el extremo del segmento más corto del tomahawk en un rayo, el borde del círculo en el otro, de modo que el "mango" (segmento más largo) cruce el vértice del ángulo; la línea de trisección corre entre el vértice y el centro del semicírculo.

Si bien un hacha de guerra se puede construir con brújula y regla, generalmente no es posible construir un hacha de guerra en la posición deseada. Por lo tanto, la construcción anterior no contradice la no trisectibilidad de los ángulos con la regla y el compás solamente.

Como un hacha de guerra se puede usar como un cuadrado fijo , también se puede usar para ángulos de trisección mediante el método descrito en § Con una regla triangular recta .

El tomahawk 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, que está garantizado para hacer contacto con el ángulo. También es equivalente al uso de una regla en L de los arquitectos ( plaza del carpintero ).

Con brújulas interconectadas

Un ángulo se puede trisecar con un dispositivo que es esencialmente una versión de cuatro puntas de una brújula, con conexiones entre las puntas diseñadas para mantener iguales los tres ángulos entre las puntas adyacentes.

Usos de la trisección de ángulo

Una animación de una construcción neusis de un heptágono con radio de circunferencia , basada en Andrew M. Gleason , usando trisección de ángulo por medio del tomahawk

Una ecuación cúbica con coeficientes reales se puede resolver geométricamente con compás, regla y un trisector de ángulo si y solo si tiene tres raíces reales .

Un polígono regular con n lados se puede construir con regla, compás y trisector de ángulo si y solo si donde r, s, k ≥ 0 y donde p i son primos distintos mayores que 3 de la forma (es decir, primos de Pierpont mayores que 3 ).

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 números primos de Fermat más distintas, ninguna de las cuales divide 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 .

Ver también

Referencias

Otras lecturas

  • Courant, Richard, Herbert Robbins, Ian Stewart, ¿Qué son las matemáticas ?: un enfoque elemental de las ideas y los métodos , Oxford University Press, EE. UU., 1996. ISBN  978-0-19-510519-3 .

enlaces externos

Otros medios de trisección