Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Numeros Reales
Numeros Reales
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 ,
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.
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.
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
9
.
14
14
0,6428571
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
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 =
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 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 .
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)
dado aIR,
( a b) c = a ( b c) .
a b = b a .
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
a2
a4
L3
a = a n .
n veces
4.
1
= a ( a 0 ).
1
a
Resulta de despejar a en a
1
= 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 .
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
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 )
n veces
n veces
a n b n = ( a b)
(a n ) m = a nm
si n, mIN.
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.
... - - - - - - - - - - - - - - - - - - -+ + + + + + + + ...
( 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
( 3x 8) :
8/3
... - - - - - - - - - - - - - - - - - - - - - - - - - - -
( x 3) :
+ + + + + + ...
3
... + + + + + + + + + + + + - - - - - - - - - + + + + + + ...
3x 8
:
x3
8/3
8
.
3
[a, b] = {x IR: a x b}
a
a
a
a
( , a] = {x IR: x a}
( , a) = {x IR: x < a}
( , + ) = IR
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
3 = 3.
Propiedades.
1. a b = a b ,
2.
3.
a
a
.
=
b
b
a +b a + 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
(i)
(ii)
(a b)
es
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
{x IR: |xa| = r} = {a r, a r}
a-r
a+r
a-r
a+r
a+r
{x IR: |xa| r} = [a r, a + r]
a es una
a2 = a .
b tal que b n = a .
Observe que
a =a,
b kn =
kn
a km
kn
m
n
= a , esto es:
En efecto, llamemos b =
=a.
a= a.
( a)
an = a y
kn
kn
m
n
= n am .
a km = n a m .
a km y b = n a m , entonces:
= a kn ; b kn =
am
kn
am
= ( a m ) k = a kn .
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
k m
k n
m
n
m
n
(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
. Se trata de probar que:
modo que + =
n
n
Llamemos b = n a m n a r ,
tiene:
bn =
bn =
am n ar
a m+ r
) =(
n
a m n a r = n a m+ r
am
) ( a )
n
= a m a r = a m+ r
= a m+ r
ii)
a =
1
a
( > 0 ).
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 ).
b
c
a
a
x2 + p x + q .
Como
2
2
2
p2
p
p
p
p
x + p x + q = x + 2 x + + q = x +
q .
2
2
2
2
4
2
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
3) Si
p2
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
p
p2
q = x+
q =
x + px + q = x +
4
4
2
2
p
p2
p
p2
= x +
q x + +
q .
2
4
2
4
b + b 2 4ac
x1 =
;
2a
b b 2 4 ac
x2 =
2a
si b 2 4ac 0 .
No tiene races reales si b 2 4ac < 0 .