2.

4 Ejercicios resueltos

2.4.

59

Ejercicios resueltos

n
2.4.1 El nmero combinatorio
m

se define mediante la frmula

n(n 1)(n 2) . . . (n m + 1)
n
,
=
m!
m

donde n, m N y 0 < m n
 

n
siendo m! = m(m 1)(m 2) . . . 1. As pues, en la fraccin que define m
tanto el numerador como el denominador tienen m factores; en el denominador el primer factor es m y va decreciendo cada vez una unidad, por lo que el
ltimo es 1, mientras que en el numerador empiezan en n y van decreciendo
cada vez una unidad, con lo que el ltimo es n m + 1.

(1) Demuestre que

!

n
n
=
nm
m

n
= 1,
n

para 0 < m < n.

Por conveniencia, para que la segunda frmula sea vlida tambin para
m = 0, se define
!
n
= 1.
0
(2) Demuestre que
!

n+1
n
n
=
+
m+1
m+1
m

(3) Demuestre la frmula del binomio de Newton:

n

(a + b) =

n
X

j=0

n
n j nj X
n nj j
ab
=
a b
j
j=0 j

siendo n N y a, b K.

(4) Aplicando la frmula anterior, deduzca las igualdades:

n
X

j=0

n
= 2n ,
j

n
X

(1)

j=0

n
= 0.
j

Solucin:
(1) Es claro que
!

n(n 1) . . . (n n + 1)
n
=
= 1 [el numerador tiene n factores].
n
n!
59

60

Nmeros reales y complejos

Su pongamos ahora 0 < m < n entonces

!

n(n 1)(n 2) . . . (n m + 1)
n
=
m!
m
n!
n!
=
=
m!(n m)!
(n m)!m!
!
n!
n
=
=
(n m)!(n (n m))!
nm
(2) Se obtiene como consecuencia de la siguiente cadena de igualdades.
!

n
n
=
+
m+1
m
n(n 1)(n 2) . . . (n m + 1)
=
m!
n(n 1)(n 2) . . . (n (m + 1) + 1)
+
(m + 1)!
n(n 1)(n 2) . . . (n m + 1)(m + 1)
[reduc. comn denom.]
=
(m + 1)!
n(n 1)(n 2) . . . (n m + 1)(n m)
+
(m + 1)!
n(n 1)(n 2) . . . (n m + 1)
(n + 1) [sacar factor comn]
=
(m + 1)!
(n + 1)n(n 1)(n 2) . . . (n m + 1)
=
[m + 1 factores]
(m + 1)!
!
n+1
=
m+1
(3) La frmula del binomio de Newton se demuestra por induccin sobre
n N. Comencemos por ver el signicado del sumatorio, que contiene
n + 1 sumandos
n
X

j=0

n n 0
n 2 n2
n 1 n1
n 0 n
n j nj
a b
ab
++
ab
+
ab +
ab
=
n
2
1
0
j

Para n = 1 la frmula signica

1

(a + b) =

1
X

j=0

1 1 0
1 0 1
n j nj
a b =b+a
ab +
ab
=
1
0
j

y por tanto es cierta.

60

2.4 Ejercicios resueltos

61

Aplicando el procedimiento de induccin supongamos que la frmula

tambin es cierta para n, es decir que se cumple
n

(a + b) =

n
X

n j nj
ab
j

j=0

siendo n N y a, b K.

Vamos a demostrar, apoyndonos en la frmula para n (hiptesis de

induccin) y haciendo algunos clculos que la frmula tambin es cierta
para n + 1.
(a + b)n+1 = (a + b)n (a + b) [hiptesis induccin]
=
=

X
n

j=0
n
X

j=0

n j nj
(a + b) [distributiva]
ab
j


n
n j+1 nj X
n j nj+1
a b
+
ab
[desarrollando]
j
j=0 j

n 2 n1
n 1 n
ab
+
ab +
=
1
0
!
!
n 1 n
n 0 n+1
ab +
ab
+
+
1
0
[agrupando los de igual

n 3 n2
ab
++
2
!
n 2 n1
ab
++
2
potencia]

n n+1 0
a b+
n
!
n n 1
a b =
n

n 0 n+1
ab +
=
0
!#
!#
" !
!
"
n
n
n
n
1 n
a2 bn1 + . . .
+
ab +
+
+
2
1
1
0
!
"
!#
n
n
+
++
an b1 +
n1
n
!
n n+1 0
a b [propiedades de los nm. combinatorios]
+
n
!
!
!
n + 1 n+1 0
n+1 1 n
n + 1 0 n+1
a b
a b ++
ab
+
=
n+1
1
0
=

n+1
X
j=0

n + 1 j n+1j
ab
j

Lo que prueba que la frmula

n

(a + b) =

n
X

j=0

n j nj
ab
j

es cierta tambin para n + 1 y, en consecuencia, aplicando el principio

de induccin, es cierta para cualquier nmero natural n.
61

62

Nmeros reales y complejos

Por otra parte

n

(a + b) = (b + a) =

n
n nj j
n j nj X
a b
ba
=
j
j=0 j

n
X

j=0

lo cual prueba la segunda versin de la frmula que aparece en el enunciado.

(4) Si en la frmula
(a + b)n =

n
X

n j nj
ab
j

n
X

n
j

j=0

hacemos a = b = 1 obtenemos
n

2 =

j=0

y si hacemos a = 1 y b = 1 obtenemos
n
X

(1)

j=0

n
= 0.
j

Se acab!

2.4.2 Sean A y B subconjuntos acotados de nmeros reales estrictamente positivos

tales que nf B > 0.
(1) Sea 1/B := {1/b; b B}. Pruebe que 1/B est acotado superiormente
y que sup(1/B) = 1/(nf B).
(2) Sea A/B := {a/b; a A b B}. Pruebe que A/B est acotado superiormente. Cual es el supremo de A/B? Justifquelo.
Solucin: Pongamos := nf B > 0. De acuerdo con la denicin de nmo
eso equivale a
b para todo b B ( es cota inferior de B)

si para algn se cumple que b para todo b B, entonces

necesariamente es ( es la cota inferior ms grande para B).
Los supremos vienen caracterizados de forma enteramente anloga cambiando el sentido de las desigualdades.
(1) Pero si b > 0 entonces 1/b 1/ para todo b B; lo que signica
que 1/ es cota superior del conjunto 1/B. Vamos a probar que esa
cota es la ms pequea entre las cotas superiores de 1/B, y de ese
62

2.4 Ejercicios resueltos

63

modo habremos probado, de acuerdo con la denicin de supremo, que

1/ es el supremo de 1/B.
Para demostrar esto ltimo procederemos por reduccin al absurdo,
es decir, supongamos que existiera una cota superior para 1/B que
llamamos que cumpla < 1/. Entonces para todo b se tendra

de donde se obtiene que

1/b < 1/

b 1/ > , para todo b B

y habramos obtenido as una cota inferior = 1/ > , lo cual contradice la denicin de como nmo de B.
(2) Un instante de reexin muestra que el cociente a/b crece si aumentamos a o disminuimos b (o ambas cosas). Esto nos lleva a la conjetura
de que el supremo del conjunto A/B debe ser sup A/nf B. Vamos a
demostrar que eso es lo que ocurre.
Pongamos = sup A. Entonces

por tanto

a para todo a A;

b para todo b B

, a A, b B
b

lo que signica que / es cota superior de A/B.

Necesitamos probar ahora que es la mnima. Para probarlo utilizaremos
de nuevo reduccin al absurdo, suponiendo que hay una cota superior
< / de A/B, siendo necesariamente > 0 (por qu?). Entonces
se tendra
a/b

equivalentemente

a b

a A, b B.

Si tomamos un valor jo para b B, pero arbitrario, entonces la ecuacin anterior puede interpretarse como que b es una cota superior de
A ya que la acotacin es cierta para todos los a A y utilizando la
denicin de supremo eso implica que

b equivalentemente
b.

Donde b ha estado jo en el razonamiento anterior, pero puede ser

cualquiera, lo cual permite interpretar / como una cota inferior de
B, pero acudiendo a la denicin de nmo ello obliga a que

equivalentemente

en contra de lo que habamos supuesto.

63

64

Nmeros reales y complejos

Con esto la conjetura est demostrada y el ejercicio acabado.

2.4.3 Sea f : [0, 1] [0, 1] una funcin no decreciente. Pruebe que existe un
nmero real x [0, 1] tal que f (x) = x.
Sug: Razone sobre := sup{x; f (x) x}.
Solucin: Se trata de probar que f () = .
Si fuera f () = > 0 sera f () ( + 21 ) > 0 y al ser f no decreciente
tambin sera f ( + 21 ) ( + 21 ) f () ( + 12 ) > 0 lo que contradice
que sea supremo.
De forma anloga se prueba que f () = < 0 es contradictorio. Verifquelo!


2.4.4 Pruebe que si a y b son nmeros reales, entonces

|ab| a2 + b2 .
Solucin: Como |ab| = |a||b| se trata de probar que
|a||b| |a|2 + |b|2 .
Pero es claro que |a||b| 2|a||b|, de modo que si conseguimos probar que
2|a||b| |a|2 + |b|2
la cuestin est resuelta. La desigualdad anterior puede ser reescrita como
0 |a|2 + |b|2 2|a||b| = (|a| |b|)2 [binomio de Newton]
y en el formato
0 (|a| |b|)2

la desigualdad es trivialmente cierta, lo cual acaba la demostracin.

Observe que en realidad hemos demostrado algo ms fuerte que lo propuesto:
se ha demostrado que 2|ab| a2 + b2

2.4.5 Resuelva la inecuacin siguiente, donde x R:
(x 1)(x 3) > 0
Solucin: Obtener la solucin de una inecuacin consiste en identicar el
conjunto de nmeros (en este caso nmeros reales) que verican la inecuacin dada; en concreto se trata, pues, de identicar de forma explcita (ms
descriptiva) el conjunto
A = {x R : (x 1)(x 3) > 0}.
64

2.4 Ejercicios resueltos

65

Para abordar este problema podemos considerar que el primer miembro de

la inecuacin corresponde a la grca de una funcin y queremos saber para
qu valores de x la correspondiente grca se sita por encima del eje OX
de ecuacin y = 0.
Podemos utilizar Maxima para realizar las grficas y de ese modo ayudarnos
a resolver la cuestin. Para que Maxima dibuje la grfica de una funcin es
necesario especificar el rango de valores en el que se mueve la variable. Lo
razonable es empezar con un rango amplio e ir modificndolo, si fuera necesario,
hasta concentrarse en la parte significativa.
160

(x-3)*(x-1)
0

140

(x-3)*(x-1)
0

2.5

120

100

1.5

80
1
60
0.5

40

20

-0.5

0
-20
-10

-5

-1

10

0.5

1.5

2.5

3.5

Aqu hemos utilizado dos grficas que nos permiten aventurar una respuesta.
plot2d( [(x-1)*(x-3),0],[x,-10,10] );
plot2d( [(x-1)*(x-3),0],[x,0,4] );

Un razonamiento analtico puede ser como sigue. Para que el producto

(x 1)(x 3)
sea mayor que cero ambos factores han de ser positivos o bien ambos negativos, es decir, debe ocurrir una de las dos situaciones siguientes:
A) x 1 > 0 y x 3 > 0,
B) x 1 < 0 y x 3 < 0.

Las condiciones anteriores pueden formularse, de forma equivalente, como:

A) x 3 > 0 (puesto que si x > 3 entonces, a fortiori, x > 1),
B) x 1 < 0 (puesto que si x < 1 entonces, a fortiori, x < 3).

El resultado es concordante con el grco y obtenemos, nalmente, que la

solucin de la inecuacin propuesta es el conjunto
A = {x R ; x < 1 x > 3} = {x R : x < 1} {x R : x > 3}


65

66

Nmeros reales y complejos

2.4.1.

Propuestos

2.1) Utilizando el mtodo de induccin pruebe las siguientes armaciones:

a) Pruebe que
b)
c)

Pn

j=0 j

Pn

j=0 j

Pn

i=1

i=

n(n+1)
2

n(n+1)(2n+1)
.
6

= [ n(n+1)
]2 .
2

d) Dados a0 , a1 , . . . , an tales que ai+1 = rai , para i = 0, 1, . . . , n 1 (progresin geomtrica), se verica:

n
X

ai =

i=0

a0 ran
1r

Deduzca de lo anterior la identidad algebraica (ecuacin ciclotmica):

an bn = (a b)

n1
X

ak bn1k

k=0

e) Dados a1 , a2 , . . . , an tales que ai+1 ai = d, para i = 1, . . . , n 1

(progresin aritmtica), se verica:
n
X

ai = n

i=1

a1 + an
2

2.2) Pruebe que se cumple la siguiente desigualdad de Bernoulli para todo entero
positivo n
(1 + x)n > 1 + nx siendo x 6= 0 y 1 < x.
2.3) Pruebe por induccin la siguiente desigualdad.
(1 + )n < 1 + 3n

si n N

0 < < 1;

2.4) Pruebe por induccin que no hay ningn nmero natural entre 1 y 2.
2.5) Sea A R un conjunto acotado superiormente. Sea R. Demuestre que
= sup A si y slo si se verican las dos condiciones siguientes:
a) es una cota superior de A;
b) Para cada > 0 existe a A tal que < a .
Si A es acotado inferiormente y R, demuestre que = nf A si y slo si
se verican:
a) es una cota inferior de A;
66

2.4 Ejercicios resueltos

67

b) Para cada > 0 existe a A tal que a < + .

2.6) Sean A y B dos subconjuntos no vacos de R. Se denen
A + B = {x = a + b : a A, b B},

A = {x = a : a A}.

Pruebe que:
a) Si A y B estn acotados superiormente entonces tambin lo estn AB
y A + B siendo
sup(A B) = sup{sup A, sup B} y sup{A + B} = sup A + sup B.
b) Si f, g : R R son funciones acotadas entonces
sup{f (x) + g(x) : x R} sup{f (x) : x R} + sup{g(x) : x R},
y la desigualdad puede ser estricta. Ponga un ejemplo.
c) Enuncie y demuestre resultados anlogos para el nmo
d) Sea AB = {x = ab : a A, b B} y A, B subconjuntos de R cuyos
elementos son nmeros positivos. Pruebe que
sup AB = sup A sup B.
e) Sean A y B dos subconjuntos de R, tales que A B. Probad que
sup A sup B y nf A nf B
2.7) Si a es racional y b es irracional es a + b necesariamente irracional? Si a es
irracional y b es irracional es ab necesariamente irracional?

Pruebe que 3, y 6 irracionales.

Sean n, m, p N tales que n = mp. Pruebe si n y m son cuadrados (e.d.
n = a2 y m = b2 con a, b N), entonces p tambin es un cuadrado.

Pruebe que d N, d es racional si, y slo si, d = k 2 para algn k N.

Pruebe que 6 3 2 es irracional.

2.8) Pruebe que max{x, y} = x+y+|yx|
y que mn{x, y} =
2
frmula del mismo tipo para max{x, y, z}.

x+y|yx|
.
2

2.9) Pruebe que la funcin [x] parte entera de x verica



"

[a/b]
a
=
bc
c


abc 6= 0 a, b R c N

67

De una

68

Nmeros reales y complejos

2.10) Resuelva las siguientes seis inecuaciones en R:

5 x2 < 8;

2x < 8
2x 1
1
x+ | x |< 1;
3x + 2
a | x | +1
| x2 x | +x > 1;
<1
x
2.11) Determine a, b R vericando:
a + bi
7+i
=
.
3 + 4i
4i
2.12) Demuestre que |z + i| = |z i| z R.
2.13) Resuelva las ecuaciones siguientes.
3z 2 + 2z + 4 = 0
5z 2 + 2z + 10 = 0
z 4 16 = 0
y 5 = 4 + 4i

z 2 + (2 2 i)z + 1 + 2 i = 0
z 2 + (3 + 2i)z + 5 i = 0
z 4 + 16 = 0
(1 + i)z 3 zi = 0

Compruebe que Maxima tambin sabe resolver esas ecuaciones.

2.14) Exprese los siguientes nmeros complejos en forma binomial.
1
(3 i)3
i5 + i19 1 + i + i2 + i3
(1 + i)2
i
(1 i)5

1
3
(2 + 3i)(3 4i) i5 + i16
(1 + i)3
8
1+i
2 + 3i
i175
(1 + i)10
2 4i
Compruebe con Maxima los resultados que obtenga por s mismo.
2.15) Pruebe que para todo nmero complejo z = x + y i con x, y R se verica
1
(|x| + |y|) |z| |x| + |y|.
2
2.16) Pruebe que todo nmero complejo z tal que |z| = 1 con z 6= 1 se puede
1 ai
representar de la forma z =
, con a R.
1 + ai
68