Nmeros reales y sus propiedades.

(Notas redactadas por A. DIEGO y M. I. PLATZECK para el curso de Matemtica General) Los nmeros naturales 1, 2, 3, ... , han sido creados por el hombre para contar los objetos de conjuntos finitos, el nmero natural n es una medida de la cantidad de objetos de un conjunto. Pero es necesario medir o comparar tambin longitudes, reas, volmenes, pesos, cantidades de calor, de electricidad, etc.. Para este tipo de cantidades sabemos decidir cundo dos de ellas son equivalentes o iguales, mediante experiencias apropiadas. (Dos varillas que se pueden hacer coincidir son iguales en longitud, dos cuerpos que equilibran una balanza de platillos son iguales en peso, etc.). Se sabe adems sumar dos cantidades de una misma especie y subdividir una cantidad dada en n partes iguales. De ahora en adelante, consideraremos el problema de medir cantidades en el caso de longitudes. El problema de precisar la nocin de medida o longitud de un segmento se present tempranamente a los gemetras griegos hace unos 25 siglos. Dado un segmento OU que se considerar como unidad de medida y otro segmento PQ, puede ocurrir que PQ se pueda partir en n segmentos iguales a OU; en este caso n es la medida o longitud del segmento PQ (con respecto a la unidad OU ). Q P

Naturalmente, la circunstancia anterior es casual. En general, OU no cabr un nmero exacto de veces en PQ. Subdividamos ahora la unidad OU en m partes iguales. Se dice que cada una de estas partes 1 (submltiplos de OU) tiene longitud igual a . Si se tiene un segmento PQ que puede m 1 n dividirse en exactamente n partes iguales de longitud , se dice que la longitud de PQ es . m m 7 En el ejemplo de la siguiente figura, la longitud de PQ (con respecto a la unidad OU ) es . 5 U O P En la figura siguiente, el segmento AC es el segmento suma de los segmentos AB y BC. A B C OBSERVACIONES: 1) Es claro que si se subdivide la unidad OU en m partes iguales y luego cada una de ellas en p partes iguales, la unidad OU qued subdividida en m p partes, de modo que la 1 . Necesitaremos entonces p segmentos consecutivos de medida de cada una de ellas es m p esa medida para obtener uno de los segmentos resultantes de la primera subdivisin, es decir que: 1 p = . m m p
1

2) Una consecuencia importante de la observacin anterior es que r r p = m m p r ya que ella nos dice que si la medida de un segmento es respecto de la unidad OU, es m 1 decir que el mismo puede dividirse en r partes iguales de longitud , es claro que tambin m 1 . podr dividirse en r p partes iguales de longitud m p p 3) Otra consecuencia inmediata es que si en la figura siguiente, la medida de AB es y la m q p+q de BC es entonces la medida de AC es . m m A B C Como resultado de las observaciones anteriores es fcil verificar que, si respecto de la unidad m r ms + r n OU, la medida de AB es y la de BC es , entonces la de AC es . n s ns m r ms r n ms + r n . Esto es: + = + = n s ns ns ns Por otro lado, puede tambin verificarse que si la medida de un segmento CD con relacin a r m y la medida de AB en relacin con la unidad OU es , la medida de CD la unidad AB es s n 4 r m r m rm , (esto es = ). Por ejemplo, las partes de un segmento en relacin a OU es 5 sn s n sn 2 4 2 8 que mide tiene longitud = . 3 5 3 15 Histricamente, los nmeros racionales han surgido de la necesidad de medir distintos tipos de cantidades y las operaciones entre ellos (suma y producto) aparecieron naturalmente en la forma que se indica en el prrafo anterior. Dado un segmento OU, puede preguntarse si cualquier segmento PQ tiene una medida racional con respecto a la unidad OU, en la forma indicada antes, es decir, si hay algn submltiplo de OU que quepa exactamente un nmero entero de veces en PQ. La respuesta es negativa y fue dada por los matemticos Pitagricos de la manera que veremos a continuacin: La hipotenusa OP de un tringulo rectngulo issceles OPU no tiene medida racional con respecto a la unidad OU.
P

En efecto, supongamos por el absurdo, que la medida de OP es el nmero racional

2

a . Por el b

a teorema de Pitgoras tendramos que: = 12 + 12 = 2 b Esto es un absurdo porque: El cuadrado de un nmero racional no puede ser 2. Vemoslo: Podemos suponer, simplificando los posible factores comunes del numerador y del a denominador, que es irreducible. b 2 a Si fuese = 2 , resultara que a 2 = 2b 2 , es decir que a 2 es un nmero par. b El entero a no puede ser impar pues su cuadrado a 2 sera impar ya que:

( 2 k + 1) 2 = 4 k 2 + 4 k + 1 = 2( 2 k 2 + 2 k ) + 1
En consecuencia: a es par, o sea a = 2q , pero entonces a 2 = 4q 2 = 2b 2 , lo que implica que 2q 2 = b 2 . De aqu resulta, como antes, que b es par, pues su cuadrado lo es. Concluimos a entonces que a y b son pares, lo que contradice la hiptesis de que es irreducible. b OBSERVACIN: Se puede mencionar otra demostracin de este hecho, que se basa en el Teorema Fundamental de la Aritmtica, es decir, en el teorema que afirma que cualquier nmero entero positivo puede descomponerse como un producto de nmeros primos, en una nica forma, excepto por el orden de los factores. En efecto, si reemplazamos en la frmula a 2 = 2 b 2 , las expresiones de a y b como productos de factores primos, tomando, por ejemplo a = 2 k1 3 k2 5 k3 L , obtendremos que 2 2 k1 32 k2 52 k3 L = 2 2 r1 +1 32 r2 52 r3 L lo que es una contradiccin, pues el primer miembro tiene una cantidad par de factores 2, mientras que el segundo miembro tiene una cantidad impar. Aunque estas dos demostraciones se basan en tcnicas muy distintas (el hecho de que el cuadrado de un nmero par o impar mantiene el mismo tipo de paridad que el nmero original la primera, mientras que la segunda hace uso de las reglas de la divisibilidad) ambas se basan en la prueba por reduccin al absurdo, es decir, en el uso del principio de no contradiccin y son en consecuencia, demostraciones indirectas, que muchas veces terminamos aceptando por familiaridad, aunque con una sensacin de incomodidad y desconfianza, hasta manejar con convencimiento las reglas de la lgica. b = 2 r1 3r2 5r3 L

Nota: Esta Observacin agregada en itlica ha sido agregada a las Notas originales de loa profesores Diego y Platzeck. E.N. Gichal.

Despus de esto, la situacin se planteaba en los trminos siguientes: los nmeros racionales no son suficientes para asignar a cada segmento una medida y la solucin natural fue la de ampliar el sistema de los nmeros racionales (positivos) agregndoles otros nmeros, de manera que a todo segmento se pudiese asignar como medida uno de estos nmeros y que cada uno de estos nmeros correspondiese a la medida de un segmento. Estos nmeros deben estar ordenados de modo que nmeros (medidas) mayores correspondan a segmentos ms grandes. Un nmero x queda caracterizado por sus aproximaciones racionales por defecto y por exceso.

SISTEMA MTRICO DECIMAL Recordemos con un ejemplo el significado de la representacin decimal de un nmero: 1 1 1 . 1983,271 = 1 10 3 + 9 10 2 + 8 10 + 3 1 + 2 + 7 + 1 2 10 10 10 3 Observemos en este punto que un nmero cuya representacin decimal es finita, es un nmero racional. El sistema decimal de escritura ha conducido naturalmente a la adopcin del sistema mtrico decimal; en trminos generales, este sistema consiste en medir cantidades utilizando 1 1 1 submltiplos iguales a , 2 , 3 , etc., de la unidad de medida. 10 10 10 Es claro lo que significa decir que un segmento mide 1983,271. Pero al medir un segmento 1 PQ puede ocurrir que su medida x no sea un mltiplo de , por grande que elijamos a n. 10 n En este caso el nmero decimal finito (luego racional) a 0 , a1a 2 a 3 L a n obtenido en el proceso de medicin es slo una medida aproximada por defecto del segmento PQ (con un error 1 menor que n ). 10 Deberamos escribir entonces a x como una expresin decimal infinita: x = a 0 , a1a 2 a 3 L a n L Recprocamente, a una expresin decimal infinita de este tipo, podemos hacer corresponder un segmento de medida x. La escritura decimal nos provee as de una manera cmoda de designar a un nmero real. A los nmeros racionales corresponden expresiones decimales peridicas, por ejemplo: 1 = 0,3333L 3 1 = 0,142857142857L 7 141 = 1,2818181L 110 1 = 0,25 = 0,2500000L 4

Decimos que estos nmeros son peridicos porque una secuencia de cifras, llamada perodo, 141 se repite indefinidamente a partir de un cierto dgito. As, en la expresin de se repite 81. 110 1 En el caso de , se repite 0 indefinidamente. Para evitar ambigedades, se prefiere la 4 notacin 1 = 0, 3 3 1 = 0, 142857 7 141 = 1,281 110 1 = 0,250 = 0,25 4 En estos ejemplos, la expresin decimal se obtiene haciendo la divisin en la forma habitual. No es difcil convencerse de que realmente la medida a asignar a un segmento de, por 1 ejemplo, longitud , utilizando el sistema mtrico decimal, es 0,3333. 3 Demostraremos ahora que: a) La representacin decimal de un nmero racional es peridica. y recprocamente: b) Si una expresin decimal de un nmero es peridica, el nmero es racional. a) Obtengamos en primer lugar la expresin decimal de 9 90 60 40 120 80 100 20 60 14 0,6428571
9 . 14

Al llegar a este punto, no hace falta proseguir la divisin, pues el 4 que apareci en el segundo lugar del cociente aparecer ahora, ya que se obtuvo de dividir 60 por 14 y sta es la opera-cin que se debe realizar a continuacin. De la misma manera, seguirn luego 2, 8, 5, 7, 1. Vemos as que lo que motiva la periodicidad es la repeticin de un resto al dividir, 6 en el caso anterior. Se presenta la pregunta: ocurre esta repeticin en general, al dividir un nmero natural a por un nmero natural b? La respuesta es s, pues los posibles restos son 0, 1, 2,..., b 2 , b 1 . (0, 1, 2,...,13 en el caso del ejemplo), luego, despus de a lo sumo b pasos uno de los restos se repite. b) Comencemos con un ejemplo. Sea a = 132,1414L = 132, 14 = 132 + 0, 14
5

10 2 a = 13214,14L = 13214,14 = 13214 + 0,14 Restando miembro a miembro ambas expresiones obtenemos: 10 2 a a = 13214,14 132 = 13082 , o sea:

(102 1)a = 99a = 13082 .

13082 . 99 En este ejemplo, el perodo comienza inmediatamente despus de la coma y tiene dos cifras. Se ha multiplicado por 10 2 = 100 con el objeto de correr dos lugares la coma decimal. Hemos obtenido as el nmero 13214,141414, que tiene la misma parte decimal que a = 132,141414L , de modo que al restarle a se obtiene un nmero entero.

Luego: a =

Es fcil comprender que, si en un nmero a el perodo tiene p cifras siguiendo inmediatamente a la coma decimal, 10 p a a ser un nmero entero b y entonces, de 10 p a a = b , resulta: b . a= p 10 1 (Ntese aqu que 0,9999L = 0, 9 = 1 ) Hemos probado que si el perodo sigue inmediatamente a la coma decimal, el nmero correspondiente es racional. Si el perodo no sigue inmediatamente a la coma decimal procederemos como se ilustra en el ejemplo siguiente: Sea b = 12,87341341L = 12,87341 . Entonces 10 2 b = 1287,341341L = 1287, 341 . Hemos multiplicado por 10 2 para reducir la situacin al caso anterior, o sea, correr la coma de modo que el perodo comience inmediatamente despus de la coma. Aplicando entonces el procedimiento visto, al nmero 1287, 341 obtenemos: 1286054 , 10 2 b = 1287, 341 = 999 luego 1286054 . b= 99900 En el caso general, si el perodo comienza r cifras despus de la coma, multiplicando por 10 r nos colocamos en el caso anterior. La proposicin anterior tiene por objeto distinguir a los nmeros racionales por su expresin decimal. Es conveniente recordar aqu que los nmeros que no son racionales se llaman irracionales. Podemos indicar ahora fcilmente ejemplos de estos nmeros: 0,10110011100011110000 0,2212221222212222212222221 (donde el desarrollo decimal contina segn se sugiere en las cifras escritas). Por una va diferente hemos dado anteriormente otro ejemplo de nmero irracional, en efecto, la longitud x de la hipotenusa de un tringulo rectngulo issceles cuyos catetos tienen

longitud 1 verifica x 2 = 2 y segn probamos x no es racional. Dicho brevemente, irracional.

2 es

Hasta ahora hemos hablado de nmeros positivos. Histricamente, los nmeros negativos aparecieron recin a principios del siglo XVII (aparentemente sugeridos por el desarrollo de las actividades comerciales: una deuda poda ser considerada como una cantidad negativa). En esta poca se convino en agregar a los nmeros positivos los nmeros negativos de una manera formal: con cada nmero positivo x se considera su negativo correspondiente: x , de manera que x + ( x ) = 0 . Todos estos nmeros constituyen el conjunto IR de los nmeros reales. Este conjunto contiene al conjunto Q de los nmeros racionales (constituido por los racionales positivos, sus negativos y el cero). Se denomina Z Z al conjunto de los nmeros enteros, constituido por los nmeros naturales 1, 2, 3, 4, , sus negativos y el cero. El conjunto de los naturales se notar con IN .

REPRESENTACIN GEOMTRICA DE LOS NMEROS REALES. Dada una recta y dos puntos diferentes O y U en ella, elijamos OU como unidad de longitud;

llamaremos a la semirecta OU la semirecta positiva y a la semirecta opuesta, la semirecta negativa.

O U

Dado un punto P en la semirecta positiva, la medida del segmento OP se denomina la abscisa de P. Si S es un punto de la semirecta negativa y P, de abscisa x, es su simtrico respecto de O, la abscisa de S es: x . x - x 0 1

Se tiene as una correspondencia entre los nmeros reales y los puntos de la recta que asocia a cada punto su abscisa. PROPIEDADES DE LOS NMEROS REALES. El propsito de este prrafo es destacar ciertas propiedades bsicas que gobiernan el clculo con nmeros reales. Una vez establecidas esas propiedades deduciremos de ellas las reglas habituales de clculo. La suma y el producto de los nmeros naturales verifican las propiedades asociativa y conmutativa y la multiplicacin es distributiva con respecto a la suma. Si agregamos a los naturales el 0 se tiene tambin n + 0 = n . Las operaciones de suma y producto entre racionales positivos: m n ms + rn m n mn y , + = = r s rs r s rs r conservan estas propiedades. Pero adems, dado un nmero racional distinto de 0, a = , s 1 s 1 el nmero = es tal que a = 1 . Se puede razonablemente admitir que todas estas a r a

propiedades de los nmeros racionales se conservan para los nmeros reales, dado que stos se pueden aproximar tanto como se quiera por nmeros racionales. La introduccin de los nmeros negativos permite escribir adems la igualdad a + ( a ) = 0 . Conviene destacar que cualquier definicin matemticamente rigurosa de los nmeros reales entraa dificultades que estn fuera del alcance y los propsitos de este curso. Definiciones de este tipo se han formulado recin en la segunda mitad del siglo pasado. (En
un Apndice al final de estas Notas, se agregan algunos comentarios relacionados con estas dificultades)

PROPIEDADES BSICAS DEL CLCULO. Si a, b, c son nmeros reales, se verifican las siguientes propiedades: S1- ASOCIATIVIDAD DE LA SUMA: ( a + b) + c = a + ( b + c) . S2- CONMUTATIVIDAD DE LA SUMA:
a +b = b+a.

S3- 0 ES NEUTRO ADITIVO, o sea: a + 0 = a , para todo a IR.. S4- TODO NMERO REAL TIENE INVERSO ADITIVO, esto es: existe un nico nmero real, que notaremos con a , tal que a + ( a ) = 0 . M1- ASOCIATIVIDAD DEL PRODUCTO: M2- CONMUTATIVIDAD DEL PRODUCTO: dado aIR,

( a b) c = a ( b c) .
a b = b a .

M3- 1 ES NEUTRO MULTIPLICATIVO, o sea: 1 a = a , para todo aIR.. M4- TODO NMERO REAL DISTINTO DE 0 TIENE INVERSO MULTIPLICATIVO, esto es: dado aIR, a 0 , existe un nico nmero real, que notaremos con 1 1 , tal que a = 1 . a a D- DISTRIBUTIVIDAD DEL PRODUCTO CON RESPECTO A LA SUMA: a ( b + c) = a b + a c . Notaremos:
a + ( b) = a b 1 a a = b b (( a + b ) + c) + d = a + b + c + d

(( a b ) c ) d = a b c d
a 4 a2 a L a = a n . 1 4 3
n veces

Nmeros reales y sus propiedades. (cont.)

(Notas redactadas por A. DIEGO y M. I. PLATZECK para el curso de Matemtica General)

ALGUNAS PROPIEDADES USUALES QUE SE DEDUCEN DE LAS ANTERIORES. Adems de las propiedades enunciadas precedentemente, es sabido que los nmeros reales tienen otras propiedades. Algunas de stas son tan simples que el lector se preguntar seguramente para qu hace falta una demostracin. Por ejemplo, nosotros probaremos que a 0 = 0 , cosa bien conocida. Al decir que probaremos que a 0 = 0 , se quiere significar que podemos deducir la validez de esta propiedad utilizando solamente las propiedades bsicas explcitamente mencionadas antes. Naturalmente, una alternativa razonable es incluir a 0 = 0 entre las propiedades bsicas y podramos incluir tambin entre stas, muchas otras propiedades de cuya validez est convencido el lector. Obtendramos de este modo una lista bastante numerosa de propiedades que an as no incluira muchas propiedades que se pueden presentar en los clculos. La eleccin de este pequeo nmero de propiedades bsicas es guiada en definitiva por la idea de economizar esfuerzos: con slo memorizar estas propiedades uno puede determinar la validez de toda otra propiedad algebraica que se necesite en el clculo. Obsrvese que las propiedades asociativa y conmutativa de la adicin son las que nos permiten suprimir parntesis e intercambiar el orden de los sumandos; as, puede verificar el lector que: (( d + c) + ( e + b ) ) + a = a + b + c + d + e . Anloga propiedad vale para un producto de varios factores.

REGLAS PARA DESPEJAR. 1. b + x = a equivale a x = a b . En efecto, sumando b a ambos miembros de la igualdad b + x = a , se tiene: b + x + ( b) = a + ( b) , o sea 0 + x = a b , esto es: x = a b . a 2. Si b 0 , b x = a es equivalente a x = . b 1 Basta multiplicar en este caso por y se tiene b a 1 1 o sea: 1 x = x = . b x = a , b b b De aqu obtenemos la ley de simplificacin: Si b 0 y b x = b y , entonces x = y . 3. ( a ) = a . Resulta de despejar a en a + ( a ) = 0 .

4.

1 = a ( a 0 ). 1 a
1 = 1. a

Resulta de despejar a en a

5. ( a + b) = a b . Resulta de despejar a b en ( a + b) + ( a b) = 0 . Anlogamente se ve que ( a + b + c + d ) = a b c d . 6. Anulacin de un producto: a 0 = 0 y si a b = 0 , entonces a = 0 b = 0 .

Probemos primero que a 0 = 0 : a 0 = a ( 0 + 0) = a 0 + a 0 . Restando a ambos miembros a 0 se tiene que a 0 = 0 . Supongamos ahora que a b = 0 . Si a 0 ,
1 1 a b = 0 = 0 . Luego b = 0 . a a

En general, si el producto de varios factores es cero, por lo menos uno de ellos es cero. Esta regla es til en la resolucin de ecuaciones. Por ejemplo, las soluciones de la ecuacin: 1 ( x + 1) 1 + x = 0 x 3 son: 1, 2 y 0. En efecto, 1 es la nica solucin de ( x + 1) = 0 , 2 es la nica solucin de 1 1 + = 0 , 0 es la nica solucin de x = 0 . Por la regla de la anulacin del producto, x 3 stas son las nicas soluciones de la ecuacin dada. 7. Reglas de los signos: ( a ) b = a ( b) = ( a b) ( a ) ( b) = a b . Probemos primero que ( a ) b = ( a b) : a b + ( a ) b = (a + ( a ) ) b = 0 b = 0 Despejando ( a ) b se obtiene: ( a ) b = ( a b) . Finalmente: ( a ) ( b) = (a ( b) ) = ( ( a b) ) . (En el ltimo caso utilizamos la regla 3). 8. Reglas relativas al cociente: a c equivale a: a d = b c . = b d a c a d bc = b d bd a c a c = b d bd

a b = a d c bc d a a a = = b b b a a = b b b a c + b . a+ = c c A ttulo de ejemplo probaremos que: miembros por b d :

a c a d + bc + = . b d bd

Multipliquemos ambos

a c a c bd + = bd + bd = a d + bc; b d b d

Por otra parte:

bd

a d +bc = a d + bc; bd

Luego:
a d +bc a c . bd + = bd b d bd Simplificando b d se obtiene la igualdad deseada. (Ntese que b d 0 )

9. Utilizando la propiedad distributiva, se prueba que: ( a + b) ( c + d ) = a c + a d + b c + b d ( a + b) 2 = a 2 + b 2 + 2 a b ( a b) ( a + b) = a 2 b 2 Si nIN, n a = ( 1+ 12 +L + 1) = 1 a +1 2 a+ L+13 a = a + a2 +L + a 1 44 4 444 1 4 4 3 1 4 4 3

n veces n veces n veces

10. Reglas de la potenciacin. a1 = a ; a n a m = a n + m si n, mIN ;

a n b n = ( a b)

(a n ) m = a nm

si n, mIN.

Recordemos a ttulo de ejemplo: an am = a a L aa a L a=a 4 a4 a L a 3 a = a n+m 1 4 2 4 3 1 4 2 4 3 1 2 44

n veces m veces n + m veces

Agregaremos ahora a nuestra lista de propiedades bsicas las que se refieren al orden: O1- Dado un nmero real a, una y slo una de las siguientes alternativas es vlida: 1) a = 0 , 2) a es positivo, 3) a es positivo. O2- La suma y el producto de nmeros positivos es un nmero positivo.

 a puede ser positivo; por ejemplo, cuando a = 1, Conviene advertir que a = ( 1) = 1 es positivo.
Naturalmente, a < b ( b > a ) significa que b a es positivo. En particular, 0 < b quiere decir que b 0 = b es positivo. Observemos que si a < b , entonces b < a , pues lo primero significa que b a > 0 y b < a significa que a ( b ) = b a > 0 . La notacin b a ( a b ) significa que, o bien es b < a , b = a . Por ejemplo: 3 4 pues 3 < 4 y 3 3 pues 3 = 3 . Transitividad del orden. Si a < b y b < c , entonces a < c . En efecto: a < b quiere decir que b a > 0 , b < c quiere decir que c b > 0 . Sumando y teniendo en cuenta O2, resulta que b a + c b > 0 , o sea: a < c . Leyes de monotona. De la suma: Si a < b entonces a + c < b + c . Del producto: Si a < b y c > 0 , entonces a c < b c . Probemos la segunda: Como a < b , b a > 0 , pero tambin c es positivo, luego por O2 resulta que ( b a ) c > 0 , es decir que a c < b c . En cambio, si a < b y c < 0 , la desigualdad se invierte, es decir: a c > b c . Dejamos la verificacin a cargo del lector. Signo del producto. De lo anterior resulta que: Si a > 0 y b > 0 , entonces a b > 0 . Si a < 0 y b > 0 , entonces a b < 0 . Si a < 0 y b < 0 , entonces a b > 0 . Resulta de esto que el producto de varios factores no nulos es positivo si hay un nmero par de factores negativos y es negativo en caso contrario. En particular, el cuadrado de cualquier nmero no nulo es positivo. Note que de aqu resulta que 12 = 1 > 0 y tambin 1 a que si a > 0 , > 0 y entonces > 0 si a y b son ambos positivos o bien si a y b a b son ambos negativos. EJEMPLOS: 1. Nos interesa saber el signo de ( x 1) ( x + 3) (para cada valor de x). Ser ms sencillo estudiar primero el signo de cada factor por separado:

... - - - - - - - - - - - - - - - - - - -+ + + + + + + + ...

( x 1) :

... - - - - - - - - + + + + + + + + + + + + + + + + + + + + +

( x + 3) :

-3

...+ + + + + + - - - - - - - - - - - - - - - - - - + + + + + + + ...

( x 1) ( x + 3) :

-3

Decir que x 1 > 0 es decir que x 1 + 1 > 0 + 1 , o sea x > 1, lo que hemos representado en la primera recta. As, x + 3 > 0 equivale a x > 3 , representado en la segunda recta. Utilizando las reglas sobre el signo del producto, resulta que ( x 1) ( x + 3) > 0 si x > 1 x < 3 y que ( x 1) ( x + 3) < 0 si 3 < x < 1 , lo que hemos representado en la tercera recta. 2. Nos interesa ahora ver para qu valores de x vale que 4 +
1 > 1. x3

Sumando 1 a ambos miembros nos queda: 3 ( x 3) + 1 3x 8 1 >0 = 3+ > 0 , o sea x3 x3 x3

... - - - - - - - - - - - - - - - - - + + + + + + + + + + + + ...

( 3x 8) :

8/3

... - - - - - - - - - - - - - - - - - - - - - - - - - - -

+ + + + + + ...
3

( x 3) :

... + + + + + + + + + + + + - - - - - - - - - + + + + + + ...

3x 8 : x3

8/3

Note que 3x 8 > 0 equivale a 3x > 8 , o sea x >

8 . 3

Probaremos ahora que para un nmero a positivo se tiene que: si 1 < a , entonces 1 < a < a 2 < a 3 <L < a n <L si 1 > a , entonces 1 > a > a 2 > a 3 >L > a n >L
5

En efecto, si 1 < a , multiplicando por a, que es positivo, resulta a < a 2 , multiplicando nuevamente por a, a 2 < a 3 , etc. Si 1 > a , se procede en forma anloga. Se tiene tambin que: 0 < a < b implica que a n < b n , para todo n IN n N . 1 a En efecto, de a < b resulta, multiplicando por , que 0 < < 1 . Luego, por lo anterior: b b 2 n a a < 1, o bien n < 1, es decir que: a n < b n . b b Finalmente, observemos la siguiente regla de uso frecuente: 1 1 1 . Si 0 < a < b , entonces 0 < < , cuya deduccin es inmediata multiplicando por b a a b Intervalos. Notaremos: (a, b) = {x IR: a < x < b} [a, b] = {x IR: a x b}
a

b
b b

[a, b) = {x IR: a x < b}

a

(a, b] = {x IR: a < x b} [a, + = {x IR: x a}

(a, + ) = {x IR: x > a}
( , a] = {x IR: x a} ( , a) = {x IR: x < a} ( , + ) = IR
a
a
a

Estos conjuntos se denominan intervalos. A la derecha hemos indicado su representacin grfica.

Nmeros reales y sus propiedades. (cont.)

(Notas redactadas por A. DIEGO y M. I. PLATZECK para el curso de Matemtica General)

Valor absoluto. Definicin: Llamamos valor absoluto de a al nmero a definido como sigue: a si a > 0 a = 0 si a = 0 a si a < 0 As, de acuerdo con la definicin: 3 = 3 , Propiedades. 1. a b = a b , 2. 3.
a +b a + b .
3 = 3.

a a . = b b

a b a b .

Probemos 2 y 3. Demostracin de 2.: y luego: a a b b, a +b a + b . Anlogamente: y b b , luego: (a + b) a + b . a a Pero, por definicin, uno de los dos valores: a + b , (a + b) coincide con a + b , de donde resulta 2. Demostracin de 3.: a = b + ( a b) b + a b , Luego: a b a b Intercambiando b con a se tiene: b a ba = ab , o sea: (a b) a b Como antes, uno de los valores a b , usando (i) o (ii) segn sea el caso.

(i)

(ii) (a b) es a b , de donde resulta 3.,

Interpretacin geomtrica. Si a y b son las abscisas de dos puntos de una recta o como se dice para abreviar, si a y b son dos puntos de una recta, a b es la distancia entre esos puntos o la longitud del

segmento de extremos a y b (en relacin a la unidad de medida elegida en la representacin). En efecto, si a < b , entonces b a = a b es la distancia entre a y b. Si b < a , entonces a b = a b es la distancia entre a y b. Notemos que si r > 0 : {x IR: |xa| = r} = {a r, a r} {x IR: |xa| < r} = (a r, a + r)
{x IR: |xa| r} = [a r, a + r]
a-r
a-r
a-r

a
a
a

a+r
a+r
a+r

Estas desigualdades se obtienen teniendo en cuenta la interpretacin geomtrica. Ellas podran ser demostradas a partir de las propiedades bsicas y sus consecuencias.

Potenciacin racional y real.

a es el nmero positivo cuyo cuadrado es a. Quiere decir que Sea a > 0 . solucin de la ecuacin x 2 = a , la otra es el nmero real a .
Es errneo escribir
a 2 = a cuando a es negativo. En general, se tiene que

a es una

a2 = a .

Para cualquier nIN , se define n a como el nmero positivo Admitimos la existencia de tal nmero b. No puede existir otro nmero b en tales condiciones, es decir: (*) Si b y b son nmeros positivos y b n = b n , entonces b = b .

b tal que b n = a .

En efecto, si fuese b b , entonces se tendra que: o bien b < b o b < b . En el primer caso tendremos que b n < b n ; en el segundo b n < b n , contradiciendo la hiptesis; luego, necesariamente debe ser b = b . De acuerdo a la definicin, si a > 0 : Observe que
1
n

an = a y

( a)
n

=a.

a =a,

a= a.
m n

Definicin: Si a > 0 y m, nIN definimos a Se debe notar que a

k m k n

= n am .

= a , esto es:
kn

m n

kn

a km = n a m .

En efecto, llamemos b =

b kn =

kn

a km

a km y b = n a m , entonces:

kn

= a kn ; b kn =

am

kn

am

k = ( a m ) = a kn .

(Hemos utilizado propiedades de la exponenciacin entera vistas anteriormente). De b kn = b kn , por la propiedad (*) resulta que b = b .

El lector sabe que un nmero racional positivo puede escribirse de infinitas formas como m cociente de dos nmeros naturales y que si es la expresin irreducible de un nmero n k m , con kIN. racional positivo, toda otra expresin es de la forma k n Por lo que hemos visto recin: a = a . La definicin de a depende solamente del m nmero racional y no de su expresin como cociente de nmeros naturales. n Obsrvese que si el nmero racional es el nmero natural n, a = 1 a n = a n . Probemos ahora que si , Q Q, > 0, > 0 y a, b son nmeros reales positivos, entonces: (1) a b = ( a b) (2) a a = a + (3)
n 1

m n

k m k n

m n

(a ) = a

Probaremos la segunda, las otras se prueban con una tcnica anloga. Podemos suponer, m r reduciendo las fracciones a comn denominador, que = , = , de n n m+r . Se trata de probar que: modo que + = n
n

a m n a r = n a m+ r

Llamemos b = n a m n a r , tiene:

b = n a m+ r . Elevando b y b a la potencia n-sima, se

n

bn =

am n ar
n

bn =

a m+ r

) =(
n

am

) ( a )
n n r

= a m a r = a m+ r

= a m+ r

Nuevamente, de b n = b n = a m+ r , resulta que b = b . Tenemos as definida la potenciacin para exponentes racionales positivos. Como todo nmero real positivo x se puede aproximar tanto como se quiera por un nmero racional > 0 , se define a x (con a > 0 ) por medio de sus aproximaciones a . ste es un punto delicado de la teora del nmero real, que no abordaremos aqu. Admitiremos que las propiedades (1), (2) y (3) valen si y son nmeros reales positivos. A pesar de que no estudiaremos el problema de dar una definicin precisa de exponenciacin con exponente irracional indiquemos que para calcular, por ejemplo, 2 2 podemos proceder utilizando la expresin decimal de 2 = 1,4142L . Los nmeros 21 , 2 1,4 , 2 1,41 , 2 1,414 , 2 1,4142 , potencias racionales de 2, son aproximaciones cada vez mejores de 2
2

La exponenciacin a x se puede extender a nmeros reales x arbitrarios, de modo que las propiedades (1), (2) y (3) sigan siendo vlidas. Para ello se pone: i) a 0 = 1 ( a 0 )
3

ii)

a =

1 a

( > 0 ).

NOTA: La eleccin de estas definiciones no es arbitraria. Ellas se imponen si queremos que la propiedad (2) a a = a + sea vlida para exponentes y arbitrarios: Para = 0 , (2) se escribe: a a 0 = a + 0 = a . Luego, a 0 = 1 , necesariamente. Anlogamente, para = , (2) se escribe a a = a + ( ) = a 0 = 1 y entonces, 1 obligadamente, se tiene que a = . a Es materia de verificacin, caso por caso, que las propiedades (1), (2) y (3) siguen siendo vlidas si , IR ,. A ttulo de ejemplo, demostraremos (2) a a = a + . Primer caso: > 0, > 0 . Es conocido. Segundo caso: arbitrario, = 0 : a a 0 = a 1 = a + 0 . Tercer caso: > 0, < 0 : Sea = ( > 0 ). Supongamos primero que ; 1 a Entonces: a a = a a = a = = a = a + . a a a = a . Esto proviene de a = a a , que vale porque (Note que pusimos a 0, > 0 ) Si < , entonces: 1 1 a a a = a a = a = = = a ( ) = a = a + . a a a Cuarto caso: > 0, < 0 . Pongamos = , = , ( > 0, > 0 ). Entonces: 1 1 1 a a = = + = a ( + ) = a + . a a a OBSERVACIONES: 1) Se conviene en escribir n 0 = 0 , si n 1 , ya que 0 n = 0 . 2) A veces se habla tambin de las races de orden impar de nmeros negativos. Por ejemplo: 3 8 = 2 , 5 32 = 2 . En general, si n es impar y a < 0 , ponemos: n a = b siempre que b n = a . Notemos que b < 0 . Una definicin anloga es imposible en la teora de nmeros reales para races de orden par de nmeros negativos. (Por qu?)

ESTUDIO DE LA EXPRESIN: a x 2 + b x + c = 0 ( a 0 ). Como

b c a x 2 + b x + c = a x 2 + x + , comenzaremos estudiando la expresin: a a x2 + p x + q .
2 2

2 2 2 p2 p p p p x + p x + q = x + 2 x + + q = x + q . 2 2 2 2 4 De esto resulta inmediatamente que: p 1) El menor valor de x 2 + p x + q se obtiene cuando x = . 2 2 2 p p p En efecto, para este valor: x + = 0 y para x , x + > 0 . 2 2 2

2) Si

p2 q < 0 , x 2 + p x + q > 0 para todo x y en particular se puede asegurar que 4

x 2 + p x + q = 0 no tiene races reales. p2 q 0 , entonces x 2 + p x + q = ( x ) ( x ) donde: 4

3) Si

p p2 p p2 (*) = + q , = q . 2 4 2 4 En particular y son las nicas races de la ecuacin x 2 + p x + q = 0 . (*) se deduce de:
2 2 2 p p p p2 2 q = x+ q = x + px + q = x + 4 4 2 2 p p2 p p2 x + + . = x + q q 2 4 2 4 2

EJERCICIO: Obtenga {x: x 2 + p x + q > 0 } y represntelo grficamente. En el caso general, a x 2 + b x + c = 0 tiene por races:

b + b 2 4ac x1 = ; 2a
si b 2 4ac 0 . No tiene races reales si b 2 4ac < 0 .

b b 2 4 ac x2 = 2a

El nmero b 2 4ac se llama el discriminante de la ecuacin. Para obtener estas frmulas b c basta reemplazar en las expresiones de y , p por y q por . a a