Ejercicios Inducción

1. Defina Tn = 1 + 2 + · · · + n para n ∈ N. Los números Tn son llamados números

triangulares. Demuestre por inducción que para todo n ≥ 1,

n(n + 1)
Tn = .
2

2. Sea Tn el n−ésimo número triangular. Pruebe que para todo n ≥ 2,

Tn2 − Tn−1
2
= n3 .

3. Pruebe que para todo 1 ≤ m ≤ n,

n
X (n − m)(n + m + 1)
i= .
i=m+1
2

4. Pruebe que para todo entero positivo n,

n2 + (n2 + 1) + (n2 + 2) + · · · + (n2 + n) = (n2 + n + 1) + · · · + (n2 + 2n) = (2n + 1)Tn .

5. Pruebe que para todo n ≥ 1,

a) 1 + 3 + 5 + · · · + (2n − 1) = n2 .
b) 2 + 4 + 6 + · · · + 2n = n(n + 1).
n(3n + 1)
c) 2 + 5 + 8 + · · · + (3n − 1) = .
2
d ) 3 + 11 + 19 + · · · + (8n − 5) = 4n2 − n.
n n
!
X X
e) (3i − 1) = i + n2 .
i=1 i=1

f ) 5 + 9 + 13 + · · · + (4n + 1) = n(2n + 3).

g) (2n + 1) + (2n + 3) + (2n + 5) + · · · + (4n − 1) = 3n2 .

6. Sean a y d números reales fijos. Pruebe que para todo n ≥ 1,

n
a + (a + d) + (a + 2d) + · · · + (a + (n − 1)d) = [2a + (n − 1)d].
2

7. Pruebe que para todo n ≥ 1,

a) 1 · 21 + 2 · 22 + 3 · 23 + · · · + n · 2n = 2 + (n − 1)2n+1 .
b) 1 + 2 · 2 + 3 · 22 + · · · + n · 2n−1 = (n − 1)2n + 1.

1
 3n (2n − 1) + 1
c) 1 + 2 · 3 + 3 · 32 + · · · + n · 3n−1 = .
4
8. Pruebe que para todo n ≥ 1,
n(n + 1)(2n + 1)
a) 12 + 22 + 32 + · · · + n2 = .
6
b) (1 + 2 + · · · + n)(2n + 1) = 3(12 + 22 + · · · + n2 ).
n(2n − 1)(2n + 1)
c) 12 + 32 + 52 + · · · + (2n − 1)2 = .
3
2n(n + 1)(2n + 1)
d) 22 + 42 + 62 + · · · + (2n)2 = .
3
 2
3 3 3 3 n(n + 1)
e) 1 + 2 + 3 + ··· + n = .
2
f ) 13 + 33 + 53 + · · · + (2n − 1)3 = n2 (2n2 − 1).
9. Pruebe por inducción que para todo n ≥ 1,
a) 1 − 4 + 9 − 16 + · · · + (−1)n+1 n2 = (−1)n+1 (1 + 2 + 3 + · · · + n).
n(n + 1)
b) n2 − (n − 1)2 + (n − 2)2 + · · · + (−1)n−1 (1)2 = .
2
10. Para cada n ≥ 1, pruebe que
(2n)!
a) 2 · 6 · 10 · · · (4n − 2) = .
n!
n(n + 1)(n + 2)
b) 1 · 2 + 2 · 3 + 3 · 4 + · · · + n(n + 1) = .
3
(n − 1)(n)(2n + 5)
c) 1 · 3 + 2 · 4 + 3 · 5 + · · · + (n − 1)(n + 1) = .
6
1
d ) 1 · 2 · 3 + 2 · 3 · 4 + 3 · 4 · 5 + · · · + n(n + 1)(n + 2) = n(n + 1)(n + 2)(n + 3).
4
n
X n(n + 1)(n + 2)(n + 3)(n + 4)
e) j(j + 1)(j + 2)(j + 3) = .
j=1
5
n
X
f) (2k − 1)(2k + 1)(2k + 3) = n(2n3 + 8n2 + 7n − 2).
k=1
n
X
g) i2 2i = 2n+1 (n2 − 2n + 3) − 6.
i=1

11. Para un natural fijo k, mostrar que para cada número natural n ≥ 1,
n k−1
!
X Y (k + n)!
(j + i) = .
j=1 i=0
(k + 1) · (n − 1)!

2
12. Pruebe que para todo n ≥ 0,

0 · 0! + 1 · 1! + 2 · 2! + 3 · 3! + · · · + n · n! = (n + 1)! − 1.

13. Pruebe que para todo n ≥ 1,

1 1 1 1 n
a) + + + ··· + = .
1·2 2·3 3·4 n(n + 1) n+1
n−1
X 1 1
b) = .
i=0
(n + i)(n + i + 1) 2n
1 1 1 1 n(n + 3)
c) + + + ··· + = .
1·2·3 2·3·4 3·4·5 n(n + 1)(n + 2) 4(n + 1)(n + 2)
1 1 1 1 1 1 1 1
d) 1 − + − + ··· + − = + + ··· + .
2 3 4 2n − 1 2n n+1 n+2 2n
1 1 1 1 n
e) + + + ··· + = .
1·3 3·5 5·7 (2n − 1)(2n + 1) 2n + 1
1 1 1 1 n(3n + 5)
f) + + + ··· + = .
1·3 2·4 3·5 n(n + 2) 4(n + 1)(n + 2)
1 1 1 1 n
g) + + + ··· + = .
1 · 5 5 · 9 9 · 13 (4n − 3)(4n + 1) 4n + 1
12 22 32 n2 n(n + 1)
h) + + + ··· + = .
1·3 3·5 5·7 (2n − 1)(2n + 1) 2(2n + 1)
n
X 1 n
i) 2
= .
k=1
k + 3k + 2 2(n + 2)
n
X i n(n + 1)
j) 2 4
= .
i=1
1+i +i 2(n2 + n + 1)
1 1 1 1 n
k) + + + ··· + = .
1 · 4 4 · 7 7 · 10 (3n − 2)(3n + 1) 3n + 1
n
X m+4 n(3n + 7)
l) = .
m=1
m(m + 1)(m + 2) 2(n + 1)(n + 2)

14. Pruebe que para todo n ≥ 2,

n
X 1 (n − 1)(3n + 2)
= .
i=2
i2 −1 4n(n + 1)

15. Pruebe que para todo n ≥ 2,

     
1 1 1 1 1
a) 1 − 1− 1− ··· 1 − = .
2 3 4 n n

3
      
1 1 1 1 n+1
b) 1− 1− 1− ··· 1 − 2 = .
4 9 16 n 2n
16. Para n ≥ 3, suponga que a1 , a2 , . . . , an son enteros positivos tales que todos los
cocientes
an + a2 a1 + a3 an−1 + a1
p1 = , p2 = , . . . , pn =
a1 a2 an
son enteros. Mostrar que

p1 + p2 + · · · + pn ≤ 3n − 1.

17. Muestre por inducción que para todo n ≥ 0,

n  
X n+j 1
= 2n .
j=0
j 2j

18. Para cada n ≥ 1, mostrar que

       
2 3 4 n+1 n(n + 1)(n + 2)
+ + + ··· + = .
2 2 2 2 6

19. Pruebe que para todo n ≥ 2,

n
X 1 2
i+1

=2− .
i=1 2
n+1

20. Pruebe por inducción que para todo n ≥ 0,

n  
X n
= 2n .
i=0
i

21. Para todo n ≥ 0, probar que

n    
X m+i m+n+1
a) = , para todo entero m ≥ 0.
i=0
m m + 1
n    
X m+i m+n+1
b) = , para todo entero m ≥ 0.
i=0
i n

22. Pruebe que para todo 1 ≤ m ≤ n,

n−m    
X
i n n−1
(−1) = .
i=0
m+i m−1

4
23. Pruebe por inducción que para todo n ≥ 1,
n  
i n
X
(−1) = 0.
i=0
i

n


Si n y k son enteros no negativos tales que n < k, se define k
= 0. También se
−1


conviene que 0 = 0.

24. Pruebe que para todo m ≥ 0 y todo n ≥ 0,

m    
i n m n−1
X
(−1) = (−1) .
i=0
i m

25. Pruebe que para todo n ≥ 0,

n          
X i i n+1 n+1 n+2 n+2
= + −n .
i=0
2 5 2 6 8 7

26. Aplique inducción sobre j para probar que para todo 1 ≤ j < n,
n  
X n
(−1)n−k k j = 0.
k=0
k

27. Identidades de Abel.

a) Para cualquier a ∈ R y todo n ≥ 1, mostrar que

n  
n
X n
(x + y) = x(x − ka)k−1 (y + ka)n−k .
k=0
k

b) Probar que para todo n ≥ 1,

n  
X
n n
(x + y + n) = x(x + k)k−1 (y + n − k)n−k .
k=0
k

28. Sea x ∈ R fijo. Muestre que para todo n ≥ 1,

| sin(nx)| ≤ n| sin(x)|.

29. Pruebe que para todo n ≥ 1 y cualquier ángulo θ que no sea múltiplo de 2π,
sin n+1 θ sin nθ



2 2
a) sin θ + sin(2θ) + · · · + sin(nθ) = .
sin(θ/2)

5
 n+1 nθ



cos 2
θ cos 2
b) cos θ + cos(2θ) + · · · + cos(nθ) = .
sin(θ/2)
30. Pruebe que para todo n ≥ 1 y cualquier ángulo θ que no sea múltiplo de π,
sin2 (nθ)
a) sin θ + sin(3θ) + · · · + sin((2n − 1)θ) = .
sin(θ)
sin(2nθ)
b) cos θ + cos(3θ) + · · · + cos((2n − 1)θ) = .
2 sin(θ)
31. Sea θ un ángulo fijo. Defina una sucesión de números reales recursivamente como
sigue:

a) s1 = cos θ, s2 = cos(2θ) y
b) sn = 2 cos(θ)sn−1 − sn−2 .

Probar que para todo n ≥ 1, sn = cos(nθ).

32. Sea x un número real. Probar que para todo n ≥ 1,

1
cos2n (x) + sin2n (x) ≥ .
2n−1

33. Pruebe que para todo n ≥ 0,

sin(2n+1 α)
cos(α) cos(2α) cos(4α) · · · cos(2n α) = .
2n+1 sin(α)

34. Probar que para cualquier n ≥ 1 y cualquier ángulo t que no es múltiplo de 2π,

1 sin((2n + 1)t/2)
+ cos(t) + cos(2t) + · · · + cos(nt) = .
2 2 sin(t/2)

1
35. Sean x y α números reales tales que x + x
= 2 cos(α). Probar que para todo n ≥ 1,

1
xn + = 2 cos(nα).
xn

36. Pruebe que para todo n ≥ 1 y números reales no negativos x1 , x2 , . . . , xn , si x1 +

x2 + · · · + xn = 0, entonces x1 = · · · = xn = 0.

37. Suma telescópica. Pruebe que para todo n ≥ 1, si a1 , a2 , . . . , an+1 son números reales,
entonces n
X
(ai − ai+1 ) = a1 − an+1 .
i=1

6
38. Pruebe que para todo n ≥ 1,
n
X
(3j 2 − j + 2) = n(n2 + n + 2).
j=1

39. Pruebe usando inducción que para todo n ≥ 3,

(n2 + n)!(n − 1)! = (n2 + n − 1)!(n + 1)!.

40. Pruebe por inducción que para n ≥ 1,

1 1 1 n
a) + + ··· + = .
x(x + 1) (x + 1)(x + 2) (x + n − 1)(x + n) x(x + n)
1 2 4 2n 1 2n+1
b) + + + ··· + = + .
x + 1 1 + x2 1 + x4 1 + x2n x − 1 1 − x2n+1
41. Probar que para cualquier x no entero y todo n ≥ 1,
x x(x − 1) x(x − 1) · · · (x − n + 1)
1− + − · · · + (−1)n
1! 2! n!
(x − 1)(x − 2) · · · (x − n)
= (−1)n .
n!

42. Mostrar por inducción que para todo n ≥ 0,

(2n + 1)!
(1)(3)(5) · · · (2n + 1) = .
2n n!

43. Muestre que para todo entero no negativo n,

1 + n(n + 1)(n + 2)(n + 3)

es un cuadrado perfecto.

44. a) Pruebe que para todo n ≥ 6, 4n < n2 − 7.

b) Pruebe que para todo n ≥ 3, 2n + 1 < n2 .
c) Pruebe que para todo n ≥ 2, 4n2 > n + 11.
d ) Pruebe que para todo n ≥ 3, 2n < 2n .
e) Pruebe que para todo n ≥ 2, 1 + 2n < 3n .
f ) Pruebe por inducción que para todo n ≥ 2, n + 1 < 2n .
g) Pruebe por inducción que para todo n ≥ 1,
 n
1 n
1+ ≥1+ .
3 3

7
 h) Pruebe que para todo n ≥ 4, 2n < n!.
i ) Pruebe por inducción que si n ≥ 5, entonces n2 < 2n .

45. a) Muestre por inducción que para todo l ≥ 6,

6l + 6 < 2l .

b) Muestre por iducción que para todo k ≥ 10,

3k 2 + 3k + 1 < 2k .

c) Pruebe por inducción que para todo n ≥ 10,

n3 < 2n .

d ) Muestre por inducción que para todo k ≥ 4,

3k 2 + 3k + 1 < 2 3k .

e) Pruebe por inducción que para todo n ≥ 4,

n3 < 3n .

46. a) Pruebe por inducción que si n > 6, entonces 3n < n!.

b) Pruebe por inducción que para todo entero positivo k,
 k
k
k! ≥ .
e

c) Pruebe por inducción que para n ≥ 1, n2 ≥ 2n − 1.

d ) Pruebe por inducción que si n ≥ 1, entonces 2n + 1 ≤ 3n .
e) Pruebe por inducción que para n ≥ 3,

nn ≥ (n + 1)!.

f ) Pruebe por inducción que para n ≥ 3,

nn+1 > (n + 1)n .

g) Pruebe que para n ≥ 5,

(n + 1)! > 2n+3 .
h) Pruebe por inducción que si n ≥ 3, entonces (n!)2 > nn .

8
 i ) Probar por inducción que para n ≥ 2,

1 · 3 · 5 · · · (2n − 1) < nn .

j ) Probar por inducción que para n ≥ 5,

(2n)! < (n!)2 4n−1 .

4n (2n)!
k ) Pruebe por inducción que si n ≥ 2, entonces < .
n+1 (n!)2
Nota. Una proposición P (n), donde n ∈ N se dice que es verdadera para n sufi-
cientemente grande, si existe n0 tal que para todo n ≥ n0 , P (n) es verdadera. Para
probar que P (n) es verdadera para n suficientemente grande, no es necesario exhibir
el n0 , solo garantizar que tal n0 existe; aunque bien, cuando sea posible, se puede
exhibir de manera explícita n0 .

47. Pruebe que para todo n suficientemente grande, n! > 4n .

48. Probar por inducción que para todo n ≥ 1,

1
1 + 2 + 3 + · · · + n < (2n + 1)2 .
8

49. a) Pruebe por inducción que para cada n ≥ 1,

1 1 1 1
1+ + + ··· + 2 ≤ 2 − .
4 9 n n

b) Probar que para todo n > 1,

 
1 1 1 1
2 1+ + + ··· + 3 < 3 − 2.
8 27 n n

c) Pruebe por inducción que para n ≥ 4,

1 1 1 1 1
1+ + + + ··· + <3− .
1! 2! 3! n! n

d ) Pruebe por inducción que para n ≥ 1,

1 2 3 n 1
+ + + ··· + ≤2− .
1! 3! 5! (2n − 1)! (2n)!

e) Pruebe que para n ≥ 1,

1 2 3 n 1
+ + + ··· + ≤1− .
2! 3! 4! (n + 1)! (n + 1)!

9
 f ) Pruebe por inducción que para n ≥ 2,
1 1 1 13
+ + ··· + > .
n+1 n+2 2n 24

50. a) Probar que para cada n ≥ 2,

 
n 2n
2 < < 4n .
n

b) Probar que para cada n ≥ 1,

22n
 
2n
≥ .
n 2n

51. Para todo n ≥ 1, probar:

1 1 1 1 √
a) √ + √ + √ + · · · + √ ≤ 2 n − 1.
1 2 3 n
1 1 1 1 √
b) √ + √ + √ + · · · + √ ≥ n.
1 2 3 n
1 1 1 1 √
c) 2 + √ + √ + √ + · · · + √ > 2 n + 1.
1 2 3 n
52. Para cada n ≥ 1, probar:
1 1 · 3 · 5 · · · (2n − 1) 1
a) ≤ ≤√ .
2n 2 · 4 · 6 · · · (2n) n+1
1 3 5 2n − 1 1
b) · · · · · ≤√ .
2 4 6 2n 3n + 1
53. Probar que para n ∈ N, y cualesquiera números reales no negativos x e y,
n
xn + y n

x+y
≤ .
2 2

54. Probar que para cada n ≥ 1, si s1 , s2 , . . . , sn son enteros positivos, entonces

(s1 + s2 + · · · + sn )2 ≤ s31 + s32 + · · · + s3n .

55. Para números reales no negativos x1 , x2 , . . . , xn , probar que

n+2
x21 + x22 + · · · + x2n

x 1 + x2 + · · · + xn
x1 x2 · · · xn ≤ .
n n

10
56. Sea x un número real positivo. Probar que para todo n ≥ 1,
1 1 1
xn + xn−2 + xn−4 + · · · + + + ≥ n + 1.
xn−4 xn−2 xn

57. Sean 1 ≤ a1 ≤ a2 ≤ · · · ≤ an enteros positivos. Probar que si

1 1 1
+ + ··· + = 1,
a1 a2 an

entonces an < 2n! .

58. Si a1 , a2 , . . . , an son números reales tales que ai ≥ 1 para todo i ∈ {1, 2, . . . , n}.
Probar que
n
X 1 n
≥ .
i=1
1 + ai 1 + (a1 a2 · · · an )1/n
Pruebe que la igualdad se cumple si y solo si a1 = a2 = · · · = an .

11