Texto Guia Numeros Reales

Chapter 1
Los Nmeros Reales

1.1 Introduccin
El conjunto de los Nmeros Reales, R, puede ser caracterizado de varias formas. Aqu daremos la car-
acterizacin axiomtica, a diferencia de las versiones constructivas tales como la que usa Cortaduras
de Dedekind o la construccin mediante Sucesiones de Cauchy.
La obtencin de R en forma constructiva es bastante ms complicada que la que daremos a continuacin.
La nica diferencia consiste en que son necesarios otros axiomas para construir conjuntos de nmeros con
los cuales se construirn a su vez los nmeros reales.
El conjunto de los nmeros reales, R es un conjunto en el que se cumplen los siguientes axiomas:
1. Axiomas de Cuerpo.
2. Axiomas de Orden.
3. Axioma del Supremo o de Completitud.
Lo anterior se resume diciendo que R es un Cuerpo Ordenado Completo.
1.2 Axiomas de Cuerpo
Primero estudiaremos los axiomas de cuerpo, que se reeren a las propiedades algebraicas (de operatoria)
de los nmeros reales.
Comencemos recordando algunas propiedades que satisfacen algunos conjuntos bajo operaciones:
clausura, asociatividad, existencia de elemento neutro, existencia de elemento inverso y conmutatividad.
Consideremos el conjunto
N = 1, 2, 3, 4, 5, 6, 7, . . .
llamado el conjunto de los Nmeros Naturales.
Observemos que
1 + 2 = 3 N 4 + 5 = 9 N
En general se tiene que si a, / N la suma a +/ tambin pertenece a N . En otras palabras en N provisto
de la suma (+) se cumple la propiedad de clausura o cerradura.
En cambio si consideramos el subconjunto de N;
= a N : a es impar
vemos que no se cumple la clausura bajo la suma.
En efecto 1 y 3 pero 1 + 3 = 4 , . Es decir, al sumar dos elementos del conjunto no
siempre se obtiene como resultado un elemento del conjunto .
1
2 CHAPTER 1. LOS NMEROS REALES
Es claro que N tambin verica las propiedades asociativa y conmutativa, es decir, para todo a, /, c N ;
(a +/) +c = a + (/ +c) y
a +/ = / +a
Sin embargo, no existe un elemento en N que sea neutro para esta operacin. Dicho en forma ms precisa,
no existe un elemento c N tal que al sumarlo con cualquier elemento a N se obtenga el mismo nmero
a en N .
Por otra parte, si consideramos N bajo la operacin producto (o multiplicacin) se tiene que se cumplen
las siguientes propiedades:
i) Si a, / N , entonces a/ N
ii) Para todo a, /, c N se verica
(a/)c = a(/c)
iii) Existe 1 N tal que para todo a N
1 a = a 1 = a
iv) Para todo a, / N
a/ = /a
As, en N con la multiplicacin (), se verica las propiedades de clausura (i), asociatividad (ii),
existencia de neutro (iii) y conmutatividad. Pero, dado a N no existe un elemento a
0
N tal que al
multiplicarlo con a se obtenga el elemento neutro c = 1, es decir, no se verica la propiedad de existencia
de inverso.
?Qu conjunto cumplir con todas las propiedades mencionadas?
Consideremos el conjunto de los Nmeros Enteros
Z = . . . , 3, 2, 1, 0, 1, 2, 3, . . . = N ' N
' 0
donde
N
= : : : N.
En Z con la suma (+) se verica:
i) Clausura:
Para todo a, / Z , se tiene que a +/ Z
ii) Asociatividad:
Para todo a, /, c Z
(a +/) +c = a + (/ +c)
iii) Existencia de neutro:
Existe c = 0 Z , tal que para todo a Z
0 +a = a + 0 = a
iv) Existencia de inverso:
Para todo a Z , existe (a) Z tal que
a + (a) = (a) +a = 0
v) Conmutatividad:
Para todo a, / Z
a +/ = / +a
1.2. AXIOMAS DE CUERPO 3
En cambio, si consideramos Z bajo la operacin producto () se verican (i), (ii), (iii) (en este caso 1
hace el papel de neutro) y (v). Sin embargo no se verica la propiedad de inverso, (iv), puesto que: Dado
a Z no siempre existe a
0
Z tal que
aa
0
= c = 1
Diremos que Z bajo la operacin de suma (+) es un grupo y anotaremos (Z, +) es grupo; en cambio,
(Z, ) no es grupo.
Denicin 1.1 Diremos que + es una operacin(binaria") en G si para todo r, j en G existe un nico
r + j en G.
Nota: El hecho que r + j est en G y no en otro conjunto se acostumbra a decir que cumple la propiedad
de clausura.
1.2.1 Estructura de Grupo
Denicin 1.2 Sea G un conjunto no vaco y + una operacin en G. Diremos que G es un grupo bajo
la operacin + si las siguientes tres armaciones son ciertas
i) Asociatividad:
Para todo r, j, . en G, se cumple
(r + j) + . = r + (j + .)
En smbolos
(\r, j, . G)((r + j) + . = r + (j + .))
ii) Existencia de elemento neutro:
Existe c, elemento neutro en G, tal que para todo r en G, se tiene
r + c = c + r = r
En smbolos
(c G)(\r G)(r + c = c + r = r)
iii) Existencia de elementos inversos:
Para todo r en G, existe r
0
en G tal que
r + r
0
= r
0
+ r = c
En smbolos
1
(\r G)(r
0
G)(r + r
0
= r
0
+ r = c)
Esto se denota resumidamente; (G, +) es grupo.
Si adems se verica;
iv) Conmutatividad:
Para todo r, j en G, se cumple
r + j = j + r
En smbolos
(\r, j G)(r + j = j + r)
entonces (G, +) es un grupo Abeliano o simplemente G es un grupo Abeliano, subentendiendo que hay
una operacin (+).
1
Notemos la importancia del orden de los cuanticadores 8, 9 (compare con ii ).
Ejemplo 1 Sea
'
2
(Z) =
__
a /
c d
_
: a, /, c, d Z
_
el conjunto de matrices cuadradas de orden 2 con coecientes en Z y (+) la operacin denida por
_
a /
c d
_
+
_
a
0
/
0
c
0
d
0
_
=
_
a +a
0
/ +/
0
c +c
0
d +d
0
_
,
entonces '
2
(Z) es un grupo.
Solucin: Veriquemos que '
2
(Z) cumple con las propiedades de grupo
i) Asociatividad:
Sean
_
a /
c d
_
,
_
a
0
/
0
c
0
d
0
_
,
_
a
00
/
00
c
00
d
00
_
pertenecientes a '
2
(Z). Se tiene sucesivamente:
=
__
a /
c d
_
+
_
a
0
/
0
c
0
d
0
__
+
_
a
00
/
00
c
00
d
00
_
=
_
a +a
0
/ +/
0
c +c
0
d +d
0
_
+
_
a
00
/
00
c
00
d
00
_
, por denicin de +
=
_
(a +a
0
) +a
00
(/ +/
0
) +/
00
(c +c
0
) +c
00
(d +d
0
) +d
00
_
=
_
a + (a
0
+a
00
/ + (/
0
+/
00
c + (c
0
+c
00
d + (d
0
+d
00
_
, asociatividad en Z
=
_
a /
c d
_
+
_
a
0
+a
00
/
0
+/
00
c
0
+c
00
d
0
+d
00
_
=
_
a /
c d
_
+
__
a
0
/
0
c
0
d
0
_
+
_
a
00
/
00
c
00
d
00
__
ii) Existencia del neutro:
Existe
_
0 0
0 0
_
'
2
(Z) tal que para todo
_
a /
c d
_
'
2
(Z) se tiene
_
0 0
0 0
_
+
_
a /
c d
_
=
_
a /
c d
_
+
_
0 0
0 0
_
=
_
a /
c d
_
iii) Existencia de elementos inversos:
Para todo
_
a /
c d
_
'
2
(Z) existe
_
a /
c d
_
'
2
(Z) tal que
_
a /
c d
_
+
_
a /
c d
_
=
_
a /
c d
_
+
_
a /
c d
_
=
_
0 0
0 0
_
Observacin: Muchas veces se pretende demostrar que un conjunto es grupo mostrando que 2 3
elementos particulares, tomados al azar, satisfacen las propiedades de clausura, asociatividad, existencia
de elemento neutro y existencia de elemento inverso. Tal accin no demuestra que un conjunto es grupo;
tampoco ser una demostracin vlida si se toma un montn de elementos del conjunto. La nica
forma de demostrar esto es tomndolos todos, vericando que todos en conjunto cumplen las propiedades
de clausura, asociatividad, existencia de elemento neutro y existencia de elementos inversos (Note los
cuanticadores usados en las propiedades).
En el caso que se quiera probar que un conjunto no es grupo, basta demostrar que existe al menos
alguna propiedad que no se cumpla. Segn la regla indica la negacin de la proposicin:
Todos los elementos de G cumplen todas las propiedades
es:
Existe al menos un elemento de G que no cumple alguna propiedad
Por eso es que cuando se quiere probar que un conjunto G es un grupo se toman unos elementos de G
genricos que representan a cualesquiera de los elementos de G.
Ejemplo 2 Sea
1 =
__
a 1
/ 0
_
: a, / Z
_
con la suma (+) denida en el ejemplo 1. Entonces (1, +) no es un grupo, puesto que no se verica la
propiedad de clausura. En efecto;
_
1 1
1 0
_
1 y
_
2 1
0 0
_
1
pero
_
1 1
1 0
_
+
_
2 1
0 0
_
=
_
3 2
1 0
_
, 1
ya que la entrada superior derecha de la matriz resultante no es 1, condicin necesaria para estar en el
conjunto 1.
Ejemplo 3 Sea C = (r, j) : r Z, j N y sea + la operacin denida por
(r
1
, j
1
) + (r
2
, j
2
) = (r
1
r
2
, j
1
+j
2
)
Entonces (C, +) no es grupo. En efecto; (1, 2), (3, 5), (1, 4) C
((1, 2) + (3, 5)) + (1, 4) = (1 3, 2 + 5) + (1, 4)
= (1, 11)
Por otra parte
(1, 2) + ((3, 5) + (1, 4)) = (1, 2) + (3 (1), 5 + 4)
= (3, 11)
Como (1, 11) ,= (3, 11), entonces no se cumple la propiedad asociativa.
Ejemplo 4 Sea
Q =
_
a
/
: a Z, / Z 0
_
,
llamado el conjunto de los Nmeros Racionales.
Considere las operaciones suma y producto denidas por:
a
/
+
c
d
=
ad +/c
/d
a
/

c
d
=
ac
/d
Note que
ad+bc
bd
Q y
ac
bd
Q, puesto que, ad + /c Z, ac Z y /d Z 0. (Q, +) es grupo y
(Q 0, ) es grupo. Se deja como ejercicio la vericacin de las respectivas propiedades.
Ejemplo 5 : Sean G = (r, j) : r Q , j Z y + la operacin denida por:
(r, j) + (r
0
, j
0
) = (rr
0
, j +j
0
)
Determinemos si las siguientes armaciones son verdaderas o falsas.
a) El elemento neutro de G es (0, 0).
b) Existe un elemento neutro para G.
c) El inverso de (1, 4) es (0, 4).
d) (G, +) es un grupo.
e) G cumple la conmutatividad.
Solucin:
a) Falso, existe (2, 3) G, tal que
(2, 3) + (0, 0) = (0, 3) ,= (2, 3)
b) Verdadero, porque existe el elemento (1, 0) G tal que para todo (r, j) G;
(r, j) + (1, 0) = (1, 0) + (r, j) = (r, j)
c) Falso;
(1, 4) + (0, 4) = (0, 0) ,= (1, 0)
d) Falso, porque existe (0, 0) G tal que para todo (r, j) G;
(0, 0) + (r, j) = (0, j) ,= (1, 0)
es decir, (0, 0) no tiene inverso.
e) Verdadero, pues para todo (r, j), (r
0
, j
0
) G;
(r, j) + (r
0
, j
0
) = (rr
0
, j +j
0
)
= (r
0
r, j
0
+j)
= (r
0
, j
0
) + (r, j)
luego
(r, j) + (r
0
, j
0
) = (r
0
, j
0
) + (r, j)
1.2.2 Axiomas de R como Cuerpo
Admitiremos la existencia de un conjunto R cuyos elementos se llamarn nmeros reales. En el conjunto
R se tienen las operaciones fundamentales:
La suma o adicin: a +/
El producto o multiplicacin: a /
Considrense los siguientes axiomas
i) 0 R , 1 R , 0 ,= 1
ii) (R , +) es grupo abeliano
iii) ((R 0), ) es grupo abeliano
iv) Distributividad:
\a, /, c R : a(/ +c) = a/ +ac
Se dice que el conjunto R provisto de todos los axiomas dados anteriormente es un Cuerpo y se escribe;
(R, +, ) es un cuerpo.
Los elementos neutros de R son el 0 y el 1 (para la adicin y multiplicacin respectivamente) pero nunca
hemos puesto en duda que estos son los nicos con esta propiedad.
En efecto, por ejemplo 1 es el neutro multiplicativo, segn establece la proposicin siguiente.
Proposicin 1.3 En los nmeros reales tenemos
i) El neutro aditivo es nico
ii) El neutro multiplicativo es nico
iii) El inverso aditivo de un nmero real es nico
iv) El inverso multiplicativo de un nmero real no nulo es nico
Sin duda, para la mayora de nosotros esta ser la primera demostracin de unicidad y siendo ases
bueno hacer notar que muchas veces deberemos probar que algn ente matemtico es nico. Lo usual en
estos casos es usar el mtodo del absurdo que consiste en suponer (en estos problemas) que hay dos
elementos (es decir, que no es nico) que cumplen la propiedad que los dene (por ejemplo ser neutro) y
bajo este supuesto llegar a una frase matemtica que sea falsa.
Demostracin: (i) Supongamos que 0, 0
0
R son dos neutros aditivos distintos (0 ,= 0
0
), es decir, 0 y
0 cumplen
\a R a = 0 +a = a + 0 (1.1)
\/ R / + 0
0
= 0
0
+/ = / (1.2)
Como 0
0
R, en particular se puede tomar a = 0
0
en 1.1, astenemos que
0
0
= 0 + 0
0
= 0
0
+ 0 (1.3)
Anlogamente considerando / = 0 en 1.2 se tiene
0 + 0
0
= 0
0
+ 0 = 0 (1.4)
Conectando las cadenas 1.3 y 1.4 se tiene que
0
0
= 0 + 0
0
= 0
0
+ 0 = 0
es decir,
0
0
= 0
lo que hace una contradiccin con 0 ,= 0
0
Se dejan como ejercicio para el lector las demostraciones de las partes (ii), (iii) y (iv) de la proposicin.
Observacin: Es importante aclarar que el mtodo del absurdo es muy til para demostrar proposiciones
del tipo
j = (1.5)
El mtodo consiste en suponer que se cumple la negacin de 1.5
~ (j = ),
es decir, suponer que se verica
j. ~ (1.6)
y a partir de ella obtener una contradiccin, la que nos permite armar que 1.6 es falso, y por lo tanto
que la proposicin 1.5 es verdadera.
Como ejemplo, probemos una propiedad que nos ser til ms adelante.
Ejemplo 6
Si j
2
es par, entonces j es par. (1.7)
Observe que la proposicin en 1.7 es del tipo r = : donde
2
r =: j
2
es par y la proposicin : es : =: j
es par.
2
Usaremos el smbolo =:" para indicar que la proposicin a la izquierda de l est denida por la expresin a su derecha.
Aqu r =: p
2
es par signica que la proposicin r se dene como la proposicin p
2
es par.
Demostracin: Supongamos lo contrario, es decir, j
2
es par y j no es par. Como j no es par j debe ser
impar; luego existe / Z tal que
j = 2/ + 1
pero
j
2
= (2/ + 1)(2/ + 1)
= (2/ + 1)2/ + (2/ + 1) 1
= 4/
2
+ 2/ + 2/ + 1
= 4/
2
+ 4/ + 1
= 2(2/
2
+ 2/) + 1
luego j
2
= 2/
0
+1 con /
0
= 2/
2
+2/ Z de donde j
2
es impar; lo que contradice el supuesto que j
2
es par.
En consecuencia
Si j
2
es par, entonces j es par
Ejemplo 7
Notacin:
a
1
indica el inverso multiplicativo del nmero real no nulo a.
Con los axiomas de cuerpo demostraremos algunas propiedades bsicas de R.
Proposicin 1.4 Sean a, / R , entonces
i) (a +/) = (a) + (/)
ii) (a) = a
iii) (a/)
1
= a
1
/
1
, a ,= 0, / ,= 0
iv) (a
1
)
1
= a, a ,= 0
v) / 0 = 0
vi) (a/) = (a)/ = a(/)
vii) (a)(/) = a/
Demostracin: i) Como a y / son nmeros reales, a + / tambin es un nmero real. As, por axioma,
este ltimo tiene su inverso aditivo que es (a +/), por lo tanto
(a +/) + ((a +/)) = 0
Por otra parte, por conmutatividad, asociatividad, axioma del inverso y axioma del neutro tenemos que
(a +/) + (a) + (/) = (a + (a)) + (/ + (/))
= 0 + 0
= 0
Por lo tanto
(a +/) + (a) + (/) = 0
esta ltima igualdad nos dice que tambin (a) + (/) es inverso de (a +/). De esta forma, por unicidad
del inverso aditivo, se tiene que
(a +/) = (a) + (/)
ii) Por axioma del inverso aditivo existe (a) R y (a) R y notemos que
(a) +a = a + (a) = 0
y
((a)) + (a) = (a) + ((a)) = 0
igualdades que nos dicen que tanto a como (a) son inversos aditivos de (a); en consecuencia, por
unicidad del inverso aditivo
a = (a)
Anlogamente se demuestran (iii) y (iv) cambiando suma por multiplicacin y naturalmente cambiando
la notacin de inverso aditivo a inverso multiplicativo.
v) Puesto que por axioma del neutro aditivo
0 = 0 + 0
entonces tenemos por distributividad
/ 0 = / (0 + 0) = / 0 +/ 0
luego
/ 0 = / 0 +/ 0
Sumando a ambos miembros de la ecuacin ?? el inverso aditivo del nmero real /0, asociando debidamente,
y por la propiedad del neutro e inverso aditivo se tiene que
/ 0 + ((/ 0)) = / 0 +/ 0 + ((/ 0))
0 = / 0 + (/ 0 + ((/ 0)))
0 = / 0 + 0
0 = / 0
luego
/ 0 = 0
vi) La demostracin consiste en probar que (a/) y (a)/ son inversos aditivos del mismo nmero:
Claramente podemos ver que (a/) es el inverso de (a/) luego
a/ + ((a/)) = 0
Por otro lado por la propiedad de distributividad, axioma del inverso aditivo y por ?? tenemos que
a/ + (a)/ = (a + (a))/
= 0 /
= 0
luego
a/ + (a)/ = 0
igualdad que nos dice que (a)/ tambin es inverso de a/, as, por unicidad del inverso de a/ se tiene que
(a/) = (a)/
Adems, por conmutatividad, ?? se tiene que
(a/) = (/a)
= (/)a
= a(/)
por lo tanto
(a/) = a(/)
que es la otra igualdad que queramos probar.
vii) Consideremos
(a)(/) = (a(/)) usando vi)
= ((a/)) usando vi)
= a/ usando ii)
luego
(a)(/) = a/
lo que prueba nalmente la proposicin.
Corolario 1.5
i) (1)(1) = 1
ii) (/) = (1/) = (1)/
Demostracin: Tomando a = 1 y / = 1 en vii) se tiene que
(1)(1) = 1
y tomando a = 1 en vi) se tiene
(/) = (1/) = (1)/
Notaciones:
Sean a, / R , entonces escribiremos
a + (/) = : a /
a
1
=
1
a
, a ,= 0
a/
1
=
a
/
, / ,= 0 (1.8)
Ejemplo 8 Cuando anotamos
1
r
2
4
estamos hablando del inverso multiplicativo de r
2
4. De esta forma,
1
x
2
4
sera un nmero real si y slo
si r
2
4 ,= 0; es decir, si r ,= 2 y r ,= 2, asla igualdad
1
r
2
4
= (r
2
4)
1
est denida en R si y slo si r R 2, 2(en otro caso ambas expresiones carecen de sentido).
Observacin: Si a, / R 0, entonces;
_
a
/
_
1
=
/
a
en efecto, usando la proposicin 1.4 y la notacin anterior;
_
a
/
_
1
= (a/
1
)
1
= a
1
(/
1
)
1
= a
1
/ = /a
1
=
/
a
Muchas entre las observaciones anteriores y las que vendrn, son familiares al lector, ms an, ya las
ha utilizado; pero lo que debemos notar es que son proposiciones que se pueden demostrar y que todas
provienen de los axiomas de cuerpo que cumple R.
Ejemplo 9 Sean a, c R, /, d R 0
Demostraremos que se tiene las siguientes igualdades
a
/
+
c
d
=
ad +/c
/d
(1.9)
_
a
/
__
c
d
_
=
ac
/d
(1.10)
Usando la notacin, proposicin 1.4 y los axiomas de R se tiene que
ad+bc
bd
= (ad +/c)(/d)
1
notacin
= ad(/d)
1
+/c(/d)
1
distributividad
= ad/
1
d
1
+/c/
1
d
1
1.4iii)
= a(dd
1
)/
1
+ (//
1
)cd
1
conmutatividad y asociatividad
= a1/
1
+ 1cd
1
propiedad inversos
= a/
1
+cd
1
propiedad neutro
=
a
b
+
c
d
notacin
Adems: _
a
/
__
c
d
_
= (a/
1
)(cd
1
) = ac/
1
d
1
= ac(/d)
1
=
ac
/d
Las propiedades anteriores tienen la ventaja de que nos permiten trabajar con expresiones ms simpli-
cadas
Subconjuntos Notables
Algunos subconjuntos notables de R que mencionamos al principio del captulo son
El conjunto de los nmeros Naturales.
N = 1, 2, 3, 4, 5, . . .
El conjunto de los nmeros Enteros.
Z = . . . , 3, 2, 1, 0, 1, 2, 3, 4, . . .
El conjunto de los nmeros Racionales.
Q =
_
a
/
: a Z . / Z 0
_
Otros conjuntos notables son
N
0
= N ' 0 = Z
+
0
Z
= : : : N
I = R Q
este ltimo llamado el conjunto de los nmeros Irracionales.
Naturalmente se tiene la siguiente cadena de desigualdades
N N
0
= Z
+
0
Z Q R
y adems
3
Q
_
'I = R
Notemos que los siguientes nmeros reales
1, 324, 0, 3,
1, 2
0, 36
3
_ [ indica unin disjunta.
son nmeros racionales, pues ellos se pueden expresar de la forma
a
/
, para algn a Z, / Z 0
Por ejemplo
1, 324 =
1324
1000
, 0, 3 =
3
9
1, 2
0, 36
=
12
10
36
100
=
120
36
y simplicando cada una obtenemos expresiones racionales ms simples
1, 324 =
331
250
, 0, 3 =
1
3
,
1;2
0;36
=
10
3
Algunos ejemplos de nmeros irracionales son
,
_
2, c
donde se aproxima al racional 3, 14 y c se aproxima al racional 2, 71. Estas aproximaciones son usadas
para hacer algunos clculos menores ms simples, pero ellos tienen innitos decimales y no son peridicos.
Probaremos ms adelante que
_
2 es un nmero irracional.
Recordemos que el radio de una circunferencia est contenido 2 veces en su circunferencia.
Ahora veamos algunos ejemplos que muestran algunas de las propiedades algebraicas que cumplen los
subconjuntos de R anteriormente mencionados.
Ejemplo 10 Determinemos si son verdaderas o falsas las siguientes armaciones
1. El conjunto de los nmeros irracionales cumple con el axioma de clausura para la suma o el producto
denidos en R
2. (I, +) es un grupo
3. (Z, +, ) es un cuerpo
4. (Q , +, ) es un cuerpo
Solucin:
1. Falso. Los nmeros a =
_
2 y / =
_
2 son irracionales pero
a +/ = 0
que es un nmero racional (0 =
0
1
, por ejemplo); por lo tanto no cumple con la propiedad de clausura
para la suma. Por otra parte si tomamos ahora a = / =
_
2, entonces a/ =
_
2
_
2 = 2 que es un
nmero racional; por lo tanto no se cumple la propiedad de clausura para el producto denido en R.
2. Falso. Por lo anterior es claro que (I, +) no es grupo
3. Falso. Si (Z, +, ) fuera cuerpo, entonces (Z 0, ) sera grupo; pero Z no cumple la propiedad de
inverso multiplicativo.
4. Verdadero. (Q , +) es grupo, (Q 0, ) es grupo y se cumple la propiedad distributiva en Q.
1.2.3 Potencias Enteras
Denicin 1.6 Sea a R , : Z
+
. Se dene la potencia real de base a y exponente : por:
a
n
= a a a a a
. .
n veces
Una denicin ms precisa de potencia es la siguiente
Sea a R . Se dene por recurrencia;
i) a
0
= 1, a ,= 0
ii) a
n+1
= a
n
a, \: N
0
Sea : Z
, a ,= 0. Se dene la potencia real de base a y exponente : por:

a
n
=
1
a
n
=
1
a a a a a
. .
n veces
(1.11)
Ejemplo 11
2
3
= 2 2 2 = 8, 2
3
=
1
2
3
=
1
2 2 2
=
1
8
Teorema 1.7 Sea a, / R 0, : Z , : Z , entonces
i) a
n
a
m
= a
n+m
ii) a
n
/
n
= (a/)
n
iii)
a
m
a
n
= a
mn
iv)
a
n
b
n
=
_
a
b
_
n
v) (a
n
)
m
= a
nm
Todas estas propiedades se prueban usando induccin, tcnica de demostracin que consiste en este
caso en: primero ver que la igualdad se cumple para : = 0; posteriormente, se supone que se cumple la
igualdad para un natural (genrico) / y utilizando esta informacin se muestra que la igualdad es vlida
para el natural siguiente / + 1. Una demostracin tal nos garantiza que las igualdades son slo vlidas en
N
0
pero usando la denicin se puede obtener la propiedad en Z.
Productos Notables
Usando las propiedades de potencias y los axiomas de R se tienen los siguientes productos notables:
1) a
2
/
2
= (a +/)(a /)
2) (a +/)
2
= a
2
+ 2a/ +/
2
3) a
3
+/
3
= (a +/)(a
2
a/ +/
2
)
4) a
3
/
3
= (a /)(a
2
+a/ +/
2
)
5) (a +/)
3
= a
3
+ 3a
2
/ + 3a/
2
+/
3
6) (a /)
3
= a
3
3a
2
/ + 3a/
2
/
3
7) a
m
/
m
= (a /)(a
m1
+a
m2
/ +a
m3
/
2
+ +
a/
m2
+/
m1
) \: Z
+
Ejemplo 12 Sean a, / en R, tales que la expresin siguiente est denida en R:
1 =
a
1
+/
1
c(a/)
1
a
2
+b
2
c
2
a
2
b
2
+ 2a
1
/
1
_
1
1
a+b+c
_
Simplique 1.
Solucin: Procediendo en etapas, tenemos
1 =
a
2
/
2
(a
1
+/
1
c(a/)
1
)
a
2
+/
2
c
2
+ 2a
1
/
1
a
2
/
2
(a +/ +c)
=
(a/
2
+a
2
/ ca/)(a +/ +c)
a
2
+/
2
c
2
+ 2a/
=
a/(/ +a c)(a +/ +c)
(a +/)
2
c
2
=
a/(/ +a c)(a +/ +c)
(a +/ c)(a +/ +c)
= a/
Determine para qu valores de r R la expresin est denida en R, y simplique.
1 =
r
2
2r + 1
(x1)
3
x
2
1
Solucin: La expresin est denida en R si
(r 1)
3
r
2
1
,= 0 . r
2
1 ,= 0
es decir,
(r 1) ,= 0 . r
2
1 ,= 0
Por lo tanto 1 R si r R 1, 1.
Tenemos
1 =
r
2
2r + 1
(x1)
3
x
2
1
r ,= 1 , r ,= 1
=
r
2
2r + 1
(r 1)
3
(r
2
1)
=
1
(r 1)
(r 1)(r + 1)
= r + 1
Note que r + 1 tiene sentido
4
para todo r R , no as1 ya que al menos para 1 y 1 no tiene sentido.
1.2.4 Conjunto restriccin y conjunto solucin de una ecuacin
Llamaremos conjunto restriccin
5
de una expresin que involucra a los trminos 1(r) y Q(r)
6
(por
ejemplo, 1(r) = Q(r)) al conjunto de los r en R para los cuales cada trmino de la expresin est
denida en R.
Llamaremos conjunto solucin de la ecuacin 1(r) = Q(r) al subconjunto o de los r en que
satisfacen la ecuacin, es decir,
o = r R : 1(r) = Q(r)
4
Que x + 1 tenga sentido para todo x en R signica que x + 1 est denido en todo x 2 R, es decir, 8x 2 R; x + 1 2 R.
5
Suele llamrsele dominio de una expresin.
6
P(x) y Q(x) son expresiones tales que al menos una de ellas involucra la variable x.
Tambin escribiremos
o = r R : 1(r) = Q(r)
subentendiendo que r debe estar en .
Observemos que el conjunto solucin siempre debe estar incluido en el conjunto restriccin o .
Por ejemplo, el conjunto r R :
1
x
= r es el conjunto de los reales tales que cumplen la ecuacin
1
x
= r, es decir,
r R :
1
r
= r = 1, 1
Resolver una ecuacin signica encontrar su conjunto solucin.
Resolvamos la ecuacin
r
2
2r + 1
(x1)
3
x
2
1
= 3
Solucin: Por el ejemplo 1.2.3 es claro que el conjunto restriccin es
1
= R 1, 1, Adems
simplicando la expresin izquierda de la igualdad, obtenemos
x
2
2x+1
(x1)
3
x
2
1
= 3
= r + 1 = 3
= r = 2
Por lo tanto el conjunto solucin de la ecuacin es:
o =
_
r R :
r
2
2r + 1
(x1)
3
x
2
1
= 3
_
= 2
1
= 2 (R 1, 1)
= 2
Proposicin 1.8 Sean a, / en R.
i) La ecuacin
r +a = /
tiene por nica solucin el real / a.
ii) Si a ,= 0 la ecuacin
ar = /
tiene como nica solucin el real
b
a
.
La demostracin se dejar como ejercicio para el lector; debe usarse las propiedades de inverso aditivo
y multiplicativo respectivamente.
Ejercicio 13 Determine si las siguientes armaciones son verdaderas o falsas. Justique.
1.
_
r R :
x+3
x+3
= 1
_
= R
2.
_
r R :
(x+3)(x+4)
x+3
= 1
_
= c
3. (\a, / R)(a/ = 1 = (a = 1 . / = 1))
4. (\r, j R)(r
2
= j
2
= r = j)
Solucin:
1. Falso. El conjunto restriccin de la ecuacin
r + 3
r + 3
= 1
es = R 3.
Luego, simplicando la expresin
r + 3
r + 3
= 1
obtenemos que 1 = 1 lo cual es verdadero. Por lo tanto el conjunto solucin de la ecuacin es
o =
_
r :
r + 3
r + 3
= 1
_
= R = R 3
2. Verdadero. El conjunto restriccin de la ecuacin
(r + 3)(r + 4)
r + 3
= 1
es
1
= R 3. Sin embargo al simplicar la expresin
(r + 3)(r + 4)
r + 3
= 1
obtenemos la ecuacin
r + 4 = 1
de donde tenemos que r = 3. Luego el conjunto solucin de la ecuacin es
o =
_
r
1
:
r + 3
r + 3
= 1
_
= 3
1
= 3 (R 3)
= c
3. Falso. Consideremos a = 2,3, / = 3,2 en R
2
3

3
2
= 1 pero
2
3
,= 1 y
3
2
,= 1
4. Falso. Sean r = 2, j = 2
(2)
2
= 2
2
pero 2 ,= 2
1.2.5 Resolucin de problemas de planteo
La importancia de la proposicin 1.8 est en la resolucin de problemas. Por ejemplo, en los siguientes
problemas debemos llevar el enunciado a un planteamiento matemtico que luego se reduce a la resolucin
de una ecuacin en una variable (o a la resolucin de un sistema de ecuaciones).
Ejercicio 14 Una bomba que trabaja sola, llena un estanque en 7 horas, otra lo hara en 8 horas.?En
cunto tiempo se llena el estanque si trabajan ambas bombas a la vez?
Solucin: Sea r el nmero de horas que tarda el estanque en llenarse (si trabajan ambas bombas a la
vez) y sea \ el volumen total del estanque.
Si una bomba llena el estanque en 7 horas (entonces en una hora llenar
1
7
del estanque), luego en r
horas llenar
x
7
del estanque, es decir, llenar
xV
7
(unidades de volumen). La otra bomba llena el estanque
en 8 horas, entonces en r horas llenar
x
8
del estanque, es decir,
xV
8
(unidades de volumen). Como en r
horas, las dos bombas juntas llenan al estanque entonces se tiene
r\
7
+
r\
8
= \
lo que equivale a
r
7
+
r
8
= 1
de donde 15r = 56. Luego, trabajando las dos bombas a la vez, el estanque se llena en 56/15 horas.
Ejercicio 15 Cuatro estudiantes deciden vivir solos en un departamento y repartir en partes iguales el
arriendo mensual. Sin embargo, encuentran que si aumenta en dos el nmero de estudiantes, su cuota
mensual se reduce en $ 5.000. ?Cul es el costo del arriendo?
Solucin: Sea r el costo del arriendo. Si hay cuatro estudiantes entonces la cuota mensual de cada uno
es de
x
4
. Si aumentan en dos, entonces la cuota mensual ser de
x
6
. Dadas las hiptesis del problema se
tiene que
x
4
5.000 =
x
6
= 3r 12 5.000 = 2r
= r = 60.000
Luego el costo del arriendo es de $ 60.000.
Para resolver problemas como los anteriores se requiere: reconocer los datos importantes (y despre-
ciar informacin innecesaria); identicar la o las incgnitas e introducir una o ms variables para
representarlas; plantear y resolver las ecuaciones que relacionan los datos, teniendo en cuenta las restric-
ciones necesarias involucradas en el problema. En algunos casos es necesario aplicar conceptos tales como
porcentaje, razn y proporcin, velocidad (= distancia/tiempo), etc.
Observacin: Recordemos que;
1. j es el por ciento (se escribe %) de r, si y slo si;
j =

100
r
2. La razn de dos nmeros a : / (se lee a es a /) es el cuociente
a
/
(La expresin a : / desea destacar el aspecto de comparacin entre a y /).
Una proporcin es una igualdad entre dos razones, por ejemplo;
2 : 3 = 6 : 9
que se lee 2 es a 3 como 6 es a 9
3. Se dice que a es directamente proporcional a / si y slo si existe una constante tal que
a = /
Se dice que a es inversamante proporcional a / si existe una constante tal que
a =
1
/
En ambos casos se llama factor de proporcionalidad y generalmente se tiene 0.
4. Daremos el volumen y rea de algunos cuerpos geomtricos que utilizaremos
1. (a) Paraleleppedo de aristas r, j, ..
Volumen: \ = rj.
Area: = 2rj + 2r. + 2j.
(b) Cilindro de radio r y altura /.
Volumen: \ = r
2
/
Area: = 2r
2
+ 2r/
(c) Cono recto de radio basal r y altura /.
Volumen: \ =
1
3
r
2
/
Area: = r
_
r
2
+/
2
(d) Esfera de radio r.
Volumen: \ =
4
3
r
3
Area: = 4r
2
Ejercicio 16 Si el radio del cilindro disminuye en un 10% mientras que su altura aumenta en un 12% en
qu tanto porciento varan
a) El volumen del cilindro
b) El are lateral del cilindro
Solucin: Sea r : radio inicial del cilindro, / : altura inicial del cilindro
a) Si el radio disminuye en un 10% entonces el nuevo radio r
n
ser
r
n
= r (0, 1)r = 0, 9r
Si la altura aumenta en un 12% entonces la nueva altura /
n
ser
/
n
= / + 0, 12/ = 1, 12/
luego el nuevo volumen ser \
n
\
n
= r
n
2
/
n
= (0, 9r)
2
(1, 12/) = 0, 9072r
2
/ = r
2
/ 0, 0928r
2
/
esto es, el volumen disminuye en 0, 0928r
2
/ unidades; es decir, disminuye en 9, 28%
b) El rea del cilindro ser
n
= 2r
n
/
n
= 2(0, 9r)(1, 12/) = 1, 008 2r/ = 2r/ + 0, 008 2r/
luego el rea lateral aumenta en 0, 8%.
Ejercicio 17 En una prueba de matemticas, el 12% de los estudiantes de una clase no resolvi un prob-
lema, el 32% lo resolvi con algunos errores y los 14 estudiantes restantes obtuvieron la solucin correcta.
Cuntos estudiantes haba en la clase?
Solucin: Sea r el nmero de estudiantes, entonces
12
100
r no resolvieron el problema
32
100
r resolvieron con algunos errores el problema
14 : resolvieron el problema correctamente
Luego tenemos la siguiente ecuacin
12
100
r +
32
100
r + 14 = r
de donde
56r = 1400,
es decir,
r =
1400
56
= 25
luego haba 25 estudiantes en la clase.
Ejercicio 18 Una tienda de antigedades compr dos muebles en $ 225.000 y despus los vendi y obtuvo
un benecio del 40%. Cunto pag por cada mueble si el primero dej un benecio del 25% y el segundo
un benecio del 50%?
Solucin: Sea r pesos (en miles) lo que le ha costado el primer mueble entonces el segundo lo compr en
(225 r) mil pesos
El primero dio un benecio del 25%, luego se vendi en
(r + 0, 25r) mil pesos,
es decir, 1, 25r mil pesos.
El segundo dio un benecio del 50%, luego se vendi en
1, 50(225 r) mil pesos
Por hiptesis, la tienda compr los dos muebles en 225 mil pesos y obtuvo un benecio total del 40%,
luego los dos muebles se vendieron en
1, 40 225 = 315 mil pesos.
As, obtenemos la ecuacin
1, 25r + 1, 50(225 r) = 315
de donde
0, 25r = 22, 5
luego
r = 90
El primer mueble se vendi en $ 90.000 y el segundo en $ 135.000.
Observacin: El tanto por ciento de benecio se calcula en relacin con el precio de costo (tomado como
100%).
Ejercicio 19 Los dimetros de dos cilindros son entre scomo 3 : 4 y sus alturas como 5 : 6. ?Qu tanto
por ciento del volumen del mayor de ellos es el volumen del menor?
Solucin: Sean d
1
, d
2
los dimetros de los cilindros y /
1
, /
2
sus respectivas alturas. Por hiptesis del
problema tenemos las siguientes relaciones;
d
1
d
2
=
3
4
,
/
1
/
2
=
5
6
(1.12)
Adems la frmula del volumen de un cilindro es
\ = r
2
/
donde r es el radio del cilindro y h la altura; adems
d = 2r
donde d es el dimetro del cilindro.
Con todo lo anterior tenemos que
\ =

4
d
2
/
y para cada cilindro
\
1
=

4
d
2
1
/
1
\
2
=

4
d
2
2
/
2
Pero de 1.12 tenemos
d
1
=
3
4
d
2
y /
1
=
5
6
/
2
luego
\
1
=

4

9
16
d
2
2
5
6
/
2
=
45
96

4
d
2
2
/
2
=
45
96
\
2
as,
\
1
=
45
96
\
2
Luego \
1
es el 46, 875% de \
2
.
Una propiedad que nos ser muy til en la resolucin de ecuaciones es la siguiente.
Proposicin 1.9 Sean a, / R
a/ = 0 == a = 0 . / = 0 (1.13)
Demostracin: (=)
7
Supongamos a ,= 0; entonces existe a
1
R tal que
a/ = 0 = a
1
a/ = a
1
0
= 1 / = 0
= / = 0
( = ) Es claro que si a = 0 . / = 0 entonces a/ = 0; luego
(\a, / R)(a/ = 0 = a = 0 . / = 0)
Observemos que la propiedad anterior no es vlida en cualquier conjunto con operaciones de suma y
multiplicacin. Por ejemplo, consideremos el conjunto de matrices
'
2
(R) =
__
a /
c d
_
: a, /, c, d R
_
bajo la operacin de producto denida por
_
a /
c d
__
a
0
/
0
c
0
d
0
_
=
_
aa
0
+/c
0
a/
0
+/d
0
ca
0
+dc
0
c/
0
+dd
0
_
Sean
=
_
1 0
0 0
_
y 1 =
_
0 0
0 1
_
Es claro que
1 =
_
0 0
0 0
_
7
Por equivalencia lgica esta implicancia en 1.13 se puede escribir (p ) q _ s), que es equivalente (p^ q ) s) y esto
ltimo es lo que usaremos en esta parte de la demostracin.
pero ,= 0 y 1 ,= 0. Lo que sse cumple es que
= 0 . 1 = 0 = 1 = 0
La propiedad 1.13 nos permite resolver algunas ecuaciones. Por ejemplo resolvamos en R la siguiente
ecuacin
(r + 1)(r 1) = 0
Es claro que
(r + 1)(r 1) = 0 = (r 1 = 0) . (r + 1 = 0)
de donde el conjunto solucin o es
o = r R : (r + 1)(r 1) = 0 = 1, 1
Anlogamente se puede resolver el siguiente problema
Ejemplo 20 La solucin de la ecuacin
r
2
= 25
es 5, 5
Solucin:
En efecto;
r
2
= 25 = r
2
25 = 0
= (r 5)(r + 5) = 0
= r 5 = 0 . r + 5 = 0
= r = 5 . r = 5
Ejercicio 21 Dos personas salen simultneamente de dos ciudades y 1 y van una en direccin de la
otra. La primera persona camina 2 km/hr ms de prisa que la segunda y llega a 1 una hora antes que la
segunda llegue a . Si y 1 distan 24 km Cuntos kilmetros recorre cada una de las personas en una
hora? (Ayuda: velocidad=distancia/tiempo).
Solucin: Sea km/hr la velocidad de la primera persona 1
A
, entonces la velocidad de la segunda
persona 1
B
ser de ( 2) km/hr
La persona 1
A
tardar t
1
=
24
v
horas y 1
B
tardar t
2
=
24
v2
horas
Como 1
B
llega una hora ms tarde que 1
A
, entonces;
t
2
= t
1
+ 1 =
24
v2

24
v
= 1
= 24 24( 2) = ( 2)
=
2
2 48 = 0
= ( 8)( + 6) = 0
= = 8 . = 6
Pero 0, as, = 8 km/hr. Luego la distancia que recorre 1
A
en una hora es de
d
1
= 1 = 8 km
y 1
B
recorre
d
2
= ( 2) 1 = 6 km
Ejercicio 22 Un tren rpido fue obligado a detenerse 16 minutos en un disco rojo. Para recuperar este
tiempo, viaj en un tramo de 80 kilmetros 10km/hr ms rpido que lo normal. ?Cul es la velocidad
normal del tren?
Solucin: Sea km/hr la velocidad prevista por el tren (donde 0). La velocidad real fue de
( + 10) km/hr
El tiempo previsto era de
t
1
=
80
hr
pero realmente fue
t
2
=
80
+ 10
hr
Por hiptesis tenemos que
t
1
t
2
=
16
60
,
es decir,
80
v

80
v+10
=
16
60
= ( + 10)80 80 =
4
15
( + 10)
=
2
+ 10 3.000 = 0
= ( 50)( + 60) = 0
= = 50 . = 60
pero 0 luego
= 50
y la velocidad normal del tren fue de 50 km/hr.
En los ejemplos anteriores hemos resuelto ecuaciones en una variable. Con frecuencia, es necesario
resolver dos o ms ecuaciones simultneamente en dos o ms variables, es decir, sistemas de ecuaciones.
Ejemplo 23 Resolvamos el siguiente sistema de ecuaciones
r 3j = 2
5r +j = 2
Solucin: Multiplicando por 3 la segunda ecuacin y sumndosela a la primera se obtiene la ecuacin
16r = 4
de donde r =
1
4
. Sustituyendo este valor en cualquiera de las dos ecuaciones se obtiene j =
3
4
.
Luego la solucin del sistema es
r =
1
4
, j =
3
4
o el punto (r, j) = (1,4, 3,4)
La interpretacin geomtrica de esta solucin es el punto de interseccin de las rectas cuyas ecuaciones
son r 3j = 2 y 5r +j = 2 como se muestra en la siguiente gura
Ejercicio 24 Un cierto nmero de estudiantes deben acomodarse en una residencial. Si se ubicaran dos
estudiantes por habitacin entonces quedaran 2 estudiantes sin pieza. Si se ubicaran 3 estudiantes por
habitacin entonces sobraran 2 piezas. Cuntas habitaciones disponibles hay en la residencial y cuntos
estudiantes deben acomodarse en ella?
Solucin: Sean r : nmero de estudiantes j : nmero de habitaciones, entonces podemos representar el
problema mediante las ecuaciones
r 2j = 2
r 3(j 2) = 0
despejando r de la primera ecuacin y reemplzandole en la segunda,
j = 8 r = 18
Por lo tanto hay 8 habitaciones y 18 estudiantes.
Ejercicio 25 Una chapa rectangular de estao de permetro 96 cm se usa para hacer una caja sin tapa.
Para ello se recorta un cuadrado de 4 cm de lado en cada esquina y se unen los bordes, (ver gura anterior).
Cules son las dimensiones de la chapa si el volumen de la caja es de 768? cm
3
.
Solucin: Sean r =: longitud de la chapa en centmetros j =: ancho de la chapa en centmetros, entonces
la caja tiene las dimensiones siguientes (ver gura vergura anterior):
longitud : (r 8) cm
ancho : (j 8) cm
altura : 4 cm
Por hiptesis, volumen y permetro son;
4(r 8)(j 8) = 768
2r + 2j = 96
lo que equivale a
(r 8)(j 8) = 192
r +j = 48
Despejando j en la segunda ecuacin y reemplazando en la primera obtenemos
r
2
48r + 512 = 0
es decir
(r 32)(r 16) = 0
de donde
r = 32 . r = 16
note que si r = 32, entonces j = 16 y si r = 16, entonces j = 32.
Como r es la longitud; las dimensiones de la chapa son 32 cm 16 cm.
Ejercicio 26 Un obrero hace un cierto nmero de piezas idnticas en un tiempo determinado. Si hubiera
hecho 10 piezas ms cada da, habra terminado el trabajo completo en 4
1
2
das antes de lo previsto, y si
hubiese hecho 5 piezas menos cada da habra tardado 3 das ms de lo previsto. Cuntas piezas hizo y
en cunto tiempo?
Solucin: Supongamos que el obrero hace r piezas en j das. Entonces produce
x
y
piezas por da, por
hiptesis, si hubiera realizado
x
y
+ 10 piezas , habra completado el trabajo en j 4
1
2
das. Luego como
4
1
2
=
9
2
tenemos
_
r
j
+ 10
__
j
9
2
_
= r
La otra condicin de la ecuacin es
_
r
j
5
_
(j + 3) = r.
As, obtenemos el siguiente sistema
10j
9
2
x
y
= 45
5j + 3
x
y
= 15
de donde
r
j
= 50
luego, j = 27 r = 1.350.
Ejercicio 27 Dos obreros tienen que hacer un trabajo consistente en mecanizar un lote de piezas idnticas.
Despus que el primero ha trabajado durante 7 horas y el segundo durante 4 horas, han completado
5
9
del
total del trabajo. Si siguieran trabajando los dos a la vez durante 4 horas ms, les quedara por hacer
1
18
del trabajo. Cunto tardara cada uno en hacer el trabajo completo?
Solucin: Supongamos que el primer operario, trabajando solo, es capaz de completar el trabajo en r
horas, y el segundo en j horas. Entonces en una hora el primero hace
1
x
del trabajo completo y el segundo
1
y
. Por hiptesis
7
1
r
+ 4
1
j
=
5
9
Como despus trabajan juntos otras 4 horas, harn
4
x
+
4
y
del trabajo, que es igual a
1
_
5
9
+
1
18
_
=
7
18
por lo tanto tenemos la ecuacin
4
r
+
4
j
=
7
18
Restndola de la primera, obtenemos
3
r
=
3
18
de donde r = 18. Entonces
1
j
=
1
24
e j = 24
Luego el primero tarda 18 horas y el segundo 24 horas en hacer el trabajo completo.
Ejercicio 28 Se ha de transportar 690 toneladas de mercancas desde un muelle a una estacin de fer-
rocarril mediante 5 camiones de 3 toneladas y 10 camiones de una tonelada y media. En pocas horas,
los camiones han transportado 25/46 de las mercancas. Para completar el transporte a tiempo, se ha de
llevar las mercancas restantes en un lapso 2 horas menor que el ya transcurrido. Se complet el trans-
porte gracias a que los conductores de los camiones comenzaron a hacer un viaje por hora ms que antes.
Determine cuntas horas tardaron en transportar todas las mercancas y tambin el nmero de viajes por
hora que se haca al principio sabiendo que los camiones de una y media tonelada hacen un viaje ms por
hora que los camiones de 3 toneladas
8
.
Solucin: Supongamos que la primera parte de las mercancas, que asciende a
25
46
690 = 375 toneladas
8
Se debe suponer que todos los camiones iban completamente cargados en cada viaje.
se transporta en r horas haciendo cada camin de 3 toneladas j viajes por hora. Entonces cada camin de
una y media tonelada har j + 1 viajes por hora. Por hiptesis, la parte restante de mercancas (es decir,
690-375=315 toneladas) se transport en r 2 horas, haciendo los camiones de 3 toneladas j + 1 viajes
por hora y los camiones de una y media toneladas (j + 1) + 1 = j + 2 viajes por hora. Obtenemos asel
siguiente sistema de ecuaciones
5 3rj + 10
3
2
r(j + 1) = 375
5 3(r 2)(j + 1) + 10
3
2
(r 2)(j + 2) = 315
Simplicando tenemos
2rj +r = 25
2rj + 3r 4j = 27
de donde
2r 4j = 2
luego 2j = r 1. Sustituyendo en la primera ecuacin obtenemos r
2
= 25, es decir
9
, r = 5. La primera
parte de las mercancas se transport en 5 horas y la segunda parte en 5 2 = 3 horas.
Nota:
Todas las mercancas se transportaron en 8 horas; al principio, los camiones de tres toneladas hacan 2
viajes por hora y los de una y media toneladas, 3 viajes por hora.
Ejercicio 29 Una industria tiene un encargo de 810 artculos y otra de 900 artculos en el mismo periodo
de tiempo. La primera ha completado el pedido 3 das antes del plazo previsto y la segundos 6 das antes.
?Cuntas artculos produce al da cada industria, sabiendo que la segunda produce por da 4 artculos
ms que la primera?
Solucin: Sea r la produccin de artculos diaria de la primera industria, entonces la segunda produce
r+4 articulos por da. La primera ha completado su pedido en
810
x
das, luego el tiempo dado para cumplir
el pedido ha sido
810
x
+ 3 das. Anlogamente tenemos que
900
x+4
+ 6 es el tiempo asignado a la segunda
industria, pero el tiempo asignado a ambas las industrias es el mismo, luego
810
r
+ 3 =
900
r + 4
+ 6
de donde r = 20. Es decir, la primera industria produce 20 articulos y la segunda 24 articulos por da.
Ejercicio 30 Hallar un nmero de dos cifras sabiendo que el nmero de unidades excede en cuatro al
nmero de la decenas y que el producto del nmero deseado por la suma de sus digitos es igual a 576.
Observacin: Si un nmero a tiene n digitos a
0
, a
1
, a
2
, a
n1
, ordenados de izquierda a derecha
entonces
a = a
n1
10
n1
+ +a
1
10 +a
0
Solucin: Sea r el digito de la unidades, j el digito de la decenas entonces por hiptesis se tiene la
ecuacin
r = j + 4 (1.14)
adems el nmero deseado es 10j +r luego
(10j +r)(r +j) = 576 (1.15)
Por 1.14 y 1.15
(11j + 4)(2j + 4) = 576
== 11(j 4)(j +
70
11
) = 0
== j = 4 . j =
70
11
pero j 0, luego j = 4. Por lo tanto el nmero buscado es 48.
9
De x
2
= 25 se obtiene x = 5 o x = 5 pero x indica horas luego x debe ser positivo.
1.3 Axiomas de Orden
A continuacin daremos un conjunto de axiomas que forma parte de la caracterizacin de los nmeros
reales. Estos axiomas nos permiten ordenar los nmeros reales (y an poder gracar este orden en una
recta).
Admitimos la existencia de un subconjunto de R que denotamos por R
+
, cuyos elementos se llaman
nmeros reales positivos y que se caracterizan por los axiomas:
Axioma i) Clausura de la suma
Si a, / R
+
, entonces a +/ R
+
Axioma ii) Clausura del producto
Si a, / R
+
, entonces a/ R
+
Axioma iii) Tricotoma
Para cada nmero real slo una de las siguientes proposiciones es verdadera
a R
+
, a = 0, a R
+
En base a los axiomas anteriores demostraremos las siguientes propiedades:
Proposicin 1.10 El conjunto de los nmeros reales cumple
i) a R 0 = a
2
R
+
ii) a R
+
= a
1
R
+
iii) a / R
+
. / c R
+
= a c R
+
iv) / a R
+
= (/ +c) (a +c) R
+
v) / a R
+
. c R
+
= /c ac R
+
vi) / a R
+
. c R
+
= ac /c R
+
Demostracin:
i) Si a R 0 entonces por Axioma iii)
a R
+
. a R
+
Si a R
+
entonces por Axioma ii) a a R
+
, es decir,
a R
+
= a
2
R
+
Si a R
+
entonces por Axioma ii) (a) (a) R
+
pero por proposicin 1.4 vii, (a)
2
= a
2
,
luego a
2
R
+
. Notemos que en particular si a = 1, entonces 1
2
= 1 R
+
ii) Demostraremos esta propiedad por el mtodo del absurdo.
Sea a R
+
. Supongamos que a
1
, R
+
, entonces por Axioma iii)
a
1
= 0 . (a
1
) R
+
Supongamos que a
1
= 0 entonces a a
1
= 0 pero por propiedad de inverso a a
1
= 1; esto es una
contradiccin y por lo tanto a
1
,= 0.
Supongamos que (a
1
) R
+
. Como a R
+
tenemos que por Axioma ii) que (a
1
) a = 1 R
+
que es tambin una contradiccin pues 1 R
+
. Como en ambos casos obtenemos una contradiccin,
no se puede dar ninguna de las dos posibilidades, por lo tanto, a
1
R
+
; as, se tiene que el inverso
multiplicativo de un nmero positivo es tambin un nmero positivo.
1.3. AXIOMAS DE ORDEN 27
iii)
a / R
+
. / c R
+
= (a /) + (/ c) R
+
por Axioma i)
= a + (/ +/) c R
+
asociatividad
= a + 0 c R
+
inverso aditivo
= a c R
+
neutro aditivo
iv)
/ a R
+
= / a + 0 R
+
neutro aditivo
= / a +c c R
+
inverso aditivo
= (/ +c) + (a c) R
+
asociatividad conmutatividad
= (/ +c) (a +c) R
+
distributividad
v)
/ a R
+
. c R
+
= (/ a)c R
+
por Axioma ii)
= /c ac R
+
distributividad
vi)
/ a R
+
. c R
+
= (/ a)(c) R
+
por Axioma ii)
= (/c) (ac) R
+
distributividad
= ac /c R
+
Se dene el conjunto de los nmeros reales negativos como
R
= a R : a R
+
Notemos que R
,= O pues 1 R
dado que 1 R
+
. Anlogamente se dene el conjunto de los nmeros
reales no negativos como
R
+
0
= R
+
' 0
Nota: Por Axioma iii) se tiene la siguiente igualdad donde los conjuntos son disjuntos dos a dos
R = R
+
' 0 ' R
Denicin 1.11 Diremos que a es mayor que / / es menor que a si y slo si

a / R
+
(1.16)
y escribiremos esto indistintamente como
a / o como / < a.
Diremos que a es mayor o igual que / si a es mayor que / o a es igual a /, es decir
a / . a = /
Escribiremos esto indistintamente como
a _ / o / _ a.
As, se tiene
a _ / == a / . a = /
Anlogamente, diremos que a es menor o igual que / si a es menor que / o a igual que /. Escribiremos
indistintamente en este caso
a _ / o / _ a
o equivalentemente
a _ / = a < / . a = /
Con la notacin anterior tenemos que:
a R
+
= a 0
a R
= a < 0
y las propiedades demostradas anteriormente se pueden escribir de la siguiente forma
Corolario 1.12 Sean a, /, c R
i) a R 0 = a
2
0.
ii) a 0 = a
1
0
iii) a / . / c = a c
iv) / a = / +c a +c
v) / a . c 0 = /c ac
vi) / a . c < 0 = /c < ac
Notacin:
a _ / _ c = a _ / . / _ c
Los Intervalos de R:
Sean a, / R. con
10
a _ / Se denen
[a, /[ = r R : a _ r < /
]a, /] = r R : a < r _ /
]a, /[ = r R : a < r < /
[a, /] = r R : a _ r _ /
], a] = r R : r _ a
], a[ = r R : r < a
[a, [ = r R : r _ a
]a, [ = r R : r a
Nota: La denicin dada no admite intervalos del tipo [a, /[ con a / (en tal caso se trataria de un
conjunto vaco).
Ejemplo 31
[, 0[ = r R : r < 0
]1, [ = r R : r 1
], 0[ ' ]1, [ = r R : r < 0 . r 1
]0, 1[ = r R : 0 < r < 1
[1, 1] = r R : 1 _ r _ 1
[1, 0[ = r R : 1 _ r < 0
[2, 1[ = r R : 2 _ r < 1
10
Algunos de estos intervalos pueden ser el conjunto vaco.
Uno de los teoremas ms importantes que se deduce del axioma de tricotoma, es el siguiente;
Teorema 1.13
11
Para todo a, / R , se verica una y slo una de las proposiciones
a /, a = /, a < /
Demostracin: Sean a, / R , entonces por Ax iii) slo una de las siguientes proposiciones es verdadera
para el nmero real a /;
a / R
+
, a / = 0, (a /) R
+
Luego, usando la notacin 1.16 y traduciendo cada proposicin de la frase anterior se obtiene que
a /, a = /, a < /,
siendo slo una de ellas verdadera.
Observacin: La relacin entre a y /, a _ / se acostumbra a decir que es una relacin de orden total
ya que ella cumple: para a, /, c R
i) Reexividad
a _ a
ii) Antisimetra
a _ / . / _ a = a = /
iii) Transitividad
a _ / . / _ c = a _ c
vi) Tricotoma
a _ / . / _ a
El hecho que en R se satisfagan los axiomas de cuerpo y los axiomas de orden se expresa diciendo que
R es un Cuerpo Ordenado".
Por los axiomas de cuerpo sabemos que existen 0 R y 1 R tal que 1 ,= 0. Ahora con los axiomas
de orden hemos demostrado que;
1 R
+
y 1 R
,
es decir,
1 0 y 1 < 0
Aspodemos ordenar todos los nmeros reales, cosa que haremos a continuacin por etapas:
Como ejemplos iniciales tenemos
1 0 = 1 + 1 1 + 0 = 2 1
1 < 0 = (1) + (1) < 1 + 0 = 2 < 1
y de esta forma tenemos
2 < 1 < 0 < 1 < 2, etc.
Para ordenar los racionales usaremos la siguiente propiedad:
Sean a =
p
q
y / =
m
n
con j, : Z y , : Z
+
, entonces por corolario 1.12 v), se tiene:
a < / =
j
<
:
:
= j: < :
11
En algunos textos se presenta el teorema 1.13 como axioma de tricotoma (Axioma iii) y corolario 1 iv) y v) como Axioma
i) y Axioma ii) respectivamente.
Por ejemplo, ordenemos de menor a mayor los siguientes nmeros racionales
a = 1, 31 / =
13
12
c =
25
0;12
d = 1, 4 c =
12
8
Expresndolos como fracciones racionales y reduciendo tenemos;
a =
131
100
/ =
13
12
c =
125
6
d =
7
5
c =
3
2
.
Entre los negativos tenemos
3
2
<
7
5
pues 3 5 < 2 7.
Entre los positivos
13
12
<
131
100
pues 13 100 < 12 131
y
131
100
<
125
6
pues 131 6 < 125 100,
en consecuencia
3
2
<
7
5
<
13
12
<
131
100
<
125
6
Puestos en una recta se visualiza su ubicacin relativa, como puede ver en la recta gura que sigue:
A continuacin observaremos que entre dos racionales siempre hay al menos un racional.
Proposicin 1.14 Entre dos racionales existe al menos un racional.
Demostracin: Sean j, Q y j < , por demostrar que existe r Q tal que
j < r <
Usando el corolario 1.12 iv) tenemos
j < = j +j < j +
= 2j < j +
= j <
p+q
2
Adems sumando ahora a ambos lados obtenemos
j < = j + < +
= j + < 2
=
p+q
2
<
Por lo tanto existe r =
p+q
2
Q tal que j < r < .
1.3.1 Raz n-sima
A continuacin daremos una proposicin que garantiza la no existencia de un nmero real con la propiedad
indicada ms abajo.
Proposicin 1.15 Sean : nmero natural par y a < 0, entonces no existe un nmero real / tal que cumpla
la igualdad
a = /
n
Demostracin: Supongamos que existe / R tal que
a = /
n
pero : es par, por lo tanto : = 2/ para algn / Z
+
luego
a = /
2k
= (/
k
)
2
Ahora bien. Si / = 0 entonces a = 0. Si / ,= 0, entonces (/
k
)
2
0, es decir a 0. En ambos casos existe
contradiccin pues a < 0. En consecuencia no existe / R tal que a = /
n
.
Por el contrario, un resultado importante que se obtiene para a 0 es el siguiente:
Proposicin 1.16 Dado un nmero real positivo a y un nmero natural : siempre existe un nico nmero
real positivo / tal que
a = /
n
Lo anterior se escribe ms formalmente como:
(\a R
+
)(\: N)(!/ R
+
)(/
n
= a)
Este nmero real positivo se llama raz : -sima de a y se denota por
/ =:
n
_
a o / =: a
1
n
Adems, si : Z se dene
a
m
n
=:
n
_
a
m
para a _ 0 con : N
Solamente para a _ 0 se puede asegurar que:
a
m
n
= (a
m
)
1
n
= (a
1
n
)
m
= (
n
_
a)
m
Ahora si : es un nmero impar, esta denicin se puede extender a bases negativas, adems
n
_
a =:
n
_
a (1.17)
con a 0
Example 1
Ejemplo 32 1.
2. Example 2 (a)
_
4 = 2 pues 4 = 2
2
. Note que 2
2
= (2)
2
= 4. Sin embargo
_
4 = 2 y
_
4 ,= 2,
(es decir, no se tiene
_
4 = 2 )
(b)
3
_
27 = 3 pues
3
_
27 =
3
_
27 = 3
(c)
_
1 r R si 1 r _ 0 es decir si r _ 1.
Sin embargo
3
_
1 r R, para todo r R.
Ejemplo 33 Determinemos para qu valores de a la expresin
_
a 7 +
_
7 a
a 7
representa un nmero real.
Solucin: La expresin representa un nmero real si;
a 7 _ 0 . 7 a _ 0 . a 7 ,= 0
luego
a _ 7 . a _ 7 . a ,= 7
es decir,
a [7, [] , 7] (R 7) = c
entonces para ningn real a la expresin de arriba representa un real.
Ejercicio 34 Determine el conjunto restriccin y el conjunto solucin de la ecuacin
3 r =
_
r 1
Solucin: La expresin 3r est denida para todo r en R y
_
r 1 est denida en R slo para r _ 1,
luego el conjunto restriccin es = [1, [.
Como
_
r 1 _ 0 entonces para que existan r en R que cumplan con la igualdad debemos exigir que
3 r _ 0, es decir, r _ 3, pero como r [1, [ entonces para
r ] , 3] [1, [= [1, 3]
podemos elevar al cuadrado.
(3 r)
2
= (
_
r 1)
2
== 9 6r +r
2
= r 1
== r
2
7r + 10 = 0
== (r 5)(r 2) = 0
== r = 5 . r = 2
pero r [1, 3], luego el conjunto solucin es o = 2, 5 [1, 3] = 2
Notemos que si elevamos al cuadrado sin hacer la restricin 3 r _ 0, hubiramos obtenido tambin
r = 5 como solucin de ??, y al reemplazar este nmero en la ecuacin, obtendramos
3 5 =
_
5 1
2 =
_
4
lo que es una contradiccin.
Por eso no olvidemos que para la resolucin de una ecuacin mediante la elevacin a algn exponente
par debemos hacer las restricciones necesarias para asegurar que ambos miembros de la igualdad tengan
el mismo signo.
Ejercicio 35 Determinar el conjunto restriccin y el conjunto solucin de la ecuacin
_
5r + 1 =
_
2r 2 + 2
Solucin: La expresin
_
5r + 1 est denida en R si 5r + 1 _ 0 y
_
2r 2 + 2 est denida en R si
2r 2 _ 0 luego el conjunto restriccin de la ecuacin es
= r R : 5r + 1 _ 0 . 2r 2 _ 0 = [1, [
Ahora resolvamos la ecuacin
_
5r + 1 =
_
2r 2 + 2
Considerando r en el conjunto restriccin elevemos al cuadrado (pues ambos miembros de la igualdad
son positivos)
(
_
5r + 1)
2
= (
_
2r 2)
2
+ 4
_
2r 2 + 4
lo que equivale a
3r 1 = 4
_
2r 2
como r _ 1 entonces 3r 1 0 y entonces podemos elevar al cuadrado nuevamente obteniendo;
(3r 1)
2
= 16(2r 2)
== 9r
2
6r + 1 = 32r 32
== 9r
2
38r + 33 = 0
== 9(r 3)(r
11
9
) = 0
== r = 3 . r =
11
9
luego o = 3,
11
9
[1, [= 3,
11
9

Ejercicio 36 Determinar la veracidad o falsedad de la siguiente proposicin:
Si r satisface la ecuacin
_
5r + 1 =
_
2r 2 + 2 entonces el valor numrico de
_
5r + 1
_
2r 2
es 2 bien 3
Solucin: Por el ejemplo anterior, sabemos que los reales que satisfacen la ecuacin son r = 3 y r =
11
9
.
Por otra parte, si r = 3 entonces
_
5r + 1
_
2r 2
=
_
5 3 + 1
_
2 3 2
=
4
2
= 2
Si r =
11
9
entonces
_
5r + 1
_
2r 2
=
_
5
11
9
+ 1
_
2
11
9
2
=
8,3
2,3
= 4
en consecuencia la armacin es falsa pues el valor numrico de
_
5r + 1
_
2r 2
es 2 bien 4
Observacin: Para aquellas expresiones que tienen signicado en R , las propiedades de potencias tambin
se cumplen para exponentes racionales.
Aspor ejemplo: Si a, / R
+
: Z, : Z 0 entonces
(a/)
n
m
= a
n
m
/
n
m
Es importante hacer notar que
_
a/ =
_
a
_
/
no se cumple
12
en general para a, / R.
_
a/ tiene signicado en R para
a/ _ 0,
es decir,
(a _ 0 . / _ 0) . (a _ 0 . / _ 0)
en cambio
_
a
_
/
tiene signicado en R slo si a _ 0 y / _ 0
As, para resolver una inecuacin del tipo
_
r(r 1) _ 1,
debemos tener cuidado de no cometer el siguiente error:
_
r(r 1) _ 1 ==
_
r
_
r 1 _ 1
12
Detecte el error 1 =
p
1 =
p
(1)(1) = (
p
1)
2
= 1.
Ejercicio 37 Determine si las siguientes armaciones son verdaderas o falsas
1. r R :
_
r(r 1) _ 1 = r R :
_
r
_
r 1 _ 1
2. r R :
_
x
1x
_ 1 = r R :
_
r _
_
1 r
3. (\r R
+
)(
1
p
x
_ 1)
Solucin:
1. Falso. Existe r = 1 R tal que
_
1(1 1) =
_
2 _ 1
luego 1 r R :
_
r(r 1) _ 1
pero 1 , r R :
_
r
_
r 1 _ 1 pues 1 , donde = [1, [ es el conjunto restriccin del
conjunto r R :
_
r
_
r 1 _ 1
2. Verdadero. Resolvamos
_
r
1 r
_ 1 (1.18)
= r R :
r
1 r
_ 0 . 1 r ,= 0 = [0, 1[
Considerando r y elevando al cuadrado obtenemos la inecuacin equivalente
r
1 r
_ 1
Como 1 r 0 para r = [0, 1[ entonces
r
1 r
_ 1 == r _ 1 r
de donde
r _
1
2
As,
r ] , 1,2] [0, 1[= [0, 1,2]
Por lo tanto, el conjunto solucin de la inecuacin 1.18 es o = [0, 1,2]
Ahora resolvamos
_
r _
_
1 r (1.19)
Las expresiones
_
r y
_
1 r estn denidas en R si y slo si
r _ 0 . 1 r _ 0
luego
= [0, 1]
y como las inecuaciones 1.18 y 1.19 son equivalentes en [0, 1[ entonces sus conjuntos soluciones son
iguales.
3. Falso. Existe r =
1
4
R
+
tal que
1
p
x
= 2 ,_ 1.
Observacin: No confundir lo que signican las siguientes expresiones:
i) La expresin
(\r R
+
)(
1
_
r
_ 1)
es una proposicin que arma que para todo r en los reales positivos se cumple que
1
p
x
_ 1, lo cual
hemos visto que es falso.
ii) En cambio la expresin
r R
+
:
1
_
r
_ 1
indica el conjunto de los reales positivos que cumple con la inecuacin
1
p
x
_ 1, es decir, el conjunto
[1, [.
Notemos que la igualdad
_
a
2
= a
no se cumple para todo a R ; puesto que a
2
es positivo y la raz par de un nmero positivo es un nmero
positivo. Por ejemplo, si a = 2
_
a
2
=
_
(2)
2
=
_
4 = 2 ,= 2
Sea a _ 0 por ??;
_
a
2
= a
2
2
= a
Sea a < 0; como a 0 y por ?? se tiene que:
_
a
2
=
_
(a)
2
= (a)
2
2
= a
En consecuencia
_
a
2
= a \a R
+
0
_
a
2
= a \a R
Lo que escribiremos
_
a
2
=
_
a si a _ 0
a si a < 0
(1.20)
Ejercicio 38 En base a lo anterior determine si las siguientes armaciones son verdaderas o falsas
1. (\a R)(
4
_
a
6
=
_
a
3
).
2. Sea a R
+
, entonces r R : r
2
= a =
_
a,
_
a.
3. r R : r
2
= 4 = r R : r =
_
4.
4. Sean r, j R tal que r
2
+j
2
2rj = 4 entonces r j = 2.
Solucin:
1. Falso. Slo para a _ 0, se tiene que:
4
_
a
6
= a
6
4
= a
3
2
=
_
a
3
. Para a < 0,
_
a
3
, R y
4
_
a
6
R, y la
igualdad no se da para todo a R
2. Verdadero.
r
2
= a = r
2
a = 0
= (r
_
a)(r +
_
a) = 0
= r
_
a = 0 . r +
_
a = 0
= r =
_
a . r =
_
a
Luego
r R : r
2
= a =
_
a,
_
a
Note que no es lo mismo resolver la ecuacin r
2
= a que resolver la ecuacin r =
_
a.
3. Falso. Por lo anterior es claro que
r R : r
2
= 4 = 2, 2 , = r R : r =
_
4 = 2
4. Falso.
r
2
+j
2
2rj = 4
== (r j)
2
= 4
== (r j)
2
4 = 0
== ((r j) 2)((r j) + 2) = 0
== r j = 2 . r j = 2
En particular, se consideramos r = 2, j = 4 entonces
r
2
+j
2
2rj = 4
pero
r j = 2 ,= 2
En general si a R
+
(r j)
2
= a
entonces
r j =
_
a . r j =
_
a
Veremos a continuacin lo til que son estas propiedades para la resolucin de sistemas de ecuaciones
1.3.2 Sistemas de Ecuaciones no Lineales
Resolver un sistema de ecuaciones en : variables r
1
, r
2
, r
n
R es encontrar las n-upla (r
1
, r
2
, , r
n
)
que satisfacen cada una de las ecuaciones simultneamente.
Lo esencial en la resolucin de sistemas no lineales como los siguientes, es determinar una factorizacin
de la forma a/ = 0 y analizar los casos a = 0 y / = 0.
Ejemplo 39 Resolvamos
r
2
+j
2
= 2(rj + 2)
r +j = 6
Solucin: Transformando el sistema dado en la forma equivalente
(1) (r j)
2
= 4
(2) r +j = 6
Se obtiene de (1) los siguientes casos por analizar
r j = 2 . r j = 2
i) Si r j = 2, entonces se tiene
r j = 2
r +j = 6
de donde r = 4 y j = 2
ii) Si r j = 2 se tiene
r j = 2
r +j = 6
de donde r = 2 y j = 4
Por lo tanto existen dos soluciones
(r, j) = (4, 2), (r, j) = (2, 4)
Ejercicio 40 Resolver
(1) 2(r
2
+j
2
) = 5rj
(2) 4(r j) = rj
Solucin: Se tiene:
(1) == r
2
+j
2
=
5
2
rj
== r
2
2rj +j
2
=
5
2
rj 2rj
== (r j)
2
=
1
2
rj (1.21)
adems de (2) se tiene
2(r j) =
1
2
rj (1.22)
luego de ( 1.21) y ( 1.22)
(r j)
2
= 2(r j)
== (r j)
2
2(r j) = 0
== (r j)((r j) 2) = 0
== r j = 0 . r j = 2
Esto nos obliga a analizar dos casos:
i) Si r j = 0 entonces en (2) se tiene rj = 0, de donde r
2
= 0 y por lo tanto r = j = 0.
ii) Si r j = 2 entonces en (2) se tiene rj = 8, de donde r(r 2) = 8, es decir,
(r 4)(r + 2) = 0
luego
r = 4 . r = 2
iii) Si r = 4 entonces j = 2; si r = 2 entonces j = 4.
En consecuencia existen 3 soluciones para el sistema
(r, j) = (0, 0), (r, j) = (4, 2), (r, j) = (2, 4)
En los siguientes ejemplos veremos la resolucin de sistemas de dos o ms variables que con frecuencia
aparecen en problemas relacionados con la determinacin de mximos y mnimos (mtodo de los multipli-
cadores de Lagrange), que ser estudiado posteriormente en un curso de clculo en varias variables.
Ejercicio 41 Determine los puntos (r, j, `) que satisfacen las ecuaciones en R
(1) 2r 1 = 2`r
(2) 4j = 2`j
(3) r
2
+j
2
1 = 0
(1.23)
Solucin:
De la ecuacin (2) tenemos que
2j(2 `) = 0
luego
j = 0 . ` = 2
i) En primer lugar supongamos que j = 0, entonces sustituyendo en (3) tenemos
r
2
= 1
de donde
r = 1 . r = 1
De la ecuacin (1) obtenemos:
si r = 1, entonces ` =
1
2
;
si r = 1, entonces ` =
3
2
.
Por lo tanto los puntos
1
1
(r, j, `) =
_
1, 0,
1
2
_
1
2
(r, j, `) =
_
1, 0,
3
2
_
satisfacen el sistema 1.23
ii) Ahora supongamos que ` = 2. Sustituyendo en (1) obtenemos que
r =
1
2
.
Luego de (3) se tiene que
_
1
2
_
2
+j
2
1 = 0
de donde
j
2
3
4
= 0
es decir,
_
j
_
3
2
__
j +
_
3
2
_
= 0
por lo tanto
j =
p
3
2
. j =
p
3
2
En consecuencia, tenemos que:
1
3
(r, j, `) =
_
1
2
,
p
3
2
, 2
_
1
4
(r, j, `) =
_
1
2
,
_
3
2
, 2
_
satisfacen 1.23
Luego el conjunto solucin del sistema 1.23 es:
o =
_
_
1, 0,
1
2
_
,
_
1, 0,
3
2
_
,
_
1
2
,
_
3
2
, 2
_
,
_
1
2
,
_
3
2
, 2
__
Ejercicio 42 Resuelva el sistema
(1) 4r = `r
(2) 9j = `j
(3) . = `.
(4)
x
2
4
+
y
2
9
+.
2
= 1
(1.24)
Solucin: De la ecuacin (1) tenemos;
r(4 `) = 0
de donde
r = 0 . ` = 4 (1.25)
i) Supongamos primero que r = 0. Entonces en (4) resulta
j
2
9
+.
2
= 1 (1.26)
pero por (2) tenemos
j(9 `) = 0
es decir
j = 0 . ` = 9
i1) Si j = 0, entonces, sustituyendo en 1.26, se tiene
.
2
= 1
lo que implica que
. = 1 . . = 1
Luego, de la ecuacin (3),
.(1 `) = 0
de donde se tiene que
. = 0 . ` = 1
pero . ,= 0, luego ` = 1
En consecuencia los puntos 1
1
y 1
2
, son soluciones del sistema, donde
1
1
(r, j, ., `) = (0, 0, 1, 1)
1
2
(r, j, ., `) = (0, 0, 1, 1)
i2) Si ` = 9, entonces de (3) se tiene que
. = 0
y sustituyendo en 1.26 se tiene que
j
2
9
= 1,
lo que implica que
j = 3 . j = 3
Por lo tanto los puntos
1
3
(r, j, ., `) = (0, 3, 0, 9)
1
4
(r, j, ., `) = (0, 3, 0, 9)
tambin son soluciones del sistema 1.24.
ii) Finalmente consideremos ` = 4 de 1.25, entonces de (2) y (3) se tiene que
j = 0 . . = 0
luego en (4);
r
2
4
= 1
de donde
r = 2 . r = 2
luego los puntos
1
5
(r, j, ., `) = (2, 0, 0, 4)
1
6
(r, j, ., `) = (2, 0, 0, 4)
son tambin soluciones del sistema 1.24
As, ya que se consideraron todos los casos, el conjunto solucin del sistema es
o = 1
1
, 1
2
, 1
3
, 1
4
, 1
5
, 1
6
Ejercicio 43 Resuelva el sistema;

(1) j + 2. +`j. = 0
(2) r + 2. +`r. = 0
(3) 2r + 2j +`rj = 0
(4) rj. \ = 0
(1.27)
Donde \ es una constante positiva conocida.
Solucin: Restando la ecuacin (2) de la ecuacin (1) obtenemos
j r +`.(j r) = 0
factorizando por (j r) tenemos
(j r)(1 +`.) = 0
de donde
(1 +`.) = 0 . j = r (1.28)
i) Supongamos que 1 +`. = 0, entonces
` =
1
z
ya que . ,= 0 (1.29)
Sustituyendo 1.29 en (2) tenemos
r + 2. +
_
1
.
_
r. = 0
de donde . = 0, lo que contradice 1.29. Luego la igualdad 1 +`. = 0 no se puede dar y por lo tanto por
1.28 se tiene el siguiente caso.
ii) Supongamos ahora
r = j (1.30)
4r +`r
2
= 0
es decir
r(4 +`r) = 0
lo que implica que
r = 0 . 4 +`r = 0
Sustituyendo r = 0 en (4) tenemos \ = 0 lo que no se puede dar pues \ 0. Luego slo nos queda el caso
4 +`r = 0
y como r ,= 0, obtenemos
` =
4
r
(1.31)
r + 2. +
_
4
r
_
r. = 0
de donde
r = 2.
Finalmente, sustituyendo r = j y r = 2. en (4) tenemos
r
3
2
= \
por lo tanto
r = j =
3
_
2\ . . =
3
p
2V
2
. ` =
4
3
p
2V
luego el conjunto solucin del sistema 1.27 es
o =
__
3
_
2\ ,
3
_
2\ ,
3
_
2\
2
,
4
3
_
2\
__
Ejercicio 44 Resuelva el sistema
(1) 8j. = 32r`
(2) 8r. = 8j`
(3) 8rj = 18.`
(4) 16r
2
+ 4j
2
+ 9.
2
144 = 0
(1.32)
Bajo la restriccin: r 0, j 0, . 0
Solucin:
13
Multiplicando la ecuacin (1) por r, la (2) por j, la (3) por . y sumndolas obtenemos;
24rj. = 32r
2
` + 8j
2
` + 18.
2
`
que es equivalente a
24rj. = 2`(16r
2
+ 4j
2
+ 9.
2
)
Como 16r
2
+ 4j
2
+ 9.
2
= 144, entonces
24rj. = 2` 144,
es decir,
rj. = 12` (1.33)
Multiplicando la ecuacin (1) por r obtenemos
8rj. = 32r
2
` (1.34)
Sustituyendo 1.33 en 1.34 se tiene
8(12`) = 32r
2
`,
es decir,
32`(3 r
2
) = 0
lo que implica
` = 0 . r =
_
3 . r =
_
3
i) Si ` = 0, entonces
r = 0 . j = 0 . . = 0
lo que no se puede dar por la restriccin. Por la misma razn no se puede dar que r =
_
3. As, la nica
posibilidad es que
r =
_
3
Ahora, multiplicando la ecuacin (2) por j tenemos
8rj. = 8j
2
`
pero rj. = 12` luego
12` = j
2
`
lo que implica
`(12 j
2
) = 0
Como ` ,= 0, entonces 12 j
2
= 0, es decir,
j =
_
12
Finalmente, multiplicando por . la ecuacin (3), se tiene
8rj. = 18.
2
`
13
Como hemos notado, existen varias formas de resolver los sistemas de ecuaciones. No existe una tcnica aplicable siempre;
lo importante es no cometer el tpico error de dejar algn caso sin analizar.
de donde resulta
. =
4
_
3
3
Por otra parte, como rj. = 12`, entonces
` =
rj.
12
=
_
3
_
12 4
_
3
12 3
=
4
_
12
12
=
2
_
3
3
En consecuencia la solucin del sistema 1.32 es
r =
_
3, j = 2
_
3, . =
4
_
3
3
, ` =
2
_
3
3
Nota: Es importante recordar que con frecuencia se racionaliza antes de entregar un resultado (como en
el ejercicio anterior)
Por ejemplo el resultado . =
4
p
3
se cambia por su equivalente
. =
4
_
3
_
3
_
3
=
4
3
_
3.
1.3.3
_
2 es irracional
A continuacin probemos que
_
2 no es racional (o bien: en general, si j es un nmero primo, entonces
_
j
es irracional).
Supongamos lo contrario, es decir, supongamos que
_
2 es racional, esto es,
_
2 =
j
con j Z , Z0. Siempre es posible escoger j y tal que la fraccin

p
q
est simplicada al mximo,
en tal caso
p
q
=
_
2 =
p
2
q
2
= 2
= j
2
= 2
2
luego j
2
es un nmero par y por 1.7, j debe ser par, es decir, j = 2/, para algn / Z
+
. Por lo tanto
j
2
= 4/
2
y como j
2
= 2
2
, se tiene que 2
2
= 4/
2
, as
2
= 2/
2
. Esta ltima igualdad nos dice que
2
es un nmero
par y por 1.7 tambin es par.
Por lo anterior se tiene que y j son pares, lo que contradice el hecho que
p
q
estaba simplicada al
mximo, de esta forma
_
2 no puede ser un nmero racional. Ashemos obtenido el importante resultado:
_
2 es irracional (1.35)
Asimismo,
_
2 no es racional. En efecto, si
_
2 fuera racional, entonces dado que (Q , +) es grupo
su inverso aditivo
_
2 debe ser racional lo que contradice 1.35.
Con argumentos similares se puede probar que para todo nmero entero j se tiene que j
_
2 , Q
En forma similar a 1.35 podemos demostrar que
4
_
6 es irracional.
?Cmo podemos determinar cul de los irracionales
_
2 o
4
_
6 es menor?
Una herramienta de gran utilidad para ordenar reales es la siguiente proposicin
Proposicin 1.17
i) Sean a, /, c, d R
+
a < / . c < d = ac < /d
ii) Sean : N , a, / R
+
a < / = a
n
< /
n
Demostracin:
i) Recordemos que
a < / . c 0 = ac < /c
c < d . / 0 = /c < /d
luego
ac < /c . /c < /d = ac < /d
por lo tanto
(\a, /, c, d R
+
)(a < / . c < d = ac < /d)
ii) Para probar esta proposicin demostraremos en primer lugar que
a < / = a
n
< /
n
y luego probaremos la implicacin en el otro sentido.
De (i) es claro que
a < / = a < / . a < / = a
2
< /
2
.
Inductivamente se puede probar que a < / = a
n
< /
n
.
Ahora supongamos que
a
n
< /
n
(1.36)
con a, / R
+
demostremos que a < /
Sea
1 = (a
n1
+a
n2
/ +a
n3
/
2
+ +a/
n2
+/
n1
)
entonces
a
n
/
n
= (a /)1
como a, / R
+
, es claro que 1 R
+
, luego 1
1
R
+
. Por otra parte considerando 1.36 a
n
/
n
< 0,
es decir
(a /)1 < 0
pero 1
1
0, luego (a /)11
1
< 0, de donde
a / < 0
as,
a
n
< /
n
= a < / \a, / R
+
Ahora usemos la equivalencia recien probada para los nmeros

_
2 y
4
_
6. Se tiene:
_
2 <
4
_
6 = (
_
2)
4
< (
4
_
6)
4
= 2
4
2
< 6
4
4
= 4 < 6
Como la desigualdad 4 < 6 es verdadera se tiene que
_
2 <
4
_
6
tambin es verdadera.
Corolario 1.18 Para todo a, / R
+
, : N
a < / ==
n
_
a <
n
_
/
Demostracin: Como a R
+
y / R
+
entonces a = (
n
_
a)
n
y / = (
n
_
/)
n
donde
n
_
a R
+
y
n
_
/ R
+
,
luego por la proposicion 1.17 se tiene
a < / == (
n
_
a)
n
< (
n
_
/)
n
==
n
_
a <
n
_
/
Ejercicio 45 Determine si las siguientes armaciones son verdaderas o falsas

1. (\a, / R)(a < / = a
2
< /
2
)
2. (\a, / R)(a
2
< /
2
= a < /)
3. (\: N)(\a, / R)(a
n
< /
n
= a < /)
4. (\a R)(a _ a
2
)
5. (\a R
+
)(
1
a
< 1)
6. (\a, / R
+
)(a < / = a
2
< /
2
)
7. (\a, / R 0)(a < / =
1
a

1
b
)
8. (\a, / R
+
)(a < / =
1
a

1
b
)
9. (\a, / R
+
)(
1
a+b
<
1
a
)
10. (\a, / R
+
)(
1
ab
<
1
a
)
Solucin:
1. Falso. Existen a = 2, / = 1 tales que a < / pero a
2
,< /
2
.
2. Falso. Existen a = 2, / = 3 tales que a
2
< /
2
pero a ,< /.
3. Falso. Existen : = 4, a = 2 y / = 3 tales que 2
4
< (3)
4
pero 2 ,< 3
4. Falso. Existe a =
1
2
R tal que a ,_ a
2
5. Falso. Existe a =
1
3
R
+
tal que
1
a
,< 1
6. Verdadero. Este es un caso particular de la proposicin 1.17 ii), pero repetiremos la demostracin
para : = 2.
Demostracin: Sean a, / R
+
tales que a < /. Como a < /, entonces a / < 0; adems a +/ 0
pues a, / R
+
, luego,
(a /)(a +/) < 0,
de donde,
a
2
/
2
< 0,
por lo tanto,
a
2
< /
2
7. Falso. Existen a = 2, / = 1 tales que a < / pero

1
a
,
1
b
8. Verdadero. Sea a, / R
+
, entonces a/ 0 de donde
1
ab
0. Como a < / se tiene que
a
_
1
a/
_
< /
_
1
a/
_
=
1
/
<
1
a
=
1
a

1
/
9. Verdadero. Sean a, / R
+
, entonces a +/ R
+
y puesto que
a +/ a
por la parte 8) se tiene que
1
a +/
<
1
a
Esta ltima desigualdad es muy til para acotar expresiones reales como veremos ms adelante.
10. Falso. Existen a = 2, / =
1
4
en R
+
pero:
1
ab
,<
1
a
pues
1
ab
= 2 y
1
a
=
1
2
En el ejercicio anterior hemos probado que ciertas desigualdades no siempre se cumplen. La pregunta
natural es: ?Para qu valores reales son verdaderas esas desigualdades?
Las propiedades que en seguida veremos nos permitirn determinar los conjuntos en los cuales esas
desigualdades se verican.
Proposicin 1.19 Sean a, / R
i) a/ 0 = (a 0 . / 0) . (a < 0 . / < 0)
ii) a/ < 0 = (a 0 . / < 0) . (a < 0 . / 0)
Antes de entrar en la demostracin explicaremos lo que se har en ella en trminos lgicos: La proposi-
cin i) se puede escribir
j = ( . :)
donde las proposiciones son
j : a/ 0
: a 0 . / 0
: : a < 0 . / < 0
Por otra parte la equivalencia anterior se separa en dos proposiciones
[j = ( . :)] . [j = ( . :)] (1.37)
Como sabemos, para mostrar que una proposicin formada por el conectivo . es verdadera necesitamos
mostrar que ambas proposiciones que la componen son verdaderas, es decir, basta probar en forma separada
que
j = ( . :)
y
j = ( . :)
As, indicaremos con ( = ) la primera parte y con ( = ) la segunda parte. Demostracin: ( = ) Como
a/ 0, i.e., a/ R
+
y a tiene dos posibilidades (ser positivo o negativo) podemos separar la demostracin
en dos sub casos
Caso 1) Si a R
+
entonces a
1
R
+
, luego por Axioma ii) y asociando apropiadamente se tiene que
a
1
(a/) = / R
+
; en consecuencia,
a/ R
+
= a R
+
. / R
+
,
por lo tanto
14
a/ 0 = a 0 . / 0
Caso 2) Si a R
entonces a
1
R
, luego por Axioma ii) y asociando apropiadamente se tiene que

a
1
(a/) = / R
. En consecuencia
a/ R
+
= a R
. / R
,
es decir,
a/ 0 = a < 0 . / < 0
Por Casos 1) y 2) tenemos
a/ 0 = (a 0 . / 0) . (a < 0 . / < 0)
Demostracin: (=) Es claro por Axioma ii):
(a R
+
. / R
+
) = a/ R
+
y
(a R
+
. / R
+
) = (a)(/) R
+
= a/ R
+
En consecuencia (ya que en ambos casos obtenemos lo mismo)
[(a 0 . / 0) . (a < 0 . / < 0)] = a/ 0
En forma anloga, se demuestra ii). Asimismo se tiene que

a/ _ 0 = [(a _ 0 . / _ 0) . (a _ 0 . / _ 0)]
y
a/ _ 0 = [(a _ 0 . / _ 0) . (a _ 0 . / _ 0)]
La demostracin se hace mediante el uso de la proposicin anterior y del hecho que [~ (a _ /) = a /]
y [(a = /) = (~ a =~ /)].
Ejemplo 46 Ahora aplicando las propiedades anteriores, determinemos bajo qu condiciones las siguientes
desigualdades son verdaderas en R:
1. r _ r
2
2.
1
y
1
3.
1
y
_ 1
4. r
2
< 1
5.
x
y
_
x+z
y
6.
x
y
< r
14
Aquhay varios pasos basados en equivalencias lgicas que no han sido explicitados; por ejemplo,
(p ^ (p ) q)) , p ^ q.
7.
1
xy
<
1
x
Solucin:
Utilizando las propiedades de la proposicin 1.19 y las proposiciones que siguen de ella, tenemos
1.
r _ r
2
= r r
2
_ 0
= r(1 r) _ 0
= (r _ 0 . 1 r _ 0) . (r _ 0 . 1 r _ 0)
= (r _ 0 . r _ 1) . (r _ 0 . r _ 1)
= r _ 0 . r _ 1
Por lo tanto la desigualdad r _ r
2
se verica para: r _ 0 . r _ 1.
2. La desigualdad
1
y
1 tiene signicado en R si j ,= 0. Luego
1
j
1 =
1
j
1 0
=
1 j
j
0
= (1 j 0 . j 0) . (1 j < 0 . j < 0)
= (j < 1 . j 0) . (j 1 . j < 0)
= 0 < j < 1 . Falso
15
= 0 < j < 1
Luego la desigualdad
1
y
1 se cumple para 0 < j < 1, es decir, para j ]0, 1[. As, podemos armar
que la siguiente proposicin es verdadera
(\j R)(0 < j < 1 =
1
j
1)
3. Anlogamente se obtiene que
1
y
_ 1 se cumple para todo j R tal que
j _ 1 . j < 0
4.
r
2
< 1 = r
2
1 < 0
= (r 1)(r + 1) < 0
= (r 1 0 . r + 1 < 0) . (r 1 < 0 . r + 1 0)
= (r 1 . r < 1) . (r < 1 . r 1)
= F . 1 < r < 1
= 1 < r < 1
Por lo tanto:
(\r R)(1 < r < 1 = r
2
< 1)
15
Por lgica p_ Falso , p.
5. Sea j ,= 0;
r
j
_
r +.
j
=
r
j

r +.
j
_ 0
=
.
j
_ 0
=
.
j
_ 0
= (. _ 0 . j 0) . (. _ 0 . j < 0)
r
j
_
r +.
j
es verdadera si
(. _ 0 . j 0) . (. _ 0 . j < 0)
6. Sea j ,= 0
16
;
r
j
< r =
r
j
r < 0
= r
_
1
j
1
_
< 0
= (r 0 .
1
j
1 < 0) . (r < 0 .
1
j
1 0)
= (r 0 . (j 1 . j < 0)) . (r < 0 . 0 < j < 1)
= (r 0 . j 1) . (r 0 . j < 0) . (r < 0 . 0 < j < 1)
r
j
< r
se cumple para:
(r 0 . j 1) . (r 0 . j < 0) . (r < 0 . 0 < j < 1)
7. Sean r ,= 0 j ,= 0
1
rj
<
1
r
=
1
rj

1
r
< 0
=
1
r
_
1
j
1
_
< 0
= (
1
r
0 .
1
j
1 < 0) . (
1
r
< 0 .
1
j
1 0)
= (
1
r
0 . (j 1 . j < 0) . (
1
r
< 0 . 0 < j < 1)
= (
1
r
0 . j 1) . (
1
r
0 . j < 0) . (
1
r
< 0 . 0 < j < 1)
= (r 0 . j 1) . (r 0 . j < 0) . (r < 0 . 0 < j < 1)
1
rj
<
1
r
se cumple para:
(r 0 . j 1) . (r 0 . j < 0) . (r < 0 . 0 < j < 1)
16
El error ms comn al trabajar en esta desigualdad es multiplicar por y, pues no se sabe si y es negativo o positivo. Una
multiplicacin tal debera hacerse bajo condiciones expresas y por lo tanto se debera considerar todos los casos posibles.
En realidad lo que hemos hecho en el ejemplo 46 anterior es resolver inecuaciones en una o ms
variables.
1.3.4 Inecuaciones
Sea el conjunto restriccin (ver seccin 1.2.4) de las expresiones 1(r), Q(r).
Resolver una inecuacin en la variable r es encontrar el subconjunto o de los r en que satisfacen la
desigualdad (o inecuacin).
1(r) < Q(r) o 1(r) _ Q(r) (1.38)
Diremos que o = r : 1(r) < Q(r) o simplemente o = r R : 1(r) < Q(r) (subentendiendo
que r debe estar ). es el conjunto solucin de la inecuacin 1.38.
Diremos que dos inecuaciones son equivalentes si tienen el mismo conjunto solucin.
Ejemplo 47 El conjunto solucin de la inecuacin
1
j
1 (1.39)
es
o =
_
j R :
1
j
1
_
= j R : 0 < j < 1
Ejemplo 48 El conjunto solucin de la inecuacin
r
2
_ 1 (1.40)
es
o = r R : r
2
_ 1
= r R : 1 _ r _ 1
Ejemplo 49 Resolver las siguientes inecuaciones
1.
x1
x+5
_ 0
2.
x
x+2

x1
x
2
4
_
x2
x+2
3.
x+3
x
_ 2
4.
(32x)(x+5)
(x
2
25)(x+1)
0
Solucin:
1. Resolvamos la inecuacin
r 1
r + 5
_ 0
Notemos que r + 5 ,= 0, es decir, el conjunto restriccin de la inecuacin ?? es
1
= r R : r + 5 ,= 0 = R 5
Por otra parte:
x1
x+5
_ 0 = (r 1 _ 0 . r + 5 0) . (r 1 _ 0 . r + 5 < 0)
= (r _ 1 . r 5) . (r _ 1 . r < 5)
= r _ 1 . r < 5
(1.41)
Por lo tanto
o
1
=
_
r R :
r 1
r + 5
_ 0
_
=
1
r R : r _ 1 . r < 5
= ] , 5['[1, [
Nota:
La resolucin de la inecuacin
x1
x+5
_ 0 dada en 1.41 se puede resumir en la siguiente tabla;
r ], 5[ r = 5 r ]5, 1[ r = 1 ]r 1, [
r 1 - - 0 +
r + 5 - 0 + +
x1
x+5
+ / - 0 +
Donde el signo + indica en qu intervalos el factor correspondiente a la la es positivo y el signo -
en qu intervalo es negativo. Por ejemplo, de la primera la se tiene que el factor r 1 es positivo
en el intervalo ]1, [ y negativo en ] , 5] y en ] 5, 1[, (es decir, en ] , 1[). De la ltima la
se obtiene que la expresin
x1
x+5
es no negativa en los intervalos ] , 5[ y [1, [; luego la solucin
de la inecuacin
r 1
r + 5
_ 0
es ] , 5['[1, [.
En muchos casos, los factores involucrados en una inecuacin del tipo anterior son ms de dos y por
ello es frecuente usar la tabla anterior en la resolucin.
r
r + 2

r 1
r
2
4
_
r 2
r + 2
(1.42)
Ambos miembros de la desigualdad tienen signicado en R si
r + 2 ,= 0 . r
2
4 ,= 0,
es decir, el conjunto restriccin de la inecuacin 1.42 es
1
= r R : r + 2 ,= 0 . r 2 ,= 0 = R 2, 2
Ahora determinemos el conjunto solucin de la inecuacin:
r
r + 2

r 1
r
2
4
_
r 2
r + 2
=
r
r + 2

r 1
(r + 2)(r 2)

r 2
r + 2
_ 0
=
r(r 2) (r 1) (r 2)
2
(r 2)(r + 2)
_ 0
=
r 3
(r 2)(r + 2)
_ 0 (1.43)
Ahora consideremos la tabla para la resolucin de la inecuacin 1.43.
r ], 2[ r = 2 r ]2, 2[ r = 2 r ]2, 3[ r = 3 r ]3, [
r 3 - - - 0 +
r 2 - - 0 + +
r + 2 - 0 + + +
x3
(x2)(x+2)
- / + / - 0 +
Se tiene de la ltima la que
r 3
(r 2)(r + 2)
_ 0
en los intervalos ] , 2[ y ]2, 3] luego la solucin de la inecuacin 1.42 es
o
2
=
1
(] , 2[']2, 3]) =] , 2[']2, 3]
r + 3
r
_ 2 (1.44)
El conjunto restriccin de la inecuacin 1.44 es
1
= r R : r ,= 0 = R 0
Por otra parte,
r + 3
r
_ 2 =
r + 3
r
2 _ 0
=
r + 3 2r
r
_ 0
=
3 r
r
_ 0
= (3 r _ 0 . r 0) . (3 r _ 0 . r < 0)
= (r _ 3 . r 0) . (r _ 30 . r < 0)
= (0 < r _ 3) . 1
= 0 < r _ 3
Luego
o
3
=]0, 3]
1
=]0, 3]
Resolvamos
(3 2r)(r + 5)
(r
2
25)(r + 1)
0 (1.45)
El conjunto restriccin de la inecuacin 1.45 es
1
= r R : r
2
25 ,= 0 . r + 1 ,= 0 = R 5, 1, 5
Como r
2
25 = (r 5)(r + 5), entonces la inecuacin 1.45 es equivalente a
(32x)
(x5)(x+1)
0 con r
1
Considerando la tabla
r ], 1[ r =-1 r

1,
3
2
_
r =
3
2
r

3
2
, 5
_
r =5 r ]5, [
3 2r + + 0 - -
r 5 - - - 0 +
r + 1 - 0 + + +
(32x)
(x5)(x+1)
+ / - 0 + / -
Obtenemos que
(3 2r)
(r 5)(r + 1)
0
en ] , 1[']
3
2
, 5[, pero r
1
luego el conjunto solucin de 1.45 es
o
4
= (] , 1[']
3
2
, 5[)
1
= ] , 5['] 5, 1[']
3
2
, 5[
Nota: Notemos que las siguientes proposiciones son falsas
1. (\r R
+
0
)(
_
r _ r)
2. (\r R)(\j R
+
)(r _
_
j = r
2
_ j)
En efecto;
Para 1) existe r =
1
4
R
+
0
, tal que
_
1
4
=
1
2
,_
1
4
Para 2) existen r = 2 R, j = 2 R
+
tales que 2 _
_
2 pero
(2)
2
= 4 ,_ 2
Por lo anterior, podemos observar que para resolver una inecuacin del tipo:
1(r) _
_
Q(r)
o del tipo
_
1(r) _ Q(r)
no podemos elevar al cuadrado sin hacer las restricciones necesarias, para asegurar que obtenemos in-
ecuaciones equivalentes. Debemos observar que algunas veces se debe analizar casos distintos.
Ejercicio 50 Resolvamos la inecuacin
r 1 _
_
r
2
1 (1.46)
Solucin: Debemos primeramente hacer las restricciones necesarias
1
= r R : r
2
1 _ 0
= r R : r _ 1 . r _ 1
= ] , 1] ' [1, [
Primer caso:
Supongamos que r 1 < 0 y r
1
, es decir,
r C
1
=] , 1]
Puesto que r 1 < 0 y que
_
r
2
1 _ 0 para todo r C
1
, es claro que la desigualdad 1.46 se cumple
para todo r C
1
; luego o
1
=] , 1] es la solucin en este caso.
Segundo caso:
Supongamos que r 1 _ 0 y r
1
, es decir
r C
2
= [1, [
Dado que ambos miembros de la desigualdad son no negativos en C
2
, podemos elevar al cuadrado; as,
r 1 _
_
r
2
1
= (r 1)
2
_ r
2
1
= r
2
2r + 1 _ r
2
1
= 2r + 2 _ 0
= r _ 1
Luego la solucin en este caso es
o
2
= [1, [C
2
= [1, [
Y nalmente la solucin total es
o
T
= o
1
' o
2
=] , 1] ' [1, [
Observemos que en el siguiente ejemplo no se da el primer caso del ejemplo enterior.
Ejemplo 51 Resolvamos
_
r
2
r 2 _ r
Solucin: Haciendo las restricciones necesarias tenemos:
2
= r R : r
2
r _ 0
y como
r
2
r _ 0 = r(r 1) _ 0
= r _ 1 . r _ 0
se tiene que
2
=] , 0] ' [1, [= R]0, 1[
Notemos que en este tipo de inecuacin no se puede dar el caso que
r + 2 < 0
pues
_
r
2
r 2 _ r =
_
r
2
r _ r + 2
y
_
r
2
r _ 0
para todo r
2
. Aspara poder elevar al cuadrado debemos exigir que r + 2 _ 0, es decir,
r _ 2 . r
2
Por lo tanto si r C
1
= [2, 0] ' [1, [ tenemos;
_
r
2
r _ r + 2
= r
2
r _ (r + 2)
2
= r
2
r _ r
2
+ 4r + 4
= 5r _ 4
= r _
4
5
luego el conjunto solucin de esta inecuacin es
o = [
4
5
, [C
1
= [
4
5
, 0] ' [1, [
Hemos visto que la desigualdad
_
r _ r (1.47)
no se cumple para todo r R
+
0
. Entonces ?para qu valores de r R
+
se cumple? Esto equivale a
preguntar ?cul es el conjunto solucin de la inecuacin 1.47?
Para resolver 1.47, primeramente debemos restringir nuestra expresin a
1
= r R : r _ 0 = R
+
0
Como ambos miembros de la inecuacin son no negativos, podemos elevar al cuadrado en ambos lados:
_
r _ r
= r _ r
2
= r r
2
_ 0
= r _ 1 . r _ 0
luego, el conjunto solucin es
o = (] , 0] ' [1, [)
1
= 0 ' [1, [
Es claro que
_
r < r \r ]1, [
Recordemos que esta ltima expresin no es vlida para r [0, 1].
En particular, la desigualdad
_
r
2
+j
2
< r
2
+j
2
slo se cumple si r
2
+j
2
1
1.3.5 La ecuacin de segundo grado
Para resolver inecuaciones en que aparezcan factores de la forma ar
2
+ /r + c con a, /, c R , a ,= 0
necesitamos conocer algunas propiedades de la ecuacin de segundo grado.
Una ecuacin de segundo grado en la variable r es un expresin del tipo
ar
2
+/r +c = 0 con a, /, c R, a ,= 0 (1.48)
Utilizando las propiedades de R, analicemos las posibles soluciones de la ecuacin 1.48
Sin prdida de generalidad, supongamos que a 0
ar
2
+/r +c = 0
= r
2
+
/
a
r +
c
a
= 0
= r
2
+
/
a
r +
_
/
2a
_
2
_
/
2a
_
2
+
c
a
= 0
= (r +
/
2a
)
2
=
/
2
4a
2

c
a
= r +
/
2a
=
_
/
2
4ac
4a
2
. r +
/
2a
=
_
/
2
4ac
4a
2
= r =
/
2a
+
_
/
2
4ac
4a
2
. r =
/
2a

_
/
2
4ac
4a
2
Estas expresiones estn bien denidas en R si y slo si
/
2
4ac _ 0
Denicin 1.20 Llamaremos discriminante de la ecuacin 1.48 a la expresin
= /
2
4ac
Se tiene el siguiente teorema
Teorema 1.21 Considerando la ecuacin de segundo grado 1.48 se tiene que:
i) Si 0, entonces la ecuacin 1.48 tiene dos soluciones o races reales (diferentes)
r
1
=
b+
p
2a
, r
2
=
b
p
2a
ii) Si = 0, entonces la ecuacin 1.48 tiene una solucin o raz en R (o dos races iguales)
r
1
= r
2
=
/
2a
iii) Si < 0, entonces la ecuacin 1.48 no tiene soluciones en R.
Observacin: Esto es, si llamamos o al conjunto solucin de la ecuacin 1.48, se tiene i) Si 0, o =
r
1
, r
2
. ii) Si = 0, o = r
1
, iii) Si < 0, o = c.
Ejemplo 52 Consideremos la ecuacin;
3r
2
2r 1 = 0
Puesto que = (2)
2
+ 12 = 16 0, entonces la ecuacin tiene dos soluciones reales
r
1
=
2+
p
16
6
= 1 r
2
=
2
p
16
6
=
1
3
Ejemplo 53 La ecuacin
r
2
2r + 1 = 0
tiene una raz real (o dos races iguales)
r
1
= r
2
= 1
pues = 0
Ejemplo 54 Sin embargo la ecuacin
r
2
+r + 1 = 0
no tiene races reales pues = 3 < 0
Observacin: Es necesario enfatizar que la ecuacin 1.48 tiene solucin en R si y slo si
= /
2
4ac _ 0
Ejercicio 55 Complete los siguientes enunciados (correctamente):
1. Si la recta j =
3
2
r +/ corta a la parbola j
2
= 12r en un solo punto entonces / = .........
2. La recta de ecuacin j = / es tangente a la parbola j = r
2
6r + 8 si / = ...........
3. Si la recta j = 2r+/ corta a la curva 2(r1)
2
j
2
= 1 en dos puntos diferentes entonces / .........
4. La proposicin
(c + 1)r
2
4r + (c 1) 0 \r R
es verdadera si y slo si c ...........
Solucin:
1. Si la recta j =
3
2
2
= 12r en un solo punto entonces el sistema
(1)
3
2
r +/ = j
(2) j
2
= 12r
`
tiene nica solucin. Reemplazando (1) en (2) se tiene la ecuacin
(
3
2
r +/)
2
= 12r
que equivale a la ecuacin de segundo grado en la variable r.
9
4
r
2
+ (3/ 12)r +/
2
= 0 (1.49)
Luego el problema equivale a encontrar / R tal que la ecuacin de segundo grado tenga una nica
solucin.
Para esto el discriminante de la ecuacin 1.49 debe ser cero luego
= (3/ 12)
2
9/
2
= 0
de donde / = 2 Si la recta j =
3
2
2
= 12r en un solo punto entonces / = 2.
2. Este problema es equivalente al ejercicio anterior, pues si la recta j = / es tangente a la parbola
j = r
2
6r+8, entonces la recta y parbola se cortan en un solo punto. Por consiguiente el problema
es equivalente a determinar / en R tal que la ecuacin de segundo grado
r
2
6r + 8 / = 0
tenga nica solucin. As
= 36 4(8 /) = 0
de donde / = 1
Nota:
El lector que conoce el concepto de derivada se habr dado cuenta que este problema resulta muy
simple, si utilizamos ese concepto.
3. En este caso, tenemos que el sistema
2r +/ = j
2(r 1)
2
j
2
= 1
debe tener dos soluciones reales diferentes, luego la ecuacin de segundo grado
2(r 1)
2
(2r +/)
2
= 1
que equivale a
2r
2
+ (4 + 4/)r +/
2
1 = 0
debe cumplir que su discriminante sea mayor que cero, es decir,
= (4 + 4/)
2
8(/
2
1) 0
== /
2
+ 4/ + 3 0
== (/ + 1)(/ + 3) 0
== (/ + 1 0 . / + 3 0) . (/ + 1 < 0 . / + 3 < 0)
== / 1 . / < 3
== / ] , 3['] 1, [
por lo tanto / R [3, 1]
4. La inecuacin
(c + 1)r
2
4r +c 1 0
se verica para todo r en R si y slo si el discriminante de la ecuacin asociada
(c + 1)r
2
4r +c 1 = 0
es menor que cero con c 1 0, esto es,
= 16 4(c + 1)(c 1) < 0 . c 1 0
== c
2
5 0 . c 1
== (c
_
5)(c +
_
5) 0 . c 1
== c
_
5
Por lo tanto c ]
_
5, [.
Ejercicio 56 Determine para qu valores reales de / las races de la ecuacin
(/ 3)r
2
2/r + 6/ = 0
son reales.
Solucin:
1. Supongamos / ,= 3, en este caso la ecuacin es de segundo grado. Las races sern reales si
= (2/)
2
4(/ 3)6/ _ 0
= 4/
2
24/(/ 3) _ 0
= 4/(18 5/) _ 0
= (/ _ 0 . 18 5/ _ 0) . (/ _ 0 . 18 5/ _ 0)
= 0 _ / _
18
5
luego
/ [0,
18
5
] 3
2. Supongamos ahora que / = 3, entonces tenemos la ecuacin
6r + 18 = 0
de donde obtenemos r = 3 R
As, hemos determinado que las races de la ecuacin ?? sern reales si
/ [0,
18
5
]
Ejercicio 57 Considerando el ejercicio anterior, bajo qu condiciones las races sern positivas?
Solucin: Del teorema anterior es claro que si r
1
y r
2
son las races reales de la ecuacin 1.48 se tiene
que
r
1
+r
2
=
b
a
. r
1
r
2
=
c
a
Luego las races sern positivas si
r
1
+r
2
0 . r
1
r
2
0,
es decir,
b
a
0 .
c
a
0
En el caso de la ecuacin ?? tenemos
1. Si / = 3 entonces r = 3 0
2. Si / ,= 3, entonces las races sern positivas si
2/
/ 3
0 .
6/
/ 3
0
con / [0,
18
5
] 3. Resolviendo las inecuaciones en ?? obtenemos / ]3,
18
5
].
En consecuencia las races sern reales y positivas si
/ ]3,
18
5
]
Observacin: Es claro que las races r
1
y r
2
sern negativas si
r
1
+r
2
=
b
a
< 0 . r
1
r
2
=
c
a
0
Por otra parte, conociendo las races r
1
y r
2
, podemos factorizar la expresin ar
2
+/r+c del siguiente
modo:
ar
2
+/r +c = a
_
r
2
_
/
a
_
r +
c
a
_
= a(r
2
(r
1
+r
2
)r +r
1
r
2
)
= a(r r
1
)(r r
2
)
Esta factorizacin nos facilita la resolucin de inecuaciones.
Ejemplo 58 Resolvamos la inecuacin
r
2
1
2r
2
8r + 6
0
Solucin:
Es claro que
r
2
1
2r
2
8r + 6
0 =
(r 1)(r + 1)
2(r 1)(r 3)
0
y el conjunto restriccin de la inecuacin ?? es
1
= R 1, 3
Ahora resolver la inecuacin ?? equivale a resolver
r + 1
2(r 3)
0 en
1
.
Se tiene:
r + 1
2(r 3)
0 = (r + 1 0 . r 3 0) . (r + 1 < 0 . r 3 < 0)
= r 3 . r < 1
= r ] , 1[']3, [
Por lo tanto el conjunto solucin de la inecuacin ?? es
o = (] , 1[']3, [)
1
= R [1, 3]
En muchas ocasiones, para resolver una inecuacin, no es necesario analizar todos los factores involu-
crados, sino una inecuacin equivalente ms simple.
Ejemplo 59 Resolvamos la inecuacin
(r
2
+ 1)
_
r 1
r
2
7r + 10
_ 0
Solucin:
Las races de la ecuacin r
2
7r + 10 = 0 son r
1
= 2 y r
2
= 5, luego,
(r
2
+ 1)
_
r 1
r
2
7r + 10
_ 0 =
(r
2
+ 1)
_
r 1
(r 2)(r 5)
_ 0
El conjunto sobre el cual tiene signicado resolver la inecuacin en R es
1
= r R : r 1 _ 0 . r 2 ,= 0 . r 5 ,= 0,
es decir, el conjunto restriccin es
1
= [1, [2, 5
Puesto que, para todo r
1
, se tiene
_
r 1 _ 0 . r
2
+ 1 0
entonces nos queda por resolver:
(r 2)(r 5) < 0 sobre
1
Ahora bien,
(r 2)(r 5) < 0 = (r 2 0 . r 5 < 0) . (r 2 < 0 . r 5 0)
= (r 2 . r < 5) . (r < 2 . r 5)
= r ]2, 5[
pero 1 es tambin una solucin.
En consecuencia el conjunto solucin es
o = (]2, 5['1)
1
=]2, 5['1
Geomtricamente (ver guras) una raz o solucin de una ecuacin de segundo grado 1.48 corresponde
a la interseccin de la parbola
j = ar
2
+/r +c
y el eje de las abscisas (o eje r ). As, la parbola j = ar
2
+ /r + c corta al eje de las abscisas en dos
puntos (r
1
, 0) y (r
2
, 0) si y slo si la ecuacin 1.48 tiene dos races reales r
1
y r
2
.
La parbola tocar al eje de las abscisas en solo un punto (r
1
, 0) si y slo si la ecuacin 1.48 tiene slo
una solucin real r
1
.
La parbola j = ar
2
+/r +c no corta al eje de las abscisas si y slo si la ecuacin 1.48 no tiene races
reales. En este ltimo caso observemos que:
Si a 0, ar
2
+/r +c 0 \r R o bien, si a < 0, ar
2
+/r +c < 0, \r R
17
.
De lo anterior es claro que
r
2
+ 2r + 3 0 \r R
pues = 2
2
4 3 = 8 < 0 y c = 3 0.
Esto resulta ventajoso para resolver inecuaciones tales como
(r
2
+ 2r + 3)(
_
r
2
+ 2r + 1 1) 0
ya que esto equivale a resolver
_
r
2
+ 2r + 1 1 0 (1.50)
Puesto que
r
2
+ 2r + 1 = (r + 1)
2
_ 0 \r R
17
Tambin se puede armar lo mismo con el signo de c.
entonces el conjunto restriccin de la inecuacin 1.50 es
1
= R . Por otra parte,
_
r
2
+ 2r + 1 1 0
=
_
r
2
+ 2r + 1 1
= r
2
+ 2r + 1 1
= r
2
+ 2r 0
= r(r + 2) 0
= (r 0 . r + 2 0) . (r < 0 . r + 2 < 0)
= (r 0 . r 2) . (r < 0 . r < 2)
= r 0 . r < 2
Por lo tanto el conjunto solucin de la inecuacin es
o = (] , 2[']0, [)
1
= R [2, 0]
Ejercicio 60 Determine si las siguiente armaciones son verdaderas o falsas.
1. El conjunto solucin de la inecuacin
_
1 r < r es ]0, 1]
2. El conjunto solucin de
r
_
r 1 es c
3. r R :
x
2
4x+4
p
x
2
+4x5
_ 0 = c
Solucin:
1. Falso. Resolvamos
_
1 r < r
La expresin
_
1 r est denida en R si 1r _ 0 por lo tanto el conjunto restriccin de la inecuacin
es
1
=] , 1]. Como
_
1 r _ 0 en
1
, entonces la inecuacin podra tener solucin no vaca
slo si r 0, en cuyo caso podemos elevar al cuadrado en
2
=]0, 1].
As
_
1 r < r ,()
2
== 1 r < r
2
== r
2
+r 1 0 (1.51)
Como el discriminante de la ecuacin asociada a r
2
+r 1 = 0 es = 5 0 entonces la expresin
r
2
+r 1 se puede factorizar como;
r
2
+r 1 =
_
r
_
1 +
_
5
2
___
r
_
1
_
5
2
__
.
Luego, resolver 1.51 equivale a resolver en
2
la inecuacin
_
r
_
1 +
_
5
2
___
r
_
1
_
5
2
__
0
de donde obtenemos
o =
__
,
1
_
5
2
_
'
_
1 +
_
5
2
,
__
]0, 1]
=
_
1 +
_
5
2
, 1
_
2. Verdadero. La expresin
_
r 1 est denida en R si r 1 _ 0, es decir, si r _ 1 luego
=] , 1]. Pero
_
r 1 _ 0 en , por lo tanto la inecuacin r
_
r 1 podra tener
solucin no vaca slo si r _ 0; pero r ,_ 0, por lo tanto o = c.
Nota: Un error tpico en la resolucin de las inecuaciones anteriores es elevar al cuadrado sin hacer
la restriccin.
3. Falso. Existe r = 2 R que satisface la inecuacin, luego o ,= c.
Nota:
Otra forma de justicar es resolviendo la inecuacin
Resolvamos
r
2
4r + 4
_
r
2
+ 4r 5
_ 0 (1.52)
La expresin
x
2
4x+4
p
x
2
+4x5
que equivale a
(x2)
2
_
(x1)(x+5)
est denida en R
si r =] , 5[']1, [.
Como (r 2)
2
_ 0, \r R y
_
(r 1)(r + 5) 0 en entonces
(r 2)
2
_
(r 1)(r + 5)
_ 0 en
por consiguiente la inecuacin 1.52 tendr solucin slo para aquellos r en que cumplan
(r 2)
2
_
(r 1)(r + 5)
= 0
es decir,
o = 2
(Por supuesto, si o hubiera tenido ms elementos, cualesquiera de ellos habra bastado para demostrar la
falsedad del enunciado 3).
1.3.6 Valor absoluto
Recordemos que cuando estudiamos la raz par 1.20 obtuvimos
_
r
2
=
_
r , si r _ 0
r , si r < 0
Esto nos sugiere la siguiente denicin.
Denicin 1.22 Sea r R . Se dene el valor absoluto de r como;
[ r [=
_
r , si r _ 0
r , si r < 0
En consecuencia
_
r
2
=[ r [ \r R
As, por ejemplo, en la inecuacin 1.50 tenemos
_
r
2
+ 2r + 1 1 =
_
(r + 1)
2
1
= [ r + 1 [ 1 (1.53)
Veremos que resolver
[ r + 1 [ 1
resulta ms simple que en 1.50. Pero antes determinaremos algunas propiedades bsicas del valor absoluto.
Es claro de la denicin de valor absoluto que
[ a [_ 0, \a R
Proposicin 1.23 Sea a, / R entonces:
i) [ a [= / = a = / . a = /, / R
+
0
ii) [ a [=[ a [
iii) [ a/ [=[ a [[ / [
iv) [ a [
2
=[ a
2
[= a
2
v) [ a [_ a _[ a [
Usando las propiedades mencionadas probemos que
[ a [_ / = / _ a _ / a R / R
(=) Supongamos que [ a [_ / y demostraremos que / _ a _ /.
Como a _[ a [ y [ a [_ / entonces por transitividad
a _ / (1.54)
Adems,
[ a [_ / = / _ [ a [
pero
[ a [_ a
luego, por transitividad nuevamente,
/ _ a (1.55)
luego por 1.54 y 1.55 tenemos que
/ _ a _ /
(=) Ahora supongamos que
/ _ a _ /,
es decir,
/ _ a . a _ /
Probaremos que
[ a [_ /
La demostracin se har por casos
18
.
Caso 1: Si a _ 0, entonces [ a [= a, adems por hiptesis a _ / luego
[ a [_ /
18
Las propiedades i) a v) anteriormente enunciadas pueden ser probadas con la misma tcnica que los casos aqudesarrol-
lados.
Caso 2: Si a < 0, entonces [ a [= a, es decir,
[ a [= a
y por hiptesis / _ a luego
/ _ [ a [
de donde
[ a [_ /
En consecuencia
[ a [_ / = / _ a _ /
Usando la equivalencia
(j = ) = (~ =~ j)
se obtiene
a / . a < / =[ a [ /,
que puede ser extendida a
[ a [_ / = a _ / . a _ /
As, hemos probado los siguientes importantes resultados:
Teorema 1.24 Sean a, / R
[ a [_ / = / _ a _ /
[ a [_ / = a _ / . a _ /
(Recuerde que, segn se advirti antes, en el teorema anterior, el signo _ puede ser cambiado por <.)
Observacin: Notemos que si / < 0 entonces la proposicin, para todo a en los R [a[ < / es falsa, y la
proposicin para todo a R [a[ / es verdadera. As por ejemplo la solucin de la inecuacin [r[ < 1
es vaca y la solucin de [r[ 1 es R.
Volviendo a la inecuacin 1.53 resolvamos
[ r + 1 [ 1
Aplicando la propiedad anterior tenemos que
[ r + 1 [ 1 = r + 1 1 . r + 1 < 1
= r 0 . r < 2
= r ] , 2[']0, [
= r R [2, 0]
luego la solucin es
o = R [2, 0]
Sin embargo, la solucin de la inecuacin
[ r + 1 [< 1
es
o =] 2, 0[
En efecto,
[ r + 1 [< 1 = 1 < r + 1 < 1
= 2 < r < 0
Ejercicio 61 Determine si las siguientes armaciones son verdaderas o falsas.
1. r R :
1
jx1j
= r R : 1 [r 1[
2. r R : r _
_
[r[ = r R : r _
_
r
3. r R
+
: [[r[ 1[ _ 1 = [2, 2]
4. La solucin de
_
(r 1)
3
_ [r 1[ es [1, 2].
Solucin:
1. Falso. Existe r = 1 R tal que 1 [r 1[ pero
1 , r R :
1
[r 1[
1
pues la expresin
1
jx1j
no est denida en R.
2. Falso. Existe r = 1 R tal que r _
_
[r[ sin embargo;
_
r no est denida para r = 1.
3. Falso.
[[r[ 1[ _ 1 == 1 _ [r[ 1 _ 1 , + 1
== 0 _ [r[ _ 2
== 0 _ [r[ . [r[ _ 2
== V . 2 _ r _ 2
== r [2, 2]
Luego r R
+
: [[r[ 1[ _ 1 = R
+
[2, 2] =]0, 2].
4. Verdadero. Restriccin = [1, [; adems,
_
(r 1)
3
_ [r 1[ == [r 1[
_
r 1 _ [r 1[
== [r 1[(
_
r 1 1) _ 0
== r = 1 .
_
r 1 1 _ 0
== r = 1 .
_
r 1 _ 1
== r = 1 . r 1 _ 1
== r = 1 . r _ 2
pero r _ 1 luego o = [1, 2].
1 +[2r 3[
[r + 5[
< 1 (1.56)
Solucin: La expresin
1+j2x3j
jx+5j
est denida en R, si [r + 5[ ,= 0, es decir
1
= R 5
1+ [ 2r 3 [
[ r + 5 [
< 1 = 1+ [ 2r + 3 [<[ r + 5 [
Analicemos dnde los factores 2r 3 y r + 5 son positivos y dnde negativos, para luego usar la
denicin de valor absoluto.
Para el trmino 2r 3 se tiene que;
2r 3 _ 0 = r _
3
2
=[ 2r 3 [= 2r 3
y
2r 3 _ 0 = r _
3
2
=[ 2r 3 [= (2r 3)
Anlogamente, para el factor r + 5 se tiene que
r + 5 _ 0 =[ r + 5 [= r + 5 = r _ 5
y
r + 5 _ 0 = r _ 5 =[ r + 5 [= (r + 5)
Resumiremos toda la informacin anterior en la tabla siguiente
19
], 5[

5,
3
2
_
3
2
,
_
2r 3 - - +
r + 5 - + +
Luego segn las distintas posibilidades de signos para los trminos 2r 3 y r + 5 y considerando la
restriccin
1
debemos analizar tres casos:
1. r ] , 5]
1
2. r ] 5,
3
2
]
1
3. r ]
3
2
, ]
1
Caso 1:
Si r ] , 5]
1
=] , 5] se tiene que
1+ [ 2r 3 [<[ r + 5 [
= 1 + ((2r 3)) < (r + 5)
= r 9
= r ]9, [
pero r ] , 5[, luego
o
1
=] , 5[]9, [= O
Esto quiere decir que no existen elementos en ] , 5[ que cumplan con la inecuacin 1.56
Caso 2:
Si r ] 5,
3
2
]
1
=] 5,
3
2
] se tiene que
1+ [ 2r 3 [<[ r + 5 [
= 1 + ((2r 3)) < r + 5
= r
1
3
= r ]
1
3
, [
pero r ] 5,
3
2
] luego
o
2
=] 5,
3
2
]]
1
3
, [=]
1
3
,
3
2
],
19
Aqu no tomamos los valores extremos 5 y
3
2
; usted debe completar esta falta, lo hemos hecho ms adelante, pero no
es la nica forma.
Es decir, que cualquier r ]
1
3
,
3
2
] cumple con la inecuacin 1.56.
Caso 3:
Si r ]
3
2
, [
1
=]
3
2
, [ se tiene que
1+ [ 2r 3 [<[ r + 5 [
= 1 + (2r 3) < r + 5
= r < 7
= r ] , 7[
pero r ]
3
2
, [ luego
o
3
=]
3
2
, [] , 7[=]
3
2
, 7[
Es decir, que cualquier r ]
3
2
, 7[ cumple con la inecuacin 1.56.
En consecuencia, el conjunto solucin de la inecuacin 1.56 es
o
T
= o
1
' o
2
' o
3
=]
1
3
, 7[.
[ r 3 [_
_
r
2
1 (1.57)
Solucin: En primer lugar consideremos la restriccin
2
= r R : r
2
1 _ 0
= r R :[ r [_ 1
= r R : r _ 1 . r _ 1
= ] , 1] ' [1, [
= R] 1, 1[
Ahora elevando al cuadrado 1.57, en 1
2
se tiene
[ r 3 [
2
_ r
2
1
= r
2
6r + 9 _ r
2
1
= 6r _ 10
= r _
5
3
Finalmente,
o
T
= (R] 1, 1[) [
5
3
, [= [
5
3
, [.
r
2
+r + 8
1
_
[r[ 3
_ 0 (1.58)
Solucin: = r R : [r[ 3 _ 0 . 1
_
[r[ 3 ,= 0.
Ahora bien,
[r[ 3 _ 0 == [r[ _ 3
== r _ 3 . r _ 3
== r ] , 3] ' [3, [,
Adems,
1
_
[r[ 3 = 0 ==
_
[r[ 3 = 1
== [r[ 3 = 1
== [r[ = 4
== r = 4 . r = 4
Luego el conjunto restriccin de la inecuacin 1.58 es
= (] , 3] ' [3, [) 4, 4
Por otra parte, el discriminante de la ecuacin de segundo grado
r
2
+r + 8 = 0
es = 1 32 < 0 y como c = 8 0 entonces
r
2
+r + 8 0 \r R.
En consecuencia, resolver la inecuacin
x
2
+x+8
1
_
jxj3
_ 0 equivale a resolver la inecuacin
1
_
[r[ 3 0
Resolvamos
1
_
[r[ 3 0 ==
_
[r[ 3 < 1
== [r[ 3 < 1
== [r[ < 4
== 4 < r < 4
== r ] 4, 4[
como r , luego el conjunto solucin de la inecuacin 1.58 es:
o =] 4, 3] ' [3, 4[
1
_
16 r
2
r 1
< 3 (1.59)
Solucin:
El conjunto restriccin es
= r R : 16 r
2
_ 0 . r 1 ,= 0 = [4, 4] 1
Analicemos los casos: r 1 y r < 1 con r .
i) Supongamos que r 1 con r
Entonces, dado que r 1 0 se tiene que 1.59 equivale a
1
_
16 r
2
< 3(r 1)
4 3r <
_
16 r
2
(1.60)
i1) Consideremos los reales tales que 4 3r _ 0 y 1 < r _ 4 es decir, r ]1, 4,3] = C
1
.
En este conjunto podemos elevar al cuadrado, obteniendo
(4 3r)
2
< 16 r
2
== 16 24r + 9r
2
< 16 r
2
== 10r
2
24r < 0
== 2r(5r 12) < 0
pero r C
1
luego r < 12,5.
Por lo tanto,
r ]1, 4,3]] , 12,5[=]1, 4,3]
i2) Ahora consideremos los reales tales que
4 3r < 0 y r ]1, 4]
es decir, r ]4,3, 4] = C
2
En este conjunto, es claro que la desigualdad 1.60 se cumple para todo r C
2
.
Luego
o
i
= o
i1
' o
i2
=]1, 4,3]']4,3, 4] =]1, 4]
ii) Supongamos r < 1 con r , es decir, r [4, 1[ entonces, dado que r < 1 se tiene que 1.59 es
equivalente a
1
_
16 r
2
3(r 1)
== 4 3r
_
16 r
2
Dado que r [4, 1[ entonces 4 3r 0. y podemos elevar el cuadrado, obteniendos.
(4 3r)
2
16 r
2
== 2r(5r 12) 0
de donde r (] , 0[']12,5, [) [4, 1[
Luego
o
ii
= [4, 0[
As la solucin es
o
T
= o
i
' o
ii
= [4, 0[']1, 4]
_
4r + 1
_
r + 6
_
r 1
< 1 (1.61)
Solucin: Determimos el conjunto restriccin
= r R : 4r + 1 _ 0 . r + 6 _ 0 . r 1 0
= [1,4, [[6, []1, [
= ]1, [
Como
_
r 1 0 entonces 1.61 es equivalente a
_
4r 1
_
r + 6 <
_
r 1
==
_
4r 1 <
_
r 1 +
_
r + 6 (1.62)
Como ambos miembros de la inecuacin 1.62 son no negativos, podemos elevar al cuadrado, obteniendo
4r + 1 < r + 6 + 2
_
(r + 6)(r 1) +r 1
== 2r 4 < 2
_
(r + 6)(r 1)
== r 2 <
_
(r + 6)(r 1) (1.63)
Ahora analicemos los casos r 2 _ 0 y r 2 < 0 considerando r =]1, [.
Caso1 Si r 2 _ 0 y r ]1, [ entonces r C
1
= [2, [.
Es claro que si r C
1
entonces podemos elevar al cuadrado la inecuacin 1.62 obteniendo
(r 2)
2
< (r + 6)(r 1)
== r
2
4r + 4 < r
2
+ 5r 6
== 9r 10 0
== r 10,9
luego o
1
=]10,9, [[2, [=]1, [
Caso 2 Si r 2 < 0 y r ]1, [ entonces r ]1, 2[= C
2
.
Luego, dado que r 2 < 0 y
_
(r + 6)(r 1) 0, para r C
2
entonces la desigualdad 1.62 se cumple
para todo r C
2
o
2
=]1, 2[
o
T
= o
1
' o
2
= [2, [']1, 2[= [2, [
Una propiedad muy usada para acotar
20
expresiones reales es la desigualdad triangular
Teorema 1.25 (Desigualdad Triangular) Sean a, / R , entonces
[ a +/ [_[ a [ + [ / [
Demostracin: Como [ a +/ [_ 0, [ a [_ 0, [ / [_ 0, se tiene
[ a +/ [_[ a [ + [ / [ = ([ a +/ [)
2
_ ([ a [ + [ / [)
2
Luego basta demostrar que
([ a +/ [)
2
_ ([ a [ + [ / [)
2
pero
([ a +/ [)
2
= (a +/)
2
= a
2
+ 2a/ +/
2
= [ a [
2
+2a/+ [ / [
2
_ [ a [
2
+2 [ a/ [ + [ / [
2
= [ a [
2
+2 [ a [[ / [ + [ / [
2
= ([ a [ + [ / [)
2
Por lo tanto,
([ a +/ [)
2
_ ([ a [ + [ / [)
2
Observemos que, segn el teorema anterior

1
jaj+jbj
_
1
ja+bj
\a, / R, a +/ ,= 0
De la desigualdad triangular se deduce adems la siguiente propiedad
20
Entenderemos por acotar superiormente una expresin, el encontrar un nmero o una expresin real mayor o igual a
la dada. Anlogamente se dene acotar inferiormente(ver denicin 1.27 ms adelante)
Corolario 1.26 Sean a, / R , entonces
[ a [ [ / [_[ a / [
En efecto,
[ a [=[ a / +/ [_[ a / [ + [ / [
luego
[ a [ [ / [_[ a / [
En base a esta propiedad podemos demostrar implicaciones tales como la siguiente:
[ r +
1
3
[<
1
10
=
1
[ 2r 1 [
<
15
22
Solucin:
[ r +
1
3
[<
1
10
= 2 [ r +
1
3
[<
1
5
= [ 2r +
2
3
[<
1
5
= [ 2r 1 + 1 +
2
3
[<
1
5
= [
5
3
+ 2r 1 [<
1
5
pero, por corolario anterior, se tiene que
[
5
3
[ [ 2r 1 [<[
5
3
+ (2r 1) [
lo que implica que
5
3
[ 2r 1 [<
1
5
es decir,
[ 2r 1 [<
1
5

5
3
lo que equivale a
[ 2r 1 [
22
15
y nalmente obtenemos lo buscado
1
[ 2r 1 [
<
15
22
cuando r ,=
1
2
. En consecuencia
[ r +
1
3
[<
1
10
=
1
[ 2r 1 [
<
15
22
Observemos que esta implicacin tambin puede probarse usando el teorema 1.24 de la siguiente forma:
[ r +
1
3
[<
1
10
=
1
10
< r +
1
3
<
1
10
/ + (
1
3
)
=
1
10

1
3
< r <
1
10

1
3
=
13
30
< r <
7
30
=
13
15
< 2r <
7
15
=
28
15
< 2r 1 <
22
15
=
28
15
(2r 1)
22
15
=
28
15
[ 2r 1 [
22
15
=
15
28
<
1
[ 2r 1 [
<
15
22
=
1
[ 2r 1 [
<
15
22
Ejemplo 67
21
Usando las propiedades mencionadas probemos que las siguientes desigualdades son ver-
daderas para los nmeros reales r e j indicados.
1. [ r [_
_
r
2
+j
2
, \r, j R
2. [rj[ _ r
2
+j
2
\r, j R
3.
_
x
2
jyj
jxj+jyj
_
_
[ j [, \r, j R 0
4.
jxyj
_
x
2
+y
2
_[ r [, \r, j R 0
5.
_
x
4
+2x
3
y+x
2
y
2
jxj+jyj
_ [r[, \r, j R 0
6.
jyxyj
_
(x1)
2
+y
2
_[ j [, \r, j R (r, j) ,= (1, 0).
Solucin:
1.
[ r [=
_
r
2
_
_
r
2
+j
2
,
Note: De lo anterior es claro que
1
_
r
2
+j
2
_
1
[ r [
2. Para todo r, j en R se tiene
[r[ _
_
r
2
+j
2
, [j[ _
_
r
2
+j
2
luego
[rj[ = [r[[j[ _
_
r
2
+j
2
_
r
2
+j
2
= r
2
+j
2
.
Observe que no es cierto [rj[ _ (r +j)
2
para todo r, j R
21
En el curso de clculo en varias variables veremos que las propiedades y desigualdades anteriores son muy tiles en el
clculo de lmites.
3.
_
r
2
[ j [
[ r [ + [ j [
=
_
r
2
_
[ j [
[ r [ + [ j [
=
[ r [
_
[ j [
[ r [ + [ j [
_
[ r [
_
[ j [
[ r [
=
_
[ j [
Note
[ r [ + [ j [_[ r [, \r, j R
y de esto se obtiene la siguiente desigualdad muy utilizada
1
jxj+jyj
_
1
jxj
, \r, j R 0
4.
[ rj [
_
r
2
+j
2
_
[ rj [
[ j [
=
[ r [[ j [
[ j [
=[ r [
5.
_
r
4
+ 2r
3
j +r
2
j
2
[ r [ + [ j [
=
_
r
2
(r
2
+ 2rj +j
2
)
[ r [ + [ j [
=
[ r [
_
(r +j)
2
[ r [ + [ j [
(1.64)
Analicemos los siguientes casos
(a) Supongamos que r +j ,= 0. Entonces por la desigualdad triangular es claro que
1
[ r [ + [ j [
_
1
[ r +j [
adems,
_
(r +j)
2
=[ r +j [
luego,
[ r [
_
(r +j)
2
[ r [ + [ j [
_
[ r [[ r +j [
[ r +j [
=[ r [
(b) Si r +j = 0 con r, j R 0. Entonces es claro por 1.64 que
_
r
4
+ 2r
3
j +r
2
j
2
[ r [ + [ j [
= 0
y
0 _[ r [
As, de a) y b) se tiene la desigualdad pedida
6. (a) Supongamos que r ,= 1
[ jr j [
_
(r 1)
2
+j
2
_
[ jr j [
_
(r 1)
2
=
[ j [[ r 1 [
[ r 1 [
=[ j [
(b) Si r = 1, j ,= 0, se tiene la desigualdad que equivale a 0 _ [j[, la cual es verdadera.
Por lo tanto de (a) y (b) se tiene la desigualdad.
Algunos de los errores ms frecuentes que se cometen al acotar expresiones reales por otras consisten
en utilizar desigualdades que no se cumplen en los conjuntos dados. Por ejemplo, la proposicin
_
jxyj
jxj+jyj
_
jxyj
jxj+jyj
\r, j R 0
no es verdadera, es decir,
1.4. AXIOMA DEL SUPREMO 73
jxyj
jxj+jyj
no acota superiormente a
_
jxyj
jxj+jyj
segn veremos a continuacin
Notemos que
_
jxyj
jxj+jyj
_
jxyj
jxj+jyj
=
_
[ rj [ _[ rj [
Sin embargo
_
[ rj [ _[ rj [
slo se cumple si [ rj [_ 1 o [ jr [= 0.
Anlogamente no es cierto que
y
2
jxj
_
x
2
+y
2
_
y
2
_
x
2
+y
2
\r, j R 0
Es claro que esta desigualdad equivale a
1
jxj
_ 1 con r ,= 0
y esto se cumple si y slo si [ r [_ 1, es decir, r _ 1 . r _ 1
1.4 Axioma del Supremo
Finalmente presentaremos el ltimo axioma de los nmeros reales, axioma que nos permite decir que los
nmeros reales completan todos los espacios en una recta si son representados en tal forma.
En primer lugar veamos qu entendemos por un conjunto acotado.
Denicin 1.27 Sea _ R , ,= O, r R . Diremos que
i) r es una Cota Superior de si y slo si:
a _ r , \a
es decir, r es cota superior de si r es mayor o igual que cualquier elemento de .
ii) r es una Cota Inferior de si slo si:
a _ r , \a
es decir, r es menor o igual que cualquier elemento de .
Si existe cota superior (inferior) para un conjunto , se dice que es acotado superiormente (inferi-
ormente)
Si es acotado superior e inferiormente se dice que es acotado.
Si = c diremos que es acotado.(Lo cual puede ser demostrado)
Ejemplo 68 =] , 5] es acotado superiormente, pues;
Existe r = 5 R tal que a _ 5 para todo a , pero no es acotado inferiormente, pues no existe
r R tal que, para todo a , r _ a
Observemos que cualquier r [5, [ es una cota superior para . Luego el conjunto de cotas
superiores de es [5, [.
En cambio 1 =] 2, [ es acotado inferiormente pero no acotado superiormente. El conjunto de
cotas inferiores de 1 es el conjunto ] , 2].
De lo anterior, es claro que el conjunto C = [2, 5] es acotado
Asimismo, el conjunto
1 = r R : r
2
< 12
es acotado puesto que
r
2
< 12 =[ r [<
_
12 =
_
12 < r <
_
12,
es decir,
1 =]
_
12,
_
12[
donde ] ,
_
12] es el conjunto de cotas inferiores y el conjunto [
_
12, [ es el conjunto de cotas
superiores. Sin embargo el conjunto;
1 = r Z : r
2
< 12
no tiene los mismos conjuntos de cotas superiores e inferiores que 1, en efecto,
1 = Z]
_
12,
_
12[= 3, 2, 1, 0, 1, 2, 3
luego 1 tambin es acotado pero el conjunto de cotas superiores de 1 es ] , 3] y el de cotas superiores
de 1 es [3, [.
Ejercicio 69 Sean
=
_
r R :
1+j2x3j
jx+5j
< 1
_
, 1 =
_
r R :[ r 3 [_
_
r
2
1
_
Determine si los conjuntos , 1 , 1, '1 son acotados y encuentre, si existen, el conjunto de cotas
superiores e inferiores en cada caso.
Solucin:
En el ejercicio 62 obtuvimos que
=]
1
3
, 7[
Este conjunto es acotado inferior y superiormente; as, es un conjunto acotado.
El conjunto de cotas inferiores de es ] ,
1
3
] y el conjunto de cotas superiores es [7, [.
Adems en el ejercicio 63 determinamos que
1 = [
5
3
, [;
el cual es un conjunto acotado inferiormente, pero no es acotado superiormente, luego 1 no es acotado.
El conjunto de cotas inferiores de 1 es ] ,
5
3
]
Como =]
1
3
, 7[ y 1 = [
5
3
, [, entonces
1 =]
5
3
, 7]
y
' 1 =]
1
3
, [
Luego 1 es acotado. El conjunto de cotas superiores de 1 es [7, [ y el de cotas inferiores es
] ,
5
3
]. Sin embargo 1 no es acotado pues no es acotado superiormente. El conjunto de cotas inferiores
de ' 1 es ] ,
1
3
[.
Denicin 1.28 Sea R , ,= O
i) Si es acotado superiormente, diremos que 1 R es el Supremo de si y slo si 1 es una cota
superior de , y, para cualquier cota superior r de se tiene que
1 _ r.
Es decir, 1 es la menor de las cotas superiores de . Se anotar
sup = 1
ii) Si es acotado inferiormente, diremos que 1 R es el Inmo de si y slo si 1 es una cota inferior
de , y, para cualquier cota inferior r de se tiene que
1 _ r.
Es decir, 1 es la mayor de las cotas inferiores de .
Se anotar
inf = 1
Ejemplo 70 Como =]
1
3
, 7[ es un conjunto acotado, entonces existen
sup = 7, inf =
1
3
Sin embargo; 1 =] ,
5
3
] no es acotado inferiormente, luego no existe inf 1, pero existe sup1 pues
1 es acotado superiormente, sup1 =
5
3
.
Axioma del Supremo:
Todo subconjunto de R no vaco y acotado superiormente tiene supremo el cual es un elemento de R.
Usando el axioma del supremo, se puede demostrar que: Todo subconjunto de R no vaco y acotado
inferiormente tiene nmo, el cual es un elemento de R.
Aunque en muchos casos no se ve claramente cul es el supremo de un conjunto, el axioma nos asegura
su existencia.
Ejemplo 71 Consideremos el conjunto de todas las aproximaciones decimales sucesivas e inferiores a
_
2, es decir,
= 1, 4; 1, 41; 1, 414; 1, 4142; . . .
como R , ,= c y es acotado superiormente (por ejemplo 1, 5 R es cota superior), entonces por
axioma del supremo, existe sup el cual es un elemento de R.
Nota: En el ejemplo anterior
sup =
_
2
Ejemplo 72 Sea
=
_
r R : r =
:
: + 1
, : N
_
Es claro que R y ,= O, adems
n
n+1
< 1 \: N,
es decir, r < 1 para todo r . Luego es acotado superiormente y por axioma del supremo, existe
sup. Considerando distintos valores de : podemos conjeturar que:
sup = 1 (1.65)
El hecho que R satisfaga los axiomas de cuerpo, de orden y del supremo se expresa diciendo que es un
cuerpo ordenado y completo.
Ejercicio 73 Sea R , ,= c y acotado superiormente. Pruebe que sup es nico
Solucin: Por axioma del supremo es claro que existe sup. Sea 1 = sup. Supongamos que sup no
es nico, es decir, supongamos que existe 1
0
R tal que 1 ,= 1
0
y
1
0
= sup
entonces 1 y 1
0
son cotas superiores de . Por denicin de supremo tenemos que:
Si 1 = sup, entonces 1 _ 1
0
, pero si 1
0
= sup, entonces 1
0
_ 1, entonces 1 = 1
0
que es una
contradiccin.
De forma anloga se prueba que el nmo de es nico si es acotado inferiormente.
El siguiente teorema nos permite, entre otras cosas, demostrar la conjetura hecha en 1.65 del ejemplo
72
Teorema 1.29 Sea R, ,= c,
i) Sea 1 cota superior de . Entonces
1 = sup = \- 0, r : r 1 -
ii) Sea 1 cota inferior de . Entonces
1 = inf = \- 0, r : r < 1 +-
Demostracin: i) (=) Por demostrar que
1 = sup = \- 0, r : r 1 -
Por el mtodo del absurdo: Supongamos que
(1 = sup) . (- 0)(\r )(r _ 1 -) (1.66)
y obtengamos una contradiccin. Por 1.66, existe - 0 tal que
r _ 1 -, \r (1.67)
Entonces por denicin de cota 1 - es cota superior de pero 1 = sup (la mayor de las cotas
superiores), luego 1 _ 1 - de donde - _ 0, que contradice - 0.
i) (=) Nuevamente usamos el mtodo del absurdo. Sea 1 cota superior de . Por demostrar
(\ - 0)(r )(r 1 -) = 1 = sup
Supongamos que
(\ - 0)(r )(r 1 -) . 1 ,= sup
Si 1 ,= sup, siendo 1 cota superior de , entonces 1 no es la menor de las cotas superiores, es decir,
existe 1
0
cota superior de tal que
1
0
< 1
luego existe - 0 tal que
1
0
+ - = 1 (1.68)
Pero, por hiptesis, existe r tal que
r 1 - (1.69)
Por 1.68 y 1.69 se tiene que
r 1
0
con r
lo que es una contradiccin, pues 1
0
es cota superior de .
Anlogamente se demuestra que si 1 es cota inferior de
1 = inf = \ - 0, r : r < 1 + -
En base al teorema anterior, demostraremos que el conjunto de los nmeros naturales no es acotado.
Esto nos permitir a su vez probar el importante teorema 1.31
Proposicin 1.30 N no es acotado.
Demostracin: Supongamos lo contrario, es decir, que N es acotado superiormente. Entonces, por
axioma del supremo existe supN = 1 con 1 R . Luego por el teorema 1.29 tenemos:
\ - 0, : N, : 1 -
En particular, consideremos - = 1 0; entonces existe : N tal que
: 1 1,
es decir;
: + 1 1
pero : + 1 N , lo que es una contradiccin ya que 1 = supN .
Teorema 1.31 (Propiedad Arquimediana.) Todo nmero real puede ser sobrepasado por un nmero
natural. Es decir
\r R, : N : r < : (1.70)
Demostracin: Supongamos lo contrario esto es, asumamos que
r R, \: N : r _ :
Es claro que r es cota superior de N (por denicin de cota superior); luego N es acotado superiormente,
lo que es una contradiccin
Observacin: Una versin equivalente de la propiedad Arquimediana es la siguiente proposicin
\ - 0, : N :
1
:
< - (1.71)
En efecto
Sea - 0 y consideremos el real
1
"
, entonces por 1.70, existe : N tal que
:
1
-
de donde es claro que
1
:
< -
(El argumento puede revertirse)
El siguiente ejemplo muestra una aplicacin de la propiedad Arquimediana.
Ejemplo 74 Probemos que si
=
_
r
n
R : r
n
=
:
: + 1
, : N
_
entonces
sup = 1
Solucin: Primero probaremos que 1 = 1 es cota superior de , y segundo que 1 = 1 es la menor de
todas, es decir,
\ - 0, r
n
: r
n
1 -
1. Es claro que
: < : + 1 \: N
luego
n
n+1
< 1 \: N,
es decir,
r
n
< 1 \: N
Por lo tanto 1 = 1 es cota superior de .
2. Observemos que probar la existencia de r
n
tal que
r
n
< 1 - \ - 0
equivale a probar la existencia de : N tal que
n
n+1
< 1 - \ - 0
Sea - 0. Consideremos el real
1 "
"
. Por la propiedad Arquimediana, existe : N tal que
:
1 -
-
pero
:
1 -
-
= : - 1 -
= : : : - + 1 -
= : (: + 1)(1 -)
=
:
: + 1
1 -
En consecuencia
(\ - 0)(r
n
=
:
: + 1
)(r
n
1 -)
Luego
sup = 1
Probemos que si
= r
n
R : r
n
=
1
:
, : N
entonces
inf = 0
Solucin: Por demostrar que
Ejemplo 75 1. 1 = 0 es cota inferior de .
2. 1 = 0 es la mayor de todas las cotas inferiores, es decir
\ - 0, r
n
: r
n
< 1 + -
1. Es claro que
0 <
1
n
\: N
luego
0 < r
n
, \r
n
,
as, 1 = 0 es cota inferior de .
2. Por la propiedad Arquimediana 1.71 se tiene que
\ - 0, : N :
1
:
< -
lo que equivale a:
\ - 0, r
n
: r
n
< 1 + -
donde 1 = 0.
En consecuencia inf = 0.
1.5. EJERCICIOS PROPUESTOS 79
Hemos probado en la proposicin 1.14 que entre dos racionales existe al menos un racional.
Utilizando la propiedad arquimediana probemos la siguiente proposicin ms general:
Proposicin 1.32 Entre dos nmeros reales cualesquiera existe al menos un nmero racional.
Demostracin: Sean r, j R . Es claro que si r < 0 < j, existe r = 0 Q tal que r < r < j y la
propiedad queda probada en este caso.
Supongamos ahora 0 < r < j. Sea
- = j r 0
Por 1.71, existe : N tal que
1
:
< - = j r (1.72)
Adems, por 1.70, dado el real :r, existe : N tal que
: :r (1.73)
Sea : el mnimo entero que satisface 1.73, luego
:1 _ :r (1.74)
De 1.72, 1.73, 1.74 obtenemos
r <
:
:
=
:1
:
+
1
:
< r + (j r) = j
Por tanto
r <
:
:
< j,
Es decir, existe r =
m
n
Q tal que r < r < j.
Por otra parte, supongamos que r < j < 0. Entonces 0 < j < r y por lo anterior existe r Q tal
que
j < r < r
Luego
r < r < j
y como r Q queda demostrada la proposicin en este ltimo caso.
Observacin: Se dice que un subconjunto o R es denso en R si y slo si entre dos nmeros reales
cualesquiera existe algn elemento de o.
De la proposicin anterior es claro que el conjunto Q de los nmeros racionales es denso en R.
Es necesario aclarar que aunque Q es un cuerpo ordenado y denso en R, Q no llena la recta real,
pues por ejemplo,
_
2 , Q . En el conjunto de los nmeros racionales no existe un axioma anlogo al
axioma del Supremo.
R es el nico cuerpo ordenado y completo.
1.5 Ejercicios Propuestos
1.5.1 Estructuras de Grupo y Cuerpo
1. Sea
G =
__
a 0
/ 1
_
: a, /, c R
_
considere + una operacin asociativa
_
a 0
/ 1
_
+
_
a
0
0
/
0
1
_
=
_
aa
0
0
/a
0
+/
0
1
_
.
Determine si las siguientes armaciones son verdaderas o falsas (justique).
(a) El elemento neutro de G es
_
1 0
1 1
_
(b) Existe un elemento neutro para G.
(c) El inverso de
_
1 0
2 1
_
es
_
1 0
1 1
_
.
(d) Todo elemento de G tiene inverso
(e) (G, +) es conmutativo.
2. (a) Sea G = ar
2
+/r +c : a, /, c R bajo la operacin suma (+) denida por:
(ar
2
+/r +c) + (a
0
r
2
+/
0
r +c
0
) = (a +a
0
)r
2
+ (/ +/
0
)r + (c +c
0
)
Demuestre que G es un grupo conmutativo.
(b) Considere G
1
G donde G
1
= ar
2
+/r +c : a ,= 0. Muestre que (G
1
, +) no es un grupo.
3. Sea Q (
_
2) = a +/
_
2 : a, / Q bajo la operacin suma
(a +/
_
2) + (a
0
+/
0
_
2) = (a +a
0
) + (/ +/
0
)
_
2
y la operacin producto
(a +/
_
2) (a
0
+/
0
_
2) = (aa
0
+ 2//
0
) + (a/
0
+/a
0
)
_
2
Pruebe que (Q (
_
2), +, ) es un cuerpo conmutativo.
Note que Q Q (
_
2) R , y por esto se dice que Q y Q (
_
2) son subcuerpos de R.
4. Demuestre que, si a, / R , entonces
(a) a
2
+/
2
_ 2a/
(b) (a)
1
= (a
1
), a ,= 0
(c) (a)(/
1
) = (a/
1
), / ,= 0
(d)
_
a
b
_
=
a
b
=
a
b
1.5.2 Problemas de Planteo
1. Un cierto nmero de personas tiene que pagar a partes iguales un total de $ 72.000. Si hubiera tres
personas menos entonces cada una debera contribuir con $ 4.000 ms. ?Cuntas personas son?
2. Sesenta ejemplares del primer volumen de un libro y 75 ejemplares del segundo volumen cuestan un
total de $ 405.000. Sin embargo, un descuento del 15% en el primer volumen y de un 10% en el
segundo volumen reducir el precio total a $ 355.500. Determine el precio de cada volumen.
3. La hipotenusa de un tringulo rectngulo mide 3
_
5 metros. Determine los catetos sabiendo que
cuando se aumenta uno en un
400
3
% y el otro en un
50
3
% la suma de sus longitudes vale 14 metros.
4. Dos sacos contienen 140 kilogramos de harina. Si sacamos el 12, 5% de la harina del primer saco y la
echamos en el segundo ambos tendrn la misma cantidad. ?Cuntos kilos de harina tiene cada saco?
5. Dos fbricas y 1 se comprometen a servir un pedido en 12 das. Despus de dos das la fbrica
cierra para hacer unas reparaciones, mientras que la fbrica 1 sigue funcionando normalmente.
Sabiendo que 1 tiene un rendimiento del
200
3
% del rendimiento de , determine en cuntos das se
servir el pedido.
6. Un lingote de aleacin cobre-zinc que pesa 24 kilogramos se sumerge en agua y pierde
26
9
kilogramos
en peso. Determine la cantidad de cobre y de zinc en la aleacin, sabiendo que en el agua el cobre
pierde
100
9
% y el zinc
100
7
% de su peso.
7. Encuentre un nmero de dos cifras sabiendo que el cociente que se obtiene al dividirle por el producto
de sus dgitos es igual a
8
3
y, adems, que la diferencia que se obtiene entre el nmero buscado y el
nmero que se obtiene al invertir el orden de los dos dgitos que lo forman es 18.
8. Determine un nmero de dos cifras sabiendo que el nmero de unidades excede en dos al nmero de
decenas y que el producto del nmero deseado por la suma de sus dgitos es 144.
9. Dos trenes salen al mismo tiempo de las estaciones y 1 separadas 600 km y viajan uno al encuentro
del otro. El primer tren llega a 1 tres horas antes de que el segundo llegue a . El primer tren
recorre 250 km en el mismo tiempo en que el segundo recorre 200 km. Encuentre la velocidad de
cada tren.
10. Un viajero que va a tomar su tren ha cubierto 3,5 km en una hora y se da cuenta que a esa velocidad
llegar una hora tarde. Entonces recorre el resto de la distancia a la velocidad de 5 km/h y llega 30
minutos antes de que salga el tren. Determine la distancia que tena que recorrer.
11. La distancia entre y 1 por autopista es 19 km. Un ciclista sale de en direccin a 1 a una
velocidad constante. Un coche sale de 15 minutos ms tarde en la misma direccin. Al cabo de 10
minutos alcanza al ciclista y contina hasta 1, donde da la vuelta y al cabo de 50 minutos despus
de haber abandonado encuentra por segunda vez al ciclista. Determine las velocidades del ciclista
y del coche.
12. Un tren correo sale de la estacin a las 5 de la madrugada en direccin de la estacin 1 a 1.080
km de distancia. A las 8 de la maana sale de 1 un tren en direccin de y viaja 15 km/h ms
aprisa que el tren correo. ?Cundo se encontrarn sabiendo que el punto de encuentro es el punto
medio entre y 1 ?
13. dista 78 km de 1. Un ciclista sale de en direccin de 1. Una hora despus, otro ciclista sale de
1 en direccin a y va 4 km/h ms rpido que el primero. Se encuentran a 36 km de 1. ?Cunto
hace que ha salido cada uno y cules son sus velocidades?
14. Una bandeja rectangular de 20 cm 90 cm 25 cm (paraleleppedo rectangular) se usar para
hacer negativos fotogrcos. El agua llega a travs de un tubo de goma y sale a travs de otro para
mantener al agua en agitacin. Se necesitan 5 minutos menos para vaciar la bandeja a travs del
segundo tubo que en llenarla mediante el primero, con el segundo cerrado. Si se abren ambos tubos,
la bandeja completa se vaciar en una hora. Encuentre la cantidad de agua que deja pasar cada tubo
en un minuto.
15. Dos trabajadores, uno de los cuales empieza a trabajar uno y medio das despus que el otro, pueden
completar un trabajo en 7 das. Si cada uno de ellos hiciera el trabajo individualmente, el primero
habra necesitado 3 das ms que el segundo que empez despus. ?Cuntos das tardar cada obrero
en realizar el trabajo individualmente?
16. Dos mquinas perforadoras de tneles trabajando en los dos extremos de un tnel tienen que comple-
tar la perforacin en 60 das. Si la primera mquina hace el 30% del trabajo asignado, y la segunda
el
80
3
%, entonces ambas perforarn 60 metros de tnel. Si la primera mquina ha realizado
2
3
del tra-
bajo asignado a la segunda, y la segunda 0,3 del trabajo asignado a la primera, entonces la primera
mquina necesitara 6 das ms que la segunda. Determine cuntos metros de tnel perfora cada
mquina por da.
17. Dos cuadrillas de ferroviarios trabajando conjuntamente terminan una reparacin de la seccin de
una va en 6 das. Para hacer el 40% del trabajo, la primera cuadrilla sola necesitara dos das ms
de lo que la segunda cuadrilla sola necesitara, para realizar
40
3
% del trabajo completo. Determine
cuntos das tardara cada cuadrilla en reparar la seccin completa por separado.
18. Dos obreros juntos completan una cierta tarea en 8 horas. Trabajando individualmente, el primer
obrero podra hacer el trabajo 12 horas ms aprisa que lo podra hacer el segundo. ?Cuntas horas
tardara cada obrero en hacer individualmente el trabajo?
19. Dos tuberas tardan 6 horas en llenar una piscina. Una sola la llenara 5 horas ms deprisa que la
otra. ?Cunto tardar cada tubera sola en llenar la piscina?
20. Dos ruedas estn girando accionadas por una correa sin n; la ms pequea da 400 revoluciones por
minuto ms que la grande. Esta da 5 revoluciones en un lapso de tiempo que es un segundo mayor
que el necesario para que la ms pequea de 5 revoluciones. ?Cuntas revoluciones por minuto da
cada una?
21. Dos motores de combustin interna se sometieron a un ensayo de rendimiento y se encontr que uno
de ellos haba consumido 600 gramos de combustible mientras que el otro, que haba funcionado 2
horas menos, consumi 384 gramos. Si el primer motor consumiera la misma cantidad de combustible
por hora que el segundo y el segundo lo mismo que el primero, entonces ambos motores consumiran
la misma cantidad de combustible durante el mismo perodo de funcionamiento que antes. ?Cunto
combustible consume por hora cada motor?
22. Cuatro gras de puerto idnticas se usan para cargar un barco. Cuando llevan 2 horas trabajando,
se ponen a trabajar con ellas 2 gras ms de menor capacidad, con lo que se completa la carga en
3 horas. Si hubieran empezado a trabajar todas juntas, se habra completado la carga en 4,5 horas.
Determine el tiempo (en horas) necesario para que realice el trabajo completo una gra sola de las
ms potentes y una gra sola de las de menor potencia.
23. Un estanque con cierta cantidad de agua tiene forma de cono invertido.
Al agregarle 10 litros, el nivel de agua sube en un 20%. Si la base del cono fuese reducida en 40%,
mateniendo la misma altura resultara un cono que estara lleno con la cantidad de agua inicial.
Sabiendo que la altura del estanque es 50 cm. Calcular el radio inicial y el volumen de agua contenido
en un comienzo.
1.5.3 Ejercicios de Sistemas de Ecuaciones
1) r
2
+rj +j
2
= 4
r +rj +j = 2
2) r +j +. = 2
2rj .
2
= 4
3) r
2
+rj +j
2
= 13
r +j = 4
4)
x
y
+
y
x
=
25
12
r
2
j
2
= 7
5) 2r + 2j + 2 = 2`r
2r + 4j + 3 = `
r
2
j 1 = 0
6) j = 8`r
r = 2`j
4r
2
+j
2
4 = 0
7) j. = `
r. = `
rj = `
r +j +. = 1
r 0, j 0, . 0
8) 2(j +.) +`j. = 0
2(r +.) +`r. = 0
2(j +r) +`jr = 0
rj. = 64
9) j
2
j
2
= `(rj 3)
2(3 rj) = `(r
2
j
2
)
3r
2
6r j
3
= 0
10) r +`(r 3) = 0
j +`(j 4) = 0
. = `.
(r 3)
2
+ (j 4)
2
= .
2
11)
2r `j = 0
2j `r = 0
. +`. = 0
.
2
rj 1 = 0
12)
j. = `(j +.)
r. = `(r +.)
rj = `(j +r)
rj +r. +j. = 5
1.5.4 Ejercicios Acerca de los Axiomas de Orden
1. Determine si las siguientes armaciones son verdaderas o falsas (justique)
(a) (\r R)(\j R
+
)(r _ rj)
(b) (\r R)(\j R 0)
_
r < j =
x
y
< 1
_
(c) (\r R)(\j R)(r _ j = r _ j
2
)
(d) (\r R
+
0
)(
3
_
r _ r)
(e) Si a =
_
2, / =
3
_
5, c =
4
_
6, entonces; a < c < /.
(f)
_
r R :
jxj
j1xj
1
_
= r R :[ r [[ 1 r [
(g) (\r R 0)
_
[ r [< 2 =
1
jxj

1
4
_
(h) (\r R 0)(\j R)
_
_
x
2
+y
2
x
_ 1
_
(i) El conjunto solucin de la inecuacin
[ r 3 [
16r
2
+r + 22
_ 0
es vaco.
(j) El conjunto solucin de la inecuacin
_
1
r
2
2r + 1
_[ r 1 [
es ] , 0[']2, [.
(k) r R :[ r 2 [=[ 2 r [ =
_
r R :

x2
2x
= 1
_
(l) Resolver la inecuacin
[ r
2
1 [ (r
4
16)(r
3
8)
(r + 5)(r
2
4)
_
r 1
_ 0
equivale a resolver la inecuacin
r 2
r + 5
_ 0
en
1
=]1, [2.
2. Determine para qu valores de r en R las expresiones siguientes estn bien denidas y racionalice.
Ayuda: Para racionalizar usar la factorizacin
a
m
/
m
= (a /)(a
m1
+a
m2
/ +a
m3
/
2
+ +
a/
m2
+/
m1
) , \: Z
+
(a)
p
x1
p
x
3
p
2x
(b)
x2
4
p
1x16
(c)
x
3
p
1x1
(d)
p
x+1
p
x
2
1
4
p
x1
(e)
2
3
p
x
3
p
x2
3. Indique si las siguiente desigualdades son verdaderas para los (r, j) indicados.
(a)

xy
jxj+jyj
_[ j [, si (r, j) ,= (0, 0).

(b)

(y2)
2
sin(xy)
y
2
+x
2
4y+4
_[ sin(rj) [, si (r, j) ,= (0, 2).

(c)
jyxyj
_
(x1)
2
+y
2
_[ r 1 [, si (r, j) ,= (1, 0).
(d)
x
(x+y)
_
x
2
+y
2
_
x
y
_
x
2
+y
2
, si r +j ,= 0 j ,= 0.
(e)
_
x
2
x
2
+y
2
_
jxj
_
x
2
+y
2
, si (r, j) ,= (0, 0).
(f)
jxyj
_
x
2
+y
2
_[ j [, si (r, j) ,= (0, 0).
(g)
_
r
2
+j
2
< r
2
+j
2
, si (r, j) ,= (0, 0).
(h)
jx+yj
_
x
2
y
2
_
_
x+y
xy
, si r
2
j
2
.
(i)
jxyj
p
xy
1, si rj 0.
(j)
jxjy
jx
2
y
2
j
_[ j [, si r
2
,= j
2
.
4. Determine para qu valores de r, j, . R se verican las siguientes desigualdades:
(a)
3
_
r _ r
(b)
_
r
3
_ r
(c) r _
_
r
(d)
p
x
x
2
+y
2
_
x
x
2
+y
2
(e)
z
xy
_
z
x
(f)
3
_
r <
_
r
5. Resuelva las siguientes inecuaciones:
(a) 2r
x2
3

1x
2
(b) 4 <
3x+1
x2
(c)
1
x
+
x
1x
_ 0
(d) 7r
2
r
(e)
x
12x
+
2x3
x1
< 0
(f)
x
4
17x
2
+60
x(x
2
8x+5)
< 0
(g) 2r
_
r 1 < 0
(h) 2r
2
_
r 1 < 0
(i)
_
1 r _
_
2r 8
(j)
_
x1
x+2
1
(k)
_
r 2
_
r 6 < 8
(l)
_
3r 8
_
5r 3
_
r + 6
(m)
1
p
14x
2
x
< 3
(n)
_
(r 3)(r 5)
_
(r + 2)(r 1) 4
(o)
_
_
r 2 4 < 0
(p)
_
r
2
+r + 1 <
_
r + 6 + 1
(q)
_
_
1 r + 1 _ r 1
(r)
_
1
_
r 5 < 2
(s)
_
2 r 2
_
r _
_
r 2
6. Resuelva
(a) [
_
1 r +
_
r[ =
_
[r 3[
(b) [2 [r[[ [[2r[ 3[ = r + 3
(c)

jxj2
x1
= [r[
(d) [[r 1[ + 2[ _ r
(e) [r 2[ _ [3r + 1[
(f) [3r 2[ +[r 3[ _ 4
(g) [2r 4[
1
2x
6[r 2[
(h) [[r[ 2[ +[[2r[ 3r[ < 5
(i)
jxj1
jxj+1

jxj10
jxj+10
(j) [[r[ 1[ < 5 +[r + 8[
(k)
jjx+3j2j
jjxj1j
_ 2
(l)
_
1 [r[ 1 3r
(m)
jx1j(x
4
16)(x
3
8)
(x+7)(x
2
4)
p
x1
_ 0
(n)
_
(x12)
2
(x
2
5)
x
2
x1
_ 0
(o) [r + 1[ +[[r 1[ + 3[ _ [r + 2[ + 8
(p)
_
(r 1)
3
_ [r 1[
(q)
x
2
x1
jx5j
_ r
2
+ 1
(r)
3
_
2 r + 2
_
r _
3
_
[r 2[
7. Demuestre que para todo a, j, R las races de la ecuacin
1
r j
+
1
r
=
1
a
2
son reales.
8. Encuentre los valores reales de c, si existen, para los cuales las races de la ecuacin de segundo grado
(c 2)r
2
2cr + 6(c 1) = 0
son reales y positivas.
9. Considere la ecuacin de segundo grado
(:5)r
2
2(:2)r +:1 = 0
Determine en cada caso si existe : de modo que:
(a) El producto de las races sea 3.
(b) La suma de las races sea 5.
(c) Las races dieran slo en el signo.
(d) Una raz sea el doble de la otra.
(e) Las races sean negativas.
10. Considere la ecuacin
5r
2
/r + 1 = 0
Determine el valor de / para que la diferencia de sus races sea 1.
11. Determine los posibles valores de / R de modo que la ecuacin
/[/[r
2
+/r + 1 = 0
admita dos soluciones reales y diferentes.
12. Encuentre (si existen) el Supremo e Inmo correspondiente a los conjuntos , 1, ' 1, 1,
1, donde y 1 estn denidos por:
(a) = r R :
3
_
r _ r, 1 = r R : r _
_
r
(b) =
_
r R :
jxj
j1xj
1
_
, 1 =
_
r R :
p
x2
jx2jj1xj
_ 0
_
13. Sean = r R : [3r + 7[ _ 4r y 1 = r R : [r[ [r 1[ _ 1. Se dene 1 = a/ : a
. / 1
(a) Determine (si existe) sup
(b) Encuentre r R : r es cota superior de B
(c) De una cota superior de 1.
14. Demuestre que si r + = r +a : a , entonces
r + sup = sup(r +)
15. Demuestre que Z no es acotado superiormente.
16. Demuestre que si
=
_
r
n
R : r
n
=
2:
: + 3
, : N
_
,
entonces sup = 2.
=
_
r
n
R : r
n
=
2
3: + 1
, : N
_
,
entonces inf = 0.
=
_
r
n
R : r
n
=
2:
2
+ 3
1 + 2:
, : N
_
,
entonces no es acotado superiormente.

Texto Guia Numeros Reales

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Texto Guia Numeros Reales

Uploaded by

Copyright:

Available Formats

Chapter 1

Los Nmeros Reales

, a ,= 0. Se dene la potencia real de base a y exponente : por:

Denicin 1.11 Diremos que a es mayor que / / es menor que a si y slo si

Ejercicio 43 Resuelva el sistema;

con j Z , Z0. Siempre es posible escoger j y tal que la fraccin

Ahora usemos la equivalencia recien probada para los nmeros

Ejercicio 45 Determine si las siguientes armaciones son verdaderas o falsas

7. Falso. Existen a = 2, / = 1 tales que a < / pero

, luego por Axioma ii) y asociando apropiadamente se tiene que

En forma anloga, se demuestra ii). Asimismo se tiene que

Observemos que, segn el teorema anterior

_[ j [, si (r, j) ,= (0, 0).

_[ sin(rj) [, si (r, j) ,= (0, 2).

You might also like