Como otros han señalado, esto está relacionado con la teoría de Galois. Aquí hay un bosquejo del argumento.
Las reglas de regla y compás son equivalentes a las siguientes:
0) Comience con dos puntos, que podemos tomar como origen y (1,0).
1) Dados dos puntos construidos, puedes dibujar la línea a través de esos puntos.
2) Dados dos puntos construidos, puedes dibujar un círculo centrado en uno de ellos, a través del otro.
3) La intersección de dos curvas construidas (o líneas) se considera un punto construido.
Las coordenadas de cualquier punto construido de esta manera se pueden obtener comenzando con los enteros y sumando, restando, multiplicando, dividiendo y tomando raíces cuadradas. Puede probar esto por inducción en el número de líneas y curvas que construye.
Es posible construir un ángulo de 30 grados. Sin embargo, no puede construir un ángulo de 10 grados, ya que el seno y el coseno de 10 grados NO son números de esa forma. Para obtener sin (10 grados) y cos (10 grados), debe tomar raíces cúbicas.
- ¿Qué se entiende por ángulos de elevación y depresión?
- ¿Cuántos puntos racionales (a, b) hay en la circunferencia de un círculo centrado en [matemáticas] (\ pi, e) [/ matemáticas]?
- ¿Hay alguna manera de saber en qué (sub) múltiple estamos viviendo?
- ¿Qué es una función hiperbólica?
- Cómo diferenciar entre una parábola o una hipérbola con una curva no marcada
(Aquí es donde entra en juego la teoría de Galois. Si un número x es una raíz de una ecuación polinómica de orden n, pero no de una ecuación de orden inferior, y si n no es una potencia de 2, entonces x no puede ser expresado en términos de raíces cuadradas repetidas de números racionales. Del hecho de que [matemáticas] (\ cos (10) + i \ sin (10)) ^ 6 = (1 + i \ sqrt {3}) / 2 [/ matemática] y, por lo tanto, que la parte real de [matemática] (\ cos (10) + i \ sin (10)) ^ 6 [/ matemática] es 1/2, podemos encontrar una ecuación polinómica de sexto orden que es satisfecho por cos (10 grados), utilizando el hecho de que incluso los poderes del pecado (10) se pueden eliminar con [matemáticas] \ sin ^ 2 (x) = 1- \ cos ^ 2 (x). [/ matemáticas]. I olvide si esa ecuación de sexto orden tiene en cuenta el producto de dos ecuaciones de tercer orden o no, pero en cualquier caso cos (10 grados) no satisface ningún polinomio de grado 1, 2 o 4.)
Conclusión: no hay forma de trisecar un ángulo de 30 grados (mucho menos un ángulo arbitrario) con regla y brújula.