19.2: Números construtibles
( \newcommand{\kernel}{\mathrm{null}\,}\)
En las construcciones clásicas de brújula y regla, la configuración inicial puede describirse completamente por un número finito de puntos; cada línea está definida por dos puntos en ella y cada círculo se describe por su centro y un punto sobre él (equivalentemente, se puede describir un círculo por tres puntos sobre él).
De la misma manera se puede describir el resultado de la construcción mediante una colección finita de puntos.
Siempre podemos suponer que la configuración inicial tiene al menos dos puntos; si no sumamos uno o dos puntos a la configuración. Además, aplicando una escala a todo el plano, podemos suponer que los dos primeros puntos en la configuración inicial se encuentran a una distancia 1 uno del otro.
En este caso podemos elegir un sistema de coordenadas, tal que uno de los puntos iniciales sea el origen(0,0) y otro punto inicial tenga las coordenadas(1,0). En este sistema de coordenadas, la configuración inicial den los puntos se describe por2⋅n−4 números, sus coordenadasx3,y3,…,xn,yn.
Resulta que las coordenadas de cualquier punto construido con brújula y regla se pueden escribir a través de los númerosx3,y3,…,xn,yn usando las cuatro operaciones aritméticas "+"−","⋅", "/"y la raíz cuadrada” √a".
Por ejemplo, supongamos que queremos encontrar los puntosX1=(x1,y1) yX2=(x2,y2) de las intersecciones de una línea que pasa a travésA=(xA,yA)B=(xB,yB) y y el círculo con centroO=(xO,yO) que pasa por el puntoW=(xW,yW). Escribamos las ecuaciones del círculo y la línea en las coordenadas(x,y):
Tenga en cuenta que las coordenadas(x1,y1) y(x2,y2) de los puntosX1 yX2 son soluciones de este sistema. Expresandoy a partir de la segunda ecuación y sustituyendo el resultado en la primera, nos da una ecuación cuadrática enx, la cual puede resolverse usando "+"−","⋅", "/"y” √a"solamente.
Lo mismo se puede realizar para la intersección de dos círculos. La intersección de dos líneas es aún más simple; se describe como una solución de dos ecuaciones lineales y se puede expresar utilizando sólo cuatro operaciones aritméticas; la raíz cuadrada "no√a" es necesaria.
Por otro lado, es fácil hacer construcciones de brújula y regla que produzcan segmentos de las longitudesa+b ya−b a partir de dos segmentos dados de longitudesa>b.
Para realizar "⋅","/" y "√a"considerar el siguiente diagrama: dejar[AB] ser un diámetro de un círculo; fijar un puntoC en el círculo y dejarD ser el punto del pie deC on [AB]. Por Corolario 9.3.1, el ánguloACB es recto. Por lo tanto
△ABC∼△ACD∼△CBD.
De ello se deduce queAD⋅BD=CD2.
Usando este diagrama, se debe adivinar una solución al siguiente ejercicio.
Dados dos segmentos de línea con longitudesa yb, dar una construcción de regla y brújula de unos segmentos con longitudesa2b y√a⋅b.
- Sugerencia
-
Para construir√a⋅b: (1) construir puntosA,B, yD∈[AB] tal queAD=a yBD=b; (2) construir el círculoΓ en el diámetro[AB]; (3) dibujar la línea aℓ travésD perpendicular a(AB); (4) dejarC ser una intersección deΓ yℓ. EntoncesDC=√a⋅b.
La construcción dea2b es análoga.
Tomando1 pora ob por encima, podemos producir√a,a2,1b. Combinando estas construcciones podemos producira⋅b=(√a⋅b)2,ab=a⋅1b. En otras palabras, producimos una calculadora de brújula y regla que puede hacer "+"−","⋅"/", "y"”√a".
La discusión anterior da un boceto de la prueba del siguiente teorema:
Supongamos que la configuración inicial de la construcción geométrica viene dada por los puntosA1=(0,0),A2=(1,0),A3=(x3,y3),…,An=(xn,yn). Entonces seX=(x,y) puede construir un punto usando una construcción de brújula y regla si y solo si ambas coordenadasx y sey pueden expresar a partir de los números enteros yx3,y3,x4, y4,…,xn,ynutilizando las operaciones aritméticas "+"−",", "⋅"/"," y la raíz cuadrada”√a".
Los números que se pueden expresar a partir de los números dados usando las operaciones aritméticas y la raíz cuadrada “√a” se llaman constructibles; si no se da la lista de números dados, entonces solo podemos usar los enteros.
El teorema anterior traduce cualquier problema de construcción de brújula y regla en un lenguaje puramente algebraico. Por ejemplo:
- La imposibilidad de una solución para duplicar el problema del cubo indica que no3√2 es un número construible. Eso3√2 no se puede expresar a través de enteros usando "+","−"⋅", "/"," y "√a".
- La imposibilidad de una solución para cuadrar el círculo establece que√π, o equivalentementeπ, no es un número construible.
- El teorema de Gauss-Wantzel dice para qué enteroscos2⋅πn es construiblen el número.
Algunas de estas afirmaciones pueden parecer evidentes, pero las pruebas rigurosas requieren cierto conocimiento del álgebra abstracta (es decir, la teoría de campo) que está fuera del alcance de este libro.
En la siguiente sección, discutimos ejemplos similares pero más simples de construcciones imposibles con una herramienta inusual.
- Demuestre que el pentágono diagonal o regular es1+√52 veces más grande que su lado.
- Use (a) para hacer una construcción de brújula y regla de un pentágono regular.
- Sugerencia
-
(a) Mira el diagrama del pentágono regular; mostrar que los ángulos marcados de la misma manera tienen la misma medición de ángulo. Concluir el queXC=BC y△ABC∼△AXB. Por lo tanto
ABAC=AXAB=AC−ABAB=ACAB−1.
Queda por resolver paraACAB.
(b) Elegir dos puntosP yQ y utilizar la calculadora de brújula y regla para construir dos puntosV yW tal queVW=1+√52⋅PQ. Después construye un pentágono con los ladosPQ y diagonalesVW.