Ahhhh, esto me lleva de vuelta. Al enterarme de la imposibilidad de trisecar un ángulo arbitrario con brújula y regla, me puse a trabajar. Había “tenido éxito” en hacerlo, tal vez tres o cuatro formas diferentes.
Como otros han mencionado, no cuadraste el círculo. Aproximadamente cuadraste el círculo. Cuadrar el círculo (con regla y brújula) es probablemente imposible. Es decir, no es solo que lo intentamos y lo intentamos y fallamos tanto que nos rendimos y concluimos que era imposible.
En cambio, probamos que construir un cuadrado así requiere construir una longitud con una propiedad algebraica particular, y probamos que tales longitudes no pueden obtenerse simplemente con una regla y una brújula.
Otras personas han dicho eso. Entonces, ¿por qué me molesto en escribir? No solo para aumentar, sino para alentarte. Es genial que vayas por caminos como este. Ya sea que se convierta en matemático o en otra cosa, este tipo de actitud le servirá bien. Solo … no te vayas demasiado por la borda. 🙂
EDITAR: pensé que intentaría al menos esbozar por qué es imposible cuadrar un círculo. Cada vez que escuchaba sobre trisecar un ángulo o cuadrar un círculo, escuchaba a la gente hablar en voz baja: “… pero para demostrarlo, necesitas herramientas sofisticadas de las matemáticas modernas, como la teoría de Galois …” En la escuela secundaria, siempre estar un poco desanimado por eso, ¡porque quería saber por qué esas cosas eran imposibles! ¡Tenía esta sensación de derecho, que si pudiera entender una declaración, debería poder entender su prueba!
Claro, para demostrarlo se requieren técnicas modernas. Eso puede ser cierto, pero no cuenta toda la historia. Para obtener la esencia de eso no lo hace. Entonces, si no te importa pasar por alto algunos tecnicismos, intentaré darte una idea general.
Solo para establecer el problema, nuestro objetivo aquí es que alguien nos entregue un círculo de un radio conocido, por ejemplo, radio 1. Vamos a construir un cuadrado de igual área. Eso equivale a construir un segmento de línea de longitud [math] \ sqrt {\ pi} [/ math].
Como dato de fondo, voy a decir sin pruebas de que [math] \ pi [/ math] es trascendental. Eso significa que no hay polinomios con coeficientes racionales para los cuales [math] \ pi [/ math] sea una raíz . (Obviamente, [math] \ pi [/ math] es la raíz de un polinomio como [math] x ^ 2- \ pi ^ 2 = 0 [/ math], pero esos coeficientes no son racionales).
La estrategia, entonces, es comprender que la longitud de cualquier segmento de línea que puede construir es, de hecho, algebraica . Es decir, la longitud es una raíz de algún polinomio con coeficientes racionales. De hecho, más es cierto: podemos decir algo sobre el grado de ese polinomio, pero lo guardaré para más adelante.
Entonces, te entregan un círculo con radio 1. ¿Qué longitudes son inmediatamente construibles a partir de eso? Bueno, obviamente puedes obtener cualquier número entero positivo al doblar, triplicar, etc. No entraré en todos los detalles (… tu libro de geometría podría …), pero si tienes longitudes [matemáticas] a [/ matemáticas] y [matemáticas ] b [/ math], resulta que puedes hacer aritmética: puedes construir (entre otras cosas), un segmento de longitud [math] a + b [/ math], [math] ab [/ math] (suponiendo [math ] a> b [/ matemáticas], por supuesto), [matemáticas] ab [/ matemáticas], [matemáticas] a / b [/ matemáticas]. Si no conoce esas construcciones, puede ser divertido aprenderlas o resolverlas.
Entonces, si alguien le entrega un segmento de longitud 1, utilizando estas construcciones, puede construir un segmento cuya longitud sea cualquier número racional.
¡Pero más es verdad! Después de todo, podemos construir [matemática] \ sqrt {2} [/ matemática] con bastante facilidad: es solo la diagonal de un triángulo rectángulo isósceles que tiene una longitud lateral 1. Y [matemática] \ sqrt {2} [/ matemática] es irracional . Entonces, ¿qué podemos construir?
Piense ahora en términos de un plano de coordenadas : ya podemos obtener todos los puntos con coordenadas racionales. Si nuestros “movimientos legales” involucran bordes rectos y brújulas, eso significa que podemos dibujar líneas y círculos, que son polinomios de grado 1 o 2.
Además, el primer círculo que dibujemos corresponderá a un polinomio que tiene coeficientes racionales. Llame a ese círculo [matemáticas] C_1 [/ matemáticas]. Digamos que a través de otros pasos encontramos un punto [matemáticas] P_1 [/ matemáticas] en ese círculo. No siempre es cierto que [math] P_1 [/ math] tenga coeficientes racionales. Pero los coeficientes no pueden ser demasiado exóticos. Como es la intersección de una línea y un círculo (recuerde, hasta ahora solo hemos dibujado un círculo), tendrá coordenadas de la forma [matemáticas] a + \ sqrt {b} [/ matemáticas] para algunas [matemáticas] racionales a [/ math] y [math] b [/ math]. ¿Por qué? La fórmula cuadrática.
Bien, entonces obtenemos este nuevo punto [matemática] P_1 [/ matemática], posiblemente con coeficientes irracionales. Ahora podemos usar eso como centro para los círculos. ¿Cómo serán estos polinomios? No necesariamente tendrán solo coeficientes racionales, porque ahora potencialmente tenemos números de la forma [math] a + \ sqrt {b} [/ math]. Entonces, los números de esa forma podrían ser coeficientes ahora.
Esto continúa: Digamos que dibujamos un nuevo círculo, [matemática] C_2 [/ matemática], cuyos coeficientes son de la forma “nueva” que obtuvimos del primer círculo. Deje que [math] P_2 [/ math] sea un punto en ese círculo que obtenemos de algún tipo de intersección con [math] C_1 [/ math] o alguna línea u otra. Las coordenadas de [math] P_2 [/ math] tendrán la forma [math] a_1 + \ sqrt {b_1} [/ math], donde cada una de [math] a_1 [/ math] y [math] b_1 [/ math ] eran de la forma [math] a + \ sqrt {b} [/ math], con [math] a, b [/ math] racional. ¿Por qué? Fórmula cuadrática nuevamente, excepto esta vez por los coeficientes “mejorados” que vinieron de dibujar el primer círculo: los [matemáticos] a_1 [/ matemáticos] y [matemáticos] b_1 [/ matemáticos].
Esto sigue y sigue: cada vez que dibujamos un círculo, obtenemos una nueva capa de radicales anidados. Después de dibujar finitamente muchos círculos y / o líneas y hacer finitas intersecciones, puede ver ahora por qué obtenemos un punto cuyas coordenadas son algebraicas: comienza con un número racional y aplica capas en finitas ecuaciones cuadráticas para resolver.
Aunque hay más que decir (y muchos tecnicismos que he pasado por alto), tal vez en este punto vea por qué no puede construir [math] \ sqrt {\ pi} [/ math]. No es la raíz de un polinomio. Si solo está interesado en cuadrar el círculo, puede detenerse ahora.
¿Pero qué hay de duplicar el cubo? Eso se reduce a construir un segmento de longitud [math] \ sqrt [3] {2} [/ math]. Eso es algebraico: es una raíz de [matemáticas] x ^ 3 – 2 = 0 [/ matemáticas]. Pero, como se prometió, aquí hay algo más:
Regrese a esos radicales anidados. Cada vez que dibujamos una línea o un círculo. (En este punto, deténgase un poco y convénzase de que las líneas que se cruzan no le brindan ninguna profundidad algebraica adicional. Los círculos están donde están). Pero si solo estamos usando círculos, entonces nuestra profundidad algebraica siempre involucra raíces cuadradas anidadas , porque solo estamos usando la fórmula cuadrática una y otra vez.
Y no puede escribir [math] \ sqrt [3] {2} [/ math] usando raíces cuadradas anidadas.
Triseccionar un ángulo sigue una línea de argumento similar, pero dejaré esos detalles para que los explore por su cuenta.
Para estar seguro, he pasado por alto mucho. Y en caso de que tenga curiosidad, lo contrario de lo que dije no es cierto: no necesariamente puede construir cualquier longitud que pueda expresarse como una serie anidada de raíces cuadradas. Pero demostrar eso implica desarrollar más maquinaria técnica.
¡Espero que eso te dé algo de reflexión!