NMEROS CONSTRUIBLES CONSTRUCCIN DE NMEROS Construcciones bsicas permitidas con regla y comps.

Daremos la definicin de lo que es un Nmero Construible y mostraremos que clase de Construcciones son permitidas. Definicin: Un nmero x es construible si se puede construir un segmento de longitud x a partir de otro segmento de longitud 1 y con la ayuda de slo regla y comps. Los Nmeros Construibles aparecen como resultado de un nmero finito de construcciones bsicas permitidas las cuales son: Trazar una recta por dos puntos dados. Trazar un crculo de centro y radio dados. Trazar una paralela a una recta dada por un punto dado. Trazar la perpendicular a una recta dada por un punto dado. Trazar la mediatriz de un segmento, y en consecuencia, encontrar su punto medio. Adems es importante que tengamos en cuenta que: El comps moderno y el ideal son equivalentes. Podemos hallar el punto de interseccin de dos rectas, de dos crculos o de una recta y un crculo. Los nmeros naturales son nmeros construibles. Construyamos un segmento cualquiera con ayuda de la regla, y digamos que su longitud es 1. As el nmero 1 es construible. Llamemos los extremos de dicho segmento 0 y 1. Ahora, con centro en el punto 1 y radio una unidad, trazamos una circunferencia que corte la recta que pasa por los puntos 0 y 1,

en dos puntos, uno de ellos el 0 y el otro lo llamamos 2. El segmento de extremos 0 y 2 tiene longitud 2, y as el nmero 2 es construible.

En forma inductiva probaremos que todo nmero natural n es construible. En efecto, ya sabemos que los nmeros 1 y 2 son construibles. Supongamos que el nmero n-1 es construible y veamos que el nmero n es construible. Haciendo centro en n-1, que por hiptesis es construible, y abertura del comps la longitud del segmento unidad, trazamos una circunferencia que corte la recta que pasa por 1, 2 y n-1 en los puntos n-2 y n (es decir, una unidad antes y una unidad despus de n-1).

El segmento de extremos 0 y n tiene longitud n y as n es construible.

Los nmeros enteros son construibles. Teniendo que los nmeros naturales, es decir, los enteros positivos son construibles y con la convencin de que una longitud -1 significa construir el 1 hacia la izquierda del 0 y sobre la recta que pasa por 0 y 1, veamos que los enteros negativos tambin son construibles. Si queremos construir el nmero -n, bastar tomar como centro el punto 0 y con abertura n, trazar la circunferencia que cortar la recta que pasa por 0 y n en otro punto, a la izquierda de 0, que es justamente -n.

Teorema: Si a es un nmero positivo construible, entonces su raz cuadrada tambin es construible. Prueba: Tracemos el segmento AB de longitud a y el segmento BC cuya longitud suponemos como 1. Luego construiremos una circunferencia de dimetro AC:

Y ahora trazamos una recta perpendicular al dimetro AC y que pase por B. Llamemos D al punto de interseccin de esta perpendicular con la circunferencia de dimetro AC.

Construimos ahora el ngulo ADC el cual debe ser recto, pues un ngulo inscrito en una semicircunferencia es recto.

As que DC es perpendicular a AD, y BD es perpendicular a AB. Por lo tanto, los ngulos BDC y BAD son congruentes, al igual que los ngulos ADB y BCD. Adems los ngulos ABD y CBD son rectos, luego los tringulos ABD y BCD son semejantes por criterio de semejanza A.A.A. Luego los lados correspondientes de estos dos tringulos son proporcionales as que: (BD)/(BC)=(AB)/(BD), donde BC = 1 y AB = a , entonces:

(BD)/1)=(a/(BD). As que: BD = a , es decir, BD = a, luego la longitud del segmento BD es a y por lo tanto hemos construido la raz cuadrada de un nmero positivo construible. SUBCAMPOS DE LOS NMEROS REALES Los nmeros reales conforman un campo: La suma y el producto de dos reales es otro real. La suma y el producto cumplen las propiedades conmutativa y asociativa. El producto es distributivo, esto es, para todo a ,b y c en R , a(b+c) = ab+ac. Existe el nmero 0 R, llamado el elemento identidad para la suma y el nmero 1 R, llamado el elemento identidad para el producto, tal que: a+0 =a y a 1 = a, para todo a R. Para todo a R, se tiene -a R, llamado el inverso aditivo, y para todo a 0 en R se tiene su inverso multiplicativo (1/a) R , de tal manera que: a + (-a) = 0 y a (1/a) =1. Cualquier subconjunto de R que tenga estas propiedades, es un subcampo de R. Por, ejemplo, los nmeros racionales son un subcampo de R. Para mostrar que un subconjunto F de R es un subcampo de R , solamente se debe verificar que: La suma y el producto de cualquier par de nmeros de F est en F. Para cada a en F, el nmero -a F, y si a0 , el nmero (1/a) F. Las dems propiedades de un campo son inherentes a cualquier subconjunto de R. El infinito conjunto de los nmeros reales se divide en dos subconjuntos mutuamente excluyentes (o disjuntos), a saber, el de los algebraicos y el de los trascendentes.

Llamaremos nmeros algebraicos a las races o soluciones de alguna ecuacin polinmica tal como ax^n + bx^ (n-1) + cx^ (n-2) + + gx + h = 0, donde todos los coeficientes a, b, c,..., g y h son nmeros enteros o racionales. As, el nmero racional 3/7 es algebraico, pues es solucin de la ecuacin de primer grado 7x = 3. El nmero irracional 5 tambin es

algebraico, ya que satisface la ecuacin de segundo grado x^2 5 = 0. Entre otros. Llamamos en cambio nmeros trascendentes a los que no son races de ninguna ecuacin polinmica como la citada. Aunque en matemtica solo se utilizan habitualmente dos nmeros de esta clase, a saber, e y (cuya

trascendencia fue demostrada, respectivamente, en 1873 y 1882 por Hermite y Lindemann), es fcil demostrar que la mayor parte de los nmeros reales son trascendentes. Llamamos construibles a aquellos nmeros que, con ayuda de los instrumentos de dibujo de la geometra clsica griega (la regla y el comps), pueden ser representados sobre una recta en la que hemos sealado dos puntos que indican el 0 y el 1. Ningn nmero trascendente es construible: ni e ni sus races cuadradas, cbicas, etc. Todos los nmeros construibles son algebraicos, aunque no todos los algebraicos son construibles. A partir de 1, es posible construir mediante el comps los correspondientes nmeros deducibles de la unidad mediante procesos racionales de suma, resta, multiplicacin y divisin, es decir, todos los nmeros racionales m/n, siendo m y n enteros y n o 0. Este sistema numrico es cerrado con respecto a las operaciones citadas, es decir, que la suma, la diferencia, el producto y el cociente de dos nmeros racionales ni tampoco

cualesquiera son as mismo nmeros racionales. Un conjunto numrico que posee esa propiedad se denomina cuerpo de nmeros. Ese cuerpo numrico puede ser ampliado mediante nmeros irracionales como, p. ej., a, que tambin son construibles, como podemos

ver con ayuda de la siguiente figura

OB = a OA = 1 OH = x En la figura hecha con comps, a/x = x/1, de donde x = a.

El conjunto ampliado de, por ejemplo, los nmeros de la forma a+b 2,

Los nmeros complejos son nmeros construibles Un punto complejo en el plano eucldeo puede identificarse con el nmero . En la construccin con regla y comps, se empieza con un

segmento de recta de longitud unitaria. Si se es capaz de construir un punto

dado, un punto cualquiera, en el plano complejo, entonces se podr decir que ese punto es un nmero complejo construible. Por ejemplo, si se dan dos puntos como datos, los nmeros complejos , , , , etc. son fcilmente construibles. De hecho, con

construcciones conocidas de la geometra euclidiana se pueden construir los nmeros complejos de la forma x + yi siempre que x e y sean nmeros racionales. De modo ms general, usando las mismas construcciones, uno puede, dados dos nmeros complejos a y b, construir a + b, a b, a b, y a /b . Esto muestra que los nmeros construibles forman un cuerpo, que por tanto es un subcuerpo de los nmeros complejos. Puede demostrarse algo ms: dada una longitud construible es posible construir su conjugado y su raz cuadrada. Las nicas formas de construir puntos nuevos son como interseccin de dos rectas, o de una recta y una circunferencia, o de dos circunferencias. Usando las ecuaciones de las rectas y de las circunferencias, puede demostrarse que los puntos en los que se intersecan yacen en una extensin cuadrtica del cuerpo ms pequeo, F, que contenga dos puntos en la recta, el centro del crculo, y el radio del crculo. Es decir, que los puntos con interseccin son de la forma , donde , y estn en F.

Dado que el cuerpo de los puntos construibles es cerrado para las races cuadradas, contiene a todos los puntos que puedan obtenerse por una secuencia finita de extensiones cuadrticas con coeficientes racionales del cuerpo de los nmeros complejos. Por lo dicho en el prrafo anterior, se puede demostrar que todo punto construible puede obtenerse por una tal secuencia de extensiones. Como corolario, se encuentra que el grado del polinomio mnimo para un nmero construible (y por tanto para cualquier

longitud construible) es una potencia de 2. En particular cualquier punto o longitud construible es un nmero algebraico, sin embargo no cualquier nmero algebraico puede ser construido. Relacin con los nmeros complejos Los puntos construibles y los nmeros complejos estn muy relacionados (ya se puede intuir alguna relacin sabiendo que cada punto del plano puede representarse como un nmero complejo y viceversa). De hecho la relacin es muy interesante, ya que si consideramos la aplicacin entre el conjunto de puntos del plano y el conjunto de los nmeros complejos que lleva a cada punto del plano en su nmero complejo asociado y partimos de tenemos que es un subcuerpo de , es decir,

el conjunto de nmero complejos asociados a todos los puntos construibles es un cuerpo (recordemos que partir de un conjunto de puntos era el conjunto de puntos construibles a dado) contenido (estrictamente) en . Esto

matemticamente es muy interesante ya que nos permite utilizar todas las propiedades de un cuerpo con los puntos construibles. Adems este cuerpo es cerrado para conjugacin, ya que si consideramos el nmero complejo asociado a un punto construible se tiene que el punto asociado al conjugado de ese nmero complejo tambin es construible; y cerrado para races cuadradas, ya que si consideramos el nmero complejo asociado a un punto construible se tiene que el punto asociado a la raz cuadrada (para evitar problemas tomamos la raz cuadrada cuyo argumento sea menor que ) de ese nmero complejo tambin es con estas caractersticas.

construible. De hecho es el menor subcuerpo de

Dado un polinomio cualquiera de segundo grado, con coeficientes enteros, son conocidas las frmulas que permiten obtener las soluciones de la ecuacin correspondiente. A dichas soluciones se les llama ceros del polinomio.

Se sabe adems que el hecho de poder encontrar los ceros del polinomio nos permite factorizarlo. Dichos ceros pueden ser nmeros racionales, reales o complejos. As, si a y b son las dos soluciones de dicha ecuacin, entonces se tiene que:

Para un polinomio de grado tres con coeficientes enteros, existe tambin una frmula explcita (frmulas de Cardano) que permite expresar sus soluciones en trminos de combinaciones de radicales de funciones racionales de los coeficientes. Para los polinomios de grado cuatro es tambin posible encontrar frmulas que nos permitan resolver la ecuacin correspondiente. Pero est demostrado que para polinomios de grado cinco o superior dichas frmulas no existen. Se dice que dichos polinomios no son resolubles por radicales. Este teorema es el gran Teorema de Abel.