SEP
CIENCIAS EXACTAS, INGENIERIA Y
TECNOLOGIA
ENSENANZA DE LAS MATEMATICAS
MODULO 1. PENSAMIENTO MATEMATICO Y
ALGEBRA
UNIDAD 3. NUMEROS COMPLEJOS Y ECUACIONES
CUBICAS
TEMA:
CAMPOS Y NUMEROS CONSTRUIBLES
UNIVERSIDAD ABIERTA Y A DISTANCIA DE MEXICO
BoosUNIDAD 3
Campos y niimeros construibles
Las operaciones basicas entre las magnitudes de segmentos nos llevan ahora a una
generalizacién sobre la obtencién de magnitudes construibles con regla y compas, esto con
el afan de caracterizar toda aquella magnitud que es posible construirse mediante regia y
compas, para asi determinar si estos problemas griegos tienen solucién 0 no, Para ello,
utilizaremos las ideas de mediados del siglo XVII de René Descartes e ideas del siglo XIX
sobre campos numéricos comenzadas por Ruffini, Abel y Galois.
Para comenzar con este anlisis, observernos que con el digebra de segmentos antes
expuesta es posible construir, a partir de un segmento adoptado como unidad, todos los,
segmentos cuyas magnitudes sean nimeros racionales, en este sentido diremos que con
regia y compas podemos construir todos los nuimeros racionales. El término que se utiliza
en matematicas para los conjuntos de nimeros en los que cualquier operacién basica
(suma, resta, multiplicacién y divisién) entre dos de sus niimeros, da como resultado otro
numero del conjunto, es de campo numérico o simplemente campo. Por lo tanto el
conjunto de los racionales es un campo, pues la suma, resta, multiplicacién y divisi6n entre
dos niimeros racionales es un niéimero racional. ¢Qué otros conjuntos de niimeros conoces
que también sean campos?
Te invitamos a que consultes las propiedades que definen un campo.
Propiedades de campos numéricos. Disponible en:
http://dieumsnh gfb.umich.mx/matematicas/cuerpo.htm
Ahora bien, cada segmento es una porcién de alguna linea recta trazada en el plano
cartesiano y por lo tanto tiene asociada una ecuacién de primer grado con dos incégnitas.
Sean a,x + hy +c =0 y asx + bay + cz =0 dos ecuaciones de dos rectas con coeficientes
racionales. La interseccién de estas rectas (o segmentos de recta) da como resultado un par
de coordenadas de niimeros racionales, mismos que determinan un punto en el plano. En
este sentido, las intersecciones en el plano cartesiano de dos segmentos de este tipo,
conduce alos nlimeros racionales.
Ejercicio, Muestra algebraicamente que la interseccién de las rectas con coeficientes
racionales «x + by +, =0 ya3x + bay +¢; = 0 es un punto con coordenadas racionales.
UNADM | DCEIT | EM | EMPMA 2UNIDAD 3
Cémo podemos obtener nimeros que no sean racionales mediante construcciones con
regla y compas? La respuesta es: cuando se intersecten rectas con circunferencias. Es
mediante estas construcciones que se pueden obtener nimeros que no son racionales, como
por ejemplo V2. De hecho, es posible construir con regla y compas segmentos cuya longitud
0 magnitud sea la rafz cuadrada de un cualquier racional, y también la raiz cuadrada de
cualquier magnitud p (racional o no), tal como lo puedes analizar en la siguiente figura.
Dados dos segmentos, uno como la unidad y otro de longitud p, trazamos una circunferencia
de diémetro 1 +p. Luego levantamos una perpendicular en la unién de 1 yp que intersectea
la circunferencia, La medida del segmento construido es /P.
Figura 5. Elaboracién propia
‘También puedes revisar el siguiente video:
| PDD Profesor de Dibujo (2013) Raiz cuadrada de un segmento.
Disponible en hi ww watch2v= IhZgY
La interseccién en el plano cartesiano de una linea recta con una circunferencia es lo que
genera nuevos nimeros, es decir, ntimeros que no son racionales. Todo niimero que se
obtiene de esta manera se lama un numero construible. Por ejemplo, los nimeros
UNADM | DCEIT | EM | EMPMA 3UNIDAD 3
racionales son construibles, también lo son v2, V5 y VF donde r es cualquier numero
racional positivo. Por cierto, la interseccién de dos circunferencias puede interpretarse
como la interseccién de una recta (la que pasa por los puntos donde se intersectan las dos
circunferencias) y una circunferencia. Precisemos lo anterior, si tenemos la ecuacién de una
recta ax + by +.¢ = 0 y de una circunferencia (x — h)? + (y — k)® = r?, ambas con
coeficientes racionales, las intersecciones de las curvas correspondientes a estas,
ecuaciones son puntos en el plano cuyas coordenadas son racionales 0 irracionales de la
forma VE donde k es un racional
Ejercicio: Encontrar algebraicamente las coordenadas de las intersecciones entre la recta
ax + by += Oy la circunferencia (x — h)? + (y—k? = 12.
El conjunto de numeros de la forma ap + Boy/ko CON ap, bo, Ky racionales pero y'ko no racional,
es un campo numérico. Esto significa que el resultado de sumar, restar, multiplicar y dividir
dos niimeros de esta forma, es otro niimero también de esta forma. Notemos que este
Conjunto de ntimeros es mas grande que el conjunto de los racionales en el sentido de que
este nuevo campo contiene a los racionales. Si fy representa al conjunto de los racionales y
F, aeste nuevo conjunto, entonces Fy ¢ Fy.
Hasta aqui tenemos que:
Fy es igual al conjunto de los nuimeros racionales.
F, es el conjunto de nimeros de la forma ay + Boy Ke CON do, by, ko racionales pero yk, no lo
es.
De manera similar el campo F, puede ser extendido a F,, campo numérico que contiene
nuimeros de la forma a + by Vk; donde ay, by, ky son elementos de Fy, pero VK; no lo es.
Siguiendo este procedimiento de construccién, podemos encontrar una cadena de
conjuntos anidados
Fy CR, CR, CRC CR
Finalmente, dadas las caracteristicas de construccién (sélo con regia y compas) de estos
nuimeros, definimos como ntimeros construibles aquellos y s6lo aquellos que pertenecen a
UNADM | DCEIT | EM | EMPMA, 4UNIDAD 3
alguno de estos campos extendidos de los racionales mediante adjuncién de raices
cuadradas.
El siguiente es un video sobre la construccién con regla y compas del pentagono regular
inscrito en una circunferencia. Si el radio de la circunferencia es la unidad, el lado del
pentagono regular inscrito es |°-"%, el cual es un elemento del campo F: pero no es
elemento del campo F,, mencionados anteriormente.
Paseoplasticavideo (2010) Pentagono regular conociendo el lado,
| Disponible e
| nttps./ www youtube,com/watch?v=6HyfnJHhyM4
También te invitamos a consultar cmo es que los nimeros en F,, generan un campo.
Operaciones con nimeros del campo extendido de los racionales.
Pagina 160 Disponible en:
https://books.google.com.mx/books?isbn=9589029817
Un hecho interesante es que todos los niimeros construibles son algebraicos. Un
nimero algebraico es aquel que es raiz de un polinomio (es decir, es raiz de una ecuacién
polinomial) con coeficientes enteros aqx” + ay-s2" + + ax + ay = 0, n= 0, ay + 0. (Silos
coeficientes son racionales, siempre se puede multiplicar esta ecuacién por el mcm de los
denominadores para si obtener coeficientes enteros). Estas raices pueden ser reales 0
complejas. Sin embargo existen numeros algebraicos que no son construibles, como lo
veremos mas adelante.
Hemos visto ya que V2 es construible por lo tanto debe ser algebraico, de hecho la ecuacién
polinomial que satisface es x? - 2 = 0, esta se escribe x = v2 y v2 estd en el campo F,, pero
no en Fy (campo de los racionales).
UNADM | DCEIT | EM | EMPMA 5UNIDAD 3
Estamos entonces en un momento clave: si la solucién (numérica) de cierto problema
simbolizado algebraicamente mediante una ecuacién polinomial, es tal que no cae dentro de
ninguno de los campos F,, entonces la solucién no sera un numero construible. El siguiente
teorema para las ecuaciones ctibicas nos ayudar a confirmar este hecho.
UNADM | DCEIT | EM | EMPMA 6