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 ).
P Q

O U

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
O U 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
medida de cada una de ellas es . Necesitaremos entonces p segmentos consecutivos de
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
la unidad AB es y la medida de AB en relacin con la unidad OU es , la medida de CD
s n
r m r m rm 4
en relacin a OU es , (esto es = ). Por ejemplo, las partes de un segmento
sn s n sn 5
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

O U

2
 a
En efecto, supongamos por el absurdo, que la medida de OP es el nmero racional . Por el
b
2
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 , b = 2 r1 3r2 5r3 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.

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

3
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

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.

9
a) Obtengamos en primer lugar la expresin decimal de .
14
9 14
90
60 0,6428571
40
120
80
100
20
60

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
Luego: a = .
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.

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

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

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 ZZ 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 0 1 x
S O U P
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

7
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: dado aIR,
existe un nico nmero real, que notaremos con a , tal que a + ( a ) = 0 .

M1- ASOCIATIVIDAD DEL PRODUCTO: ( a b) c = a ( b c) .

M2- CONMUTATIVIDAD DEL PRODUCTO: 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 MULTIPLI-

CATIVO, 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
a14 a4
a2 L3a = a n .
n veces

8
 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
1 1 a
b x = a , o sea: 1 x = x = .
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 .

1
 1
4. = a ( a 0 ).
1
a
1
Resulta de despejar a en a = 1.
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 .

1 1
Supongamos ahora que a b = 0 . Si a 0 , 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:
( x + 1) 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

2
 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 c a d + bc
A ttulo de ejemplo probaremos que: + = . Multipliquemos ambos
b d bd
miembros por b d :
a c a c
bd + = bd + bd = a d + bc;
b d b d
Por otra parte:
a d +bc
bd = a d + bc;
bd
Luego:
a c a d +bc
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
1 +412
+L 1) = 11
4+3 a44
+ 14
2
a +444
L+13
a = a1+4a2
+L
4+3a
n veces n veces n veces

10. Reglas de la potenciacin.

a1 = a ; a n b n = ( a b)
n

a n a m = a n +m si n, mIN ; (a n ) m = a nm si n, mIN.

Recordemos a ttulo de ejemplo:

a n a m = a1
4 a2
L
43a a1
4 a2
L
43a = a1 4 a2
a4 L a = a n+m
a 3
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.

3
Conviene advertir que a puede ser positivo; por ejemplo, cuando a = 1,
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:

4
 ... - - - - - - - - - - - - - - - - - - -+ + + + + + + + ...

( x 1) : 1

... - - - - - - - - + + + + + + + + + + + + + + + + + + + +
+
( x + 3) : -3

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

-3
( x 1) ( x + 3) : 1

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.

1
2. Nos interesa ahora ver para qu valores de x vale que 4 + > 1.
x3
Sumando 1 a ambos miembros nos queda:
1 3 ( x 3) + 1 3x 8
3+ > 0 , o sea = >0
x3 x3 x3

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

( 3x 8) : 8/3

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

( x 3) : 3

... + + + + + + + + + + + + - - - - - - - - - + + + + + + ...
3x 8 8/3 3
:
x3

8
Note que 3x 8 > 0 equivale a 3x > 8 , o sea x > .
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
a
n
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
(a, b) = {x IR: a < x < b}
a b
[a, b] = {x IR: a x b}
a b
[a, b) = {x IR: a x < b}
a b
(a, b] = {x IR: a < x b}
a
[a, + = {x IR: x a}
a
(a, + ) = {x IR: x > a}
a
( , a] = {x IR: x a}
a
( , a) = {x IR: x < a}

( , + ) = IR

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

grfica.

6
 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 , 3 = 3.

Propiedades.
a a
1. a b = a b , = .
b b

2. a +b a + b .

3. a b a b .

Probemos 2 y 3.

Demostracin de 2.:
a a y b b, luego: a +b a + b .
Anlogamente: a a y b b , luego: (a + b) a + b .
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 (i)

Intercambiando b con a se tiene:

b a ba = ab ,
o sea: (a b) a b (ii)

Como antes, uno de los valores a b , (a b) es a b , de donde resulta 3.,

usando (i) o (ii) segn sea el caso.

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

1
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 :
a-r a a+r
{x IR: |xa| = r} = {a r, a r}
a-r a a+r
{x IR: |xa| < r} = (a r, a + r)
a-r a a+r
{x IR: |xa| 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.

Sea a > 0 . a es el nmero positivo cuyo cuadrado es a. Quiere decir que a es una
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 a2 = a .
Para cualquier nIN , se define n a como el nmero positivo b tal que b n = a .
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 .

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 : n

an = a y ( a)
n
n
=a.
Observe que 1
a =a, 2
a= a.

m
Definicin: Si a > 0 y m, nIN definimos a n
= n am .

k m m
Se debe notar que a k n
= a , esto es:
n kn
a km = n a m .
En efecto, llamemos b = kn
a km y b = n a m , entonces:

( ) ( ) ( )
k
= = ( a m ) k = a kn .
kn kn n
b kn = kn
a km = a kn ; b kn = n
am n
am

(Hemos utilizado propiedades de la exponenciacin entera vistas anteriormente).

De b kn = b kn , por la propiedad (*) resulta que b = b .

2
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
racional positivo, toda otra expresin es de la forma , con kIN.
k n
m k m m
Por lo que hemos visto recin: a = a . La definicin de a depende solamente del
n k n n

m
nmero racional y no de su expresin como cociente de nmeros naturales.
n
n
Obsrvese que si el nmero racional es el nmero natural n, a = 1 a n = a n . 1

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) (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
modo que + = . Se trata de probar que:
n
n
a m n a r = n a m+ r

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

tiene:
( ) =( ) ( a )
n n n
bn = n
am n ar n
am n r
= a m a r = a m+ r

( )
n
bn = n
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 ,
2
potencias racionales de 2, son aproximaciones cada vez mejores de 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
 1
ii) a = ( > 0 ).
a

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
(Note que pusimos = a . Esto proviene de a = a a , que vale porque
a
0, > 0 )
Si < , entonces:
1 a 1
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?)

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

b c
Como a x 2 + b x + c = a x 2 + x + , comenzaremos estudiando la expresin:
a a
x2 + p x + q .
p p
2
p
2
p
2
p2
x + p x + q = x + 2 x + + q = x +
2 2
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

p2
2) Si 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
3) Si q 0 , entonces x 2 + p x + q = ( x ) ( x ) donde:
4
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 2
p p p2
q = x+ q =
2 p
x + px + q = x +
2 4 2 4

p p2 p p2
= x + q x + + q .
2 4 2 4

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 b b 2 4 ac
x1 = ; x2 =
2a 2a
si b 2 4ac 0 .

No tiene races reales si b 2 4ac < 0 .

5
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