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 BoosUNIDAD 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 2UNIDAD 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 3UNIDAD 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, 4UNIDAD 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 5UNIDAD 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