1

UNIDAD 1. NMEROS REALES Y FUNCIONES

1.1 Conjuntos
A. CONJUNTOS Y OPERACIONES CON CONJUNTOS
Por conjunto entendemos una coleccin de objetos que poseen al menos una caracterstica comn. Los
objetos individuales se llaman elementos del conjunto. Si el conjunto tiene un nmero finito de elementos se dice
que es un conjunto finito, en caso contrario se trata de un conjunto infinito. Por ejemplo:
- El conjunto de nmeros enteros del 1 al 10 es un conjunto finito; tiene diez elementos.
- El conjunto de todos los nmeros enteros positivos es un conjunto infinito; tiene un nmero infinito de
elementos.
Comnmente, los conjuntos se designan con letras maysculas: , , , , , , A B C X Y Z ; y los
elementos con minsculas: , , , , , , a b c x y z . Utilizamos la notacin
x A e
para indicar que x es elemento del conjunto A o que x pertenece al conjunto A . Si x no pertenece al
conjunto A escribimos x A e .
Un conjunto se puede mostrar escribiendo sus elementos entre llaves y separados por comas
(descripcin por extensin) o mediante un elemento genrico seguido de la propiedad definitoria que poseen
todos los elementos del conjunto (descripcin por compresin). Por ejemplo:
- El conjunto de los enteros positivos del 1 al 10: { } 1, 2, 3, ,10 . A=
- El conjunto de los enteros positivos menores que 200:
{ } { } 1, 2, 3, ,198,199 . B x x = = es un entero positivo menor que 200
- El conjunto de todos los enteros impares positivos:
{ } { } 1, 3, 5, . C x x = = es un entero impar positivo
Se dice que un conjunto A es subconjunto de un conjunto B , y se denota como
A B c
si todo elemento de A tambin es elemento de B .

La siguiente figura, en la que B es todo el interior del crculo grande, ilustra la relacin A B c :
A
B

2
De la definicin anterior se desprenden las siguientes conclusiones:
Todo conjunto A es subconjunto de s mismo ( A A c ).
Si A B c y B C c , entonces A C c .
Si A B c y B A c , entonces A B = .
Ahora introducimos las operaciones con conjuntos que nos van a permitir obtener nuevos conjuntos,
partiendo de conjuntos ya conocidos. A y B sern dos conjuntos cualesquiera que son subconjuntos de un
conjunto universal arbitrario que denotaremos como U .
La unin de dos conjuntos A y B es el conjunto formado por todos elementos que pertenecen a A o a B .
Se denota como A B .
{ }
A B x x A x B = e e o .
La partcula o se llama disyuncin y se utiliza en el sentido inclusivo, es decir, significa y/o
La interseccin de dos conjuntos A y B es el conjunto formado por todos los elementos que pertenecen a
A y a B . Se denota como A B .
{ }
A B x x A x B = e e y .
La partcula y se llama conjuncin y se utiliza para resaltar que los elementos del nuevo conjunto
pertenecen tanto a A como a B .
La diferencia entre dos conjuntos A y B es el conjunto formado por todos los elementos que pertenecen a
A y no pertenecen a B . Se denota como \ A B .
{ }
\ A B x x A x B = e e y .
En la siguiente figura se muestran los conjuntos que resultan de las anteriores operaciones:

A B
A B
A B
A B
\ A B
A B
\ B A
A B

3
Las propiedades bsicas de las operaciones entre conjuntos son:

( ) ( ) ( ) ( )
( ) ( ) ( )




A A A A A A
A B B A A B B A
A B C A B C A B C A B C
A B C A B A C
= =
= =
= =
=
Leyes idempotentes : y
Leyes conmutativas : y
Leyes asociativas : y
Leyes distributivas : y ( ) ( ) ( ) A B C A B A C =


Para que la interseccin de dos conjuntos siempre sea un conjunto, definimos el llamado conjunto vaci
o conjunto nulo. Este es un conjunto sin ningn elemento y se denotar por C.

Si A es cualquier subconjunto de un conjunto universal U , entonces se verifica:
1.
2.
3.
4.
A A
A U U
A
A U A
C =
=
C = C
=
.

El complemento de un conjunto A es el conjunto formado por todos los elementos del conjunto
universal U que no pertenecen a A. Se denota como
c
A .
{ }
c
A x x U x A = e e y .
Obsrvese que el complemento de A es igual a la diferencia entre U y A, es decir, \
c
A U A = .

Dado un subconjunto cualquiera A de un conjunto universal arbitrario U , se verifican las siguientes
leyes del complemento:
( )
1.
2.
3.
4.
5.
c
c
c
c
c
c
A A
A A U
U
A A
U
=
=
= C
= C
C =


Dados dos subconjuntos A y B de un conjunto universal U , se verifican las leyes de De Morgan:
( )
( )
1.
2.
c
c c
c
c c
A B A B
A B A B
=
=

4
Para los conjuntos de nmeros se utilizan smbolos especiales:
para los nmeros naturales: { } 1, 2, 3, 4, . =
para los nmeros enteros: { } , 3, 2, 1, 0,1, 2, 3, . =

+
para los nmeros enteros positivos: { } 1, 2, 3, .
+
=
para los nmeros racionales: , 0 .
p
p q q
q

= e =
`
)
y
para los nmeros irracionales.
para los nmeros reales.
para los nmeros complejos (o imaginarios):
{ }
, z a bi a b = = + e ; donde a es la parte real y b
la parte imaginaria del nmero complejo z , mientras que i es la unidad imaginaria,
2
1 i = .

Las relaciones entre estos conjunto de nmeros estn dadas por:

c , c , c , c

y c .
Adems,
= C = y

Ejercicio. Sean los conjuntos:
{ } { } { }
13 ; 20 A x x B x x x C x x
+ + +
= e s = e s = e es par y y es par .
Hallar los conjuntos:
, , \ , \ , , , , , \ \ .
c c
A B A B A B B A A B B C A C A C B C y

5
B. LA RECTA NUMRICA
Los nmeros reales pueden representarse como puntos sobre una recta. Discutiremos esta
correspondencia entre nmeros y puntos sobre una recta antes de dar una definicin formal de los nmeros
reales.
Comenzamos dibujando una recta horizontal sobre la cual marcamos dos puntos arbitrarios y los
asociamos con los nmeros 0 y 1 (asociamos el 1 con el punto que est ms a la derecha). Si la distancia
entre 0 y 1 se toma como unidad de longitud, entonces el 2 lo asociamos con el punto que est dos unidades
desde 0 hacia la derecha, el 1 lo asociamos con el punto que est una unidad desde 0 hacia la izquierda, y
as sucesivamente con cualquier otro nmero entero. Luego, con la unidad de longitud dividida en n partes
iguales, tomando una de tales partes iguales como nueva unidad de longitud y el nmero racional m n lo
asociamos con el punto que est a una distancia igual a m veces la nueva unidad de longitud desde 0, hacia la
derecha si m n es positivo o hacia la izquierda si m n es negativo.

0 1 1 2 2
9
15

3
2
Nmeros positivos Nmeros negativos
Unidad de
longitud
5
3

Del proceso de asociacin de nmeros racionales con puntos de una recta se puede ver que el conjunto
de los racionales tiene un orden natural sobre la recta (es decir, un orden de aparicin). Por ejemplo,
19
22
est a
la izquierda de
7
8
debido a que
19 19 8 152
22 22 8 176

= =

y
7 7 22 154
8 8 22 176

= =

.

Si el nmero a est a la izquierda del nmero b sobre la recta, entonces se dice que a es menor que
b (o, equivalentemente, b es mayor que a) y este hecho lo escribimos como a b < (o equivalentemente,
b a > ). Escribimos a b s (o b a > ) si a b < o a b = .

El smbolo < (o >) se llama desigualdad y sirve para establecer una relacin de orden entre dos
nmeros reales. Por ejemplo,
19 7
22 8
<
7 19
,
8 22
| |
>
|
\ .
o bien .
6
Veamos ahora el siguiente problema: Ser siempre posible asignar a todo punto de la recta un
nmero racional? La respuesta es NO! y se puede demostrar. Un ejemplo es el nmero que le corresponde al
valor de la hipotenusa de un tringulo rectngulo issceles cuyos lados tienen por longitud la unidad, como se
muestra en la siguiente figura:
0 1
1 1
2
P

El nmero que debera corresponder al punto P es el nmero cuyo cuadrado es 2 .

Antes de abordar la demostracin, comprobemos que el cuadrado de un nmero impar tambin es
impar y que el cuadrado de un nmero par tambin es par. Recurdese que todo nmero par es mltiplo de 2.
Si k es cualquier nmero entero, es decir k e , entonces todo nmero expresado como ( ) 2 1 k + es impar,
mientras que ( ) 2k es par. Ahora, elevando al cuadrado y reacomodando trminos,
| | | |
| |

| |
2 2
2 2 2
2 2
2 2
2 1 4 4 1 4 1 2 2 1 2 1
2 4 2 2 2
k k k k k k k k
k k k k
| |
|
| ( ( + = + + = + + = + + +

|
|
\ .
| |
|
= =
|
|
\ .
_
Es un nmero
entero!
Es un nmero
entero!
es impar.
es par.


Demostremos que ningn nmero racional tiene un cuadrado igual a 2 . El mtodo empleado se conoce
como demostracin por contradiccin. Supongamos que existe un nmero racional p q tal que ( )
2
2 p q =
y que los enteros p y q no tienen ningn factor comn. La ecuacin ( )
2
2 p q = se puede expresar como
2 2
2 p q = . Ahora, tomando en cuenta que el cuadrado de un nmero impar es impar, p no puede ser impar. Por
consiguiente p es par y lo podemos expresar como 2 p r = , para algn entero r . Entonces la ecuacin
2 2
2 p q = se transforma en ( )
2
2
2 2 r q = , o bien,
2 2
2 q r = . Por los mismos argumentos ya explicados, de la
ltima ecuacin se concluye que q tambin es par. Pero si p y q son pares, entonces tienen como factor
comn a 2 , lo cual contradice el supuesto de que p y q no tienen ningn factor comn. Por lo tanto, podemos
concluir que ningn nmero racional tiene un cuadrado igual a 2 .

7
Hemos demostrado la existencia de un punto de la recta con el que no se puede asociar ningn nmero
racional. Realmente, la situacin es mucho peor. Entre cualquier par de puntos sobre la recta hay una
infinidad de puntos con la misma problemtica.

Los puntos de la recta con los que es imposible asociar un nmero racional corresponden a los
llamados nmeros irracionales (el conjunto ). Entonces la unin de los racionales con los irracionales resulta
ser el conjunto de los nmeros reales : = . Y ahora a nuestra recta, con toda justicia, la podemos
llamar recta numrica.

Notemos que todo punto que corresponde a un nmero irracional se puede localizar aproximadamente
con referencia a puntos correspondientes a nmeros racionales. Por ejemplo, el nmero 1 2 b = tiene la
siguiente representacin decimal infinita:

2 3 4 5 6 7 8
1 7 0 7 1 0 6 7 8
0.70710678
10 10 10 10 10 10 10 10 2
b = = = + + + + + + + +

Si dividimos la unidad de longitud en diez partes iguales:



entonces 0.70710678 b = est entre 7 10 y 8 10. Si queremos ms precisin, dividimos el segmento entre
7 10 y 8 10 en diez partes iguales para obtener los nuevos puntos de la subdivisin:

2 2 2 2
7 7 1 7 2 7 3 7 9 8
, , , , , ,
10 10 10 10 10 10 10 10 10 10
+ + + +

Ahora 0.70710678 b = est entre 7 10 y
2 2
7 10 1 10 71 10 71 100 + = = . De esta manera podemos
localizar el punto que corresponde al nmero b sobre la recta numrica con cualquier grado de precisin
considerando ms y ms dgitos de su representacin decimal.

C. INTERVALOS
Los intervalos son conjuntos de nmeros reales definidos por la propiedad de que sus elementos
satisfacen una o dos desigualdades (relaciones de orden).
0
1
10
1
9
10
8
10
7
10
6
10
5
10
4
10
3
10
2
10
8
El intervalo abierto determinado por dos nmeros a y b , donde a b s , es el conjunto de todos los
nmeros x para los que a x b < < y se denota como ( ) , a b . Es decir,
( ) { }
, a b x a x b = < < .
Ntese que, el intervalo ( ) , a b se puede ver como la interseccin de los conjuntos
{ }
x x a > y
{ }
x x b < (estos
conjuntos tambin son intervalos):
( ) { } { } { } { }
, a b x x a x x b x a x x b x a x b = > < = < < = < < y .
El intervalo cerrado determinado por dos nmeros a y b , donde a b s , es el conjunto de todos los
nmeros x para los que a x b s s y se denota como | | , a b . Es decir,
| | { }
, a b x a x b = s s .
Similarmente, el intervalo | | , a b se puede ver como la interseccin de los conjuntos
{ }
x x a > y
{ }
x x b s :
| | { } { } { } { }
, a b x x a x x b x a x x b x a x b = > s = s s = s s y .

Sobre la recta numrica, el intervalo abierto ( ) , a b es el conjunto de todos los puntos que se encuentran
estrictamente entre a y b . El intervalo cerrado | | , a b consiste de todos los puntos entre a y b adems de los
puntos extremos a y b .
a
b
| | , a b
( ) , a b


Adems de los intervalos abiertos y cerrados, tenemos los intervalos semiabiertos, tales como:
( | { }
, a b x a x b = < s y
| ) { }
, a b x a x b = s < .
Tambin existen los intervalos infinitos:
( ) { } | ) { } ( ) { }
( | { } ( ) { }
, , ,
, , .
a x x a a x x a a x x a
a x x a x x
= > = > = <
= s = e
, , ,
y

El intervalo infinito ( ) , a consiste en todos los puntos sobre la recta numrica que estn a la derecha de a. El
intervalo ( ) , es toda la recta numrica. y son simplemente smbolos; no son nmeros reales.
9
1.2 El sistema de los nmeros reales

A. DEFINICIN AXIOMTICA DE LOS NMEROS REALES
Vamos a definir a los nmeros reales mediante un conjunto de propiedades bsicas que llamaremos
axiomas. Un axioma es una afirmacin que aceptamos como verdadera sin exigir demostracin alguna.
El sistema de los nmeros reales es un conjunto y dos operaciones, adicin y multiplicacin, y una
relacin de orden, denotada por < y leda es menor que, que satisface los siguientes axiomas:

( ) ( )
, .
, .
, , .

a b a b
a b a b b a
a b c a b c a b c
+ e
+ = +
+ + = + +
1
2
3
4
A Para todo y en (Estabilidad o cerradura.)
A Para todo y en (Ley conmutativa.)
A Para todo y en (Ley asociativa.)
A Hay un y slo un elemento,

0 , , 0 0 .
, " ",
a a a a
a a
+ = + =

5
al que denotamos por " " tal que para todo en
(La existencia y unicidad del elemento neutro aditivo.)
A Para cada en hay un y slo un elemento, al que denotamos por

( ) 0 . a a a a + = = + tal que
(La existencia y unicidad del inverso aditivo.)


( ) ( )
, .
, .
, , .
,
a b ab
a b ab ba
a b c ab c a bc
e
=
=
1
2
3
4
M Para todo y en (Estabilidad o cerradura.)
M Para todo y en (Ley conmutativa.)
M Para todo y en (Ley asociativa.)
M Hay un y slo un elemento al que

1 , 0, ,
1 1 .
, 0,
a
a a a
a
= =
5
denotamos por " " diferente de tal que para todo en
(La existencia y unicidad del elemento neutro multiplicativo.)
M Para cada en diferente de hay un y slo un ele

1
1 1
" ",
1 .
a
a a a a

= =
mento, al que denotamos por
tal que (La existencia y unicidad del inverso multiplicativo.)

( ) ( ) , , . a b c a b c ab ac b c a ba ca + = + + = + D Para todo y en y (Ley distributiva.)


, , .
, .
a b
a b a b b a
a b b c a c
< = <
< < <
1
2
O Para cualesquiera dos elementos y en una y solamente una de las siguientes relaciones
se verifica : (Ley de tricotomia.)
O Si y entonces (Ley transitiva.)

, , .
0 , .
a b c a c b c
a b c ac bc
< + < +
< < <
3
4
O Si entonces para todo en ,
O Si y entonces

L El axioma del supremo.
La importancia del grupo de axiomas que definen al sistema de los nmeros reales radica en que con
ellos se deducen todas las leyes usuales del lgebra elemental.

10
B. ALGUNAS PROPIEDADES ALGEBRAICAS DE LOS NMEROS REALES

Teorema
1
T . Para todo a en , 0 0 0 a a = = .
Prueba. Durante el proceso de demostracin del teorema despus de cada paso aparece el axioma que
lo fundamenta:
| |
( ) ( ) | |
( ) ( ) | |
( ) ( ) | |
( ) ( )
0 0 0
0
0
0 1
0 1
a a
a a a
a a a
a a a
a a
= +
= + +
= + +
= + +
= + +
4
5
3
4
- - - - - - - - - - - - - - - - - - - - - - - - - - - A
- - - - - - - - - - - - - - - - - - A
- - - - - - - - - - - - - - - - - - A
- - - - - - - - - - - - - - - - M
- - | |
( ) | |
( ) | |
| |
1

0. .
a a
a a
= +
= +
=
4
4
5
- - - - - - - - - - - - - - - - - D
- - - - - - - - - - - - - - - - - - - - - - - A
- - - - - - - - - - - - - - - - - - - - - - - - - M
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - A

Finalmente, segn
4
M , 0 0 0 a a = = .
Ahora el teorema
1
T , puesto que ya fue demostrado, pasa a formar parte del grupo de axiomas como si
se tratara de un axioma ms y puede ser utilizado para demostrar otros teoremas. Por ejemplo, veamos el
siguiente caso.

Teorema
2
T . Para todo a en , ( ) 1 a a = .
Prueba. Segn
5
A el inverso aditivo de a es nico. Si demostramos que ( ) 1 0 a a + = , entonces
habremos demostrado que ( ) 1 a a = :
( ) ( ) | |
( ) ( ) | |
| |
1 1 1
1 1
0
0
a a a a
a
a
+ = +
= +
=
=
4
5
- - - - - - - - - - - - - - - - - - - - - - - - - - - M
- - - - - - - - - - - - - - - - - - - - - - - - - - - - D
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - A
- - - - - - - | |.
1
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - T

Por lo tanto, ( ) 1 a a = .

Ntese cmo fue de ayuda
1
T en la demostracin de
2
T . Ahora
2
T adquiere la misma jerarqua que
1
T y
los axiomas. Veamos ms ejemplos.

11
Teorema
3
T . Para a y b en cualesquiera, ( ) ( ) ( ) a b ab a b = = .
Prueba.
( ) ( ) ( ) | |
( ) ( ) | |
( ) ( ) | |
( )( ) | |
1
1
1
1

a b a b
a b
a b
ab
=
=
=
=
2
3
2
2
- - - - - - - - - - - - - - - - - - - - - - - - - - - T
- - - - - - - - - - - - - - - - - - - - - - - - - - - M
- - - - - - - - - - - - - - - - - - - - - - - - - - - M
- - - - - - - - - - - - - - - - - - - - - - - - - - - - M
( ) | |
( )( ) | |
( ) ( ) | |
( )

1
1

ab
ab
a b
a b
=
=
=
=
2
2
3
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - T
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - T
- - - - - - - - - - - - - - - - - - - - - - - - - - - - M
- - - - - - - - - - - - - - - - - - - - - - - | |.
2
- - - - - - - - - T


Teorema
4
T . Para todo a en , ( ) a a = .
Prueba. Segn
5
A el inverso aditivo de a es nico. Ahora, dado que ( ) ( ) 0 a a a a + = = + , a es
el inverso aditivo de a ; es decir, ( ) ( )
0 a a + = . Por lo anterior, se concluye que ( ) a a = .

Teorema
5
T . Para a y b en cualesquiera, ( ) ( ) a b ab = .
Prueba.
( )( ) ( ) ( ) | |
( ) ( ) | |
| |

.
a b a b
ab
ab
=
=
=
3
3
4
- - - - - - - - - - - - - - - - - - - - - - - - - - - T
- - - - - - - - - - - - - - - - - - - - - - - - - - - T
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - T

Teorema
6
T . 0 0 = .
Prueba.
( ) | |
| |
0 1 0
0 .
=
=
2
1
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - T
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - T


Para continuar demostrando leyes bsicas del lgebra es necesario definir las operaciones de
sustraccin y divisin, en trminos de la adicin y la multiplicacin, respectivamente. Para todo a y b en :

Sustraccin (resta): ( ) a b a b = + .
Divisin:
1
a
ab
b

= ; siempre que 0 b = .
12
Teorema
7
T . Para todo a y b en , ( ) a b a b = + .
Prueba.
( ) ( ) | |
( ) ( ) ( ) ( ) | |
( ) ( ) | |
( )
1 1
1

a b a b
a b
a b
a b
= +
= +
= +
= +
2
- - - - - - - - - - - - - - - - - - - - - - - - - - - Definicin de sustraccin
- - - - - - - - - - - - - - - - - - - - - T
- - - - - - - - - - - - - - - - - - - - - - - - - - - D
- - - - - - - - - | |.
2
- - - - - - - - - - - - - - - - - - - - - T

Teorema
8
T . Si a b a c + = + , entonces b c = . (Ley de cancelacin para la adicin).
Prueba.
( ) ( ) ( ) ( ) | |
( ) ( ) ( ) ( ) | |
| |


0 0

a b a c a a b a a c
a a b a a c
b c
+ = + + + = + +
+ + = + +
+ = +
1
3
5
- - - - - - - - - - - - - - - - - - A
- - - - - - - - - - - - - - - - - - A
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - A
| | . b c =
4
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - A

Teorema
9
T . Probar que
1
1 1

= .
Prueba.
| |
| |
1 1
1 1 1
1 .

=
=
4
5
- - - - - - - - - - - - - - - - - - - - - - - - - M
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - M

Teorema
10
T . Probar que 0 ab = si y slo si 0 a = o 0 b = .
Prueba. Si 0 a = y 0 b = , entonces, por
1
T , 0 ab = . Si 0 a = y 0 b = , entonces, por
1
T , 0 ab = .

Teorema
11
T . Si 0 ab = , entonces ( )
1
1 1
ab a b

= .
Prueba.
( ) ( )
( ) ( )
| |
( ) ( )
( )
| |
( )
( )
( )
1 1
1 1
1 1
1 1 1
1


ab ab
ab ab
a a bb
ab
a b ab
ab

= = =

=
4
5
- - - - - - - - - - - - - - - M y definicin de divisin
- - - - - - - - - - - - - - - - - - - - - - M
- - - - - - - - - - - - - - - - | |
( )
( ) ( ) | |
( )
( ) ( ) | |
1
1 1
1
1 1



a b ab ab
a b ab ab

(
=

(
=

2 3
3
- - - - - - M y M
- - - - - - - - - - - - - - - - Definicin de divisin
- - - - - - - - - - - - - - - - M

( ) | |
| |
1 1
1 1
1
.
a b
a b


=
=
5
4
- - - - - - - - - - - - - - - - - - - - - - - - - - M
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - M

13
Teorema
12
T . Si 0 a = , entonces
( )
1
1
a a

= .
Prueba.
( ) ( ) ( ) ( ) | |
( )( ) | |
| | | |
1 1 1
1 1 1 1
1
1 1
1

1 .
a a aa a
a a a
a a

= =
(
=
(

= =
4 5
3
5 4
- - - - - - - - - - - - - - - - - M y M
- - - - - - - - - - - - - - - M
- - - - - - - - - - - - - - - - - - - - - - M y M

Teorema
13
T . Si ab ac = y 0 a = , entonces b c = . (Ley de cancelacin para la multiplicacin).
Prueba.
( ) ( ) | |
( ) ( ) | |
| |
1 1
1 1


1 1

ab ac ab a ac a
b aa c aa
b c
b c


= =
=
=
=
1
2 3
5
Si - - - - - - - - - - - - - - - - M
- - - - - - - - - - - - - - - - M y M
- - - - - - - - - - - - - - - - - - - - - - - - M
- - - - - - | |.
4
- - - - - - - - - - - - - - - - - - - - - - M

Teorema
14
T . Probar que
a c ad bc
b d bd

= . (Suma de fracciones)
Prueba.
| |
( ) ( ) | |
( ) ( ) ( ) ( ) | |
1 1
1 1
1 1 1 1
1 1


a c
ab cd
b d
ab cd
ab dd cd bb
a



=
=
=
=
4
5
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Definicin de divisin
- - - - - - - - - - - - - - - - - - - - - - - - - - M
- - - - - - - - - - - - - - - - M
( )
( )
( )
( ) | |
( )
( ) | |
( ) ( ) | |
1 1 1 1
1 1
1



d b d cb b d
ad cb b d
ad cb bd
ad cb
bd

=
=

=
2 3
11
- - - - - - - - - - - - - - - - - - M y M
- - - - - - - - - - - - - - - - - - - - - - - - - - - D
- - - - - - - - - - - - - - - - - - - - - - - - - - - - T
- - - - - - - - - - - - - - - - | |. - - - - - - - - - - - - - - - - - - - Definicin de divisin


Teorema
15
T . Probar que
a c ac
b d bd
= . (Multiplicacin de fracciones)
Prueba.
( ) ( ) | |
( )
( ) | |
( ) ( ) | |
1 1
1 1
1



a c
ab cd
b d
ac b d
ac bd
ac
bd

=
=
=
=
3
11
- - - - - - - - - - - - - - - - - - - - - - - - Definicin de divisin
- - - - - - - - - - - - - - - - - - - - - - - - M
- - - - - - - - - - - - - - - - - - - - - - - - - - T
- - - - - - - - - - - - - - - | |. - - - - - - - - - - - - - - - - - - - Definicin de divisin

14
Teorema
16
T . Probar que
a
b
c
d
ad
bc
= . (Regla de la tortilla).
Prueba.
( )( ) | |
( ) ( ) | |
( ) | |
1
1
1 1
1
1
1 1 1
1 1




a
ab
b
ab cd
c
cd
d
ab c d
ab c d

= =
(
=
(

( =

11
12
- - - - - - - - - - - - - - - - Definicin de divisin
- - - - - - - - - - - - T
- - - - - - - - - - - - - - - - - - - T
( ) | |
( )| | | |
| |
1 1
1


.
ad b c
ad bc
ad
bc

( =

=
=
2 3
11
- - - - - - - - - - - - - - - - - - - M y M
- - - - - - - - - - - - - - - - - - - T
- - - - - - - - - - - - - - - - - - - - - - - - - - Definicin de divisin

Teorema
17
T . Probar que
a c
b d
= si y slo si ad bc = , ( 0 bd = ).
Prueba.
| |
( ) ( ) | |
( ) ( ) ( ) ( ) | |
( ) ( )
1 1
1 1
1 1 1 1
1 1

1 1


a c
ab cd
b d
ab cd
ab dd cd bb
ad b d




= =
=
=
=
4
5
- - - - - - - - - - - - - - - - - - - - - - - - - Definicin de divisin
- - - - - - - - - - - - - - - - - - M
- - - - - - - - - M
( ) ( ) | |
( ) ( ) ( ) ( ) | |
| |
1 1
1 1

.
cb b d
ad bd cb bd
ad cb

=
=
2 3
11
13
- - - - - - - - - M y M
- - - - - - - - - - - - T
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - T

Teorema
18
T . Probar que ( ) ( ) a b c d ac ad bc bd + + = + + + .
Prueba. El teorema queda demostrado aplicando dos veces el axioma D:
( ) ( ) ( ) ( ) . a b c d a c d b c d ac ad bc bd + + = + + + = + + +

Teorema
19
T . Probar que
a b a b
c c c

= , ( 0 c = ).
Prueba.
( ) | |
| |
| |
1
1 1

.
a b
a b c
c
ac bc
a b
c c

=
=
=
- - - - - - - - - - - - - - - - - - - - Definicin de divisin
- - - - - - - - - - - - - - - - - - - D
- - - - - - - - - - - - - - - - - - - - - - - - Definicin de divisin

15
Teorema
20
T . Probar que si a, b y x estn en y 0 a = , la solucin de la ecuacin lineal 0 ax b + =
es
1
x a b

= .
Prueba.
( ) ( )
( )
1 1
1
1
0 0
0


1

ax b ax b b b
ax b
ax b
a ax a b
x a b
x a b

+ = + + = +
+ =
=
=
=
=

Cuando se busca resolver una ecuacin lineal con una incgnita se recomienda seguir el proceso
implicado en la demostracin del teorema
20
T .

Teorema
21
T .
2 2
a b = si y slo si a b = o a b = .
Prueba.
( ) ( )
2 2 2 2
0
0
0 0
.
a b a b
a b a b
a b a b
a b a b
= =
+ =
= + =
= =
o
o


Veamos la deduccin de la frmula general para resolver la ecuacin general de segundo grado:
2
0 ax bx c + + = , donde 0 a = .
Completando el cuadrado en el lado derecho de la ecuacin tenemos,
2 2
2 2 2
2 2
2
2
2
4 4

2 4

2
b c b b b c
ax bx c a x x a x x
a a a a a a
b b c
a x
a a a
b
a x
a
( | |
(
+ + = + + = + + +
( |
(

( \ .
(
| |
| |
= +
(
| |
\ .
( \ .

= +
2
2
2
4
.
4
b ac
a
(
| |
| |

(
| |
\ .
( \ .


Es decir,
2
2
2
2
4
0 0.
2 4
b b ac
ax bx c a x
a a
(
| |
| |
+ + = + =
(
| |
\ .
( \ .


16
Pero como 0 a = , entonces, por el teorema
10
T ,
2
2
2
4
0.
2 4
b b ac
x
a a
| |
| |
+ =
| |
\ .
\ .


Ahora, la ecuacin se puede escribir como
2
2 2
2 2
2 2
4 4
0
2 2 4 4
b b ac b b ac
x x
a a a a
| |
| | | |
| + = + =
| |
|
\ . \ .
\ .
.
Si
2
4 0 b ac > , la ecuacin tiene dos soluciones distintas que son, de acuerdo con el teorema
21
T ,
2
2
2 2 2
2 2 2
4 4 4

2 2 2 4 4 4
b b ac b b ac b b ac
x x x
a a a a a a
| |
| | | | | |
| + = + = + =
| | |
|
\ . \ . \ .
\ .
o
es decir,
2 2
4 4
2 2 2 2
b b ac b b ac
x x
a a a a

= + = o .

En forma compacta, las dos soluciones se representan mediante la llamada frmula general para resolver la
ecuacin general de segundo grado,
2
0 ax bx c + + = ,

2 2
4 4
2 2 2
b b ac b b ac
x
a a a

= = .

C. EXPONENTES Y RADICALES
Exponentes enteros.
Si a es cualquier nmero real y n es un entero positivo, entonces la potencia - sima n de a se
defino como:
n
n
a a a a =
_
factores
,
donde a se llama base y n es el exponente.
Por ejemplo:
3
1 1 1 1 1
4 4 4 4 64
| | | || || |
= =
| | | |
\ . \ .\ .\ .
, ( ) ( )( )( ) ( )
4
3 3 3 3 3 81 = = , ( )
4
3 3 3 3 3 81 = = , etc.

17
Si 0 a = es un nmero real y n es un entero positivo, entonces
0
1 a = y
1
n
n
a
a

= .
Por ejemplo:
0
7
1
5
| |
=
|
\ .
,
1
1
1 1
x
x x

= = ,
( )
( )
3
3
1 1 1
4
64 64
4

= = =

, etc.
Ntese que
0
0 no est definido (es decir,
0
0 no es un nmero real).

Leyes de los exponentes. Sean a y b nmeros reales mientras que los exponentes m y n son
enteros:
1.
m n m n
a a a
+
= Por ejemplo:
3 7 3 7 10
5 5 5 5
+
= = .
2.
m
m n
n
a
a
a

= Por ejemplo:
6
6 2 4
2
5
5 5
5

= = .
3.
( )
n
m m n
a a

= Por ejemplo:
( )
4
3 3 4 12
5 5 5

= = .
4.
( )
n
n n
ab a b = Por ejemplo:
( )
4
4 4
3 5 3 5 = .
5.
n
n
n
a a
b b
| |
=
|
\ .
Por ejemplo:
7
7
7
3 3
4 4
| |
=
|
\ .
.
6.
n n
a b
b a

| | | |
=
| |
\ . \ .
Por ejemplo:
5 5
3 4
4 3

| | | |
=
| |
\ . \ .
.
7.
n m
m n
a b
b a

= Por ejemplo:
8 5
5 8
3 4
4 3

= .
Ntese que:
( )
n n
a a = ,
( )
n
n
a a =
( )
n n
ca c a = , ( )
n
n
ca ca =
( )
m
m n
n
a a = ,
( )
m m
n n
a a = .

Radicales (races).
Si n es un entero positivo, entonces la raz - sima principal n de a, denotada por
n
a , se define
como:
n n
a b b a = = y significa que . Si n es par, entonces es necesario que 0 a > y 0 b > .
18
Por ejemplo:
4 4
81 3 3 81 3 0 = = > porque y .
( )
3
3
8 2 2 8 = = porque .
Ntese que, por ejemplo, 8 ,
4
81 y
6
64 no estn definidos dentro del conjunto de los nmeros reales.

Propiedades de los radicales:
1.
n n n
ab a b = ,
n
n
n
a a
b b
= y
m n m n
a a

= .
2.
n n
a a n = si es impar y
n n
a a n = si es par .

En particular,
2
a a = .

Exponentes racionales.
Para dar significado al smbolo
1
n
a de manera que sea consistente con las leyes de los exponentes, es
necesario que
( )
( )
1 1
1
n n
n
n
a a a a = = = .

Entonces, de acuerdo con la definicin de n raz - sima,
1
n
n
a a = .

En general, para cualquier exponente racional
m
n
, donde m y n son enteros y 0 n > , definimos
( )
m
n
m
n m n
a a a = = .
Si n es par, entonces es necesario que 0 a > .

La consecuencia inmediata de esta ltima definicin es que las leyes de los exponentes son vlidas
para los exponentes racionales.

19
D. LOGARITMOS
Sea 0 a > y 1 a = , se dice que el nmero y es el logaritmo del nmero x de base a , y se denota
como log
a
y x = , si y es el exponente al que hay que elevar la base a para obtener el nmero x ; es decir
log
y
a
y x x a = = .
Por ejemplo:
2
log 16 4 = debido a que
4
16 2 = .
10
log 1000 3 = debido a que
3
1000 10 = .
1
16 2
log 4 = debido a que
1
2
16 4 = .
log 1 0
a
= debido a que
0
1 a = .

Se verifican las siguientes relaciones de cancelacin:
log
x
a
a x = y
log
a
x
a x = .
Por ejemplo:
3
5
log 5 3 = ,
5
log 25
5 25 = ,
5
log 5 1 = ,
5
log 12
5 12 = , etc.
Tambin son importantes las siguientes identidades:
log 1 0
a
= y log 1
a
a = .

Propiedades de los logaritmos. Sean A, B y C cualesquiera nmeros reales con 0 A > y 0 B > .
( )
( )
log log log
log log log
log log
a a a
a a a
C
a a
AB A B
A
A B
B
A C A
= +
| |
=
|
\ .
=

Por ejemplo:
( )
6 6 6 6
log 6 log 6 log 1 log x x x = + = +
( ) 1 1 1 1 1
2 2 2 2 2
1
log 2 log log log log 1
1/ 2 2
x
x x x
| |
= = =
|
\ .

( ) ( ) ( )
2 2 2 2
2 2 2 2
1 1 1
log log log log log log log
2 2 2
a a a a a a a
x y x y
x y xy x y x y
xy xy
| | + +
( (
= = + = +
|

\ .


20
Casos de logaritmos cuando la base es un nmero especial:

- El logaritmo de base 10 se conoce como logaritmo comn y se denota omitiendo la base:
10
log log x x = .
Es decir,
log 10
y
x y x = = .
- El logaritmo de base 2.71828182 e = se conoce como logaritmo natural y se denota por ln :

ln log
e
x x = .
Es decir,
ln
y
x y e x = = .

Frmula del Cambio de Base: Supngase que se tiene dado log
a
x y se necesita obtener log
b
x . Sea
log
b
y x = . Vamos a reescribir esta igualdad en la forma exponencial para luego tomar logaritmos, de base a ,
en cada lado de la igualdad:
( )
log log log log
y y
a a a a
b x b x y b x = = = .
Ahora, despejando y ,
log
log
a
a
x
y
b
= .

El resultado obtenido es la Frmula del Cambio de Base. Mediante la frmula anterior es posible calcular el
logaritmo de cualquier base en funcin de logaritmos comunes o logaritmos naturales.

Por ejemplo:
5
log10
log 10 1.430677
log5
= ~
o tambin,
5
ln10
log 10 1.430677
ln5
= ~


21
1.3 Desigualdades
Para resolver desigualdades se debe estudiar algunas propiedades bsicas de las relaciones de orden.
Teorema
22
T . Si a b < y c d < , entonces a c b d + < + .
Prueba. Si a b < y c d < , entonces por el axioma
3
O , a c b c + < + y b c b d + < + . Luego por el
axioma
2
O se concluye que a c b d + < + .
Teorema
23
T . Si a b < , entonces a b > .
Prueba.
( ) ( ) ( ) ( ) | |
( ) ( ) ( ) ( ) | |
( ) ( ) | |


0 0

a b a a b b a b
a a b a b b
b a
b a
< + + < + + ( (

+ + < + + ( (

+ < +
<
3
3
5
Si - - - - - - - - - - - O
- - - - - - - - - - - A
- - - - - - - - - - - - - - - - - - - - - - - - - - - A
- - - - - - - - - - - - - - - - - | |.
4
- - - - - - - - - - - - - - - - - - - A

Teorema
24
T . Si a b < y 0 c < , entonces ac bc > .
Prueba.
| |
( ) ( ) | |
| |
( ) ( )
0 0
0


c c
a b c a c b c
ac bc
ac bc
< >
< > <
<
>
23 6
4
3
Si - - - - - - - - - - - - - - - - - - - - - - - - - - - T y T
Si y - - - - - - - - - - - - O
- - - - - - - - - - - - - - - T
- | |
| | . ac bc >
23
4
- - - - - - - - T
- - - - - - - - - - - - - - - - - - - T

Teorema
25
T . Si 0 a = , entonces
2
0 a > .
Prueba. Si 0 a = , entonces 0 a > o 0 a < .
| |
| |
| |
| |
2 2
0 0 0 0
0 0 .
a a a a a a a a
a a
- > > - < >
> >
4 24
1 1
Si - - - - - - - - - - O Si - - - - - - - - - - - T
- - - - - - - - - - - - - T - - - - - - - - - - - - - - T

Teorema
26
T . Si a y b tienen el mismo signo, entonces 0 ab > . Si a y b son de diferente signo,
entonces 0 ab < . (Regla de signos para la multiplicacin)
Prueba.
- Si a y b tienen el mismo signo, entonces ( ) 0 0 a b > > y o ( ) 0 0 a b < < y . Veamos cada caso:
| |
| |
0 0 0
0 0 0 .
a b ab
a b ab
> > >
< < >
4 1
24 1
Si y - - - - - - - - - - - - O y T
Si y - - - - - - - - - - - - T y T

- Si a y b son de diferente signo, entonces ( ) 0 0 a b > < y o ( ) 0 0 a b < > y . Veamos cada caso:
| |
| |
0 0 0
0 0 0 .
a b ab
a b ab
> < <
< > <
24 1
4 1
Si y - - - - - - - - - - - - T y T
Si y - - - - - - - - - - - - O y T

22
Teorema
27
T .
1
a

tiene el mismo signo que a.

Prueba. Segn
5
M ,
4
M y
25
T ,
1 2
1 1 1 1 0 a a

= = = > . Ahora, dado que

1
0 a a

> , por el teorema

26
T concluimos que
1
a

tiene el mismo signo que a.

Teorema
28
T . Si a y b tienen el mismo signo y a b < , entonces
1 1
a b

> .
Prueba. Si a y b tienen el mismo signo, entonces ( ) 0 0 a b > > y o ( ) 0 0 a b < < y :
- Si ( ) 0 0 a b > > y , entonces de acuerdo con
27
T tambin es cierto que
( )
1 1
0 0 a b

> > y . Ahora:
| |
| |
( ) | |
( ) | |
1 1
1
1 1 1
1 1 1
1 1

1
1

1
a b a a b a
b a
b b a b
b bb a
b a

< <
<
<
<
<
4
5
5
5 3
- - - - - - - - - - - - - - O
- - - - - - - - - - - - - - - - - - M
- - - - - - - - - - M
- - - - - - - - - - - - - M y M
- - - | |
| |
1 1
. b a

<
5
4
- - - - - - - - - - - - - M
- - - - - - - - - - - - - - - - - - M

- Si ( ) 0 0 a b < < y , entonces de acuerdo con
27
T tambin es cierto que
( )
1 1
0 0 a b

< < y . Ahora:
| |
| |
( ) | |
( ) | |
1 1
1
1 1 1
1 1 1
1 1

1
1

1
a b a a b a
b a
b ba b
b bb a
b a

< >
>
<
<
<
24
5
24
4 3
- - - - - - - - - - - - - - T
- - - - - - - - - - - - - - - - - - - M
- - - - - - - - - - - - T
- - - - - - - - - - - - - - M y M
- | |
| |
1 1
. b a

<
5
4
- - - - - - - - - - - - - - - - - M
- - - - - - - - - - - - - - - - - - - - M


Teorema
29
T . Si 0 a > y 0 b > , entonces
2 2
a b > s y slo s a b > .
Prueba.
( ) ( )
( ) ( )
( ) ( )
2 2 2 2 2 2

0
0 0


0 0
a b a b b b
a b a b
a b a b
a b a b a b
a b a b a b a b a b
> >
+ >
> + >
> > >



< < < < + <

y
y
o o o
y y

Considerando que 0 b > implica que 0 b s y por consiguiente de a b < se deduce que 0 a s , pero esta
consecuencia contradice el supuesto de que 0 a > . Por consiguiente, desechamos a b < y obtenemos
finalmente que: Si 0 a > y 0 b > , entonces
2 2
a b a b > > .
23
Teorema
30
T . Si 0 b > , entonces
2
a b > si y slo si a b > o a b < .
Prueba. Notemos que no hay restriccin sobre a, entonces 0 a > o 0 a < . Analicemos los dos casos:
- Si 0 a > , entonces por el teorema
29
T ,
( )
2
2
a b a b > > .
- Si 0 a < , entonces 0 a > y por el teorema
29
T , ( )
( )
2
2
a b a b a b > > < .
Por lo tanto, si 0 b > , entonces
2
a b > si y slo si a b > o a b < .

Teorema
31
T . Si 0 b > , entonces
2
a b < si y slo si b a b < < .
( ) ( )
( ) ( )
( ) ( )
2 2
0
0
0 0


0 0
a b a b
a b a b
a b a b
a b a b
b a b
a b a b a b a b
< <
+ <

+ > <

> <

< <


< > + < >

y
y
o o
y y

Por lo tanto, si 0 b > , entonces
2
a b < si y slo si b a b < < .

Solucin de desigualdades. Por solucin de una desigualdad se entiende encontrar el conjunto de
valores de x que garantizan que la desigualdad planteada es verdadera.

Ejemplo. Resolver 1 5 5 3 x x + > .
Solucin. Para encontrar el conjunto solucin de la desigualdad es necesario transformarla en otras
desigualdades equivalentes, pero ms simples, aplicando los axiomas y teoremas que involucran las relaciones
de orden.
( ) ( ) ( ) ( ) | |
| |
( ) ( )
1 1
8 8
1 5 5 3 1 5 3 1 5 3 3 1 ------
8 0 4 0 ---------------------------------------
8 4 --------------------------------
x x x x x x
x
x
+ > + + + > + +
+ > +
>
3
5
O
A
| |
1
2
-----
x >
4
O

Por lo tanto, el conjunto solucin es:
{ } ( )
1 1
2 2
, CS x x = > = .

Ejemplo. Resolver 2 3 4 3 2 x x x < + < .
Solucin. Esta doble desigualdad conviene expresarla como dos desigualdades simultneas:
24
| |
2 3 4 3 2 2 3 4 4 3 2
7 2 6 --------
7
x x x x x x x
x x
x x
< + < < + + <
< <
< >
3 5
y
y O y A
y | |
( ) ( )
( ) ( ) | |
3 ----------
, 7 3,
, 7 3, --------------

x x
x
e e
e
24
T
y
Definicin de interseccin
( ) 3, 7 x e

Entonces, el conjunto solucin es: ( ) { }
3, 7 3 7 CS x x = = < < .

Ejemplo. Resolver
2
2 8 x x < + .
Solucin.
| |
( ) ( ) | |
2 2
2 8 2 8 0 -----------------
2 4 0 ----------------
2 0 4 0
------
2 0 4 0
x x x x
x x
x x
x x
< + <
+ <
+ < >

`

+ > <
)
3 5
2
O y A
factorizacin
y
o T
y
| |
( ) ( )
( ) ( )
( ) ( )
( ) ( )
, 2 4, , 2 4,
2 4

2 4 2, , 4 2, , 4

x x x
x x
x x x x x
e e e
< >



` ` `

> < e e e
)
) )
6
y
y
o o o
y y
( ) { } ( ) ( ) 2, 4 2, 4 2, 4 x x x x eC e eC e o

Entonces, el conjunto solucin es: ( ) { }
2, 4 2 4 CS x x = = < < .


1.4 Valor absoluto
El valor absoluto de un nmero real a, denotado por a , se define por la regla:
a a = si 0 a > o a a = si 0 a < .
Por ejemplo, 3 3 = , ( ) 7 7 7 = = ,
9 9
4 4
= , 0 0 = .

En la recta numrica, el valor absoluto a representa la distancia entre el punto que corresponde al
nmero a y el punto asociado con el cero. De la definicin de valor absoluto se deducen los siguientes dos
resultados inmediatos:
25
Teorema
32
T . Para todo nmero real a , a a = .
Prueba.
- Si 0 a > , entonces a a = y 0 a s , pero ( ) a a a = = . Por lo tanto, a a = .
- Si 0 a < , entonces a a = y 0 a > , pero a a = . Por consiguiente, a a = .

Teorema
33
T . Para todo nmero real a , a a s y a a s .
Prueba.
- Si 0 a > , entonces a a = y 0 a s . Por lo tanto, por la ley transitiva, a a s .
- Si 0 a s , entonces a a = y 0 a > , pero a a = . Por consiguiente, a a s .
En los siguientes tres teoremas se establecen las propiedades fundamentales del valor absoluto de los
nmeros reales.

Teorema
34
T . Para cualquier nmero real a, 0 a > . Adems, 0 a = implica que 0 a = .
Prueba.
Para la primera parte del teorema.
- Si 0 a > , entonces a a = . Por lo tanto se concluye que 0 a > .
- Si 0 a < , entonces a a = . Ahora, puesto que 0 a < implica que 0 a > , entonces podemos concluir
que 0 a > .
Para la segunda parte del teorema. Si 0 a = , entonces o 0 a > y 0 a a = > , o 0 a < y 0 a a = > . Por
lo tanto, 0 a = implica que 0 a = , o, equivalentemente, 0 a = implica que 0 a = .

Teorema
35
T . Para dos nmeros reales cualesquiera a y b , a b ab = .
Prueba.
Caso 1. Si 0 a > y 0 b > , entonces a a = y b b = , de modo que a b ab = . Pero, puesto que 0 ab > ,
ab ab = . Por lo tanto, a b ab = .

Caso 2. Si 0 a > y 0 b < , entonces
( ) ( )( ) ab ab a b = = , segn
32
T . Ahora el caso 1 se aplica a
( ) ( ) a b , ya que 0 a > y 0 b > . Por lo tanto,
( )( ) ab a b a b a b = = = .
26
Caso 3. Si 0 a < y 0 b > , intercambiamos los papeles entre a y b para luego aplicar el caso 2.

Caso 4. Si 0 a < y 0 b < , entonces 0 a > y 0 b > , de modo que despus de aplicar
5
T el presente caso
se transforma en el caso 1:
( ) ( ) ab a b a b a b = = = .

Corolario
36
C .
a a
b b
= .
Prueba.
Del teorema anterior,
1 1
a
ab a b
b

= = .
Ahora:
- Si 0 b > , entonces
1
0 b

> y
1 1
b b

= , de modo que
1 1
a a
a b a b
b b

= = = .
- Si 0 b < , entonces
1
0 b

< y
1 1
b b

= , de donde
( )
( )
1 1 1
1
a a a
a b a b a b
b b b

= = = = =

.

Corolario
37
C .
2
2
a a = .
Prueba.
2
2 2
a a a a a a a = = = = .

Teorema
38
T . (La desigualdad del tringulo.) Para cualesquiera dos nmeros reales a y b ,
a b a b + s + .
Prueba.
( )( ) | |
( )
( ) | |
2
2
2
2 2


2 .
a b a b a b a b a b
a b
a b
a ab b
+ = + + = + +
= +
= +
= + +
35
37
- - - - - - - - - - - - - T
- - - - - - - - - - - - - - - - - - - C

Tomando en cuenta que se puede dar cualquiera de los casos 0 ab < o 0 ab > ,
27
( )
2
2 2 2 2 2 2
2 2 2 . a ab b a ab b a a b b a b + + s + + = + + = +
Entonces,
( )
2 2
. a b a b + s + Ahora, puesto que 0 a b + > y 0 a b + > , resulta que, de acuerdo con
29
T ,
( )
2 2
. a b a b a b a b + > + + > +

Por ltimo se plantean, sin demostracin, cuatro teoremas que tienen aplicacin para resolver ecuaciones
y desigualdades en donde aparecen valores absolutos:

Teorema
39
T . a b = si y slo si
0

.
b
a b a b
>

= =

y
o


Teorema
40
T . a b = si y solo si a b = o a b = .

Teorema
41
T . a b < si y slo si b a b < < .

Teorema
42
T . a b > si y slo si a b < o a b > .