UNIDAD DE LGEBRA

EL PODER GENERALIZADOR DE LOS SMBOLOS

Fidel Oteza Morra Mauricio Moya Mrquez

CONTENIDO

9
Presentacin

10
Expresiones algebraicas
Qu es una expresin algebraica? Qu representa una expresin algebraica? Expresiones algebraicas con sentido Expresiones algebraicas en la Ciencia Cuocientes de expresiones algebraicas Indeterminacin de expresiones algebraicas racionales Simplificacin de expresiones algebraicas Factorizacin de expresiones algebraicas Mtodo visual para factorizar y desarrollar expresiones algebraicas Resumen de productos notables Operatoria de expresiones algebraicas Propiedades de las potencias de exponente entero 10 10 11 12 13 13 14 15 18 20 21 26

28
Introduccin a los Nmeros Reales
La aparicin de los nmeros irracionales en la Historia La naturaleza irracional de la raz cuadrada de 2 Valores aproximados de nmeros irracionales La recta numrica real Definicin formal de nmero real Axiomas que definen propiedades de los nmeros reales Teoremas que definen propiedades de los nmeros reales Demostraciones de algunos teoremas 29 30 32 36 38 38 40 42

45
Referencias bibliogrficas

Unidad de lgebra

PRESENTACIN

Para abordar esta unidad, se propone focalizar el trabajo en una comprensin ms profunda de la relacin que existe entre la representacin algebraica y los nmeros, intentando darle un sentido numrico a las expresiones representadas a travs de letras y smbolos. Esto ha sido pensado as, debido a que una de las dificultades que tiene la comprensin del lgebra es que las personas no logran ver qu hay realmente detrs de esos smbolos, razn por la cual no logran visualizar las transformaciones posibles que son muy importantes al momento de aplicar la operatoria algebraica. Por otra parte, cuando se aborda esta unidad, en distintos textos se suele caer en un abuso de lenguaje matemtico y referirse al trabajo con cuocientes de expresiones algebraicas como fracciones en lenguaje algebraico o simplemente fracciones algebraicas. En realidad, si se mira la forma (el dibujo) de los cuocientes de expresiones algebraicas, esta tiene una similitud con las fracciones. Incluso se habla del numerador y el denominador de la expresin algebraica, lo que aumenta ms la confusin. Sin embargo, hablar de fracciones algebraicas implica restringir el uso del lgebra slo al mbito numrico de los nmeros racionales (I Q), con lo cual se le resta fuerza como herramienta generalizadora del concepto de nmero y de otros objetos matemticos ms abstractos, tales como funciones, conjuntos, transformaciones, matrices, vectores, etc. Por esta razn, desde un punto de vista estrictamente matemtico, es importante ampliar el mbito de aplicacin del lgebra para representar tambin nmeros reales y, por lo tanto, por la definicin matemtica de fraccin, no puede hablarse de fracciones algebraicas, sino de expresiones algebraicas en general. Esta distincin tiene consecuencias importantes, pues por ello se ha considerado un tratamiento ms formal y profundo del conjunto de los nmeros reales. Este tema es parte de los contenidos de Primero Medio, pero en este texto se los introduce de una manera un poco ms profunda y sistemtica, mostrando la axiomtica y abordando algunos de sus teoremas fundamentales. Esto puede ser interesante particularmente para aquellos estudiantes orientados hacia la Matemtica, dado que los nmeros reales seguirn apareciendo de aqu en delante de manera permanente, ya que son fundamentales en la construccin de conceptos claves como el de funcin y en la generalizacin de algunos resultados, como por ejemplo el Teorema de Thales. Dado a lo expresado anteriormente, la unidad se llama El poder generalizador de los smbolos y el ncleo fundamental es la operatoria de cuocientes de expresiones algebraicas.

EXPRESIONES ALGEBRAICAS

Qu es una expresin algebraica?

Para definir el concepto de expresin algebraica, en primer lugar es necesario primero entender lo que es una variable. Una variable es una letra que se usa para representar cualquier elemento de un conjunto, en particular un conjunto numrico. Por ejemplo, cuando se escribe a IR significa que a es un nmero real, aunque no especifica qu nmero real es en particular, sino que se refiere a cualquier nmero real. Como convencin, las ltimas letras del alfabeto, tales como x, y, z, w..., son las que se emplean ms a menudo como variables. De este modo, se puede pensar en la variable como una suerte de contenedor que recibe valores seleccionados de un conjunto determinado, en particular de un conjunto numrico como, por ejemplo, los nmeros reales. A partir de lo anterior, se define una expresin algebraica como la representacin simblica del resultado que se obtiene al aplicar a una coleccin de variables y nmeros, una cantidad finita de operaciones definidas en el conjunto que se est trabajando (adiciones, sustracciones, multiplicaciones, divisiones, potencias, extraccin de races, etc.). A continuacin se presentan algunos ejemplos de expresiones algebraicas: a b+c 3m2 4n x2+ 4x 3 2xy + 3x y1
1

p 2p +

39 2p

Qu representa una expresin algebraica?

Una expresin algebraica que se ha formado a partir de variables numricas (por ejemplo, variables que representan nmeros reales), no es otra cosa que la representacin general de un nmero cualquiera. Esto queda ms claro aun cuando una expresin es evaluada dndole ciertos valores numricos concretos a las variables de la expresin. Lo que queda entonces es un conjunto de operaciones numricas, resultando finalmente un nmero.

10

Unidad de lgebra

EXPRESIONES ALGEBRAICAS

Ejemplos 1. 2. 3. La expresin 3xy 2 representa al nmero 3 , cuando x = 1 e y = 2. Al evaluar 3 1 2 2 = 62=3 Una expresin interesante es 2n. Si esta es evaluada, por ejemplo con los nmeros enteros positivos 1, 2, 3, ... el resultado ser 2, 4, 6, ...., es decir, los nmeros enteros pares. La expresin 2p 1 representa a los nmeros enteros impares, cuando p es un nmero entero.

Expresiones algebraicas con sentido

De acuerdo al contexto dado, las expresiones algebraicas pueden adquirir un significado ms concreto en el mundo cotidiano. Por ejemplo, en el siguiente cuadro se presenta una serie de variables expresadas mediante un smbolo, un significado y un valor numrico especfico asignado para cada una de ellas1.
Smbolo de la variable Significado Nmero de asignaturas que tiene cada estudiante en Segundo Medio. Nmero de alumnas en Primero Medio. Nmero de alumnos en Primero Medio. Nmero de alumnas en Segundo Medio. Nmero de alumnos en Segundo Medio. Nmero de minutos que cada alumno emplea en su tarea de Matemtica cada noche. Nmero de minutos que cada alumno emplea en su tarea que no sea de Matemtica cada noche. Nmero de das de clases por ao. Nmero de horas por semana que cada alumna escucha msica. Nmero de horas por semana que cada alumno escucha msica. Valor

A M1 H1 M2 H2 Tm To D EM EH

7 230 246 215 213 27 52 180 18 15

En este cuadro cada variable tiene un significado especfico en el contexto de un colegio. Con ellas se pueden formar expresiones algebraicas como las siguientes: M1 + H1 Tm + To D EM Nmero total de alumnos (hombres y mujeres) en Primero Medio. Nmero total de minutos que cada estudiante utiliza en hacer sus tareas. Nmero de das de clases por ao multiplicado por el Nmero de horas por semana que cada alumna escucha msica.

Tomado y adaptado de Interactive Mathematics Program. Year 1 de Dan Fendel, Diane Resek, Lynne Alper y Sherry Fraser. Key Curriculum Press, 2000.

Expresiones algebraicas

11

EXPRESIONES ALGEBRAICAS

Usando las operaciones bsicas es posible escribir muchas expresiones algebraicas diferentes. Sin embargo, no todas las expresiones tienen sentido en el mundo cotidiano. Por ejemplo, la ltima expresin D EM cuyo valor es 18 180 = 3.240, no tiene ninguna interpretacin lgica en el contexto dado. Sin embargo, las otras s tienen una interpretacin y esta es una de las ventajas de trabajar con expresiones algebraicas, pues con unos pocos smbolos y operaciones, se pueden representar modelos matemticos muy complejos.

Expresiones algebraicas en la Ciencia

Una aplicacin concreta de las expresiones algebraicas se registra en la representacin de frmulas en la Ciencia, donde cobran gran relevancia, ya que los resultados importantes, descubrimientos o leyes fsicas quedan, generalmente, expresados a travs de frmulas matemticas o ecuaciones. En este contexto, una frmula es una expresin algebraica con significado, donde sus variables representan determinadas magnitudes. Evaluar una frmula significa encontrar el valor numrico de una variable especfica, reemplazando y operando los valores numricos de las otras variables conocidas.

Ejemplos: F=ma dn = (Segunda ley de Newton que relaciona la masa de un cuerpo con su aceleracin.)

n (n 3) (Nmero total total de diagonales que se pueden trazar en un polgono convexo 2a de n lados.) (Ley de los Gases Ideales que relaciona la temperatura con el volumen de un gas.)

P = RnT 1 V

Tomando la segunda frmula, es posible determinar el nmero total de diagonales que se pueden trazar en un heptgono (polgono de 7 lados). As: 7 (7 3) 28 = = 14 2 2

d7 =

12

Unidad de lgebra

Cuocientes de expresiones algebraicas

Existen algunas expresiones algebraicas especiales importantes de conocer y recordar: Un monomio en ciertas variables es una expresin algebraica que puede escribirse como el producto de un nmero real y potencias enteras no negativas de las variables. Este trabalenguas es ms simple de lo que parece y se puede traducir as. Por ejemplo, un monomio en la variable x es una expresin algebraica de la forma axn, donde a IR y n es un entero no negativo. Un polinomio es cualquier suma de monomios. Por ejemplo, un polinomio en la variable x es una expresin algebraica de la forma a1x + a2x2 + a3x3 + .... + anxn , donde ai IR y n es un entero no negativo. Una expresin algebraica racional corresponde al cuociente entre dos polinomios. Por ejemplo, las siguientes expresiones corresponden a expresiones algebraicas racionales: x2 5x + 1 , z2x4 3yz , 1 , etc 5z 4xy x3 + 7

EXPRESIONES ALGEBRAICAS

Indeterminacin de expresiones algebraicas racionales

Un punto importante, a la hora de enfrentar cuocientes de expresiones algebraicas, es analizar aquellos valores para los que el denominador se hace cero, ya que en estos casos la expresin se indefine, pues la divisin por 0 no existe. 2 Por ejemplo, la expresin: x 2x 3 se indefine cuando x = 3, pues el denominador toma el x 3 valor 0. Luego, la condicin para que esta expresin sea vlida es que la variable x no puede adoptar el valor 3, lo que se escribe formalmente como: x 3. De este modo, la forma correcta de escribir esta expresin es: x2 2x 3 x 3 x3

Esta consideracin es muy importante al realizar la simplificacin de las expresiones de este tipo, tema que es abordado a continuacin.

Expresiones algebraicas

13

EXPRESIONES ALGEBRAICAS

Simplificacin de expresiones algebraicas

A menudo, es muy til en el trabajo matemtico el reemplazar una expresin compleja por otra equivalente pero ms simple. Un aspecto importante de este proceso es la simplificacin de expresiones algebraicas, donde se trabaja de un modo similar a cuando se simplifican fracciones. Por ejemplo, para simplificar la fraccin 6 , se debe escribir 3 2 y entonces cancelar el 10 52 factor 2 en el numerador y el denominador. Este proceso generalmente se escribe as: 32 3 6 = = 52 5 10 Ms formalmente, en vez de cancelar, se puede escribir: 32 6 3 2 = = 52 10 5 2 y usar el hecho que (aplicando propiedades de la multiplicacin de fracciones)

2 = 1 (consecuencia directa de la existencia del elemento neutro multiplicativo 2 en IR, donde a 1 = 1 a = a para todo a en IR). Similarmente, se puede considerar ahora la expresin algebraica 12xy 20x

Esta expresin se puede simplificar buscando un factor comn en el numerador y el denominador y entonces proceder a cancelarlo. Este proceso se puede escribir de la manera siguiente: 12xy 3 4xy 3y 4x 3y 4x 3y 3y = = = = 1= 20x 5 4x 5 4x 5 4x 5 5 x0

As, se ha llegado a una expresin ms simple, pero equivalente. La explicacin ms formal de la operacin utilizada aqu es que, aplicando adecuadamente las propiedades de los nmeros reales, se puede reescribir la expresin anterior de la manera en que fue realizada y usar el hecho que: 4x =1 4x x0

De este modo, si el numerador y el denominador de una expresin tienen un factor comn distinto de cero, estos factores se cancelarn uno con otro por la propiedad de IR que establece la existencia de elemento inverso multiplicativo y usando tambin el hecho que el 1 es el elemento neutro multiplicativo en IR. Simblicamente, el principio general puede describirse de la manera siguiente: ac a c a a = = 1= bc b c b b b 0, c 0

14

Unidad de lgebra

EXPRESIONES ALGEBRAICAS

Para poder aplicar este principio, se requiere tener los factores apropiados en el numerador y en el denominador. Por ejemplo, si se tiene la expresin: x2 + 4x x + 5x + 4
2

Puede ser simplificada escribiendo el numerador como x(x + 4) y el denominador como (x + 1)(x + 4). De este modo, la expresin se puede trabajar como: x(x + 4) x (x + 4) x x = = 1= (x + 1)(x + 4) (x + 1) (x + 1) (x + 1) (x + 1) resultando finalmente en: x x+1 x 4, x 1 x 4, x 1

Factorizacin de expresiones algebraicas

Sin duda, un tema fundamental al momento de simplificar expresiones algebraicas es la factorizacin. Es tan fundamental que simplemente si no se sabe cmo factorizar, en muchos casos ser imposible simplificar expresiones algebraicas cuyos numeradores y/o denominadores no estn factorizados. Por ello, vale la pena volver a revisar las distintas tcnicas y procedimientos de factorizacin de expresiones y conocer en qu casos se aplican. Factorizar una expresin algebraica es transformarla en el producto de dos o ms factores, los cuales a su vez son tambin expresiones algebraicas. Ejemplo: La expresin ab + 5a puede factorizarse como: ab +5a a(b + 5) Descomponiendo en factores. Aplicando la propiedad distributiva.

Existen diferentes tcnicas para factorizar una expresin algebraica, las que dependen fundamentalmente del tipo (forma) de expresin con la que se est trabajando. Algunas tcnicas importantes son las siguientes: factor comn, trinomios cuadrticos, productos notables. A continuacin se revisan con ms detalles cada una de ellas. Tcnica del factor comn Generalmente, se utiliza para factorizar expresiones simples y consiste en descomponer cada trmino de la expresin en factores de una manera conveniente, para luego identificar aquellos que son comunes. Finalmente, la expresin se factoriza aplicando la propiedad distributiva de los nmeros reales.

Expresiones algebraicas

15

EXPRESIONES ALGEBRAICAS

Ejemplo Factorizar ab c 3 ba = ab c 3 ba = ab(c 3) Descomponiendo en factores. Reconociendo el factor comn. Notar que ab = ba por la propiedad conmutativa de la multiplicacin en IR. Aplicando la propiedad distributiva, se obtiene la factorizacin buscada.

Tcnica para trinomios cuadrticos de la forma x2 + bx + c Una expresin algebraica de la forma x2 + bx + c puede ser factorizada como el producto de dos binomios (x + p)(x + q). Para ello es necesario encontrar dos nmeros p y q tales que cumplan las siguientes condiciones: pq=c p+q=b Al multiplicarlos se obtiene el trmino libre de la expresin. Al sumarlos se obtiene el coeficiente que acompaa a x.

El fundamento de lo anterior es que al desarrollar el producto (x + p)(x + q) esto queda: (x + p)(x + q) = x x + x q + p x + p q = x2 + (p + q)x + pq x2 + bx + c Multiplicando trmino a trmino Reduciendo y factorizando Sustituyendo los valores p + q = c y p q = c

Ejemplo Factorizar la expresin y2 + 7y 30 (y + p)(y + q) Transformando la expresin en un producto de binomios

p q = 30 y p + q = 7 Se buscan dos nmeros que multiplicados den -30 y sumados den 7 p = 10 y q = 3 (y + 10)(y 3) Los valores 10 y -3 son los que cumplen la condicin Reemplazando, se obtiene la factorizacin buscada

16

Unidad de lgebra

EXPRESIONES ALGEBRAICAS

Tcnica para factorizar productos notables Anteriormente ya se ha trabajado con productos notables (cuadrado de binomio, suma por diferencia), que corresponde a factorizaciones especiales, en que por medio de una frmula, es posible obtener rpidamente su resultado. Basado en esto, una tercera tcnica para factorizar expresiones cuadrticas es justamente reconocer que se trata de algn producto notable conocido. Si la forma de un trinomio cuadrtico corresponde a x2 + 2ax + a2 o bien x2 2ax + a2, en la cual se distinguen las siguientes caractersticas: Dos de sus trminos son cuadrados perfectos (potencias de exponente 2) x2 y a2. El tercer trmino corresponde al doble del producto de las bases de los cuadrados anteriores: 2ax o bien 2ax. Entonces su factorizacin corresponde al cuadrado de binomio (x + a)2 o bien (x a )2, dependiendo del signo del doble producto en el trinomio original. Esta factorizacin se justifica por lo siguiente: (x + a )2 = (x + a )(x + a ) = x2 + x a + a x + a2 = x + 2ax + a
2 2

Desarrollando el cuadrado de binomio. Multiplicando trmino a trmino. Reduciendo los trminos semejantes.

De igual forma se desarrolla (x a )2 para obtener x2 2ax + a2. Si una expresin corresponde a la diferencia de dos cuadrados, es decir, tiene la forma x2 a2, entonces su factorizacin corresponde al producto de una suma por diferencia. Esto se justifica de la siguiente manera: (x + a)(x a) = x xa+ax+a = x2 a2 = Ejemplo Factorizar la expresin x2 4x + 4 x2 y 4 Son cuadrados perfectos. Notar que 4 = 22 x y 2 Son las bases de los cuadrados anteriores 2 x 2 = 4x Es el doble producto de las bases y el cual se corresponde con el trmino central del trinomio original. En este caso el signo es negativo. (x 2)2 (x 2)(x 2) Es la factorizacin buscada, la que corresponde a un cuadrado de binomio.
Expresiones algebraicas
2 2

Suma por diferencia Multiplicando trmino a trmino Reduciendo trminos semejantes

17

EXPRESIONES ALGEBRAICAS

Ejemplo Factorizar la expresin p2 144 p2 144 Corresponde a una diferencia de cuadrados p2 y 144 Son cuadrados perfectos. Notar que 144=122 p y 12 Son las bases de los cuadrados anteriores ( p +12) ( p 12) Es la factorizacin buscada, la que corresponde a una suma por diferencia

Mtodo visual para factorizar y desarrollar expresiones algebraicas

Este mtodo est basado en la relacin que se puede establecer entre las expresiones algebraicas y las reas de rectngulos. En la prctica, lo que se necesita es un puzzle con piezas bien determinadas y en dos colores para hacer notar la diferencia de los signos. Esta distincin puede ser, por ejemplo, el color rojo para positivo y el azul para el negativo. Las piezas se describen en el siguiente cuadro:
Pieza Un cuadrado rojo de lado x. Dibujo

Rectngulos rojos y azules de lados 1 y x.

Cuadrados rojos y azules de lado 1.

Notar que x representa una magnitud variable. Ejemplo Desarrollar la expresin (x + 5)(x 3). x+5

x3

18

Unidad de lgebra

EXPRESIONES ALGEBRAICAS

Dado que hay tres rectngulos azules, estos se cancelarn con tres rojos, es decir, las reas que quedan son:

x2

2x

15

De esta forma, la expresin (x + 5)(x - 3) al ser desarrollada queda x2 + 2x 15. Este proceso es simple de resolver usando la representacin del puzzle, pero lo interesante surge cuando se trata de hacer el proceso recproco, es decir, de una expresin desarrollada pasar a la expresin factorizada.

Ejemplo Factorizar la expresin x2 + 2x 8. En esta situacin se tienen las siguientes piezas:

x2

2x

La idea es formar un rectngulo con todas las piezas. En el caso de que falten rectngulos, se pueden agregar ms, siempre que esto sea hecho de pares de distinto color. Es decir, si se agregan dos rectngulos rojos, deben agregarse necesariamente dos azules. Este ltimo hecho de que falten piezas, es una forma de visualizar la reduccin de trminos semejantes que est implcita en una expresin desarrollada. En este caso, para formar el rectngulo final es necesario agregar dos rectngulos rojos y dos azules.

x2

+ 2x

+2x

2x

Expresiones algebraicas

19

EXPRESIONES ALGEBRAICAS

Con este paso intermedio se puede ahora formar el rectngulo final: x+4

x2

Por lo tanto, la factorizacin correspondiente (los lados) del rectngulo final es (x + 4) (x 2), la cual corresponde exactamente a la expresin algebraica x2 + 2x 8.

Resumen de productos notables

A continuacin se presenta un cuadro resumen con los productos notables ms significativos.

Producto Notable Cuadrado de binomio Suma por diferencia Binomios con un termino en comn Cubo de binomio

Forma (a b)2 (a + b)(a b) (x + a)(x + b)

Desarrollo

Ejemplo (p 2)2 = p2 2 p 2 + 22 = p2 4p + 4 (m + 5)(m 5) = m2 25 (x 3)(x + 5) = x2 + (3 + 5)x 3 5 = x2 + 2x 15 (y 3)3 = y 3 3y 2 3 + 3y 32 33 = y 3 9y 2 + 27y 27 (x + 2)(x2 2x + 4) = x3 + 8 (y 3 )(y 2 + 3y + 9) = y 3 27

a2 2ab + b2 a2 b2 x2 + (a + b)x + ab

(a b)3

a3 3a 2b + 3ab 2 b3

Suma de cubos Resta de cubos

(a + b)(a2 ab + b2) (a b)(a2 + ab + b2)

a3 + b3 a3 b3

20

Unidad de lgebra

Operatoria de expresiones algebraicas

Suma y resta con igual denominador Para sumar o restar cuocientes de expresiones algebraicas, se procede de manera similar a como se operan las fracciones numricas. En este caso, donde el denominador es igual, el procedimiento consiste en conservar el denominador y sumar o restar los numeradores en forma algebraica. Esto ltimo quiere decir que si existen trminos semejantes, estos deben reducirse. Ejemplo 4x + 5x 2 = 4x + 5x 2 Se conserva el denominador y se suman algebraicamente 2x 1 2x 1 2x 1 los numeradores. 9x 2 2x 1

EXPRESIONES ALGEBRAICAS

Se reducen trminos semejantes

Mnimo comn mltiplo Cuando se requiere sumar o restar cuocientes de expresiones algebraicas con distinto denominador, la operatoria se complica un poco y se requiere conocer otro procedimiento para operar. La idea de fondo es buscar una forma de lograr transformar los cuocientes originales en otros equivalentes, pero de igual denominador, con lo cual la operatoria se reduce al caso anterior. Una forma es conocer el mnimo comn multiplo de los denominadores y transformar los cuocientes en otros equivalentes, cuyo denominador comn sea el mnimo comn mltiplo encontrado anteriormente. Una expresin algebraica, llammosla M, es el mnimo comn mltiplo (mcm) de un conjunto de dos o ms expresiones E1, E2, E3, , si M es la expresin de menor grado divisible por cada una de las expresiones de dicho conjunto y se anota de la siguiente forma: M = mcm (E1, E2, E3, ) A continuacin un ejemplo para desentraar el trabalenguas anterior. El mnimo comn mltiplo entre las expresiones 5m2nr y 25mn3 es la expresin 25m2n3r que corresponde a la expresin de menor grado (menor potencia), que es divisible por ambas expresiones. Esto quiere decir que no existe otra expresin de menor grado que sea divisible tanto por 5m2nr como por 25mn3. En caso que la hubiera, significa que la expresin anterior no era el mnimo comn mltiplo, pero en este caso no existe otra. Luego, es el mnimo comn mltiplo. Encontrar el mcm de un conjunto de expresiones algebraicas consiste en encontrar una nica expresin de modo que sea divisible por todas las expresiones del conjunto. Para ello, existe una primera tcnica que es similar a la usada con nmeros enteros, slo que en vez de nmeros se trabaja con las expresiones algebraicas a la cuales se requiere calcular el mcm. Una segunda
Expresiones algebraicas

21

EXPRESIONES ALGEBRAICAS

tcnica consiste en descomponer cada expresin algebraica en sus factores constituyentes, sean estos nmeros o factores literales. Lo siguiente es analizar el mcm por factores del mismo tipo, es decir, nmeros con nmeros y letras con letras. Al momento de calcular el mcm, es necesario tener en cuenta lo siguiente: 1. El mcm entre los coeficientes numricos de las expresiones algebraicas, se determina de la misma forma que para los nmeros enteros. Ejemplo: El mcm entre 6 y 4 es: 6 3 3 1 4 2 1 2 2 3

El mcm (6,4) = 2 2 3 = 12 2. Si en alguna expresin no aparece explcitamente una variable o letra, significa que ella est elevada a cero y su valor es uno (a0 = 1). Ejemplo: Sean las expresiones 5a y 3a2b. En la primera expresin no aparece la letra b, lo cual significa que est elevada a cero, es decir, 5ab0 que al descomponerlo queda como 5 a 1. El mcm entre una variable (letra) cualquiera y 1 es la misma variable. Ejemplo: mcm (1, m3) = m3 El mcm entre dos potencias de la misma base, corresponde a la potencia de mayor exponente. Ejemplo: mcm (b4, b7) = b7

3. 4.

A travs de un mismo ejemplo, se revisan a continuacin las dos tcnicas antes descritas para obtener el mcm entre dos expresiones algebraicas. Ejemplo Determinar el mcm entre 5m2nr y 25mn3. Tcnica de la divisin sucesiva 5m2nr 1 m2nr 1 m2nr m2n m2 m2 m 1 25mn3 5 mn3 1 mn3 mn3 mn2 m 1 1 5 5 r n n2 m m

mcm (5m2nr, 25mn3) = 5 5 r n n2m m = 25m2n3r

22

Unidad de lgebra

EXPRESIONES ALGEBRAICAS

Tcnica de la descomposicin en factores Expresiones 5m2nr 25mn3 mcm por factor Descomposicin en factores 5 m2 n r 3 25 m n 1 2 3 25 m n r

mcm (5m2nr, 25mn3) = 25 m2 n3 r = 25m2n3r

Suma y resta con distinto denominador Para sumar o restar cuocientes de expresiones algebraicas con distinto denominador, al igual que en las fracciones numricas, una forma es encontrar previamente el mnimo comn mltiplo (mcm) entre los denominadores. El mcm pasa a ser el nuevo denominador para ambas expresiones, y los numeradores se amplifican respectivamente por los factores que resultan de la divisin entre el mcm y el denominador original correspondiente. Hecho esto, como ahora se trata de fracciones de igual denominador, slo se procede a sumar algebraicamente los numeradores. El resultado obtenido debe simplificarse cuando sea posible. Ejemplo: 3 4 = mcm (5a, 2a) = 10a 5a 2a 3 4 = 3 2 4 5 = El mcm es el denominador comn 2a 10a 5a Se amplifican los numeradores convenientemente. Notar que el factor 2 multiplica a 3, ya que 10a = 5a 2; el factor 5 multiplica a 4 porque 10a = 2a 5 6 20 = 16 = 8 5a 10a 10a Resolviendo y simplificando por 2, se obtiene el resultado

Multiplicacin de expresiones algebraicas Para multiplicar cuocientes de expresiones algebraicas se procede igual que en el caso de las fracciones numricas, es decir, se multiplican primero los numeradores entre s y luego los denominadores. El resultado final se debe simplificar cuando sea posible.

Expresiones algebraicas

23

EXPRESIONES ALGEBRAICAS

Ejemplo b 3 = 2 a b 3 3b = 2a 2a Se multiplican numeradores y denominadores, respetando la regla de los signos. Ms (+) por menos () igual menos ().

Divisin de expresiones algebraicas Para dividir dos cuocientes de expresiones algebraicas, se procede igual que en el caso de las fracciones numricas. Es decir, la divisin se transforma a una multiplicacin, en la cual se considera el inverso multiplicativo de una de las expresiones originales (por lo general, de la segunda). Luego de la transformacin, se multiplica tal como se muestra anteriormente. El resultado final se debe simplificar cuando sea posible. Ejemplo 3x2y xy = 5b2 2b 3x2y 5b2 = xy 2b 3x2y 5b2 15b2x2y = 2bxy 2b xy = Se multiplican los numeradores y denominadores. Transformando a multiplicacin, donde el inverso 2 multiplicativo de xy2 es 5b . cb xy

15 b b x x y Descomponiendo y simplificando, se obtiene el resultado. 2bxy 15bx 2

Operatoria combinada de expresiones algebraicas Cuando se trata de resolver ejercicios que involucran las cuatro operaciones bsicas y parntesis, lo importante es resolver ordenadamente y no olvidar las prioridades de operacin: 1 Desarrollo de parntesis. 2 Multiplicaciones y divisiones. 3 Sumas y restas.

24

Unidad de lgebra

EXPRESIONES ALGEBRAICAS

Ejemplo Resolver 2 1 + x+3 x5 2x 2 . x 2x 15

2

1 2 2x 2 + = x5 x+3 (x + 3)(x 5) 2 (x 5) + 1 (x + 3) (2x 2) = (x + 3)(x 5) 2x 10 + x + 3 2x + 2 = (x + 3)(x 5) x5 = (x + 3)(x 5) x5 (x + 3)(x 5) = 1 x5 = Ejemplo Resolver

Factorizando la expresin cuadrtica

Encontrando el mnimo comn mltiplo

Resolviendo productos en el numerador

Reduciendo trminos semejantes

Simplificando

2 1 m n + + . m n 2m 2n 5 4

)(

2 1 m n + + m n 2(m n) 5 4

22+11 2(m n)

)( )(

4m + 5n 20

) )

Factorizando expresiones

Resolviendo las sumas de los parntesis

4m + 5n 5 = 20 2(m n) 5(4m + 5n) 40 (m n) = 5 (4m + 5n) = 5 8 (m n) 4m + 5n 8m 8n)

Desarrollando

Multiplicando numeradores y denominadores

Simplificando

Multiplicando trmino a trmino en el denominador

Expresiones algebraicas

25

EXPRESIONES ALGEBRAICAS

Propiedades de las potencias de exponente entero

Para realizar operaciones con expresiones literales que involucran potencias de exponente entero, se utilizan las mismas reglas de la potenciacin numrica. A continuacin se entrega un resumen de las propiedades fundamentales: Propiedad 1. an = 2. 1 an A A A A Condiciones a IR; An Z; a 0 Ejemplo 23 = 1 1 = 0,125 3 = 2 8

1 = an an

A a IR; m,n Z; a 0 A a IR; m,n Z A a IR; n Z; a,b 0

1 = 32 = 9 32 41 42 = 41 + 2 = 41 = 4 55 = 553 = 52 = 25 53

3. am an = am+n 4. am = amn an

5.

6. an = am n

( ) ( ) ()
a b = b a
m

A a,b IR; a,b 0 A A a IR; m,n Z A A A a; nZ a IR

( ) ( ) ()
4 5 = 5 4
3

25 16 1 1 = 26 64

22

= 22 3 = 26 =

7. a b = an bn 8. a0 = 1

103 = (5 2)3 = 53 23 = 125 8 = 1000 (3,42)0 = 1

Ejemplos 1. Simplificar la expresin b2 = b3m b2(3m) = b1 + m b2 . b3 bm

Aplicando la propiedad 3 en el denominador Aplicando la propiedad 4 Reduciendo trminos semejantes en el exponente

26

Unidad de lgebra

EXPRESIONES ALGEBRAICAS

2.

Simplificar la expresin

32 + 31 3

1 + 1 32 3 = Aplicando la propiedad 1 3 1 + 1 9 3 = Resolviendo potencias 3 1+3 9 3 4 9 3

= Resolviendo la suma en el numerador

= Divisin de fracciones

4 1 = Transformando a multiplicacin 9 3 4 = Multiplicando numeradores y denominadores 27

Expresiones algebraicas

27

INTRODUCCIN A LOS NMEROS REALES2

Tal como se seal al comienzo, se crey necesario hacer una exposicin ms completa de los nmeros reales, dada su importancia en la Matemtica moderna y el hecho de que, para el desarrollo del lgebra, ha sido muy crucial el descubrimiento de este conjunto numrico tan especial y los hallazgos en torno a sus propiedades. Varios siglos de pensamiento han transcurrido para llegar al actual concepto de nmero real. Una construccin formal y satisfactoria de ellos slo se logr despus de la segunda mitad del siglo XIX. En los siglos VI y V a.C. en Grecia, cuando la Matemtica ya se haba iniciado como ciencia, fueron evidentes las dificultades de aquellos matemticos ante la idea de representar una magnitud que vara continuamente. Con claridad esto puede apreciarse en hechos como el descubrimiento de las magnitudes inconmensurables por la Escuela Pitagrica y las paradojas de Zenn. Los griegos salvaron muchos obstculos, no obstante, fallaron al no considerar como nmero relaciones tales como cuocientes o proporciones. Los pueblos orientales, en cambio, al parecer no tuvieron problemas en concebir los nmeros como cuocientes de magnitudes, quizs por el hecho de no contar con una lgica tan rigurosa como la occidental. Sin duda, esto les permiti avanzar tanto en Aritmtica como en lgebra. El concepto general de nmero real, ya intuido por los matemticos griegos cuando descubrieron los nmeros irracionales, fue formulado por primera vez como un concepto independiente por Isaac Newton en el s. XVII. En su Arithmetica Universalis, escribi: Por nmero real se entiende no tanto el conjunto de varias unidades, como la relacin abstracta entre una magnitud cualquiera y otra magnitud homognea a la primera y adoptada por unidad. Este nmero (cuociente) puede ser entero, racional o irracional (cuando la magnitud dada es inconmensurable con la unidad). Haciendo abstraccin de su naturaleza concreta, un nmero real no es otra cosa que el cuociente entre magnitudes, donde una de ellas es tomada como la unidad. El sistema de los nmeros reales es la imagen abstracta de todos los valores posibles de una magnitud que vara continuamente. Teoras estrictas de los nmeros reales fueron construidas a fines del s. XIX por George Cantor, Richard Dedekind y Karl Weierstrass.

Adaptado de la obra de Bobadilla y Billeke (1997).

28

Unidad de lgebra

La aparicin de los nmeros irracionales en la Historia3

La primera aproximacin histrica de que se tiene conocimiento acerca de la aparicin de estos nmeros extraos, que no podan tener una unidad de medida comn con otros (cantidades inconmensurables), surge con los griegos. Ellos, al extremar las consecuencias del teorema de Pitgoras y aplicarlo para medir la longitud de la diagonal de un cuadrado de lado 1, pronto se dan cuenta de que el resultado es un nmero extrao que no tiene nada que ver con los que ellos conocen y consideran hasta ese momento. La perplejidad de los griegos queda de manifiesto segn este relato escrito por el matemtico espaol Pedro Miguel Gonzlez Urbaneja, en su libro Pitgoras: el filsofo del nmero: La grandeza sublime del teorema de Pitgoras y la mgica belleza del pentagrama mstico fueron dos caballos de Troya para la Geometra griega, porque llevaban en su interior el propio germen de la profunda crisis de la secta pitagrica. Los Dilogos de Platn nos informan que la comunidad matemtica griega se vio gravemente alterada por un descubrimiento que prcticamente demola la base de la fe pitagrica en los nmeros enteros. Los pitagricos que, como filsofos presocrticos, consideraban como ncleo dogmtico de su filosofa que los nmeros son la esencia del universo, encuentran que las consecuencias del teorema atentan contra los fundamentos de su doctrina, que les haba llevado a establecer un paralelismo entre el concepto numrico y la representacin geomtrica. En efecto, el cuadrado, una de las figuras geomtricas ms simples, tiene un segmento, la diagonal, que no es conmensurable con el lado: No hay un submltiplo de ambos que pueda tomarse como unidad para medirlos.

INTRODUCCIN A LOS NMEROS REALES

La creencia de que los nmeros podan medirlo todo era una simple ilusin. Quedaba as eliminada de la Geometra la posibilidad de medir siempre con exactitud. Se haba descubierto la magnitud inconmensurable, lo irracional (no expresado mediante razones), provocara una crisis sin precedentes en la historia de la Matemtica. La sacudida que la aparicin del nuevo concepto provoc en la Matemtica griega puede calibrarse por la leyenda que relata una nota, atribuida a Proclo, al libro X de los Elementos de Euclides:

Extractado del libro Pitgoras: el filsofo del nmero de Pedro Miguel Gonzlez Urbaneja (Pgs. 205-208).

Introduccin a los nmeros reales

29

INTRODUCCIN A LOS NMEROS REALES

Es fama que el primero en dar al dominio pblico la teora de los irracionales, perecera en un naufragio, y ello porque lo inexpresable e inimaginable debera siempre haber permanecido oculto. En consecuencia, el culpable, que fortuitamente toc y revel este aspecto de las cosas vivientes, fue trasladado a su lugar de origen, donde es flagelado a perpetuidad por las olas. La lectura de este pasaje produce un escalofro: Ni un pice de piedad ni un tomo de conmiseracin para quien ha cometido un delito de lesa geometra, pecando contra lo ms sagrado. Desvelando el secreto de lo inexpresable, se ha hecho acreedor al ms terrible castigo divino, ser transportado a su lugar de origen, es decir, a la nada, de donde vino, ser desposedo del ser. El descubrimiento de la inconmensurabilidad marca un hito en la historia de la Geometra, porque no es algo emprico, sino puramente terico. Marc el momento ms dramtico no slo de la Geometra pitagrica, sino de toda la Geometra griega y fue con gran probabilidad lo que imprimi a la Matemtica griega un cambio de rumbo que la convertira en la obra de ingeniera geomtrico-deductiva plasmada en los Elementos de Euclides. En efecto, la imposibilidad de calcular exactamente la diagonal del cuadrado en funcin del lado, es decir la imposibilidad emprica y numrica de resolver el problema de la duplicacin del cuadrado, implicara la bsqueda de algo distinto. El espritu griego no se arredrar ante la dificultad y pasar al ataque. Renunciando a la exactitud aritmtica y trascendiendo lo emprico, replantear el problema soslayando la presencia temible e inexorable del infinito mediante la construccin geomtrica. De esta forma, la imposibilidad de hallar con exactitud ciertas medidas, pronto de la casi generalidad de las medidas ya que los inconmensurables aparecan en otros muchos campos de la Geometra (por ejemplo en la relacin entre lado y altura del tringulo equiltero o entre la diagonal y el lado en el pentgono regular, emblemtico para los pitagricos) fue asimismo la cuna de la Geometra griega y uno de los factores del milagro griego en Matemtica. Desconocemos tanto las circunstancias concretas que rodearon el descubrimiento de los inconmensurables como la fecha en que tuvo lugar. Aunque Proclo lo atribuye al propio Pitgoras, suele admitirse que fue hacia el 480 a.C. por Hipasos de Metaponto. Este descubrimiento oculto bajo el halo del misticismo esotrico de la Escuela Pitagrica, vendra a ser develado slo veintitrs siglos ms tarde, por la genialidad de grandes matemticos de la talla de Newton, Cantor, Dedekind y Weisstrass.

La naturaleza irracional de la raz cuadrada de 2

Antes de seguir adentrndose en este misterioso y fascinante mundo de nmeros que no se pueden medir ni tocar, conviene profundizar y conocer ms de cerca los nmeros irracionales. Los nmeros irracionales son aquellos que no se pueden representar como nmeros racionales, es decir, no se pueden representar como el cuociente de dos nmeros enteros.

30

Unidad de lgebra

INTRODUCCIN A LOS NMEROS REALES

En particular 2, que corresponde a la medida de la diagonal del cuadrado de lado 1, no se puede representar como un nmero racional. A continuacin se hace una demostracin formal de la naturaleza irracional de 2, usando una tcnica de demostracin llamada el principio de contradiccin. Al respecto, el matemtico Joseph Kitchen Jr. seala que la demostracin de este hecho es tan bella como antigua. Demostracin Supongamos que existen dos nmeros enteros p y q primos relativos y que divididos son iguales a 2. Esto, matemticamente, sera: p = q 2
Que dos nmeros enteros p y q sean primos relativos quiere decir que la fracp cin q es irreducible o sea que no se puede simplificar.

Si reescribimos esta ecuacin despejando p y elevando al cuadrado tendremos: p = ( 2 )q p2 = ( 2 )2q2 p2 = 2 q2 De aqu tenemos que p2 es igual a una cantidad entera (q2 ) multiplicada por 2 y, por lo tanto, podemos deducir que p2 es un nmero par. Tambin, por lo visto en el razonamiento previo, tenemos que si p2 es un nmero par entonces p obligatoriamente es par. p q = 2 entonces de los nmeros enteros p y q, p es un nmero par y q es impar, ya que partimos suponiendo que p y q son primos relativos. Si /( )2

1 conclusin:

Como p es par entonces significa que se puede escribir como 2n, con n entero. Es decir: p=2n Si ahora reemplazamos p en la ecuacin p2 = 2 q2 tendremos: p2 = 2 q2 (2 n)2 = 2 q2 4 n2 = 2 q2 2 n2 = q2
Introduccin a los nmeros reales

31

INTRODUCCIN A LOS NMEROS REALES

O sea, lo que obtuvimos fue que q2 es tambin un nmero par, ya que es igual a una cantidad entera (n2 ) multiplicada por 2. Tambin por el razonamiento previo, si q2 es un nmero par entonces q es par. p q = 2 entonces, de los nmeros enteros p y q, p es un nmero par y q es par. Si

2 conclusin:

Pero, atencin. De la primera conclusin se sabe que q es un nmero impar, mientras que de la segunda se sabe que q es un nmero par, lo cual, es claramente una contradiccin (). Con esto se demuestra que no existe un nmero racional cuyo cuadrado sea 2, o dicho de otro modo 2 no puede ser expresado como un nmero racional, luego se concluye que necesariamente debe ser irracional.

Valores aproximados de nmeros irracionales

Una de las caractersticas ms notables que tienen los nmeros irracionales, es que no se puede calcular su valor exacto. No importa la cantidad de decimales que lleguemos a calcular, siempre va a existir una aproximacin mejor. A continuacin se muestran dos mtodos para calcular nmeros irracionales en forma aproximada: un mtodo visual y otro mtodo ms formal llamado de intervalos encajados. Mtodo visual4 Este mtodo visual considera el trabajo con piezas cuadradas de rea igual a 1. Como se trata de races cuadradas, la idea es armar un cuadrado mayor con las piezas disponibles para finalmente medir su lado. Esto est basado en el hecho de que si se tiene un cuadrado de rea a2, su lado mide a2 = a. a2 a En el caso de las races exactas el mtodo es directo, ya que el nmero de piezas coincide perfectamente. Ejemplo: Determinar el valor de 4, usando las piezas a

Basada en una idea de Roberto Araya, propuesta en el libro Inteligencia matemtica. Editorial Universitaria. Santiago-Chile. 2000.

32

Unidad de lgebra

INTRODUCCIN A LOS NMEROS REALES

1.

Armando el cuadrado:

2.

Este cuadrado tiene rea 4 (cada cuadrado pequeo tiene rea 1) y su lado mide 2, luego 4 = 2.

De la misma forma se pueden obtener 9, 16, 25, etc. Para el caso de las races inexactas (irracionales) la idea es la misma, slo que el nmero de piezas cuadradas ya no coincide perfectamente. En este caso se procede a particionar el o los cuadrados que sobran, de modo que las partes se agreguen adecuadamente hasta formar el mejor cuadrado. Ejemplo: Determinar el valor de 1. 5, usando las piezas + .

Armando el cuadrado:

2.

Dado que sobra una pieza, esta debe particionarse para completar la figura. Por ejemplo, puede dividirse en cuatro partes iguales: =

3.

Cada parte debe agregarse al cuadrado ya formado, de modo que siga siendo cuadrado aunque sea aproximado:

4.

Al sumar las reas (5 cuadrados) tenemos que el rea total es 5. Dado que el ancho de cada 1 trozo pequeo es 4 = 0,25; el lado del nuevo cuadrado es aproximadamente 2 + 0,25 = 2,25. Es decir, 5 2,25. Este ltimo valor es una buena aproximacin de 5, cuyo valor es 2,236067977... Del mismo modo se pueden calcular: 6, 7, 8, 10, etc.

Introduccin a los nmeros reales

33

INTRODUCCIN A LOS NMEROS REALES

Intervalos encajados Un mtodo numrico ms formal para encontrar valores aproximados de algunos nmeros irracionales, es el mtodo de los intervalos encajados. Antes de describir el mtodo, es necesario definir el concepto de intervalos encajados. Los matemticos Bartle y Sherbert los definen de la siguiente manera: Una secuencia de intervalos In n IN es encajada si se cumple que: I1 I2 I3 ... In In +1 ... Grficamente, esto se puede ilustrar de la siguiente forma: I1 I3 I5

I4 I2 El mtodo de los intervalos encajados consiste en acotar un cierto nmero P (racional peridico o tambin un irracional), cuyo valor se desea aproximar, por otros dos nmeros conocidos. Para ilustrar el mtodo, conviene analizar el caso concreto de 2. Lo que se busca es un nmero cuyo valor multiplicado por s mismo debe ser igual a 2 o, en este caso, lo ms aproximado posible. Se puede establecer, sin mucho esfuerzo, que 2 est entre 1 y 2, ya que 1 < 2 < 2, ya que si multiplicamos 1 por s mismo da 1 que es menor que 2 y si multiplicamos 2 por s mismo da 4 que es mayor que 2. El error cometido en este caso es menor que una unidad, pues al restar los extremos del intervalo donde est contenido 2 el resultado es 1: 21=1 Se toma ahora 1,1; 1,2; ... y se va elevando al cuadrado, hasta que d un nmero mayor que 2. Se obtiene as el 1,5, por lo tanto: 1,4 < 2 < 1,5. El error cometido ahora es menor que una dcima, pues al restar los extremos del intervalo donde est contenido 2 el resultado es 0,1: 1,5 1,4 = 0,1 Se toma ahora 1,41; 1,42; ... etc. y se eleva al cuadrado, hasta que d nuevamente un nmero mayor que 2. Se obtiene 1,42, por lo tanto 1,41 < 2 < 1,42. El error cometido en esta ocasin es menor que una centsima, pues al restar los extremos del intervalo donde est contenido 2 el resultado es 0,01: 1,42 1,41 = 0,01

34

Unidad de lgebra

INTRODUCCIN A LOS NMEROS REALES

Si se observa atentamente, el proceso de aproximacin al valor de 2 descrito anteriormente tiene las siguientes caractersticas: 1. Cada paso en el proceso, determina un intervalo dentro del cual est contenido 2. [1 2] [1,4 1,5] [1,41 1,42] [1,414 1,415]... Cada intervalo est contenido (encajado) en el anterior. La diferencia entre los extremos de cada intervalo tiende a 0. Grficamente, al representar este proceso en la recta numrica se ve as:

2. 3.

Una sucesin de nmeros que tiene las caractersticas enunciadas en los tres puntos anteriores, es una sucesin de intervalos encajados y puede determinar un nmero irracional. De hecho, sta es una de las primeras definiciones formales que aparece en la historia de la Matemtica acerca de los nmeros irracionales en el ao 1872, veinticinco siglos despus que Pitgoras descubriera la existencia de los nmeros irracionales. En este caso la sucesin de intervalos que contienen a 2 es:
Ii Intervalo Precisin (Error) Diferencia 2 1 1,5 1,4 1,42 1,41 1,415 1,414 1,4142 1,4143 ...

Decimal 1 0,1 0,01 0,001 0,0001 ...

Potencia 100 10 1 10 2 10 3 10 4 ...

I1 I2 I3 I4 I5
...

[1,2] [1,4; 1,5] [1,41; 1,42] [1,414; 1,415] [1,4142; 1,4143] ...

Introduccin a los nmeros reales

35

INTRODUCCIN A LOS NMEROS REALES

Grficamente, tenemos: I1 I3

I5
1,4142 1 1,4 1,41 1,414 1,4142 1,415 1,42 1,5 2

I4 I2

La recta numrica real

Anteriormente ya se demostr que no existe ningn nmero racional igual a 2. De este argumento resulta que, mediante una construccin geomtrica muy sencilla, se puede obtener un segmento inconmensurable con el segmento unidad. Si con un comps llevamos dicho segmento sobre la recta numrica, en la forma indicada en la figura, el punto obtenido no puede coincidir con ninguno de los puntos racionales. De aqu se concluye que el sistema de los nmeros racionales, aunque es denso (entre dos nmeros racionales cualquiera, siempre puedo meter un tercero), no cubre toda la recta numrica, quedando huecos en ella que no corresponden a nmeros racionales. El hecho de que hubiera ms puntos en la recta que nmeros racionales, fue justamente la idea que dej perplejos a los pitagricos.

Es fcil construir tantos segmentos inconmensurables con la unidad como se desee. Los extremos de tales segmentos llevados a partir del 0 de la recta numrica, son los llamados puntos irracionales. Para comprobar cada resultado basta usar el teorema de Pitgoras con los tringulos rectngulos formados. En la figura de la pgina siguiente se muestra el proceso de construccin:

36

Unidad de lgebra

INTRODUCCIN A LOS NMEROS REALES

Tringulo 1 2 3 4 ...

Catetos 1y1 1y 2 1y 3 1y 4 ...

Clculo de la hipotenusa usando Pitgoras

x2 = 12 + 12x2 = 2x = 2 x2 = 12 + ( 2 )2 x2 = 1 + 2 = 3x = 3 x2 = 12 + ( 3 )2 x2 = 1 + 3 = 4x = 4 = 2 x2 = 12 + 22x2 = 1 + 4 = 5x = 5
...

Nos encontramos as ante un nuevo conjunto numrico, que surge de la unin entre el conjunto de los nmeros racionales (I Q) y el conjunto de los irracionales (I). A este nuevo conjunto se le llama los nmeros reales y se denota por IR, el cual efectivamente cubre toda la recta numrica: IR = Q I UI Esto significa que a cada elemento del conjunto de los nmeros reales se le puede hacer corresponder un nico punto de la recta numrica, sin dejar ningn hueco libre. Por ello se dice que los reales son un conjunto completo y aparece la idea del continuo numrico. Esta correspondencia exacta (biunvoca) entre los nmeros reales y la recta numrica es muy til al momento de estudiar el concepto de funcin lineal.

Introduccin a los nmeros reales

37

INTRODUCCIN A LOS NMEROS REALES

Definicin formal de nmero real

En primer trmino podra establecerse que los nmeros racionales corresponden a los decimales peridicos, mientras que los irracionales corresponden a aquellos decimales no peridicos. Sin embargo, esta definicin no es plenamente satisfactoria, ya que el sistema decimal no se diferencia de otras bases por propiedades intrnsecas del sistema de nmeros. Es decir, es deseable una definicin ms general del continuo numrico, independiente de especiales referencias al sistema de base diez. Talvez la definicin general ms sencilla, expuesta por Courant y Robbins (1964), sea la siguiente: Consideremos una sucesin de intervalos encajados I1, I2, I3, ..., In , ... En este caso se cumple que la longitud del intervalo n-simo In tiende a cero al crecer n. En el caso de intervalos decimales, la longitud es 10n, pero en el caso general puede ser muy bien 2 n o estar simplemente sujetos a la restriccin de ser menores que 1/n. En estas condiciones se puede formular un postulado fundamental en Geometra: En correspondencia con cada sucesin de intervalos encajados, existe precisamente un punto de la recta numrica que est contenido en todos los intervalos. Se ve directamente que no puede haber ms de un punto comn a todos los intervalos, puesto que las longitudes de estos tienden a cero, y dos puntos no pueden estar contenidos en un intervalo de longitud menor que su distancia. El punto a que se refiere el postulado es por definicin un nmero real. Si no es un punto racional, entonces se trata de un punto irracional. Mediante esta definicin se establece una correspondencia perfecta entre puntos y nmeros. Otra manera de definir los nmeros irracionales fue dada por Richard Dedekind (1831-1916), uno de los grandes iniciadores del anlisis lgico y filosfico de los fundamentos de la Matemtica. Dedekind prefera operar con ideas generales abstractas a hacerlo con sucesiones determinadas de encajes de intervalos. Su mtodo est basado en la definicin de cortadura, la cual es explicada detalladamente por Courant y Robbins (1964, p. 80).

Axiomas que definen propiedades de los nmeros reales5

Una de las caractersticas ms importantes del conjunto de los nmeros reales, es que con las operaciones binarias de suma y multiplicacin se comporta como un cuerpo ordenado y completo, esto es, cumple con los axiomas de cuerpo que enuncian a continuacin y adems cumple con los axiomas de orden. Aritmtica de los reales: axiomas de cuerpo Se acepta la existencia de un conjunto no vaco IR, que llamaremos conjunto de los nmeros reales, sobre el cual se ha definido una relacin de igualdad y dos operaciones algebraicas
5

El desarrollo de esta seccin est basado, fundamentalmente, en el texto Clculo I de los profesores de la Universidad de Santiago Gladys Bobadilla y Jorge Billeke.

38

Unidad de lgebra

INTRODUCCIN A LOS NMEROS REALES

binarias (esto es, entre dos elementos del conjunto). La relacin de igualdad = satisface las propiedades de: Reflexividad: a = a Simetra: Si a = b, entonces b = a Transitividad: Si a = b y b = c, entonces a = c Las dos operaciones binarias definidas en el conjunto IR corresponden a la suma (+) y a la multiplicacin (). Formalmente, esto se expresa as: + : IR IR (a, b) IR a+b : IR IR (a, b) IR ab

Estas operaciones satisfacen los llamados axiomas de cuerpo que se enuncian a continuacin. Para la suma: (A1) Ley asociativa: a + (b + c) = (a + b) + c (A2) Existencia de un elemento neutro: a + 0 = 0 + a = a (A3) Existencia de un elemento inverso: a + ( a) = ( a) + a = 0 (A4) Ley conmutativa: a + b = b + a Para la multiplicacin: (A5) Ley asociativa: a (b c) = (a b) c (A6) Existencia de un elemento neutro: a 1 = 1 a = a; a 0 (A7) Existencia de un elemento inverso: a a 1 = a 1 a = 1; a 0 (A8) Ley conmutativa : a b = b a (A9) Ley distributiva con respecto a la suma: a (b + c) = a b + a c La operaciones de suma y multiplicacin son compatibles con la relacin de igualdad, es decir: Si a = b, entonces se cumple tambin que a + c = b + c y a b = b c A continuacin, se enuncian algunos teoremas que caracterizan propiedades algebraicas importantes en el conjunto de los nmeros reales y que, de hecho, son la justificacin formal para todas las operaciones algebraicas que permiten, por ejemplo, la simplificacin, la resolucin algebraica de ecuaciones, las potencias y otras que es largo de enumerar.

Introduccin a los nmeros reales

39

INTRODUCCIN A LOS NMEROS REALES

Teoremas que definen propiedades de los nmeros reales

Teorema 1 En IR existe un nico elemento neutro para la suma y para la multiplicacin. Teorema 2 En IR existe un nico elemento inverso para la suma y para la multiplicacin. Teorema 3 i. El cero es el inverso aditivo de s mismo, es decir, 0 = 0 ii. El 1 es el inverso multiplicativo de s mismo, es decir, 11 = 1. Teorema 4 Para todo a IR; 0 a = 0. Teorema 5 Para todo a, b IR, se cumple: i. (a) = a ii. (a) b = (ab) iii. a (b) = (ab) iv. (a)(b) = ab Teorema 6 Para todo a, b IR, a 0, b 0, se cumple lo siguiente: i. (a1)1 = a ii. a1 b = (a b1)1 iii. a b1 b = (a1 b)1 iv. a1 b1 = (a b)1 Teorema 7 Leyes de cancelacin i. a + b = a + c b = c ii. ab = ac, a 0 b = c Teorema 8 i. Si a = b y c = d, entonces a + c = b + d ii. Si a = b y c = d, entonces a c = b d Teorema 9 ab = 0 (a = 0) (b = 0)

40

Unidad de lgebra

INTRODUCCIN A LOS NMEROS REALES

Teorema 10 i. La ecuacin a + x = b tiene una nica solucin: x = b + (a). ii. Si a 0, entonces la ecuacin a x = b tiene una nica solucin: x = a1b. Definicin Dados a, b IR, se escribe a b para simbolizar el nmero a + ( b); a tal nmero se le llamar diferencia de a y b. Teorema 11 Dados a, b, c IR se cumple: i. a (b) = a + b ii. a b = 0 a = b iii. a (b + c) = a b c Definicin a Dados a, b, b1, b2 IR, se escribe a : b para simbolizar el nmero a b1 que se llamar b el cuociente entre a y b a dividido por b. Teorema 12 Dados a, a1, a2, b, b1, b2 IR se tienen las siguientes propiedades: i. ii. a =a 1 Si a 0, entonces 1 = a1 a a =1 a a1 b = 1 a1 b2 = b1 a2 a2 b2 a1 = a2 a1 b a2 b

iii. Si a 0, entonces

iv. Si a2 0, b2 0, entonces v. Si a2 0, b2 0, entonces

vi. Si a2 0, b2 0, entonces vii. Si a2 0, b2 0, entonces viii. Si a2 0, b2 0, entonces

a1 a b b 1 = 1 1 a2 b2 b1 b2 a b b a a1 b 1 = 1 2 1 2 a2 b2 a2 b2 a b a1 b 1 = 1 2 a2 b1 a2 b2
Introduccin a los nmeros reales

41

INTRODUCCIN A LOS NMEROS REALES

Demostraciones de algunos teoremas

Teorema 1 En IR existe un nico elemento neutro para la suma y para la multiplicacin. Demostracin Usando el mtodo de reduccin al absurdo, supongamos que existe otro elemento neutro para la suma, distinto de 0, y que denotaremos como 0. Aplicando el axioma A2 se tiene que: 0 + 0 = 0 y adems 0 + 0 = 0 Por el axioma A4 se tiene que 0 + 0 = 0 + 0. Pero, por la transitividad de la igualdad se tiene que 0 = 0, lo que contradice la suposicin de que los elementos neutros son distintos. Por lo tanto, se concluye que existe un nico elemento neutro para la suma. De igual forma, se demuestra la unicidad del elemento neutro para la multiplicacin (1) usando el axioma A8 y la propiedad de transitividad de la igualdad. Teorema 5 i) Para todo a IR, se cumple (a) = a Hiptesis: a IR Tesis: (a) = a Demostracin (a) debe leerse como el inverso aditivo de ( a). Es decir, se debe demostrar que a es el inverso aditivo de (a). Del axioma A3 se tiene que a + (a) = 0, es decir, a tambin es el inverso de (a). Pero como el inverso aditivo es nico, necesariamente debe tenerse que (a) = a. Teorema 6 i) Para todo a IR, a 0, se cumple que (a1 )1 = a Hiptesis: a IR, a 0 Tesis: (a1 )1 = a Demostracin Sea a IR. (a1)1 debe leerse como el inverso multiplicativo de (a1 ). Del axioma A7 se tiene que a a 1 = 1, es decir, a tambin es el inverso multiplicativo de (a 1 ). Pero como el inverso multiplicativo es nico, necesariamente debe tenerse que (a 1) 1 = a. Teorema 8 i) Si a = b y c = d, entonces a + c = b + d Hiptesis: a = b y c = d Tesis: a + c = b + d

42

Unidad de lgebra

INTRODUCCIN A LOS NMEROS REALES

Demostracin Sean a, b, c y d nmeros reales tales que: a = b y c = d. Hay que demostrar que: a + c = b + d. Si la igualdad anterior se cumple, entonces necesariamente se tiene que: (a + c) (b + d) = 0, por la existencia del elemento neutro aditivo en IR (A2). Luego, bastara demostrar esto para tener demostrado el teorema. Analicemos qu ocurre si se opera (a + c) (b + d). (1) Lo anterior se puede escribir como: a + c b d, por la propiedad asociativa (A1). Si se aplica la propiedad conmutativa (A4), se tiene: a b + c d Aplicando la propiedad asociativa (A1), lo anterior se puede escribir: (a b) + (c d) Pero, por hiptesis se tiene que a = b y c = d, luego a b = 0 y c d = 0, por la existencia del elemento neutro aditivo (2). De (1) y de (2) se tiene entonces que (a + c) (b + d) = 0, de donde se concluye que a + c = b + d, que es lo que se quera demostrar. Teorema 8 ii) Si a = b y c = d, entonces a c = b d Hiptesis: a = b y c = d Tesis: a c = b d Sean a, b, c y d nmeros reales tales que: a = b y c = d Se tiene que demostrar que: a c = b d Si la igualdad anterior se cumple, entonces se tiene que: (a c) (b d) = 0 (1), por la existencia del elemento neutro aditivo en IR. Por lo tanto bastara demostrar esto para tener demostrado el teorema. Por hiptesis, se tiene que a = b y c = d. Luego, si se reemplaza b y d, respectivamente en el segundo trmino de la igualdad (1), se tiene que: (a c) (b d) = (a c) (a c) Luego, por la existencia de elemento neutro aditivo en R, se tiene que: (a c) (b d) = 0 De donde se puede concluir que a c = b d, que es lo que se quera demostrar.

Teorema 10 i) La ecuacin a + x = b tiene una nica solucin x = b + (a). Hiptesis: a + x = b Tesis: x = b + (a) y es nico Demostracin Primero, se demostrar la existencia de la solucin. Sean a, b, x en IR tales que a + x = b. Luego, se tiene que existe (a) en IR tal que: (a ) + (a + x) = (a ) + b ((a) + a) + x = b + (a ) por axiomas A1 y A4 0 + x = b + (a ) por axioma A3 x = b + (a ) por axioma A2, que es lo que se quera demostrar

Introduccin a los nmeros reales

43

INTRODUCCIN A LOS NMEROS REALES

A continuacin, se demostrar la unicidad. Supongamos que se tiene otra solucin x para la ecuacin. Dado que ambas son soluciones de la ecuacin, entonces se cumple que: a + x = b y tambin a + x = b Por transitividad de la igualdad, se tiene que a + x = a + x. Finalmente, usando la ley de cancelacin para la suma (teorema 7i) se tiene que: x = x, con lo cual queda demostrada la unicidad. Teorema 10 ii) Si a 0, entonces la ecuacin a x = b tiene una nica solucin x = a 1b Hiptesis: a 0, a x = b Tesis: x = a1 b y es nico Demostracin Primero, se demostrar la existencia de la solucin. Sean a, b, x en IR tales que a x = b. Como por hiptesis a 0, entonces existe a1 tal que: a1 (a x) = a1 b (a1 a) x = a1b por axioma A5 1 x = a1b por axioma A7 1 x=a b por axioma A6, que es lo que se quera demostrar. Para demostrar la unicidad, supongamos que se tiene otra solucin x. Dado que ambas son soluciones, se cumple que: a x = b y tambin a x = b Por transitividad se tiene que: a x = a x. Finalmente, usando la ley de cancelacin para la multiplicacin (teorema 7) se tiene que: x = x con lo cual queda demostrada la unicidad. Con esta exposicin resumida de los principales teoremas que caracterizan al conjunto de los nmeros reales y la demostracin de algunos de ellos, finaliza este captulo. Queda entonces abierta la posibilidad de seguir investigando y profundizando en el conocimiento de este fascinante conjunto de nmeros, que dej tan perplejos a los griegos y que aun, hoy en da, sigue siendo un espacio frtil para la bsqueda de nuevo conocimiento matemtico.

44

Unidad de lgebra

REFERENCIAS BIBLIOGRFICAS

ARAYA, ROBERTO. (2000). Inteligencia matemtica. Editorial Universitaria. Santiago-Chile. BARTLE, ROBERT G. y DONAL R. SHERBERT (1982). Introduction to Real Analysis. John Wiley & Sons, Inc.: New York, USA. BOBADILLA A., GLADYS y JORGE BILLEKE G. (1997). Apuntes de Clculo 1 segunda edicin. USACH. COURANT, RICHARD y HERBERT ROBBINS. (1964). Qu es la matemtica? Una exposicin elemental de sus ideas y mtodos. Aguilar S.A. Ediciones: Madrid- Espaa. DAN FENDEL, DIANE RESEK, LYNNE ALPER y SHERRY FRASER. (2000). Interactive Mathematics Program. Year 1. Key Curriculum Press: California. DE GUZMN, MIGUEL. (1997). Aventuras matemticas. Una ventana al caos y otros episodios. Ediciones Pirmide: Madrid-Espaa. ENZENSBERGER, HANS MAGNUS. (1997). El Diablo de los nmeros. Ediciones Siruela S.A.: Madrid Espaa. GONZLEZ URBANEJA, PEDRO MIGUEL. Pitgoras: el filsofo del nmero. KITCHEN JR., JOSEPH W. (1986). Clculo. McGraw-Hill: Mxico. SWOKOWSKI, E. (1974). Algebra Universitaria 6 Impresin. C.E.C.S.A.: Mxico.

El poder generalizador de los smbolos

45