Pruebas de Inducción Matemática
Traducido por
ScribdTranslationsPruebas de Inducción Matemática
Traducido por
ScribdTranslationsMathematical Induction
Teorema 1: Demostrar que
n(n + 1)
1 + 2 + 3 + ... + n = (∗)
2
para cualquier entero n ≥ 1.
Prueba:
PASO 1: Para n=1 (∗) es verdadero, ya que
1(1 + 1)
1= .
2
PASO 2: Supongamos que (*) es cierto para algún n=k≥1, es decir
k(k + 1)
1+2+3+...+k= .
2
PASO 3: Demuestra que (∗) es verdadero para n=k+1, es decir
? (k + 1)(k + 2)
1 + 2 + 3 + ... + k + (k + 1) = .
2
Tenemos
ST.2 k(k+ 1) k (k + 1)(k + 2) .
1 + 2 + 3 + ... + k + (k + 1) = + (k+ 1) = (k+ 1) +1=
2 2 2
Teorema 2: Demostrar que
1 + 3 + 5 + ... + (2n−1) = n2 (∗)
para cualquier entero n ≥ 1.
Prueba:
PASO 1: Para n=1 (∗) es verdadero, ya que 1 = 12 .
PASO 2: Supongamos que (∗) es verdadero para algún n=k≥1, es decir
1 + 3 + 5 + ... + (2k−1) = k2 .
PASO 3: Demuestra que (∗) es cierto para n=k+1, es decir
?
1 + 3 + 5 + . . . + (2k−1) + (2k + 1) = (k + 1) 2 .
Tenemos: 1 + 3 + 5 +...+ (2k−1) + (2k + 1) ST.2
= k 2 + (2k + 1) = (k + 1)2 .
1
Teorema 3: Demostrar que
n!≤nn (∗)
para cualquier entero n ≥ 1.
Prueba:
PASO 1: Para n=1 (∗) es verdadero, ya que 1! = 11 .
PASO 2: Supongamos que (*) es verdadero para algún n=k≥1, que es k!≤k k .
?
STEP 3:Prove that (∗) is true forn=k+ 1,that is (k+ 1)!≤(k+ 1) k+1 Tenemos
ST.2
(k+ 1)! =k!·(k+ 1) ≤kk·(k+ 1)<(k+ 1)k·(k+ 1) = (k+ 1)k+1.
Teorema 4: Demostrar que
32n-1 dividido por 8 (∗)
para cualquier entero n ≥ 0.
Prueba:
PASO 1: Para n=0 (∗) es verdadero, ya que 30 -1 es divisible por 8.
PASO 2: Supongamos que (∗) es verdadero para algún n=k≥0, es decir, 32k-1 es divisible por 8.
PASO 3: Prueba que (∗) es cierto para n=k+1, es decir, 3 2(k+1)-1 es divisible por 8. Tenemos
32(k+1)−1 = 32k+2-1 = 32k·9−1 = 32k (8 + 1)−1 = 32k·8 + 32k−1.
[Link]
| {z }8 {zSt.} 2
dividir entre 8
2
PROBLEMAS
I. Demuestra por inducción las siguientes identidades:
n(n + 1)
1. 1 + 2 + 3 + ... + n = .
2
2. 1 + 3 + 5 + ... + (2n−1) = n2 .
n(n+ 1)(2n+ 1)
3. 12+ 22+ 32+. . .+n2= .
6
n(n−1)(n+1)
4. 1·2 + 2·3 + 3·4 + ... + (n−1)n = .
3
1 1 1 1 n−1
5. + + +. . .+ = .
1·2 2 ·3 3 ·4 (n−1)n n
1 1 1 1 n
6. + + +. . .+ = .
1·3 3 ·5 5 ·7 (2n−1)(2n+1) 2n + 1
1 1 1 1 1
7. 1− 1− 1− ... 1− =.
2 3 4 n n
1 1 1 1 √
8∗ . √ 1 + 2√ + √ + √ +. . .+ =n−1.
2 + 3√ 3 + 4√ √ n−1 + n √
nϕ (n + 1)ϕ
sin sin
9∗∗-sin ϕ + sin 2 ϕ + sin 3 ϕ + ... + sin n ϕ2= ϕ
2 .
sin
2
3
II. Demuestra por inducción las siguientes desigualdades:
1. 2n> para cualquier entero n≥1.
2. n!> n2para cualquier entero n ≥ 4.
3. 2n< n! para cualquier entero n ≥ 4.
4. 3n< n! para cualquier entero n≥7.
5. 3n≥2n + 1 para cualquier entero n ≥ 1.
6. n!≤nnpara cualquier entero n≥1.
7. 2n+2≥2n+ 5 para cualquier entero n ≥1.
8∗ . (2n)!<22n (n!)2para cualquier entero n ≥ 1.
9∗∗. (n + 1)n< nn+1para cualquier entero n≥3.
n
a1n+a2n a1+a2
10∗∗. ≥ para cualquier número positivo1 , a2y para cualquier entero n ≥ 1.
2 2
1 1 1 1
11∗∗∗. +2 2 + +. . .+ <2 para cualquier entero n≥1.
123
2 n2
III. Demuestra por inducción los siguientes problemas:
1. n3-nis divisible por 3 para cualquier entero no negativo n.
2. n5−nis divisible por 5 para cualquier entero no negativo n.
3. n3-7n + 3 es divisible por 3 para cualquier número entero no negativo n.
4. 4n-1 es divisible por 3 para cualquier entero no negativo n.
5. 32n-1 es divisible por 8 para cualquier entero positivo n.
6. 7n-2nes divisible por 5 para cualquier entero no negativo n.
7∗ .32n+3+ 40n−27 es divisible por 64 para cualquier entero no negativo n.
8∗ .52n+1·2n+2+ 3n+2·22n+1es divisible por 19 para cualquier número entero no negativo n.
n n
1 1 + 5√ ! 1−5 √ ! !
9∗∗. √ − es un entero para cualquier entero no negativo n.
5 2 2
Teorema: Prueba que
n(n+ 1)
1 + 2 + 3 + ... + n = (∗)
2
para cualquier entero n ≥ 1.
Prueba :
PASO1: Forn= 1 (∗) es verdadero, ya que
1(1 + 1)
1= .
2
PASO2: Supongamos que (*) es cierto para algún
n=k≥1, es decir
k(k + 1)
1+2+3+...+k= .
2
PASO 3: Demuestra que (∗) es verdadero para n=k+1:
? (k + 1)(k + 2)
1 + 2 + 3 + ... + k + (k + 1) = .
2
Tenemos:
1 + 2 + 3 + ... + k + (k + 1)
ST.2 k(k + 1)
= (k+ 1)
2
(k+ 1)(k+ 2)
= .
2
Teorema: Demuestra que
1 + 3 + 5 +... + (2n−1) = n(*) 2
para cualquier entero n ≥ 1.
Prueba :
PASO 1: Forn = 1 (∗) es verdadero, ya que
1 = 1 .2
PASO 2: Suponga que (∗) es verdadero para algún
n=k≥1, es decir
1 + 3 + 5 + ... + (2k−1) = k. 2
PASO 3 : Demostrar que (∗) es verdadero para n=k+1 :
? 2
1 + 3 + 5 + ... + (2k−1) + (2k + 1) = (k + 1).
Tenemos:
1 + 3 + 5 + ... + (2k−1) + (2k + 1)
ST.2
=k+ 2(2k+ 1)
= (k+ 1) . 2
Teorema: Demuestra que
n!≤n n (∗)
para cualquier entero n≥1.
Prueba :
PASO 1: Forn = 1 (∗) es verdadero, ya que
1! = 1 .1
STEP2 : Suppose (∗) is true for some
n=k≥1,that is :
k!≤k . k
PASO 3: Demuestra que (∗) es cierto para n=k+1
?
(k+ 1)!≤(k+ 1) . k+1
Tenemos:
ST.2
(k+ 1)! =k!·(k+ 1) ≤k·(k+ 1) k
<(k+ 1) ·(k+k 1)
= (k+ 1) . k+1
Teorema: Demostrar que
2n
3−1div.by8 (∗)
para cualquier entero n ≥ 0.
Prueba :
PASO1 :Forn= 0 (∗) es verdadero, ya que
0
3−1div.por8.
PASO 2: Suponga que (*) es verdadero para algún
n=k≥0, es decir
2k
3−1div.by8.
PASO 3: Demuestra que (∗) es verdadero para n=k+1:
?
3 2(k+1) -1div.by8.
Tenemos:
2k 2k
3 2(k+1) −1 = 3 ·9−1
2k
= 3 ·8 + 3 -1.
div.by8
{z } |div.by8
{zSt.} 2