Вы находитесь на странице: 1из 22

Analisis I

13 Chamorro Paola
24 Iza Gissela
30 Pichucho Kevin

Quito, 14 de noviembre del 2017


ndice general

Preface IX

1. Ejercicios resueltos Demidvich 1


1.0.1. Problema 18: . . . . . . . . . . . . . . . . . . . . . . . 4
1.0.2. Problema 20: . . . . . . . . . . . . . . . . . . . . . . . 7
1.0.3. Problema 22: . . . . . . . . . . . . . . . . . . . . . . . 8
1.0.4. Problema 24: . . . . . . . . . . . . . . . . . . . . . . . 9
1.0.5. Problema 26: . . . . . . . . . . . . . . . . . . . . . . . 10
1.0.6. Problema 28: . . . . . . . . . . . . . . . . . . . . . . . 10
1.0.7. Problema 30: . . . . . . . . . . . . . . . . . . . . . . . 11
1.0.8. Problema 32: . . . . . . . . . . . . . . . . . . . . . . . 12
1.0.9. Problema 34: . . . . . . . . . . . . . . . . . . . . . . . 12
1.0.10. Problema 36: . . . . . . . . . . . . . . . . . . . . . . . 13
1.0.11. Problema 38: . . . . . . . . . . . . . . . . . . . . . . . 14
1.0.12. Problema 40: . . . . . . . . . . . . . . . . . . . . . . . 15
1.0.13. Problema 42: . . . . . . . . . . . . . . . . . . . . . . . 15
1.0.14. Problema 44: . . . . . . . . . . . . . . . . . . . . . . . 16
1.0.15. Problema 46: . . . . . . . . . . . . . . . . . . . . . . . 17
1.0.16. Problema 48: . . . . . . . . . . . . . . . . . . . . . . . 18

v
Preface
Resumen del libro de Lara y Arroba.

ix
Captulo 1

Ejercicios resueltos Demidvich

2) Planteamiento del problema


Dado: Las igualdades
Demostrar: A [ (A \ B) = A \ (A [ B) = A:
Cmo:
Desarrollo:
Utilizando las propiedades 4 y 5
A [ (A \ B) = (A [ A) \ (A [ B) = A \ (A [ B):
A \ (A [ B) = A
x 2 A \ (A [ B)
(x 2 A) ^ (x 2 B)
A \ (A [ B) A
Si (x 2 A [ B) ) (x 2 A \ (A [ B))
A A \ (A [ B)
Colusin: A A \ (A [ B)
4) Planteamiento del problema
Dado: Las igualdades
Demostrar: a)CC = A
b) CJ =
c) C = J
Cmo:
a) Desarrollo:
x 2 CC = A
x2A
CCA A
x2A ) x2 = CA

1
2 CAPTULO 1 EJERCICIOS RESUELTOS DEMIDVICH

x 2 CCA
Colusin: CC = A
b) Desarrollo:
x2= CJ
8x 2 J
Colusin: CJ =
c) Desarrollo:
x2J
x2=
x2C
J C
C J
Colusin: CJ =
6) Planteamiento del problema
Dado: Los conjuntos A [ B; A \ B; A=B, B=A, A B
Demostrar: A = fx : x2 3x < 0g
B = fx : x2 4x + 3 0g
Cmo: Denicion de conjuntos
Desarrollo:
x2 3x < 0 para 0 < x < 3
A = fx : 0 < x < 3g
x2 4x + 3 0 Se verica para 1 < x 1 y 3 x < +1;
Se deigna
D = fx : 1 < x 1g E = fx : 3 x < +1g
B =D[E
A [ B = A [ (D [ E) = A [ D [ E f0 < x < 3) _ ( 1 < x 1)V (3
x < +1; )g
= fx : 1 < x < +1g
A \ B = A \ (D [ E) = (A \ D) [ (A \ E)
= fx : (0 < x 1) _ x 2 g
= fx : 0 < x 1g
A=B = A=(D [ E)
= fx : x 2 A ^ (x 2
= D _ (x 2
= E)g
= fx : (x 2 A ^ x 2 D) _ (x 2 A ^ x 2 E)g
= (A=D) [ (A=E)
= fx : 1 < x < 3g
B=A = (D [ E)=A
= fx : (x 2 D _ x 2 E) ^ x 2
= Ag
3

= fx : (x 2 D ^ x 2= A) _ (x 2 E ^ x 2
= A)g
= (D=A) [ (E=A)
= fx : ( 1 < x < 0) _ (3 x < +1)g
A B = A (D [ E)
= (A=(D [ E)) [ ((D [ E)=A)
= fx : (1 < x < 3) _ ( 1 < x < 0) _ (3 x < +1)g
= fx : ( 1 < x < 0) _ (1 < x < +1))g
Colusin:
A [ B = fx : 1 < x < +1g

A \ B = fx : 0 < x 1g
A=B = fx : 1 < x < 3g

B=A == fx : ( 1 < x < 0) _ (3 x < +1)gg


A B = fx : ( 1 < x < 0) _ (1 < x < +1))g
8) Planteamiento del problema
Dado: A = fx : 2 x 4g
B = fy : 1 y 3g
Demostrar:AxB
Cmo:
Desarrollo:
AxB = f(x; y) : (2 x 4) ^ (1 y 3)g
x=2 y=1
x=4 y=3
Conclusin:
10) Demostrar que R f ; g compuesta por un conjunto no vacio y
el conjunto vacio , forma un anillo Es este anillo un alegra?
Planteamiento del problema
Dado: la unin [ y las diferencias = ; = =
Demostrar:R f ; g compuesta por un conjunto no vacio
Cmo:
Desarrollo:
La union [ y las diferencias = ; = = son tambien elementos
de la familia
R. Es decir, la union y la diferencia son operaciones internas en R, osea,
segun el ejemplo anterior, es un anillo. Dado que el elemento a 2 R contiene
a todos
4 CAPTULO 1 EJERCICIOS RESUELTOS DEMIDVICH

Ias demas conjuntos de la familia R, es la unidad de la familia, y R, un


algebra.
Colusin:
12)Planteamiento del problema
Dado:Supongamos que tres nmeros a,b,c satisfaca las desigualdades a <
c < b: Demostrar que la familia
Demostrar: S = f[a; b]; [a; c]; [c; b]; [a; c]; [c; c]; [c; b]; g
Cmo: Denicion de interseccion de elementos
Desarrollo:
[a; b] = [a; c] [ [c; b] = [a; c] t [c; c] t [c; b] = [a; c] t [c; b]
[a; c] = [a; c] [ [c; c]
Conclusin: No constituye un anillo pues la union no es una operacion
interna en S. [a; c[[]c; b]

1.0.1. Problema 18:


Cul de las funciones f : [0, 1] ! [0; 3] siguientes:
x x
a) x 7 ! 3 sin 2
; b) x 7! tan 4
; c) x 7! 3x ;
d) x 7! 12(x 21 )2 ; e) x 7! 3 16 3
(x 41 )2 ; f) x 7! 2 jx + 2j 3
son inyectivas, sobreyectivas o biyectivas? Construir las grcas de estas
funciones.

Planteamiento

1) Dado las diferentes funciones.


2) Gracar las funciones.
3) Gracando las funciones para analizar si es inyectiva, sobreyectiva o
biyectiva..

Desarrollo:

a) Dado que para y 2 [0, 3] arbitrario la ecuacin y = 3 sin 2x tiene una


solucin nica x = 2 arcsin y3 en el segmento [0, 1], la funcin x 7 ! 3 sin 2x
es biyectiva
5

3
y
2

0
0.0 0.2 0.4 0.6 0.8 1.0
x
x
f (x) = 3 sin 2

b) Sea y 2 [0, 1]. Entonces, la ecuacin

x
y = tan 4

tiene una solucin nica x = 4 arctan y , en el segmento [0, 1], siempre


que y 2 [0, 1]. Pero si y 2]1, 3], la ecuacin (1) no tiene soluciones en [0, 1].
Por consiguiente, 8y 2 [0, 3] la ecuacin (1) tiene no ms de una solucin
x 2 [0, 1], por lo cual la funcin x 7! tan 4x es inyectiva.

3
y
2

0
0.0 0.2 0.4 0.6 0.8 1.0
x
x
f (x) = tan 4

c) Si y 2 [0, 3], la ecuacin y = 3x tiene no ms de una solucin x 2 [0,


1]. A saber, para y 2 [1, 3] la solucin es x = lg3 y; para y 2 [0, 1[, no hay
soluciones. Por consiguiente, x 7! 3x es una inyeccin.
6 CAPTULO 1 EJERCICIOS RESUELTOS DEMIDVICH

3
y
2

0
0.0 0.2 0.4 0.6 0.8 1.0
x
f (x) = 3x

p
d) De la ecuacin y = 12(x 12 )2 , y 2 [0, 3], se obtiene que x1 = 21 12 y3 ,
p
x2 = 12 + 21 y3 : Adems, si 0 < y 3, las dos races se encuentran en ]0, 1]; si
y = 0, las races coinciden x1 = x2 = 12 y se hallan en [0, 1]. Por consiguiente,
8y 2 [0, 3] la ecuacin y = 12(x 12 )2 tiene al menos una solucin en [0, 1].
Por eso, la funcin en consideracin es sobreyectiva.

3
y
2

0
0.0 0.2 0.4 0.6 0.8 1.0
x
1 2
f (x) = 12(x 2
)

La ecuacin y = 3 16
e) Sea y 2 [0, 3]. p 3
(x 41 )2 tiene las soluciones
p
siguientes: x1 = 14 14 9 3y, 83 y 3, en [0, 41 ], y x2 = 14 + 14 9 3y,
0 y 3, en [ 14 ; 1]: De este modo, 8y 2 [0, 3] existe una o dos preimgenes,
por lo cual la funcin es sobreyectiva.
7

3
y
2

0
0.0 0.2 0.4 0.6 0.8 1.0
x
16 1 2
f (x) = 3 3
(x 4
)

f) Sea y 2 [0, 3]. Para y 2 [1, 3] la ecuacin y 2 jx + 2j 3 tiene una


solucin nica x = y 2 1 ; si y 2 [0, 1], esta ecuacin no tiene soluciones en el
segmento [0, 1]. Por consiguiente, x 7! 2 jx + 2j 3 es una inyeccin.

3
y
2

0
0.0 0.2 0.4 0.6 0.8 1.0
x
f (x) = 2 jx + 2j 3

Conclucin:
Tenemos que el literal a) es biyectiva:

1.0.2. Problema 20:


Escribir las expresiones explcitas de las funciones dadas en forma paramtri-
ca:
a) x = a cos t, y = a sin t; 0 t
b) x = a cos t, y = a sin t; t 2 (a > 0):
8 CAPTULO 1 EJERCICIOS RESUELTOS DEMIDVICH

Planteamiento
1) Dado dos expresiones explicitas
2) Demostraremos que el parametro de la ecuacin esta acotado.
3) Demostrar en donde se encutra tanto el rango como el dominio de la
ecuacion.

Desarrollo:
a) Dado que la funcin t 7! a cos t, t 2 [0, ], es una biyeccin [0, ] !
[ a, a], entonces 8x 2 [ a, a] de la igualdad x a cos t se determina el valor
nico del parmetro t = arc cos xa en el segmento [0, ]. Al sustituir este valor
en la segunda igualdad obtenemos
p q
2
y = a sin(arc cos a ) = a 1 cos (arc cos a ) a 1 xa2 ,
x 2 x

p
es decir, y a2 x2 , x 2 [ a, a].
b) Designemos + = t. Si 2 [0; ], entonces t 2 [ , 2 ], y, en este
caso, la primera igualdad se reduce a la forma x = a cos .
La funcin 7 ! a cos es una biyeccin [0, ] ! [ a, a], por lo cual
8x 2 [ a, a]
= arc cos( xa ) = arc cos xa y t = 2 arc cos xa .
determinado de t en la segunda igualdad obtendremos
p
y= a2 x2 , x 2 [ a, a].

Conclucin:
Queda demostrado que se cumple en las acotaciones de los parmetros:

1.0.3. Problema 22:


Demostrar que en el conjunto R hay solo un cero y slo una unidad.

Planteamiento
1) Dado el conjunto R
2) Demostraremos la denicin.
3) Demostrar que solo hay un cero y slo una unidad.
9

Desarrollo:
1) Supongamos que en el conjunto R haya dos ceros 01 y 02 . Entonces,
de acuerdo con los aximas A.2 y A.4 tenemos.

01 = 01 + 02 = 02 + 01 = 02 :

Analogamente, si 11 y 12 son unidades de R, segn M.2 y M.4 tenemos

11 = 11 12 = 12 11 = 12

Conclucin:
Queda demostrado que el cero y la unidad son unicos en R:

1.0.4. Problema 24:


Un elemento a 2 E se denomina regualr respect de una operacin binaria
interna | si 8x , y 2 E

(a | x = a | y) ^ (x | a = y | a) =) x = y

Planteamiento
1) Dado a 2 E
2) Demostraremos respect de una operacin binaria interna | si 8x , y 2 E
3) Demostrar que todo elemento c 2 R es regualar respeco a la adicin,
y que todo elemento no nulo c 2 R es regular respect a la multiplicacin.

Desarrollo:
1) Demostremos que un elemento arbitrario c 2 R es regular respecto a la
adicin. Por ser la adicin conmutativa tenemos (c + a = c + b) () (a + c =
_ Por ello, basta demotrar que (c + a = c + b) =) (a = b):
b + c).
Del ejemplo anterior y de la asociatividad de la adicin, podemos escribir

a= c + (c + b) = ( c + c) + b = 0 + b = b:
10 CAPTULO 1 EJERCICIOS RESUELTOS DEMIDVICH

Conclucin:
Anlogamente se demuestra que 8c 2 Rnf0g es regular respecto a la
multiplicacin.

1.0.5. Problema 26:


Un conjunto A R se dice que est inferiormente acotado, si 9m 2 R
tal que V n 2 A se verica la desigualdad m a; en tal caso, el nmero m
se llaman cota inferior. Una cota inferior m . El nmo del conjunto A se
designa con el smbolo nf A:

Planteamiento
1) Dado la desigualdad m a
2) Demostraremos la desigualdad
3) Demostrar que cualquier conjunto A que este inferiormente acotado
tiene nmo, y que, adems nf A = supf Ag, donde A = f xg, x 2 A

Desarrollo:
1) Segn el enunciado 9m 2 R tal que x m 8x 2 A, de donde x
m, es decir, el conjunto A est superiormente acotado. De acuerdo con
el axioma S;0, supf Ag = M . En este caso, x M 8x 2 A, por lo que
M x 8x 2 A , y, consecuentemente, M es la cota inferior del conjunto
A. Si N es cualquier otra cota inferior del conjunto +A, entonces N es la
cota superior del conjunto A, y, por eso, N M = supfAg, de donde
N M.

Conclucin:
As pues, M = supf Ag es el supremo del conjunto A.

1.0.6. Problema 28:


Demostrar que para todo nmero real positivo "9n 2 N tal que

1
n
< ":
11

Planteamiento
1) Dado la desigualdad n1 < "
2) Demostraremos la desigualdad
3) Haciendo en el teorema de Arqumedes b = 1" ; a = 1, obtenemos la
desigualdad n0 1 > 1" , n0 2 Z:

Desarrollo:
1
1) Dado que "
> 0, entonces n0 2 N.

Conclucin:
Por tanto, 8n > n0 , n 2 N, es vlida la desigualdad n > n0 > 1" , o bien
1
n
< ":

1.0.7. Problema 30:


Demostrar que en el conjutno de las fracciones racionales propias m
n
(m; n 2
N y 0 < m < n) no existe ni un elemento que sea el mnimo ni uno que sea
el mximo. Hallar el supremo y el inmo de este conjunto.

Planteamiento:
1) Sean m y n (0 < rn < n) nmeros naturales arbitrarios.
2) La primera parte del problema se deduce inmediatamente a partir de
las evidentes desigualdades
m
n
= 2m
2n
> 2m2n 1 > 0; m
n
= 2m
2n
< 2m+1
2n
<1
3) Demostraremos que nff m n
g = 0 y supf m
n
g=1

Desarrollo:
1) Segn el teorema de Arqumedes para " > 0 y m 2 N arbitrariamente
dados 9n 2 N; n > m; tal que n > m" :
Por tanto, m
n
< ": De esta desigualdad y de m
n
> 0 se deduce que nff m
n
g=
0: Anlogamente, para " > 0 y p 2 N arbitrariamente dados, 9m 2 N tal que
m > p(1" ") :
12 CAPTULO 1 EJERCICIOS RESUELTOS DEMIDVICH

Conclucin:
m
As pues, p+m > 1 "; es decir, para n p + m se tiene m
n
> 1 "; lo que
m m
conjuntamente con la desigualdad n < 1 implica que supf n g = 1:

1.0.8. Problema 32:


Sea fxyg el conjunto de todos los productos xy, donde x 2 fxg; y 2 fyg;
y x > 0; y > 0: Demostrar las igualdades:
a) nffxyg = nffxg nffyg; b) supfxyg supfxg supfyg

Planteamiento:
1) Dado que x M; x 2 fxg; x 0; o y M1 ; y 2 fyg; y 0
2) Implica que xy M M1
3) Entoces de la existencia de supfxg = M y de supfyg = M1 se deduce
la existencia de supfxyg

Desarrollo:
1) De las desigualdades M "1 < x M ; M 1 "2 < y M se obtiene
que M M1 ("1 M + "2 M "1 "2 ) < xy M M1 :

Conclucin:
El valor de la expresin "1 M1 + "2 M1 "1 "2 puede ser arbitrariamente
pequeo y, por ello, supfxyg M M1 = supfxg supfyg:

1.0.9. Problema 34:


Demostrar la desigualdad
jx yj jjxj jyjj

Planteamiento:
1) Dada una desigualdad
2) Determinar la demostracin
3) Usando la desigualdad triangular
13

Desarrollo:
1)Aplicando a la suma (x y) + y la desigualdad triangular obtenemos
la desigualdad
jxj = j(x y) + yj jx yj + jyj ;
de donde hallamos
jxj jyj jx yj :
Intercambiando de lugar x e y obtenemos
jyj jxj jy xj = jx yj ;

Conclucin:
de donde
jx yj jxj jyj

1.0.10. Problema 36:


Sn = arctan 12 + arctan 81 + arctan 18
1
+ ::: + arctan 2n1 2

Planteamiento:
P
n
1) Dada la sucecin arctan 2k12
k=1
2) Demostrar la desigualdad
3) Probar por el mtodo de induccin matemticas para p(n):

Desarrollo:
1) n = 1; p(1)
P1
arctan 2k12 = arctan 12
k=1
P2
arctan 2k12 = arctan 12 + arctan 18
k=1
2) n = k; p(k) V ! =) p(k + 1) V ?
Pn
p(k) = k
arctan 2k12 = arctan k+1 ; k 2 N:
k=1
P
n+1
p(k + 1) = k
arctan 2k12 = arctan k+1 1
+ arctan 2(k+1)2
k=1
14 CAPTULO 1 EJERCICIOS RESUELTOS DEMIDVICH

k 1
+
k 1 k+1 2(k+1)2
arctan k+1
+ arctan 2(k+1)2
= arctan k 1
= arctan k+1
k+2
1 ( k+1 ) 2(k+1)2

Conclucin:
3) p(n) V 8n 2 N

1.0.11. Problema 38:


Demostrar lan frmula del binomio de Newton
P m n m m
(a + b)n = Cn a b ;
m=0
donde Cnm = m!(nn! m)! (nmero de combinaciones de n elementos tomados
de m en m), k! 1 2 k; y se supone 0! = 1:

Planteamiento:
P
n
1) Dada la progrecin aritmtica Cnm an m m
b
m=0
2) Demostrar el binomio de Newton.
3) Probar por el mtodo de induccin matemticas para p(n):

Desarrollo:
1) Si n = 1 tenemos
P
1
1! 1!
(a + b) = C1m a1 m bm = 0!1!
a + 1!0!
b =a+b
m=0
Queda por demostrar que de la validez de la formula para n se deduce
que
P m n+1 m m
n+1
2) (a + b)n+1 = Cn+1 a b :
m=1
Efectivamente,
P
n
(a + b)n+1 = (a + b)(a + b)n = (a + b) Cnm an m m
b =
m=0
P
n P
n Pn P
n
Cnm an+1 m m
b + Cnm an m m+1
b = Cnm an+1 m m
b + Cnm 1 an+1 m m
b =
m=0 m=0 m=0 m=1
P
n
an+1 + (Cnm + Cnm 1 )an+1 m m
b + bn+1
m=1
Haciendo uso de las relaciones
(n+1)!
n!
Cnm + Cnm 1 = m!(nn! m)! + (m 1)!(n+1 m)!
= m!(n+1 m)!
m
= Cn+1 ;
15

tenemos denitivamente que


P
n P
n+1
(a+b)n+1 = an+1 + (Cnm +Cnm 1 )an+1 m m
b +bn+1 = m
Cn+1 an+1 m m
b :
m=1 m=1

Conclucin:
3) p(n) V 8n; m 2 N

1.0.12. Problema 40:


Demostrar que si x > 1, se verica la desigualdad
(1 + x)n 1 + nx; n > 1;
donde la igualdad tiene lugar slo para x = 0:

Planteamiento:
P
n
1) Dada la progrecin aritmtica Cnm an m m
b
m=0
2) Demostrar la desigualdad.
3) Probar por el mtodo de induccin matemticas para p(n):

Desarrollo:
1) La desigualdad requerida se deduce directamente del ejemplo anterior,
si se pone x1 = x2 = ::: = xn :
2) 8n > 1 se tiene el signo de igualdad. Demostremos que para n > 1
y x > 1 se obtiene la desigualdad (1 + x)n > 1 + nx: Para n = 2 esto es
evidente: (1 + x)2 = 1 + 2x + x2 > 1 + 2x: Si (1 + x)n > 1 + nx; tenemos
(1 + x)n+1 = (1 + x)n (1 + x) > (1 + nx)(1 + x) =
1 + nx + x + nx2 > 1 + (n + 1)x:

Conclucin:
3) p(n) V 8n; m 2 N

1.0.13. Problema 42:


Sea xi > 0; xi 2 R ; 8i = 1; n; y
n
n = 1 + 1 +:::+ 1 (media armnica),
x1 x2 xn
16 CAPTULO 1 EJERCICIOS RESUELTOS DEMIDVICH

p
n= n x1 x2 :::xn (media geomtrica),
x1 +x2 +:::+xn
n = n
(media aritmtica).
Demostrar que n n n y, adems, ( n = n = n) , (x1 = x2 =
::: = xn ):

Planteamiento:
1) Dada
2) Demostrar la desigualdad.
3)

Desarrollo:
1) El producto de n nmeros positivos.
x1 x2 xn
= 1;
n n n
2) por eso, de acuerdo con el ejemplo anterior, su suma
x1
+ x2 + ::: + xn n;
n n n
x1 x2
de dodne n n : La igualdad tiene lugar si y slo si n = n = ::: =
xn
= 1; es decir, x1 = x2 = ::: = xn : Segn lo que acabamos de demostrar
n
q 1
+ x1 +:::+ x1
1
= n x11 x12 1
xn
x1 2
n
n
= 1;
n n
1 1 1
de donde n n y n = n si x1
= x2
= ::: = xn
= 1; es decir,
x1 = x2 = ::: = xn :

Conclucin:
3) p(n) V 8n; m 2 N

1.0.14. Problema 44:


1 3 2n 1 p 1
Demostrar que 2 4 2n
< 2n+1
:

Planteamiento:
1) Dada la progrecin 12 34 2n 1
2n
2) Demostrar la desigualdad.
3) Probar por el mtodo de induccin matemticas para p(n):
17

Desarrollo:
1) Para n = 1; la desigualdad es obvia. Suponiendo que la misma es vlida
para n:
2) demostremos su validez para n + 1: En efecto,
p
1 3 2n 1 2n+1
< p 1 2n+1
= p 1 p2n+3 2n+1 =
2 4
q 2n 2n+2 2n+1 2n+2 2n+3 2n+1 2n+2
1 4n2 +8n+3 1
p
2n+3 4n2 +8n+4
< p2n+3

Conclucin:
3) p(n) V 8n; m 2 N

1.0.15. Problema 46:


Demostrar que nn+1 > (n + 1)n ; n 3:

Planteamiento:
1) Dada la desigualdad nn+1 > (n + 1)n
2) Demostrar la desigualdad.
3) Probar por el mtodo de induccin matemticas para p(n):

Desarrollo:
1) Para n = 3; la desigualdad es evidente. Suponiendo que la desigualdad
se verica para n demostremos su validez para n + 1; es decir, demostremos
que si nn+1 > (n + 1)n ; entonces (n + 1)n+2 > (n + 2)n+1
n+2
2) Al multiplicar ambos miembros de la ltima desigualdad por (n+1)
nn+1
,
tenemos
2(n+2)
(n + 1)n+2 > (n+1)
nn+1
2(n+2) 2
Dado que (n+1)
nn+1
= ( n +2n+1
n
)n+1 > (n + 2)n+1 ; la desigualdad que
buscbamos queda demostrada.

Conclucin:
3) p(n) V 8n; m 2 N
18 CAPTULO 1 EJERCICIOS RESUELTOS DEMIDVICH

1.0.16. Problema 48:


Demostrar que (2n)! < 22n (n!)2 ; n > 1:

Planteamiento:
1) Dada la desigualdad (2n)! < 22n (n!)2
2) Demostrar la desigualdad.
3) Probar por el mtodo de induccin matemticas para p(n):

Desarrollo:
1) Para n = 2 la desigualdad es evidente. Partiendo de la suposicin
de que la desigualdad se verica para n demostramos que la desigualdad es
vlida tambin para n + 1:
2) Tenemos
(2n + 2)! : (2n)!(2n + 1)(2n + 2) < 22n (n!)2 (2n + 1)(2n + 2) <
< 22n (n!)2 (2n + 2)2 = 22n+2 ((n + 1)!)2 :

Conclucin:
3) p(n) V 8n; m 2 N