CAP

ITULO I.
EL CUERPO ORDENADO
DE LOS N

UMEROS
REALES
SECCIONES
A. Elementos notables en R.
B. Congruencias. Conjuntos numerables.
C. Metodo de induccion completa.
D. Desigualdades y valor absoluto.
E. Ejercicios propuestos.
1
A. ELEMENTOS NOTABLES EN R.
Sea S = un subconjunto del conjunto R de n umeros reales.
a) Diremos que S esta acotado superiormente por u, o que u es cota superior
de S, cuando x u, x S.
Una cota superior u de S se llama supremo de S si ning un n umero
menor que u es cota superior de S, es decir cuando u es la menor de
las cotas superiores de S.
Si u es el supremo de S y u S, entonces u se llama maximo de S.
b) Analogamente a los anteriores se pueden denir los conceptos siguientes:
El conjunto S esta acotado inferiormente por i, o bien i es cota inferior
de S, cuando x i, x S.
Una cota inferior i de S se llama nmo de S si ning un n umero mayor
que i es cota inferior de S, es decir cuando i es la mayor de las cotas
inferiores de S.
Si i es el nmo de S e i S, entonces i se llama mnimo de S.
Una propiedad fundamental de los n umeros reales la constituye el axioma
del supremo, el cual establece que todo subconjunto de R no vaco y acotado
superiormente posee supremo. De el se deduce otra condicion analoga para
la existencia de nmo. Ademas estas propiedades son caractersticas del
conjunto R.
PROBLEMA 1.1.
Hallar el supremo, nmo, maximo y mnimo (cuando existan) de
los siguientes conjuntos:
a) C =
_
sen n
n
| n N
_
.
b) D =
_
cos n
n
| n N
_
.
2
Solucion
a) Como sen n = 0 si n N, entonces C = {0}, de modo que
sup C =nf C = max C = mn C = 0.
b) Como cos n =
_
1 si n es par
1 si n es impar,
entonces
D = {1, 1/2, 1/3, 1/4, . . . } = {1, 1/3, 1/5, . . . }{1/2, 1/4, 1/6, . . . }.
Luego nf D = mn D = 1 y sup D = max D = 1/2.
PROBLEMA 1.2.
Hallar el supremo y el nmo, cuando existan, de los siguientes
conjuntos de n umeros reales, especicando cuales tienen elemento
maximo o mnimo, es decir, cuando el supremo o el nmo perte-
necen al conjunto.
a) A =
_
1
n
| n N
_
.
b) B =
_
1
n
| n Z, n = 0
_
.
c) C =
_
x | x = 0 o x =
1
n
, n N
_
.
d) D =
_
x | 0 x <

2, x Q
_
.
e) E =
_
x | x
2
+ x + 1 0
_
.
f) F =
_
x | x
2
+ x 1 < 0
_
.
g) G =
_
x | x < 0, x
2
+ x 1 < 0
_
.
Solucion
a) Como A = {1, 1/2, 1/3, . . . }, es claro que
sup A = max A = 1 e nf A = 0 A,
por lo que no existe mn A.
3
b) B = {1, 1/2, 1/3, . . . } {1, 1/2, 1/3, . . . } por lo que
max B = sup B = 1 e nf B = mn B = 1.
c) Podemos escribir C = A {0} y tenemos
max C = sup C = 1 e nf C = mn C = 0.
d) Como sup D =

2 D, no existe max D. Sin embargo nf D = mn D =
0.
e) Al resolver la ecuacion x
2
+ x + 1 = 0 tenemos x =
1

1 4
2
y las
races son imaginarias, por lo que x
2
+ x + 1 0, x R, es decir
E = R que no esta acotado ni superior ni inferiormente.
f) Las races de la ecuacion x
2
+x1 = 0 son x =
1

5
2
. Luego la inecua-
cion x
2
+x1 < 0 solo se verica en el intervalo F =
_
1

5
2
,
1 +

5
2
_
.
Para este intervalo tenemos
sup F =
1 +

5
2
F e nf F =
1

5
2
F,
por lo que no existen ni el maximo ni el mnimo de F.
g) Como G = F {x | x < 0} = {x | (1

5)/2 < x < 0}, resulta que

sup G = 0 G e nf G =
1

5
2
G
y en este caso tampoco el conjunto posee maximo ni mnimo.
PROBLEMA 1.3.
Hallar el supremo, nmo, maximo y mnimo del conjunto
I =
_
1
n
+ (1)
n
| n N
_
.
4
Solucion
Descomponemos el conjunto como
I = {1 + 1/n | n es par} {1 + 1/n | n es impar}
= {3/2, 5/4, 7/6, . . . } {0, 2/3, 4/5, . . . }.
De aqu es facil ver que
sup I = max I = 3/2 e nf I = 1 I,
por lo que no existe el mnimo de I.
PROBLEMA 1.4.
Calcular el supremo y el nmo de los conjuntos
A =

_
n=1
_

1
n
,
1
n
_
.
B =

n=1
_

1
n
,
1
n
_
.
C =

n=1
_
1
2n
,
1
2n 1
_
.
Solucion
a) Como cada intervalo (1/n, 1/n) esta contenido en el anterior, resulta
que
A =

_
n=1
_

1
n
,
1
n
_
= (1, 1)
y sup A = 1, nf A = 1.
b) Como 0 es el unico punto que pertenece a todos los intervalos anteriores,
tenemos que
B =

n=1
_

1
n
,
1
n
_
= {0}
con lo que sup B =nf B = 0.
5
c) Como ninguno de los intervalos [1/2n, 1/(2n 1)] tiene puntos en com un,
resulta que
C =

n=1
_
1
2n
,
1
2n 1
_
=
y no posee supremo ni nmo.
PROBLEMA 1.5.
Sean A y B dos conjuntos no vacos de n umeros tales que x
y, x A, y B.
a) Demostrar que sup A y, y B y que x nf B, x A.
b) Demostrar que sup A nf B.
Solucion
a) Sea a = sup A. Por denicion, i) a x, x A (a es cota superior de
A), y
ii) si a

x, x A, entonces a a

(a es la cota superior mas

peque na de A).
Por ii), como todo y B es cota superior de A, a = sup A y.
Analogamente, si llamamos nf B = b, tambien la denicion indica que
i) b y, y B y ii) si b

y, y B, entonces b b

.
Como todo x A verica ii), tenemos que nf B x.
b) Debido a que todo elemento de A es cota inferior de B, es claro que
sup A nf B puesto que nf B es la maxima cota inferior.
PROBLEMA 1.6.
Sea S un subconjunto no vaco de R y denotamos por s a una cota
superior de S. Demostrar que
s = sup S > 0, a S : s < a s.
6
Solucion
=: Si s = sup S, entonces x S, s x y para todo > 0, s
no es cota superior de S, porque s < s. Esto quiere decir que existe
a S tal que a > s . Pero tambien a s pues s = sup S. En resumen,
> 0, a S : s < a s.
=: Si = sup S, no puede ser < s pues eligiendo < s , tendramos
que < s y no podra existir a S tal que s < a en contra de la
hipotesis. Luego ha de ser s y como sup S es la mnima cota superior,
sup S = s.
PROBLEMA 1.7.
a) Sean A y B dos conjuntos no vacos con A B. Probar que sup A
sup B e nf A nf B.
b) Sean A y B dos conjuntos acotados superiormente, y denimos
A + B = {x + y | x A, y B}. Demostrar que sup(A + B) =
sup A + sup B, nf(A + B) =nf A +nf B.
c) Si A = {x
i
}
iI
, B = {y
i
}
iI
y C = {x
i
+ y
i
}
iI
, demostrar que
sup C sup A + sup B e nf C nf A +nf B.
Solucion
a) Si llamamos b = sup B, entonces b y, y B. Por tanto b y, y A,
lo que quiere decir que b es cota superior de A. Como sup A es la
mnima cota superior, se deduce que sup A sup B.
Analogamente, nf B es una cota inferior de A y comonf A es la mayor
de todas ellas, resulta que nf A nf B.
b) Sean a = sup A y b = sup B. Entonces a x, x A y b y, y B.
Por tanto a + b x + y, x A, y B y a + b es cota superior de
A + B. Probemos que es la mnima:
Como a = sup A, por el problema anterior, > 0, a
0
A : a/2 <
a
0
a, y como b = sup B, > 0, b
0
B : b /2 < b
0
b.
7
Sumando miembro a miembro deducimos que existe a
0
+ b
0
A + B
tal que a+b < a
0
+b
0
a+b, lo que indica que a+b es la mnima
cota superior de A+B, es decir, sup(A+B) = a +b = sup A+sup B.
La prueba de que nf(A + B) =nf A +nf B es analoga a la anterior,
con las modicaciones obvias.
c) Observese que C = {x
i
+ y
i
}
iI
es un subconjunto de A + B pues
A + B = {x
i
+ y
j
| x
i
A, y
j
B}. Por los apartados a) y b) se
deduce que
sup C sup(A+B) = sup A+sup B e nf C nf(A+B) =nf A+nf B.
PROBLEMA 1.8.
Probar que R es arquimediano, es decir que verica la propiedad:
a, b R, a > 0, b 0, n N tal que na > b.
Solucion
Si fuera falso, na b, n N. Por tanto, n b/a, n = 1, 2, . . . lo que
quiere decir que N esta acotado superiormente.
Por el axioma del supremo, debe existir k = sup N, lo que a su vez implica
que k 1 no es cota superior. Entonces existe m N tal que k 1 < m de
donde k < m + 1 y m + 1 N lo que es absurdo.
PROBLEMA 1.9.
Sean a, b R con a < b. Probar que existe r Q tal que a < r < b.
8
Solucion
Si aplicamos la propiedad arquimediana de los n umeros reales con 1 y b a
demostrada en el problema anterior, tenemos que existe n N tal que n(b
a) > 1.
Por una parte, si b 0, existe p N tal que p 1/n b; llamamos m al
menor de tales enteros. Entonces
m1
n
< b
m
n
.
Si fuera
m1
n
a, entonces b a
m
n

m1
n
=
1
n
, lo que contradice la
eleccion de n. Por tanto
a <
m1
n
< b y
m1
n
Q.
Por otra parte, si b 0, entonces a > b 0 y, por la primera parte,
existe r Q tal que b < r < a, es decir, a < r < b y r Q.
Observacion. La propiedad anterior indica que, a pesar de que el conjunto
de n umeros racionales es mucho menor que el de los reales, esta uniforme-
mente distribuido entre estos, pues siempre hay alg un racional comprendido
entre dos reales.
B. CONGRUENCIAS. CONJUNTOS NUMERABLES.
Recordamos el concepto de aplicacion biyectiva entre conjuntos:
Una aplicacion f : A B entre dos conjuntos cualesquiera A y B es
inyectiva cuando dados dos elementos cualesquiera x
1
, x
2
A, se verica
que f(x
1
) = f(x
2
) = x
1
= x
2
. Equivalente a la implicacion anterior es
la contrarrecproca, es decir f es inyectiva cuando x
1
= x
2
= f(x
1
) =
f(x
2
).
Por otra parte, la aplicacion f es sobre cuando y B, x A tal que
f(x) = y, es decir cuando todos los elementos de B son imagen de alg un
elemento de A.
Si una aplicacion es a la vez inyectiva y sobre, se dice que es biyectiva.
9
Cuando una aplicacion f : A B es biyectiva, existe, y tambien es biyectiva,
la llamada aplicacion inversa f
1
: B A denida por f
1
(y) = x cuando
f(x) = y, para todo y B.
Decimos que dos conjuntos A y B son congruentes o equipotentes, y lo repre-
sentamos como A B, cuando existe una aplicacion biyectiva f : A B.
Es sencillo probar que la relacion de congruencia as denida es de equiva-
lencia.
Si llamamos cardinal de un conjunto al n umero de elementos o puntos que
posee, la denicion anterior permite decir que dos conjuntos congruentes
tienen el mismo cardinal.
Si clasicamos los conjuntos de n umeros reales con respecto a su cardinal,
tenemos:
- Conjunto nito es aquel cuyo cardinal es nito (tiene solo un n umero nito
de elementos).
- Conjunto innito numerable es aquel conjunto congruente con el conjunto
de n umeros naturales. Por ejemplo, el conjunto de los n umeros racionales es
numerable.
- Conjunto innito no numerable es el conjunto que no es congruente con N
ni con cualquier subconjunto de N.
Un intervalo como (0, 1) no es numerable y su cardinal, llamado potencia
del continuo, se suele expresar con la letra c.
PROBLEMA 1.10.
Sean los crculos concentricos
C
1
= {(x, y) | x
2
+ y
2
= a
2
}, C
2
= {(x, y) | x
2
+ y
2
= b
2
}
con 0 < a < b. Establecer geometricamente una aplicacion biyectiva
entre C
1
y C
2
.
Solucion
Denimos la aplicacion f : C
2
C
1
que a cada x C
2
le hace corresponder
el punto f(x) C
1
de interseccion del radio que va del centro 0 al punto x
con la circunferencia C
1
, como se ilustra en la gura.
10
x
f(x)
O
C
1
C
2
Resulta que f es claramente inyectiva y sobre por lo que dene una aplicacion
biyectiva entre C
1
y C
2
.
PROBLEMA 1.11.
Demostrar que dos segmentos arbitrarios tienen tantos puntos el
uno como el otro.
Solucion
Dados los segmentos AB y A

, llamamos P al punto de interseccion de

AB

y BA

. A cada punto C de AB le hacemos corresponder el punto C

de
interseccion de CP con A

como indica la gura.

A C B
P
A

La aplicacion C C

es biyectiva pues cada punto de AB tiene una imagen

unica en A

y cada punto de A

es la imagen de un unico punto de AB.

PROBLEMA 1.12.
Demostrar las siguientes congruencias entre conjuntos:
a) [0, 1] (0, 1).
b) [0, 1] [0, 1).
c) [0, 1] (0, 1].
11
Solucion
a) Si escribimos [0, 1] = {0, 1, 1/2, 1/3, . . . }A y (0, 1) = {1/2, 1/3, . . . }A,
donde A = [0, 1]\{0, 1, 1/2, 1/3, . . . } = (0, 1)\{1/2, 1/3, . . . }, podemos
denir la funcion f : [0, 1] (0, 1) por
f(x) =
_

_
2 si x = 0,
1/(n + 2) si x = 1/n, n N,
x si x = 0, 1/n, n N.
Esta funcion es biyectiva por lo que [0, 1] (0, 1).
b) La funcion f : [0, 1] [0, 1) denida por
f(x) =
_
1/(n + 1) si x = 1/n, n N,
x si x = 1/n, n N.
es biyectiva por lo que [0, 1]
[0, 1).
c) Sea f : [0, 1) (0, 1] la funcion denida por f(x) = 1 x. Esta funcion
es biyectiva y por tanto [0, 1) (0, 1]. Como por b) [0, 1] [0, 1),
por la transitividad de la congruencia entre conjuntos se deduce que
[0, 1] (0, 1].
PROBLEMA 1.13.
Demostrar que cada uno de los intervalos [a, b], (a, b), [a, b), (a, b]
tiene la potencia del continuo, es decir tiene cardinal c.
Solucion
La formula f(x) = a + (b a)x dene las funciones biyectivas
f : [0, 1] [a, b], f : [0, 1) [a, b), f : (0, 1) (a, b) y f : (0, 1] (a, b].
Como ya sabemos que [0, 1] [0, 1), [0, 1] (0, 1) y [0, 1] (0, 1], por la
transitividad se deduce que [0, 1] [a, b], [0, 1] (a, b), [0, 1] [a, b) y
[0, 1] (a, b].
12
PROBLEMA 1.14.
Demostrar que R tiene cardinal c.
Solucion
Es facil comprobar (ver graca adjunta) que la funcion f : (1, 1) R
denida por f(x) =
x
1 |x|
es biyectiva por lo que (1, 1) R.
Como ya sabemos que (0, 1) (1, 1), por la transitividad se deduce que
(0, 1) R, luego card (R) = c.
PROBLEMA 1.15.
Sea E = {2, 4, 6, . . . } el conjunto de los n umeros pares. Es biyec-
tiva la aplicacion f : N E denida por f(x) = 2x? Es N E?
Solucion
La funcion f es inyectiva porque si f(x) = f(x

), entonces 2x = 2x

, de
donde x = x

.
13
Tambien es sobre porque dado cualquier y E, existe x N tal que y = 2x,
es decir, y = f(x).
Como f es biyectiva, N E.
PROBLEMA 1.16.
Es numerable la sucesion {a
1
, a
2
, . . . } con a
i
= a
j
si i = j?
Solucion
Debido a que toda sucesion es una aplicacion de N en el conjunto de sus
elementos, f(n) = a
n
, si los a
n
son distintos, la funcion es biyectiva y la
sucesion forma un conjunto numerable.
PROBLEMA 1.17.
Demostrar que A B B A, (A B) C A (B C), para
cualesquiera conjuntos A, B, C.
Solucion
Para la demostracion basta considerar las aplicaciones biyectivas siguien-
tes:
f : AB B A denida por f(a, b) = (b, a), a A, b B;
f : (AB) C A(BC) por f((a, b), c) = (a, (b, c)), a A, b B, c
C.
PROBLEMA 1.18.
Demostrar que N N es numerable.
14
Solucion
El conjunto NN puede escribirse como una sucesion de elementos distintos
as: (1, 1), (2, 1), (1, 2), (1, 3), (2, 2), (3, 1), . . . seg un se ilustra en el diagrama.
4
3
2
1
0 1 2 3 4
Seg un el problema 1.16, se puede denir una biyeccion entre N N y N.
PROBLEMA 1.19.
Demostrar que M M es numerable, donde M = N {0}.
Solucion
Como todo entero positivo a N puede escribirse de una sola manera en la
forma a = 2
r
(2s + 1) con r, s M, la funcion f : N M M denida por
f(a) = (r, s) es biyectiva. Luego M M es numerable.
PROBLEMA 1.20.
Probar que Z es numerable.
15
Solucion
La funcion f : N Z denida por f(n) =
_

_
0 si n = 1,
n

si n = 2n

, n

N,
n

si n = 2n

+ 1, n

N,
(que tambien se puede expresar como f(n) =
_
n/2 + 1/2 si n es impar
n/2 si n es par
)
es evidentemente biyectiva, lo que muestra que Z es numerable.
PROBLEMA 1.21.
Demostrar que Q es numerable.
Solucion
Llamamos Q
+
al conjunto de los n umeros racionales positivos y Q

al con-
junto de los n umeros racionales negativos. Entonces Q = Q
+
{0}Q

.
Sea f : Q
+
N N denido por f(p/q) = (p, q), donde expresamos el
n umero racional p/q como cociente de dos enteros positivos primos entre s.
Es inmediato comprobar que f es inyectiva y que, por tanto, Q
+
es equipo-
tente a un subconjunto de NN. Como este ultimo conjunto es numerable,
tambien lo es Q
+
.
Se comprueba asimismo que Q

es numerable (basta denir f(p/q) =

(p, q)). Como Q es union de dos conjuntos numerables y uno nito, Q es
numerable.
PROBLEMA 1.22.
Demostrar que el conjunto P de todos los polinomios p(x) = a
0
+
a
1
x + + a
m
x
m
con coecientes enteros es numerable.
16
Solucion
Para todo par de n umeros naturales (m, n) sea P
(m,n)
el conjunto de los poli-
nomios p(x) = a
0
+a
1
x+ +a
m
x
m
de grado m para los que |a
0
|+|a
1
|+ +
|a
m
| = n. Es claro que P
(m,n)
es nito. Como ademas P =
_
(m,n)NN
P
(m,n)
es
union numerable de conjuntos nitos, se deduce que P es numerable.
PROBLEMA 1.23.
Un n umero real r se llama algebraico si es solucion de una ecua-
cion polinomica p(x) = a
0
+ a
1
x + + a
n
x
n
= 0 con coecientes
enteros. Demostrar que el conjunto de los n umeros algebraicos es
numerable.
Solucion
Es evidente, seg un el problema anterior, que el conjunto de tales ecuaciones
polinomicas E = {p
1
(x) = 0, p
2
(x), p
3
(x) = 0, . . . } es numerable. Si llama-
mos A
i
= {x | x es solucion de p
i
(x) = 0}, como todo polinomio de grado n
no puede tener mas de n races, todo A
i
es nito. Por consiguiente, y como
A =
_
iN
A
i
es union numerable de conjuntos nitos, A es numerable.
PROBLEMA 1.24.
Un n umero real se llama trascendente si no es algebraico (por
ejemplo, y e son trascendentes). Demostrar que el conjunto de
los n umeros trascendentes no es numerable.
Solucion
Si A es el conjunto de los n umeros algebraicos, R \ A es el conjunto de los
n umeros trascendentes. Como R = A (R \ A), al ser A numerable y R
17
no numerable, R \ A no puede ser numerable (en caso contrario, R sera
numerable por ser union de dos conjuntos numerables).
PROBLEMA 1.25.
Demostrar que un subconjunto de un conjunto numerable es nito
o numerable.
Solucion
Sea A = {a
1
, a
2
, . . . } un conjunto numerable y sea B A.
Si B = , entonces B es nito.
Si B = , sea a
n
1
el primer elemento de la sucesion {a
1
, a
2
, . . . } tal que
a
n
1
B. Llamamos a
n
2
al primer elemento que sigue a a
n
1
en la sucesion
anterior tal que a
n
2
B. Entonces B = {a
n
1
, a
n
2
, . . . }. Si el conjunto de
enteros positivos {n
1
, n
2
, . . . } es acotado, B es nito. En caso contrario, B
es numerable.
PROBLEMA 1.26.
Demostrar que

2 +

3 no puede ser racional.

Solucion
Si x =

2 +

3 = x
2
= 2 + 3 + 2

6 = x
2
5 = 2

6 = x
4
10x
2
+
1 = 0, y la propia construccion prueba que

2 +

3 es raz de la ultima
ecuacion.
Recordamos aqu el teorema de Runi que expresa que toda solucion ra-
cional p/q de una ecuacion a
0
x
n
+ a
1
x
n1
+ + a
n
= 0, con a
i
Z y
a
0
= 0, a
n
= 0, verica que p divide a a
n
y q divide a a
0
.
18
En nuestro caso, si p/q es solucion racional de la ecuacion de coecientes
enteros x
4
10x
2
+ 1 = 0, entonces p y q son divisores de 1. Por tanto, las
unicas soluciones racionales son 1 y -1, que no verican la ecuacion, como
se puede comprobar inmediatamente. Como sabemos que x =

2 +

3 es
solucion, no puede ser racional.
PROBLEMA 1.27.
Sean m y n dos n umeros naturales primos entre s y

m,

n
irracionales. Demostrar que tambien son irracionales i)

m

n
y ii)

m +

n.
Solucion
i) Si fuera

m

n = p/q Q con p y q primos entre s, entonces m n =

p
2
/q
2
= p
2
= m n q
2
, de modo que p
2
es m ultiplo de q
2
y en
consecuencia p es m ultiplo de q. Como m.c.d.(p, q) = 1, solo puede ser
q = 1 y

m

n = p N.
Descomponemos ahora m, n, p en factores primos:
m = m

1
1
m

2
2
. . . m

r
r
, con m
i
primos;
n = n

1
1
n

2
2
. . . n

s
s
, con n
i
primos;
p = p

1
1
p

2
2
. . . p

t
t
, con p
i
primos;
donde m
i
= n
j
, i, j, por ser m y n primos entre s.
Tenemos

n =
_
m

1
1
. . . m

r
r
n

1
1
. . . n

s
s
= p

1
1
. . . p

t
t
= m

1
1
. . . m

r
r
n

1
1
. . . n

s
s
= p
2
1
1
. . . p
2
t
t
.
Esto implica que cada uno de los factores del primer miembro es
igual a alguno de los factores del segundo miembro, de modo que
m

1
1
, . . . , m

r
r
, n

1
1
, . . . , n

s
s
son cuadrados perfectos, as como tambien
deben serlo m y n. Esto quiere decir que

m y

n son n umeros na-
turales, lo que contradice la suposicion inicial.
19
ii) Si fuera

m +

n = p/q Q, con m.c.d.(p, q) = 1, entonces, elevando

al cuadrado,
m+n+2

mn =
p
2
q
2
=

mn =
p
2
/q
2
(m + n)
2
=
p
2
q
2
(m + n)
2q
2
Q
pues p
2
q
2
(m + n) Z y 2q
2
Z.
Esto contradice el apartado i); luego

m +

n es irracional.
C. M

ETODO DE INDUCCI

ON COMPLETA.
El metodo de induccion completa es un metodo de demostracion de propie-
dades validas en todo el conjunto N y se basa en el principio de induccion,
que dice lo siguiente:
Si S es un subconjunto de N con las dos condiciones siguientes:
i) 1 S;
ii) cada vez que k S, entonces k + 1 S;
entonces S = N.
De lo anterior se deduce que para que una propiedad P(n) que depende de
n sea cierta n N, basta comprobar:
i) Que P(1) es cierta, es decir, la propiedad es cierta para n = 1.
ii) Que si suponemos P(k) cierta para cualquier k, entonces P(k + 1) es
cierta.
PROBLEMA 1.28.
Demostrar que 1 + 3 + + (2n 1) = n
2
, para todo n N.
20
Solucion
Para n = 1 el enunciado es cierto porque 2 1 1 = 1
2
.
Si suponemos que es cierto para n = k, es decir que 1+3+ +(2k1) = k
2
,
debemos probar que tambien lo es para k + 1:
1+3+ +(2k1)+[2(k+1)1] = k
2
+[2(k+1)1] = k
2
+2k+1 = (k+1)
2
,
que corresponde precisamente a la propiedad para k + 1.
PROBLEMA 1.29.
Demostrar las siguientes formulas para todo n N:
a) 1
2
+ 2
2
+ + n
2
=
n(n + 1)(2n + 1)
6
.
b) 1
3
+ 2
3
+ + n
3
=
n
2
(n + 1)
2
4
.
Solucion
a) Para n = 1: 1
2
=
1(1 + 1)(2 1 + 1)
6
.
Suponemos que 1
2
+ 2
2
+ + k
2
=
k(k + 1)(2k + 1)
6
y probaremos
que
1
2
+ 2
2
+ + k
2
+ (k + 1)
2
=
(k + 1)(k + 1 + 1)[2(k + 1) + 1]
6
:
Por hipotesis,
1
2
+ 2
2
+ . . . + k
2
+ (k + 1)
2
=
k(k + 1)(2k + 1)
6
+ (k + 1)
2
=
k(k + 1)(2k + 1) + 6(k + 1)
2
6
=
(k + 1)[k(2k + 1) + 6(k + 1)]
6
=
(k + 1)[(k + 2)(2k + 3)]
6
.
21
b)Para n = 1: 1
3
=
1
2
(1 + 1)
2
4
.
Suponemos que 1
3
+ 2
3
+ + k
3
=
k
2
(k + 1)
2
4
.
Probemos que 1
3
+ 2
3
+ + k
3
+ (k + 1)
3
=
(k + 1)
2
(k + 1 + 1)
2
4
:
1
3
+ 2
3
+ + k
3
+ (k + 1)
3
=
k
2
(k + 1)
2
4
+ (k + 1)
3
=
k
2
(k + 1)
2
+ 4(k + 1)
3
4
=
(k + 1)
2
[k
2
+ 4(k + 1)]
4
=
(k + 1)
2
(k + 2)
2
4
.
PROBLEMA 1.30.
Demostrar que 3 + 2 3
1
+ + 2 3
n
= 3
n+1
, n N.
Solucion
Para n = 1, 3 + 2 3
1
= 3
1+1
.
Suponemos que 3 + 2 3
1
+ + 2 3
k
= 3
k+1
para alg un k N.
Probemos que 3 + 2 3
1
+ + 2 3
k+1
= 3
k+2
:
3 + 2 3
1
+ + 2 3
k+1
= 3
k+1
+ 2 3
k+1
= 3 3
k+1
= 3
k+2
.
PROBLEMA 1.31.
Demostrar que para todo n > 1,
1 + 1 1! + 2 2! + + (n 1) (n 1)! = n!
Solucion
Para n = 2: 1 + 1 1! = 2!
Suponemos que 1 + 1 1! + 2 2! + + (k 1) (k 1)! = k! y debemos
probar que 1 +1 1! +2 2! + +(k 1) (k 1)! +k k! = (k +1)!.
22
En efecto: 1 + 1 1! + 2 2! + + (k 1) (k 1)! + k k! = k! + k k! =
k!(1 + k) = (k + 1)!
PROBLEMA 1.32.
Demostrar que para todo n N:
a)
1
1 2
+
1
2 3
+ +
1
n (n + 1)
=
n
n + 1
.
b)
1
1 3
+
1
3 5
+ +
1
(2n 1) (2n + 1)
=
n
2n + 1
.
Solucion
a) Para n = 1:
1
1 2
=
1
1 + 1
.
Suponemos que
1
1 2
+
1
2 3
+ +
1
k (k + 1)
=
k
k + 1
.
Probemos que
1
1 2
+
1
2 3
+ +
1
k (k + 1)
+
1
(k + 1) (k + 2)
=
k + 1
k + 1 + 1
:
1
1 2
+
1
2 3
+ +
1
k (k + 1)
+
1
(k + 1) (k + 2)
=
k
k + 1
+
1
(k + 1) (k + 2)
=
k(k + 2) + 1
(k + 1) (k + 2)
=
k
2
+ 2k + 1
(k + 1) (k + 2)
=
(k + 1)
2
(k + 1) (k + 2)
=
k + 1
k + 2
.
b) Para n = 1:
1
1 3
=
1
2 1 + 1
.
Supongamos que
1
1 3
+
1
3 5
+ +
1
(2k 1) (2k + 1)
=
k
2k + 1
,
y probemos que
1
1 3
+ +
1
(2k 1) (2k + 1)
+
1
(2(k + 1) 1) (2(k + 1) + 1)
=
k + 1
2(k + 1) + 1
.
23
En efecto,
1
1 3
+ . . . +
1
(2k 1) (2k + 1)
+
1
(2(k + 1) 1) (2(k + 1) + 1)
=
k
2k + 1
+
1
(2k + 1) (2k + 3)
=
k(2k + 3) + 1
(2k + 1) (2k + 3)
=
2k
2
+ 3k + 1
(2k + 1) (2k + 3)
=
(2k + 1)(k + 1)
(2k + 1) (2k + 3)
=
k + 1
2k + 3
.
PROBLEMA 1.33.
Demostrar que
n

h=1
(1 + h + h
2
) =
n
2
+ 3n + 5
3
n, n N.
Solucion
Se verica para n = 1 pues el primer miembro es
1

h=1
(1+h+h
2
) = 1+1+1
2
=
3, y el segundo,
1
2
+ 3 1 + 5
3
1 = 3.
Supongamos que se verica para n = k, es decir
k

h=1
(1 + h + h
2
) =
k
2
+ 3k + 5
3
k
y probemos que tambien es cierto para n = k:
k+1

h=1
(1 + h + h
2
) =
k

h=1
(1 + h + h
2
) + [1 + (k + 1) + (k + 1)
2
]
=
k
2
+ 3k + 5
3
k + (k + 2) + (k + 1)
2
=
k
3
+ 3k
2
+ 5k + 3k + 6 + 3k
2
+ 3 + 6k
3
=
k
3
+ 6k
2
+ 14k + 9
3
.
24
Por otra parte,
(k + 1)
2
+ 3(k + 1) + 5
3
(k + 1) =
(k + 1)
3
+ 3(k + 1)
2
+ 5(k + 1)
3
=
k
3
+ 3k
2
+ 3k + 1 + 3k
2
+ 6k + 3 + 5k + 5
3
=
k
3
+ 6k
2
+ 14k + 9
3
.
PROBLEMA 1.34.
Probar que a
2n
b
2n
es divisible por a + b, n N.
Solucion
Para n = 1: a
2
b
2
es divisible por a+b, porque a
2
b
2
= (a+b)(ab).
Suponemos que a
2k
b
2k
es divisible por a + b.
Probemos que a
2(k+1)
b
2(k+1)
es divisible por a + b:
a
2(k+1)
b
2(k+1)
= a
2k+2
b
2k+2
= a
2
a
2k
b
2
b
2k
= a
2
a
2k
a
2
b
2k
+ a
2
b
2k
b
2
b
2k
= a
2
(a
2k
b
2k
) + b
2k
(a
2
b
2
).
Por hipotesis, existe C tal que a
2k
b
2k
= C(a + b), de modo que:
a
2(k+1)
b
2(k+1)
= a
2
(a
2k
b
2k
) + b
2k
(a
2
b
2
)
= a
2
C(a + b) + b
2k
(a b)(a + b) = (a + b)[a
2
C + b
2k
(a b)],
lo que prueba la tesis.
PROBLEMA 1.35.
Demostrar que x
2n1
+ y
2n1
es divisible por x + y, n N.
25
Solucion
Para n = 1, x
211
+ y
211
= x + y, que claramente es divisible por x +
y.
Suponemos que x
2k1
+ y
2k1
es divisible por x + y, es decir, existe C tal
que x
2k1
+ y
2k1
= C(x + y).
Probemos que x
2(k+1)1
+ y
2(k+1)1
es divisible por x + y:
x
2(k+1)1
+ y
2(k+1)1
= x
2k+1
+ y
2k+1
= x
2
x
2k1
+ y
2
y
2k1
= x
2
x
2k1
y
2
x
2k1
+ y
2
x
2k1
+ y
2
y
2k1
= (x
2
y
2
)x
2k1
+ y
2
(x
2k1
+ y
2k1
)
= (x y)(x + y)x
2k1
+ y
2
C(x + y)
= (x + y)[(x y)x
2k1
+ y
2
C].
PROBLEMA 1.36.
Sean a, b R jos. Demostrar que para todo n N,
a
n
b
n
= (a b)(a
n1
+ a
n2
b + + ab
n2
+ b
n1
).
Solucion
Para n = 1, a
1
b
1
= a b.
Suponemos que a
k
b
k
= (ab)(a
k1
+a
k2
b+ +ab
k2
+b
k1
) y debemos
probar que a
k+1
b
k+1
= (a b)(a
k
+ a
k1
b + + ab
k1
+ b
k
):
a
k+1
b
k+1
= a a
k
b b
k
= a a
k
a b
k
+ a b
k
b b
k
= a(a
k
b
k
) + b
k
(a b)
= a(a b)(a
k1
+ a
k2
b + + ab
k2
+ b
k1
) + b
k
(a b)
= (a b)(a
k
+ a
k1
b + + ab
k1
+ b
k
).
26
PROBLEMA 1.37.
Demostrar la formula del binomio de Newton
(a + b)
n
=
_
n
0
_
a
n
+
_
n
1
_
a
n1
b + +
_
n
n 1
_
ab
n1
+
_
n
n
_
b
n
.
Solucion
Para n = 1, (a + b)
1
=
_
1
0
_
a
1
+
_
1
1
_
b
1
= a + b.
Suponemos que (a + b)
k
=
_
k
0
_
a
k
+
_
k
1
_
a
k1
b + +
_
k
k 1
_
ab
k1
+
_
k
k
_
b
k
y probemos la formula para k+1 -recordemos que
_
m
n
_
+
_
m
n + 1
_
=
_
m + 1
n + 1
_
:
(a + b)
k+1
= (a + b)(a + b)
k
= (a + b)
__
k
0
_
a
k
+
_
k
1
_
a
k1
b + +
_
k
n 1
_
ab
k1
+
_
k
k
_
b
k
_
=
_
k
0
_
a
k+1
+
__
k
0
_
+
_
k
1
__
a
k
b + +
__
k
k 1
_
+
_
k
k
__
ab
k
+
_
k
k
_
b
k+1
=
_
k + 1
0
_
a
k+1
+
_
k + 1
1
_
a
k
b + +
_
k + 1
k
_
ab
k
+
_
k + 1
k + 1
_
b
k+1
.
PROBLEMA 1.38.
Demostrar que n
7
n es m ultiplo de 42, n N.
Solucion
Debido a que 42 = 2 3 7, debemos probar que n
7
n es m ultiplo de 2, 3
y 7.
27
Para n = 1, 1
7
1 = 0 que es evidentemente m ultiplo de 42 (en realidad es
m ultiplo de cualquier n umero).
Suponemos que k
7
k es m ultiplo de 42, es decir, k
7
k = 42c para alg un
c Z.
Probemos que (k + 1)
7
(k + 1) es divisible por 42. Por una parte,
(k + 1)
7
(k + 1) = (k + 1)[(k + 1)
6
1]
= (k + 1)[(k + 1)
3
1][(k + 1)
3
+ 1]
= (k + 1)[k
3
+ 3k
2
+ 3k + 1 1][k
3
+ 3k
2
+ 3k + 1 + 1]
= (k + 1)k[k
2
+ 3k + 3][k
3
+ 3k
2
+ 3k + 2]
= (k + 1)k(k + 2)[k
2
+ 3k + 3][k
2
+ k + 1],
lo que da lugar a una expresion m ultiplo de 2 y de 3, para cualquier valor
de k, pues en la factorizacion intervienen tres n umeros naturales consecuti-
vos.
Por otra parte, si aplicamos la formula del binomio de Newton,
(k + 1)
7
(k + 1) = k
7
+ 7k
6
+ 21k
5
+ 35k
4
+ 35k
3
+ 21k
2
+ 7k + 1 k 1
= (k
7
k) + 7(k
6
+ 3k
5
+ 5k
4
+ 5k
3
+ 3k
2
+ k)
= 42c + 7d = 7(6c + d),
y resulta una expresion m ultiplo de 7. De los dos desarrollos se obtiene el
resultado deseado.
PROBLEMA 1.39.
Demostrar que 3
2n+2
+ 2
6n+1
es m ultiplo de 11, n N.
Solucion
Para n = 1, 3
21+2
+ 2
61+1
= 81 + 128 = 19 11.
Suponemos que 3
2k+2
+2
6k+1
es m ultiplo de 11, es decir, 3
2k+2
+2
6k+1
= 11c
para alg un c Z.
28
Probemos que 3
2(k+1)+2
+ 2
6(k+1)+1
es m ultiplo de 11:
3
2(k+1)+2
+ 2
6(k+1)+1
= 3
2k+4
+ 2
6k+7
= 9 3
2k+2
+ 2
6
2
6k+1
= 9 3
2k+2
+ 64 2
6k+1
= 9(3
2k+2
+ 2
6k+1
) + 55 2
6k+1
= 9 11 c + 5 11 2
6k+1
= 11(9 c + 5 2
6k+1
)
como se quera probar.
PROBLEMA 1.40.
Probar que 2
2n
+ 15n 1 es m ultiplo de 9, n N.
Solucion
Para n = 1 se verica porque 2
21
+ 15 1 1 = 18 = 2 9.
Suponemos que 2
2k
+ 15k 1 es m ultiplo de 9, es decir, 2
2n
+ 15n 1 = 9c
para alg un c Z.
Probemos que 2
2(k+1)
+ 15(k + 1) 1 es m ultiplo de 9:
2
2(k+1)
+ 15(k + 1) 1 = 4 2
2k
+ 15k + 14
= 4(2
2k
+ 15k 1) 45k + 18 = 4 9c 9 5k + 9 2,
que es m ultiplo de 9.
PROBLEMA 1.41.
Sean x
1
, x
2
, x
3
tres n umeros naturales consecutivos. Demostrar que
x
2
1
+x
2
2
+x
2
3
no es m ultiplo de 3 pero x
3
1
+x
3
2
+x
3
3
es m ultiplo de 9.
29
Solucion
Si escribimos x
1
, x
2
, x
3
como (n 1), n, (n + 1), tenemos
(n 1)
2
+ n
2
+ (n + 1)
2
= 3n
2
+ 2 que para n = 2 da como resultado 14,
que no es m ultiplo de 3.
Ahora bien, probaremos por induccion que (n1)
3
+n
3
+(n+1)
3
= 3n
3
+6n
es m ultiplo de 9, para todo n 2.
Para n = 2, 3 2
3
+ 6 2 = 36 = 9 4.
Suponemos que 3k
3
+6k es m ultiplo de 9, es decir, 3k
3
+6k = 9c para alg un
c Z, y debemos probar que 3(k + 1)
3
+ 6(k + 1) es m ultiplo de 9:
3(k+1)
3
+6(k+1) = 3k
3
+9k
2
+9k+3+6k+6 = 3k
3
+6k+9(k
2
+k+1) = 9c+9d,
que es evidentemente m ultiplo de 9.
PROBLEMA 1.42.
Demostrar que el producto de n factores, cada uno de los cuales
es suma de los cuadrados de dos n umeros enteros, se puede expre-
sar como la suma de los cuadrados de otros dos n umeros enteros.
Solucion
Debemos demostrar que (a
2
1
+b
2
1
)(a
2
2
+b
2
2
) . . . (a
2
n
+b
2
n
) = A
2
+B
2
, para todo
n N. Para n = 1 es evidente porque a
2
1
+b
2
1
= A
2
+B
2
eligiendo A = a
1
y
B = b
1
.
Suponemos que (a
2
1
+b
2
1
)(a
2
2
+b
2
2
) . . . (a
2
k
+b
2
k
) = A
2
+B
2
y probemos que
(a
2
1
+ b
2
1
)(a
2
2
+ b
2
2
) . . . (a
2
k+1
+ b
2
k+1
) = A
2
1
+ B
2
1
:
(a
2
1
+ b
2
1
)(a
2
2
+ b
2
2
) . . . (a
2
k+1
+ b
2
k+1
) = (A
2
+ B
2
)(a
2
k+1
+ b
2
k+1
)
= A
2
a
2
k+1
+ A
2
b
2
k+1
+ B
2
a
2
k+1
+ B
2
b
2
k+1
= (Aa
k+1
)
2
+ (Ab
k+1
)
2
+ (Ba
k+1
)
2
+ (Bb
k+1
)
2
= (Aa
k+1
)
2
+ (Bb
k+1
)
2
2Aa
k+1
Bb
k+1
+(Ba
k+1
)
2
+ (Ab
k+1
)
2
+ 2Aa
k+1
Bb
k+1
= (Aa
k+1
Bb
k+1
)
2
+ (Ba
k+1
+ Ab
k+1
)
2
= A
2
1
+ B
2
1
.
30
PROBLEMA 1.43.
Demostrar que para todo n 4 se verica n! > 2
n
.
Solucion
Para n = 4, 4! = 24 > 2
4
= 16.
Suponemos que k! > 2
k
y probaremos que (k + 1)! > 2
k+1
:
(k + 1)! = (k + 1) k! > (k + 1) 2
k
2 2
k
= 2
k+1
.
PROBLEMA 1.44.
Demostrar la desigualdad de Bernoulli (1 + x)
n
> 1 + nx para n =
2, 3, . . . , si x > 1, x = 0.
Solucion
Para n = 2: (1 + x)
2
= 1 + 2x + x
2
> 1 + 2x, porque x = 0.
Supongamos que (1+x)
k
> 1+kx y probemos que (1+x)
k+1
> 1+(k+1)x.
En efecto,
(1 + x)
k+1
= (1 + x)(1 + x)
k
> (1 + x)(1 + kx) = 1 + x + kx + kx
2
= 1 + (k + 1)x + kx
2
> 1 + (k + 1)x.
Notese que el resultado no es cierto para n = 1, pero sera cierto para todo
n N si modicamos el enunciado por (1 + x)
n
1 + nx.
31
D. DESIGUALDADES Y VALOR ABSOLUTO.
Es sabido que la relacion permite ordenar el cuerpo de los n umeros reales.
Ademas la relacion es de orden total, lo que quiere decir que dados dos
n umeros reales cualesquiera x e y, se cumple que x y o bien y x.
Por otra parte, sera importante a lo largo del curso la resolucion de inecua-
ciones con soluciones en R. Para ello son de utilidad las siguientes propieda-
des:
a) x < y, z R = x + z < y + z.
b) x < y, z > 0 = x z < y z.
c) x < y, z < 0 = x z > y z. (Observa que cambia el sentido de la
desigualdad).
d) x < y, y < z = x < z.
e) x < y, u < v = x + u < y + v.
Todas estas propiedades tienen sus analogas si cambiamos el signo < por
cualquiera de >, o .
Otras propiedades de las desigualdades se obtienen a partir del concepto de
valor absoluto. As, dado un n umero real x, su valor absoluto o modulo, que
representamos por |x|, se dene como:
|x| = +

x
2
= max{x, x} =
_
x si x 0,
x si x < 0.
Geometricamente representa la distancia del punto x al origen de coordena-
das.
Las propiedades basicas son las siguientes:
a) |x| x |x|.
b) |x + y| |x| +|y| (desigualdad triangular).
c) |x| a a x a.
d) |x| a x a o x a.
PROBLEMA 1.45.
Si a, b 0, demostrar que
a + b
2

ab.
32
Solucion
Partimos de la desigualdad evidente (

b)
2
0 y obtenemos sucesiva-
mente:
a 2

ab + b 0 =
a + b
2

ab.
Observacion. Este resultado se puede generalizar al siguiente:
a
1
+ + a
n
n

n

a
1
. . . a
n
,
lo que indica que la media aritmetica de los n umeros a
1
, . . . a
n
es mayor o
igual a la media geometrica de los mismos.
PROBLEMA 1.46.
Demostrar que, para cualquier a R, a max{1, a
n
}, siendo n N
jo.
Solucion
Probaremos la propiedad para los distintos valores de a.
Si a > 1, max{1, a
n
} = a
n
y es evidente que a a
n
.
Si 1 a 1, max{1, a
n
} = 1 y a 1.
Si a < 1 y n es par, max{1, a
n
} = a
n
y a a
n
. En cambio, si n es impar,
max{1, a
n
} = 1 a.
PROBLEMA 1.47.
Demostrar que si a y b son n umeros reales positivos,
a > b a
2
> b
2

_
a >
_
b.
33
Solucion
i) a > b = a
2
> b
2
:
Supongamos que a > b. Como a > 0, a a > b a.
Como tambien b > 0, a b > b b. Pero a b = b a. Luego, a a = a
2
>
b a > b b = b
2
, es decir, a
2
> b
2
.
ii) a
2
> b
2
= a > b:
Si a
2
> b
2
, entonces a
2
b
2
> 0 = (a b)(a +b) > 0. Como a, b > 0,
a + b > 0, por lo que a b > 0, es decir a > b.
iii) a > b =
_
a >
_
b:
Si, por el contrario, fuera
_
a
_
b, como
_
a,
_
b > 0, tenemos que
_
a
_
a
_
a
_
b y
_
a
_
b
_
b
_
b. En denitiva, a = (
_
a)
2

_
a
_
b (
_
b)
2
= b, lo que contradice la hipotesis.
iv) La demostracion de que
_
a >
_
b = a > b es completamente analoga
a la del apartado i).
PROBLEMA 1.48.
Demostrar que la suma de cualquier n umero positivo con su recpro-
co nunca es menor que 2.
Solucion
Se trata de probar que a + 1/a 2, a > 0. Inecuaciones equivalentes a la
primera son
a
2
+ 1
a
2 a
2
+ 1 2a a
2
2a + 1 0 (a 1)
2
0
lo que es siempre cierto por ser el cuadrado de un n umero real.
34
PROBLEMA 1.49.
Si a > 0, a = 1 y n N, demostrar que a
n+1
+
1
a
n+1
> a
n
+
1
a
n
.
Solucion
Como en problemas anteriores vamos escribiendo inecuaciones equivalentes
a la que queremos demostrar hasta llegar a una cuya demostracion sea mas
asequible. Tenemos entonces:
a
n+1
+
1
a
n+1
> a
n
+
1
a
n

a
2(n+1)
+ 1
a
n+1
>
a
2n
+ 1
a
n
a
2(n+1)
+ 1 > a
2n+1
+ a
a
2n+2
a
2n+1
a + 1 > 0
(a
2n+1
1)(a 1) > 0.
En esta ultima inecuacion, si a > 1, ambos factores son positivos por lo que
su producto tambien lo sera. En cambio si 0 < a < 1, ambos factores son
negativos por lo que su producto sera tambien positivo. En ambos casos se
prueba lo deseado.
PROBLEMA 1.50.
Demostrar que a
2
+ b
2
+ c
2
> ab + bc + ca, a, b, c R excepto para
a = b = c.
Solucion
Como a
2
+ b
2
> 2ab, b
2
+ c
2
> 2bc, c
2
+ a
2
> 2ca, sumando miembro a
miembro las tres inecuaciones resulta 2(a
2
+ b
2
+ c
2
) > 2(ab + bc + ca) y
dividiendo por 2 obtenemos lo deseado.
35
Si a = b = c se verica la igualdad, por lo que en general podemos escribir
a
2
+ b
2
+ c
2
ab + bc + ca.
PROBLEMA 1.51.
Si a, b, c, d R son tales que a
2
+ b
2
= 1 y c
2
+ d
2
= 1, demostrar
que ac + bd 1.
Solucion
Sabiendo que (ac)
2
0 y (bd)
2
0, resultan las desigualdades a
2
+c
2

2ac y b
2
+ d
2
2bd. Sumando ambas, tenemos que a
2
+ c
2
+ b
2
+ d
2

2(ac + bd), es decir 2 2(ac + bd) o bien 1 ac + bd.

PROBLEMA 1.52.
Demostrar que x
3
+ y
3
> x
2
y + y
2
x si x, y R
+
(x = y).
Solucion
La inecuacion x
3
+y
3
> x
2
y +y
2
x es equivalente a (x +y)(x
2
xy +y
2
) >
xy(x + y). Si dividimos por x + y, que es positivo, tenemos que tambien es
equivalente a x
2
xy +y
2
> xy, o bien x
2
2xy +y
2
> 0 lo cual es siempre
cierto porque x
2
2xy + y
2
= (x y)
2
y x = y.
PROBLEMA 1.53.
Demostrar que a
n
+b
n
> a
n1
b+ab
n1
siempre que a, b R
+
(a = b)
y n > 1.
36
Solucion
Desigualdades equivalentes a la que queremos probar son
a
n
+ b
n
> a
n1
b + ab
n1
a
n
a
n1
b (ab
n1
b
n
) > 0
a
n1
(a b) b
n1
(a b) > 0
(a
n1
b
n1
)(a b) > 0.
Esta ultima inecuacion es siempre cierta porque, si a > b, ambos factores
son positivos y, si a < b, ambos factores son negativos.
PROBLEMA 1.54.
Demostrar:
a) x
2
y
2
> x y si x + y > 1 y x > y.
b) x
2
y
2
< x y si x + y > 1 y x < y.
Solucion
a) Si x > y, entonces x y > 0. De la desigualdad x + y > 1 obtenemos
(x + y)(x y) > (x y), es decir x
2
y
2
> x y.
b) Como x < y, xy < 0. Multiplicando ambos miembros de la desigualdad
x +y > 1 por x y se invierte el sentido de la desigualdad y se tiene:
(x + y)(x y) < (x y) x
2
y
2
< x y.
PROBLEMA 1.55.
Sabiendo que la media aritmetica de dos n umeros a y b es
a + b
2
,
la media geometrica es

ab y la media armonica es
2ab
a + b
, probar
que
a + b
2
>

ab >
2ab
a + b
, si a y b son positivos y distintos.
37
Solucion
i) La siguiente cadena de equivalencias prueba que (a + b)/2 >

ab (otro
metodo se realizo en el problema 1.45):
a + b
2
>

ab (a + b)
2
> (2

ab)
2
a
2
+ b
2
+ 2ab > 4ab
a
2
2ab + b
2
> 0 (a b)
2
> 0.
ii) Veamos ahora por el mismo metodo que

ab >
2ab
a + b
:

ab >
2ab
a + b
ab >
(2ab)
2
(a + b)
2
(a + b)
2
> 4ab (a b)
2
> 0.
PROBLEMA 1.56.
Demostrar que si a, b, c, d son n umeros reales positivos tales que
a
b
>
c
d
, entonces
a + c
b + d
>
c
d
.
Solucion
Sumando a ambos miembros de la desigualdad la misma cantidad c/b, tene-
mos:
a
b
>
c
d
=
a
b
+
c
b
>
c
d
+
c
b
=
a + c
b
>
c(b + d)
bd
=
a + c
b + d
>
c
d
.
PROBLEMA 1.57.
Demostrar que
1
x
+
1
y
>
2
x + y
si x, y R
+
(x = y).
38
Solucion
Escribamos expresiones equivalentes a la inecuacion a probar:
1
x
+
1
y
>
2
x + y

x + y
xy
>
2
x + y
(x + y)
2
> 2xy
x
2
+ 2xy + y
2
> 2xy x
2
+ y
2
> 0,
lo cual es evidentemente cierto, pues x = y.
PROBLEMA 1.58.
Demostrar que
a
2
+ b
2
2
ab, a, b R. En que caso se verica la
igualdad?
Solucion
Si partimos de la desigualdad a probar, mediante expresiones equivalentes
obtenemos:
a
2
+ b
2
2
ab a
2
+ b
2
2ab a
2
+ b
2
2ab 0 (a b)
2
0,
que es siempre cierto.
La igualdad se verica cuando a = b.
PROBLEMA 1.59.
Si a
1
, a
2
, . . . , a
n
y b
1
, b
2
, . . . , b
n
son n umeros reales cualesquiera, pro-
bar la desigualdad de Schwarz:
(a
1
b
1
+ a
2
b
2
+ + a
n
b
n
)
2
(a
2
1
+ a
2
2
+ + a
2
n
)(b
2
1
+ b
2
2
+ + b
2
n
).
39
Solucion
Si x R, se tiene
(a
1
x + b
1
)
2
+ + (a
n
x + b
n
)
2
0.
Desarrollando y agrupando terminos, llegamos a:
A
2
x
2
+ 2Cx + B
2
0,
con A
2
= a
2
1
+ + a
2
n
, B
2
= b
2
1
+ + b
2
n
, C = a
1
b
1
+ + a
n
b
n
.
La inecuacion anterior se puede escribir, completando cuadrados, como (Ax+
C/A)
2
+B
2
C
2
/A
2
0. Si elegimos x = C/A
2
, resulta B
2
C
2
/A
2
0,
es decir, A
2
B
2
C
2
, que es la desigualdad buscada.
PROBLEMA 1.60.
Resolver las siguientes inecuaciones:
a) |x 3| 1.
b) |x
2
1| < 1/2.
c) (x + 1)(x 1)(x 2) > 0.
Solucion
a) |x 3| 1 1 x 3 1 2 x 4 x [2, 4].
b)
|x
2
1| < 1/2 1/2 < x
2
1 < 1/2 1/2 < x
2
< 3/2
1/2 < |x|
2
< 3/2 1/

2 < |x| <

3/

2
1/

2 < x <

3/

2 (para x 0)
o

3/

2 < x < 1/

2 (para x < 0)
x
_

2
,
1

2
_

_
1

2
,

2
_
.
40
c) Como (x + 1)(x 1)(x 2) = 0 cuando x = 1, x = 1, x = 2, podemos
escribir la siguiente tabla de signos:
x < 1 1 < x < 1 1 < x < 2 x > 2
x + 1 + + +
x 1 + +
x 2 +
(x + 1)(x 1)(x 2) + +
Entonces (x + 1)(x 1)(x 2) > 0 cuando 1 < x < 1 o x > 2.
PROBLEMA 1.61.
Hallar el conjunto de los valores de x para los que se verica:
a)
1
x
+
3
2x
5.
b) x(x + 2) 24.
c) |x + 2| < |x 5|.
d)
x
x + 2
>
x + 3
3x + 1
.
Solucion
a)
1
x
+
3
2x
5
5x
2x
2
5 5x 10x
2
2x
2
x 0 x(2x 1) 0.
Hacemos la tabla de signos de los factores, teniendo en cuenta que
x(2x 1) = 0 x = 0 o x = 1/2:
x < 0 0 < x < 1/2 x > 1/2
x + +
2x 1 +
x(2x 1) + +
La solucion de la inecuacion es pues el intervalo (0, 1/2] (tengase en
cuenta que para x = 0 no tiene sentido la inecuacion).
41
b) x(x + 2) 24 x
2
+ 2x 24 0 (x 4)(x + 6) 0.
Como el primer miembro de la inecuacion se anula en los puntos x = 4
y x = 6, la correspondiente tabla de signos es:
x < 6 6 < x < 4 x > 4
x + 6 + +
x 4 +
(x + 6)(x 4) + +
La solucion de la inecuacion es el intervalo cerrado [6, 4].
c) Para resolver la inecuacion |x+2| < |x5| debemos eliminar los valores
absolutos, sabiendo que |x + 2| =
_
x + 2 si x + 2 0
x 2 si x + 2 < 0
y |x 5| =
_
x 5 si x 5 0
x + 5 si x 5 < 0
. Por ello descomponemos la recta real en los
siguientes intervalos:
x < 2 2 x < 5 5 x
|x + 2| x 2 x + 2 x + 2
|x 5| x + 5 x + 5 x 5
y resolvemos las inecuaciones que resultan en cada intervalo.
Si x < 2: x 2 < x + 5 2 < 5 lo cual es siempre cierto. El
intervalo (, 2) es solucion de la inecuacion.
Si 2 x < 5: x + 2 < x + 5 2x < 3 x < 3/2. La solucion
en este caso es [2, 3/2).
Si 5 x: x + 2 < x 5 2 < 5 lo cual es siempre falso.
Uniendo las soluciones parciales tenemos que la solucion completa de
la inecuacion es el intervalo (, 3/2).
d)
x
x + 2
>
x + 3
3x + 1

x
x + 2

x + 3
3x + 1
> 0
x(3x + 1) (x + 3)(x + 2)
(x + 2)(3x + 1)
> 0

2x
2
4x 6
(x + 2)(3x + 1)
> 0
2(x 3)(x + 1)
(x + 2)(3x + 1)
> 0.
Los puntos donde puede cambiar de signo la expresion son los que
anulan numerador o denominador, es decir x = 2, 1, 1/3, 3. La
42
tabla de signos queda de la forma:
x < 2 2 < x < 1 1 < x <
1
3
1
3
< x < 3 x > 3
x + 2 + + + +
x + 1 + + +
3x + 1 + +
x 3 +
2(x3)(x+1)
(x+2)(3x+1)
+ + +
La tabla indica que la solucion de la inecuacion es (, 2)(1, 1/3)
(3, ).
43
E. EJERCICIOS PROPUESTOS.
1.- Sea S un subconjunto no vaco de R y denotamos por i a una cota
inferior de S. Demostrar que
i =nf S > 0, b S : i b < i + .
Sugerencia: Ver problema 1.6.
2.- Probar, por el metodo de induccion completa, que 3
4n+2
+ 5
2n+1
es m ultiplo de 14.
Sugerencia: Ver problema 1.39.
3.- Demostrar que x
n
y
n
es divisible por x y, n N.
Sugerencia: Ver problema 1.36.
4.- Probar las siguientes propiedades de los n umeros reales:
(a) |x y| |x| +|y|.
(b) |x| |y| |x y|.
Sugerencia: Elevar al cuadrado los dos miembros de la desigualdad.
(c)

|x| |y|

|x y|.
5.- Resolver las siguientes desigualdades:
(a)
1
x
+
1
1 x
> 0.
Resp.: x (0, 1).
(b) 5 x
2
< 2.
Resp.: x (,

7) (

7, ).
(c) x
2
+ x + 1 0.
Resp.: .
(d) |1 + 2x| 1.
Resp.: x [1, 0].
(e) |x + 2| 5.
44
Resp.: x (, 7] [3, ).
(f) |x 5| < |x + 1|.
Resp.: x > 2.
(g) x < x
2
12 < 4x.
Resp.: x (4, 6).
(h)

x+1
x1

1.
Resp.: x 0.
6.- Probar que max(x, y) =
x + y +|y x|
2
y mn(x, y) =
x + y |y x|
2
,
x, y R.
Sugerencia: Tener en cuenta que, cuando y x, |y x| = y x y
max(x, y) = y.
7.- Encontrar el error en los siguientes razonamientos:
(a) Para resolver la desigualdad
x + 1
x 1
1, procedemos as:
x + 1 x 1, de donde 1 1, lo que indica que la desigualdad
inicial es valida para todos los n umeros reales. En particular lo
sera para x = 1, lo que conduce a
1 + 1
1 1
1,
es decir, 0 1.
(b) De la desigualdad evidente 8 < 16, deducimos la siguiente
cadena de desigualdades:
1
8
>
1
16
(1/2)
3
> (1/2)
4
3 log(1/2) > 4 log(1/2) 3 > 4.
45