P. 1
Induccion Matematica Ejercicios Resueltos

Induccion Matematica Ejercicios Resueltos

1.0

|Views: 1,562|Likes:
Published by Carito Rnr

More info:

Published by: Carito Rnr on Apr 11, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

10/18/2013

pdf

text

original

CAPITULO 1

Inducci´on Matem´atica
El capitulo de Inducci´on Matem´atica, esta destinado a presentar contenidos y actividades que permi-
tir´an al estudiante operar con simbolog´ıa matem´atica, describir analizar y aplicar el principio de Inducci´on
Matem´atica, en particular usando esta t´ecnica ”comprobar´a r´apida y eficientemente, la veracidad o falsedad
de f´ormulas proposicionales definidas en los n´ umeros naturales”
1. Axiomas de Peano: Una Construcci´on Axiom´atica de los N´ umeros Naturales
Si aceptamos que una teor´ıa, se construye esencialmente en base a dos objetos:
◦ Conceptos primitivos, en el sentido que no son definidos, pero de una simple interpretaci´on intuitiva
y,
◦ Axiomas o verdades reveladas que se aceptan sin demostrar, y que rigen el comportamiento de los
conceptos primitivos, y de ellos se deducen proposiciones y teoremas
Un muy buen ejemplo de una construcci´on axiom´atica que obedece este patr´on, es la de los N´ umeros
Naturales, a trav´es de los geniales Axiomas de Peano, los que pasamos a enunciar y analizar s´olo con la
profundidad necesaria, para situar y resolver nuestro objetivo de estudiar m´as en detalle el Principio de
Inducci´on
1.1. Axiomas de Peano.
El Concepto Primitivo aqu´ı es la idea de sucesor. Es decir para cada n ∈ N, el s´ımbolo n+1 se entender´a
como el sucesor de dicho n´ umero n
Ejemplo 1.2. 3 es el sucesor de 2, pues 3 = 2 + 1
Ejemplo 1.3. 7 es el sucesor de 6, pues 7 = 6 + 1
Ejemplo 1.4. 33 es el sucesor de 32, pues 33 = 32 + 1
El Cuerpo Axiom´atico consiste en los siguientes cinco Axiomas:
Ax
1
: 1 es un n´ umero natural
◦ Esto significa que existe al menos un n´ umero natural
Ax
2
: Si n ∈ N entonces n +1 ∈ N
1
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
2 1. INDUCCI
´
ON MATEM
´
ATICA
◦ Todo n´ umero natural tiene un sucesor
◦ n + 1 debe ser entendido como el s´ımbolo sucesor de n
Ax
3
: No existe un n´ umero natural n, tal que su sucesor sea 1
◦ Esto significa que N posee un primer elemento
Ax
4
: Si n ∈ N y m ∈ N tal que n +1 = m+1 entonces n = m
◦ Esto significa que podemos escribir sin ambig¨ uedad N = {1, 2, 3, · · · }
Ax
5
: Si S ⊂ N es tal que verifica simult´aneamente las dos siguientes propiedades:
• 1 ∈ S
• n ∈ S =⇒ n +1 ∈ S
entonces S = N
◦ Ax
5
se conoce como el axioma de inducci´on o principio de inducci´on
◦ Es una de las m´as bellas estrategias que utiliza el intelecto humano, para ”hacer finito lo infinito”
◦ La idea expresada en el comando 1 ∈ S, es simb´olica s´olo dice que a partir de un cierto momento,
comienza a realizarse sistem´aticamente, (quiz´as la idea intuitiva del nacimiento) un algoritmo.
◦ En nuestro contexto, reinterpretaremos la idea de sucesor, para obtener un m´etodo para validar
f´ormulas proposicionales definidas en los naturales
2. Formalizaci´on y Verificaci´on de F´ormulas Usando el Axioma de Inducci´on
En esta secci´on transformaremos el axioma de inducci´on de Peano, en una formidable herramienta para
verificar el valor de verdad de f´ormulas proposicionales, para ello procederemos como sigue
◦ Realizaremos en primer lugar la adecuaci´on del axioma para la validaci´on de f´ormulas proposi-
cionales, para ello enunciaremos y probaremos el teorema central de la secci´on, al cual lo llamare-
mos ”Peano y las f´ormulas proposicionales”
◦ En Segundo lugar, construiremos en forma concreta, ayudados por la intuici´on y conocimientos
geom´etricos b´asicos algunas f´ormula proposicionales
◦ Finalmente, construiremos un ”macro” llamado sumatoria que nos permitir´a comprimir, simplificar
y comprender de mejor forma la informaci´on representada por estas f´ormulas proposicionales
Teorema 2.1. Peano y las f´ormulas proposicionales Sea F(n) una f´ormula proposicional para cada
n ∈ N. Si
◦ F(1) es verdadera, y
◦ F(n) verdadera =⇒ F(n + 1) verdadera
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
3. CONSTRUCCI
´
ON DE ALGUNAS F
´
ORMULAS PROPOSICIONALES 3
Entonces F(s) es verdadera (∀s; s ∈ N)
Demostraci´on
Para aplicar el axioma de inducci´on Ax
5
definimos el conjunto
S = {n ∈ N | F(n) es verdadera}
Y entonces
◦ F(1) verdadera ⇐⇒ 1 ∈ S
◦ [F(n) verdadera =⇒ F(n + 1) verdadera ] ⇐⇒ [n ∈ S =⇒ (n + 1) ∈ S]
As´ı que,
1 ∈ S
n ∈ S =⇒ (n + 1) ∈ S
_
=⇒S = N =⇒ F(n) es verdadera (∀n; n ∈ N)
Usaremos la siguiente Notaci´on: La etapa n, es decir F(n) la llamaremos ”Hip´otesis de Inducci´on”, y a la
etapa n + 1, la llamaremos ”Tesis de Inducci´on.”
3. Construcci´on de Algunas F´ormulas Proposicionales
3.1. Una f´ormula para ”La suma de los n primeros n´ umeros naturales”: Generemos una
f´ormula que permita calcular el n´ umero m´aximo de intersecciones de n l´ıneas rectas distintas, para cada
n ∈ N
Para entender el problema, llamaremos n al n´ umero de rectas e I al n´ umero de intersecciones de ellas
⋄ Si n = 2 tenemos la situaci´on:
L
1
L
2
I
Lo que nos hace concluir que: n = 2 =⇒ I = 1
⋄ Para n = 3 tenemos que la situaci´on, es la siguiente:
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
4 1. INDUCCI
´
ON MATEM
´
ATICA
L
1
L
2
L
3
I
1
I
2
I
3
De donde concluimos que: n = 3 =⇒ I = 3 = (1) + 2
⋄ Para n = 4 tenemos que:
L
1
L
2
L
3
L
4
I
1
I
2
I
3
I
4
I
5
I
6
En este caso tenemos que: n = 4 =⇒ I = 6 = (1 + 2) + 3
⋄ Ahora para n = 5
L
1
L
2
L
3
L
4
L
5
I
1
I
2
I
3
I
4
I
5
I
6
I
7
I
8
I
9
I
10
La situaci´on es la siguiente: n = 5 =⇒ I = 10 = (1 + 2 + 3) + 4
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
3. CONSTRUCCI
´
ON DE ALGUNAS F
´
ORMULAS PROPOSICIONALES 5
Podemos intentar seguir realizando la intersecci´on de m´as rectas, pero se ve que cada vez ser´a m´as
dif´ıcil graficar como lo hemos hecho hasta ahora, por tanto es el momento de intentar un modelamiento m´as
abstracto del problema
⋄ Partamos con n = 6
L
1
L
2
L
3
L
4
L
5
L
6
L
1
L
3
L
4
L
5
1
2
3
4
5
Aqu´ı como antes tenemos que: n = 6 =⇒ 15 = (1 + 2 + 3 + 4) + 5
Desde el punto de vista algebraico tenemos la siguiente situaci´on para analizar:
15 = 1 + 2 + 3 + 4 + 5
= 5 + 4 + 3 + 2 + 1
= 5 + (5 −1) + (5 −2) + (5 −3) + (5 −4)
= (5 + 1) −1 + (5 + 1) −2 + (5 + 1) −3 + (5 + 1) −4 + (5 + 1) −5
= 5(5 + 1) −1 −2 −3 −4 −5
= 5(5 + 1) −15
Luego, 2(1 + 2 + 3 + 4 + 5) = 5(5 + 1), as´ı que
1 + 2 + 3 + 4 + 5 =
5(5 + 1)
2
⋄ Para n = 7
L
1
L
2
L
3
L
4
L
5
L
6
L
7
L
1
L
3
L
4
L
5
L
6
1
2
3
4
5
6
En este caso tenemos que: n = 7 =⇒ 21 = (1 + 2 + 3 + 4 + 5) + 6
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
6 1. INDUCCI
´
ON MATEM
´
ATICA
Procediendo en forma an´aloga al caso anterior tenemos que:
21 = 6 + 5 + 4 + 3 + 2 + 1
= 6 + (6 −1) + (6 −2) + (6 −3) + (6 −4) + (6 −5)
= (6 + 1) −1 + (6 + 1) −2 + (6 + 1) −3 + (6 + 1) −
4 + (6 + 1) −5 + (6 + 1) −6
= 6(6 + 1) −1 −2 −3 −4 −5 −6
= 6(6 + 1) −21
Luego, 2(1 + 2 + 3 + 4 + 5 + 6) = 6(6 + 1), as´ı que,
1 + 2 + 3 + 4 + 5 + 6 =
6(6 + 1)
2
Pero, tambi´en podemos obtener el mismo resultado, razonando como sigue
21 = 1 + 2 + 3 + 4 + 5 + 6
=
5(5 + 1)
2
+ 6
=
5(5 + 1)
2
+ (5 + 1)
=
5(5 + 1) + 2(5 + 1)
2
=
7(5 + 1)
2
=
6 · 7
2
=
6(6 + 1)
2
[]
En el caso general emulando la primera forma de razonar tenemos que
1 + 2 +· · · + n = n + (n −1) + (n −2) +· · · + (n −n + 1)
= (n + 1) −1 + (n + 1) −2 +· · · + (n + 1) −n
= n(n + 1) −1 −2 −3 −· · · −n
= n(n + 1) −(1 + 2 +· · · + n)
As´ı que,
1 + 2 +· · · + n =
n(n + 1)
2
Luego, la f´ormula F(n), que define el n´ umero m´aximo de intersecciones de n rectas, para cada n ∈ N es
de la forma
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
3. CONSTRUCCI
´
ON DE ALGUNAS F
´
ORMULAS PROPOSICIONALES 7
F(n) : 1 + 2 + 3 +· · · + n =
n(n + 1)
n
(1)
Ahora aprovechando la idea obtenida en [], y aplicando el Teorema (2.1), podemos hacer lo siguiente:
◦ Mostremos inicialmente que F(1) es verdadera
Como
1(1 + 1)
2
= 1 entonces 1 =
1(1 + 1)
2
, y F(1) es verdadera.
◦ Si suponemos que F(n) es verdadera debemos mostrar que F(n + 1) es verdadera
En primer lugar, F(n) verdadera si y s´olo si
1 + 2 + 3 + 4 +· · · + n =
n(n + 1)
2
(H)
Ahora, F(n + 1) ser´a verdadera si y s´olo si
1 + 2 + 3 + 4 +· · · + n + (n + 1) =
(n + 1)(n + 1 + 1)
2
=
(n + 1)(n + 2)
2
Entonces
1 + 2 + 3 +· · · + n + (n + 1) = [1 + 2 + 3 +· · · + n]
. ¸¸ .
(H)
+(n + 1)
=
_
n(n + 1)
2
_
+ (n + 1)
=
n(n + 1) + 2(n + 1)
2
=
(n + 1)(n + 2)
2
As´ı que, F(n + 1) es verdadera, y N = {n ∈ N | F(n) es verdadera}
3.2. Una f´ormula para ”La suma de los n primeros n´ umeros naturales impares”: Si notamos
por N
I
= {1, 3, 5, · · · } a los n´ umeros impares entonces ¿Ser´a posible obtener una f´ormula para la suma de
los n primeros impares?. Es decir
1 + 3 +· · · + (2n −1) = ?
Estudiemos en abstracto el problema:
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
8 1. INDUCCI
´
ON MATEM
´
ATICA
1 + 3 = 1 + 2 · 1 + 1 = (1 + 1)
2
= 2
2
1 + 3 + 5 = 2
2
+ 2 · 2 + 1 = (2 + 1)
2
= 3
2
1 + 3 + 5 + 7 = 3
2
+ 2 · 3 + 1 = (3 + 1)
2
= 4
2
1 + 3 + 5 + 7 + 9 = 4
2
+ 2 · 4 + 1 = (4 + 1)
2
= 5
2
.
.
.
.
.
.
.
.
.
Estudiemos ahora el problema en concreto:
Teor´ıa
1 + 3 = 4
Dise˜ no An´alisis F´ormula
=⇒
1 + 3 = 2
2
1 + 3
2
2
Teor´ıa
1 + 3 + 5 = 9
Dise˜ no An´alisis F´ormula
=⇒
1 + 3 + 5 = 3
2
1 + 3 + 5
3
2
Teor´ıa
1 + 3 + 5 + 7 = 16
Dise˜ no An´alisis F´ormula
=⇒ 1 + 3 + 5 + 7 = 4
2
1 + 3 + 5 + 7
4
2
En el caso general deber´ıamos mostrar en concordancia con nuestra intuici´on que
1 + 3 +· · · + (2n −1) = n
2
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
3. CONSTRUCCI
´
ON DE ALGUNAS F
´
ORMULAS PROPOSICIONALES 9
⋄ Si notamos por F(n) : 1 +3 +· · · +(2n−1) = n
2
, para cada n ∈ N entonces tenemos por calculo
directo que F(n) es verdadera o falsa.
⋄ Si concordamos en que S = {n ∈ N | F(n) es verdadera} entonces tenemos lo siguiente:
◦ 1 ∈ S, pues F(1) es verdadera, ya que 1 = 1
2
◦ Si suponemos que n ∈ S, es decir asumimos que F(n) es verdadera, o equivalentemente
1 + 3 +· · · + (2n −1) = n
2
(H)
Entonces
1 + 3 +· · · + (2n −1) + (2(n + 1) −1) = [1 + 3 +· · · + (2n −1)]
. ¸¸ .
(H)
+
(2(n + 1) −1)
= n
2
+ (2(n + 1) −1)
= n
2
+ 2n + 1
= (n + 1)
2
As´ı que F(n + 1) es verdadera y luego, (n + 1) ∈ S, y entonces para cada n ∈ N es verdadera la
f´ormula
1 + 3 +· · · + (2n −1) = n
2
(2)
3.3. Una f´ormula para ”La suma de los n primeros n´ umeros naturales pares”: Si notamos
ahora por N
P
= {2, 4, 6, · · · } entonces ¿Ser´a posible obtener una f´ormula para la suma de los n primeros
n´ umeros pares?. Es decir
2 + 4 +· · · + 2n = ?
Estudiemos intuitivamente el problema:
2 = 1 · 2
2 + 4 = 1 · 2 + (2 · 2) = 2 · 3
2 + 4 + 6 = 2 · 3 + (2 · 3) = 3 · 4
2 + 4 + 6 + 8 = 3 · 4 + (2 · 4) = 4 · 5
2 + 4 + 6 + 8 + 10 = 4 · 5 + (2 · 5) = 5 · 6
2 + 4 + 6 + 8 + 10 + 12 = 5 · 6 + (2 · 6) = 6 · 7
2 + 4 + 6 + 8 + 10 + 12 + 14 = 6 · 7 + (2 · 7) = 7 · 8
2 + 4 + 6 + 8 + 10 + 12 + 14 + 16 = 7 · 8 + (2 · 8) = 8 · 9
.
.
.
.
.
.
.
.
.
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
10 1. INDUCCI
´
ON MATEM
´
ATICA
Estudiemos ahora el problema en concreto:
Teor´ıa
2 + 4 = 6
Dise˜ no An´alisis F´ormula
=⇒ 2 + 4 = 2 · 3
2(1 + 2)
2 · 3
Teor´ıa
2 + 4 + 6 = 12
Dise˜ no An´alisis F´ormula
=⇒
2 + 4 + 6 = 3 · 4
2(1 + 2 + 3)
3 · 4
Estudiemos en abstracto el problema:
Si llamamos F(n) : 2 + 4 + 6 + · + 2n = n(n + 1) para cada n ∈ N entonces aplicando nuestro proced-
imiento formal, tenemos que definir el conjunto S = {n ∈ N | F(n) es verdadera}, y verificar si este conjunto
satisface o no el axioma 5
⋄ Por demostrar que F(1) es verdadera, es decir 1 ∈ S. Esto se verifica porque,
2 = 1(1 + 1)
⋄ Supongamos que F(n) es verdadera, es decir, n ∈ S, y
2 + 4 + 6 +· + 2n = n(n + 1) (H)
⋄ Por demostrar que F(n + 1) es verdadera, es decir por demostrar que (n + 1) ∈ S
En efecto
2 + 4 + 6 +· + 2n
. ¸¸ .
(H)
+2(n + 1) = n(n + 1) + 2(n + 1)
= (n + 1)(n + 2)
Luego, N = S y F(n) es verdadera (∀n; n ∈ N), es decir,
2 + 4 + 6 +· + 2n = n(n + 1) (3)
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
4. SUMATORIAS: 11
Podemos responder en forma alternativa, con lo que hemos aprendido:
2 + 4 +· · · + 2n = 2(1 + 2 + 3 +· + n)
= 2
_
n(n + 1)
2
_
(Aplicando la f´ormula (1))
= n(n + 1)
4. Sumatorias:
En esta etapa construiremos y estudiaremos las propiedades de una herramienta matem´atica que nos
permita comprimir, presentar y manipular eficientemente f´ ormulas proposicionales, que involucran sumas
de una cantidad finita de n´ umeros reales. Para ver una construcci´on de los N´ umeros Reales les sugiero ver [2]
Definici´on 4.1. Dada la lista A = {a
1
, a
2
, a
3
, . . . } ⊂ R definimos para cada n ∈ N, el nuevo listado de
n´ umeros reales:
S = {S
1
, S
2
, S
3
, · · · }
donde,
◦ S
1
=
1

i=1
a
i
= a
1
, y
◦ S
n+1
=
n+1

i=1
a
i
= S
n
+ a
n+1
Para cada n ∈ N
n

i=1
a
i
= a
1
+ a
2
+ a
3
+· · · + a
n−1
+ a
n (4)
ser´a llamada la ”Sumatoria” de los n primeros elementos de la lista A
Observaci´on 4.1.1. La lista S ha sido construida, a partir de una nueva forma de usar el Axioma 5.
de Peano pues, lo que hemos hecho en realidad es lo siguiente:
1

i=1
a
i
= a
1
2

i=1
a
i
= S
1
+ a
2
= a
1
+ a
2
3

i=1
a
i
= S
2
+ a
2
= a
1
+ a
2
+ a
3
.
.
.
n

i=1
a
i
= S
n−1
+ a
n
= a
1
+ a
2
+ a
3
+· · · + a
n−1
+ a
n
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
12 1. INDUCCI
´
ON MATEM
´
ATICA
Ejemplo 4.1.2. Si a
i
= i para i = 1, 2, 3, . . . , n entonces
n

i=1
a
i
= a
1
+ a
2
+ a
3
+· · · + a
n
⇐⇒
n

i=1
i = 1 + 2 + 3 +· · · + n
As´ı que, usando la f´ormula (1) tenemos que
n

i=1
i =
n(n + 1)
2
Ejemplo 4.1.3. Si a
i
= 2i −1 para i = 1, 2, 3, . . . , n entonces
n

i=1
a
i
= a
1
+ a
2
+ a
3
+· · · + a
n
⇐⇒
n

i=1
(2i −1) = 1 + 3 + 5 +· · · + 2n −1
As´ı que, usando la f´ormula (2) tenemos que
n

i=1
(2i −1) = n
2
Ejemplo 4.1.4. Si a
i
= 2i para i = 1, 2, 3, . . . , n entonces
n

i=1
a
i
= a
1
+ a
2
+ a
3
+· · · + a
n
⇐⇒
n

i=1
2i = 2 + 4 + 6 +· · · + 2n
As´ı que, usando la f´ormula (3) tenemos que
n

i=1
2i = n(n + 1)
4.2. Propiedades de las Sumatorias. Si A = {a
1
, a
2
, · · · , a
n
} ⊂ R; B = {b
1
, b
2
, · · · , b
n
} ⊂ R y c ∈ R
entonces
(1)
n

i=1
(a
i
±b
i
) =
n

i=1
a
i
±
n

i=1
b
i
Si hacemos c
i
= a
i
+ b
i
para i = 1, 2, . . . , n entonces
n

i=1
(a
i
+ b
i
) =
n

i=1
c
i
= c
1
+ c
2
+ c
3
+· · · + c
n
= (a
1
+ b
1
) + (a
2
+ b
2
) + (a
3
+ b
3
) +· · · + (a
n
+ b
n
)
= (a
1
+ a
2
+ a
3
+· · · + a
n
) + (b
1
+ b
2
+ b
3
+· · · + b
n
)
=
n

i=1
a
i
+
n

i=1
b
i
An´alogamente si hacemos c
i
= a
i
−b
i
obtenemos
n

i=1
(a
i
−b
i
) =
n

i=1
a
i

n

i=1
b
i
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
4. SUMATORIAS: 13
As´ı que,
n

i=1
(a
i
±b
i
) =
n

i=1
a
i
±
n

i=1
b
i (5)
(2)
n

i=1
ca
i
= c
n

i=1
a
i
Si hacemos d
i
= ca
i
para i = 1, 2, . . . , n entonces
n

i=1
ca
i
=
n

i=1
d
i
= d
1
+ d
2
+ d
3
+· · · + d
n
= ca
1
+ ca
2
+ ca
3
+· · · + ca
n
= c(a
1
+ a
2
+ a
3
+· · · + a
n
)
= c
n

i=1
a
i
As´ı que,
n

i=1
ca
i
= c
n

i=1
a
i (6)
(3)
n

i=1
1 = n. En particular
n

i=1
c = cn
Si hacemos c
i
= 1 para i = 1, 2, . . . , n entonces
n

i=1
1 =
n

i=1
c
i
= c
1
+ c
2
+ c
3
+· · · + c
n
= 1 + 1 + 1 +· · · + 1
. ¸¸ .
n−veces
= n
As´ı que,
n

i=1
1 = n (7)
Adem´as, para c ∈ R:
n

i=1
c =
n

i=1
c · 1
(6)
= c
n

i=1
1
(7)
= c · n
As´ı que,
n

i=1
c = cn (8)
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
14 1. INDUCCI
´
ON MATEM
´
ATICA
(4)
n

i=1
a
i
=
s

i=1
a
i
+
n

i=s+1
a
i
Define c
i
= a
i
, para i = 1, 2, . . . , s y d
i
= a
s+i
, para i = 1, 2, . . . , n −s entonces
s

i=1
c
i
+
n

i=1
d
i
= (c
1
+ c
2
+· · · + c
s
) + (d
1
+ d
2
+· · · + d
s
)
= (a
1
+ a
2
+· · · + a
s
) + (a
s+1
+ a
s+2
+· · · + a
s+n−s
= a
1
+ a
2
+· · · + a
s
+ a
s+1
+ a
s+2
+· · · + a
n
=
n

i=1
a
i
Ahora, por otra parte,
s

i=1
c
i
+
n

i=1
d
i
= (c
1
+ c
2
+· · · + c
s
) + (d
1
+ d
2
+· · · + d
s
)
=
s

i=1
a
i
+
n−s

i=1
a
s+i
Si hacemos j = s + i entonces
=
s

i=1
a
i
+
n

j=s+1
a
j
=
s

i=1
a
i
+
n

i=s+1
a
i
As´ı que,
n

i=1
a
i
=
s

i=1
a
i
+
n

i=s+1
a
i (9)
(5)
n

i=1
(a
i
−a
i+1
) = a
1
−a
n+1
(Propiedad Telesc´opica
1
)
n

i=1
(a
i
−a
i+1
)
(5)
=
n

i=1
a
i

n

i=1
a
i+1
= (a
1
+ a
2
+ a
3
+· · · + a
n
) −(a
2
+ a
3
+· · · + a
n
+ a
n+1
)
= a
1
−a
n+1
1
Observe que en un telescopio la imagen es traslada hacia su ojo a trav´es de los lentes
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
5. EJERCICIOS RESUELTOS DE INDUCCI
´
ON MATEM
´
ATICA 15
As´ı que,
n

i=1
(a
i
−a
i+1
) = a
1
−a
n+1 (10)
(6)
r

i=s
a
i
=
r+t

i=s+t
a
i−t
(Propiedad del reloj
2
)
r

i=s
a
i
=
r+t

j=s+t
a
j−t
(Si hacemos i = j −t)
As´ı que,
r

i=s
a
i
=
r+t

i=s+t
a
i−t
(11)
5. Ejercicios Resueltos de Inducci´on Matem´atica
(1) Demostremos usando Inducci´on Matem´atica que la f´ormula:
F(n) :
n

k=1
_
1
k(k + 1)(k + 2)
_
=
n(n + 3)
4(n + 1)(n + 2)
Es verdadera (∀n; n ∈ N)
Soluci´on
Por mostrar que F(1) es verdadera, observamos los hechos:

1

i=1
_
1
k(k + 1)(k + 2)
_
=
1
1(2)(3)
=
1
6
, y

1(1 + 3)
4(1 + 1)(1 + 2)
=
1(4)
4(2)(3)
=
1
6
2
Observe que por ejemplo las 2.00 horas m´as 45 minutos, es lo mismo que las 3 horas menos 15 minutos
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
16 1. INDUCCI
´
ON MATEM
´
ATICA
Luego, comparando los resultados concluimos que
1

i=1
_
1
k(k + 1)(k + 2)
_
=
1(1 + 3)
4(1 + 1)(1 + 2)
Por ende, F(1) es verdadera.
Hip´otesis de Inducci´on: Suponemos que F(n) es verdadera. Esto es
n

k=1
_
1
k(k + 1)(k + 2)
_
=
n(n + 3)
4(n + 1)(n + 2)
(H)
Tesis de Inducci´on: Por demostrar que F(n + 1) es verdadera, es decir debemos verificar que:
n

k=1
1
k(k + 1)(k + 2)
=
(n + 1)(n + 4)
4(n + 2)(n + 3)
En efecto
n

k=1
1
k(k + 1)(k + 2)
=
n

k=1
1
k(k + 1)(k + 2)
+
n+1

k=n+1
1
k(k + 1)(k + 2)
(H)
=
n(n + 3)
4(n + 1)(n + 2)
+
1
(n + 1)(n + 2)(n + 3)
=
n(n + 3)
2
+ 4
4(n + 1)(n + 2)(n + 3)
=
n(n
2
+ 6n + 9) + 4
4(n + 1)(n + 2)(n + 3)
=
n
3
+ 6n
2
+ 9n + 4
4(n + 1)(n + 2)(n + 3)
=
(n + 1)
2
(n + 4)
4(n + 1)(n + 2)(n + 3)
=
(n + 1)(n + 4)
4(n + 2)(n + 3)
As´ı que F(n + 1) es verdadera y F(n) es verdadera (∀n; n ∈ N)
(2) Si A = {a
1
, a
2
, a
3
, a
4
, . . . } ⊂ R es tal que:
◦ a
i
= i para i = 1, 2
◦ a
s
=
s−1

i=1
a
i
(s ≥ 3)
entonces demostremos usando Inducci´on Matem´atica que es verdadera (∀n; n ∈ N; n ≥ 3) la
f´ormula:
F(n) : a
n
= 3 · 2
n−3
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
5. EJERCICIOS RESUELTOS DE INDUCCI
´
ON MATEM
´
ATICA 17
Soluci´on
Por demostrar que F(3) es verdadera.
En efecto
a
1
= 1 ∧ a
2
= 2 =⇒ a
3
= a
1
+ a
2
= 1 + 2 = 3 = 3 · 2
3−3
Hip´otesis de Inducci´on: Supongamos que F(n) es verdadera, es decir que
a
n
= 3 · 2
n−3
(H)
Por demostrar que F(n + 1) es verdadera, esto es; Por demostrar que:
a
n+1
= 3 · 2
n−2
En efecto
a
n+1
=
n

i=1
a
i
= a
n
+ a
n−1
+ a
n−2
+ a
n−3
+· + a
3
+ a
2
+ a
1
(H)
= 3 · 2
n−3
+ 3 · 2
n−4
+ 3 · 2
n−5
+ 3 · 2
n−6
+ 3 · 2
n−7
+· · · + 3 + 3
= 3(2
n−3
+ 2
n−4
+ 2
n−5
+ 2
n−6
+ 2
n−7
+· · · + 1) + 3
= 3 ·
2
n−2
−1
2 −1
+ 3
= 3 · 2
n−2
−3 + 3
= 3 · 2
n−2
As´ı que, F(n + 1) es verdadera y F(n) es verdadera (∀n; n ∈ N)
(3) Demostremos usando Inducci´on Matem´atica que la f´ormula:
F(n) : n
3
+ (n + 1)
3
+ (n + 2)
3
es divisible por 9
Es verdadera (∀n : n ∈ N)
Soluci´on
Por demostrar que F(1) es verdadera
En efecto
1
3
+ (1 + 1)
3
+ (1 + 2)
3
= 32 = 9 · 4 =⇒ 1
3
+ (1 + 1)
3
+ (1 + 2)
3
es divisible por 9
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
18 1. INDUCCI
´
ON MATEM
´
ATICA
.
Hip´otesis de Inducci´on: Supongamos que F(n) es verdadera. Es decir, existe q, tal que
n
3
+ (n + 1)
3
+ (n + 2)
3
= 9 · q (H)
Por demostrar que F(n + 1) es verdadera, es decir por demostrar que existe r, tal que
(n + 1)
3
+ (n + 2)
3
+ (n + 3)
3
= 9 · r
En efecto
Por una parte (n + 1)
3
+ (n + 2)
3
+ (n + 3)
3
= 3n
3
+ 18n
2
+ 42n + 36
Y por hip´otesis n
3
+ (n + 1)
3
+ (n + 2)
3
= 3n
3
+ 9n
2
+ 15n + 9
Realizando la divisi´on:
3n
3
+ 18n
2
+ 42n + 36 : 3n
3
+ 9n
2
+ 15n + 9 = 1
(−)
3n
3
+ 9n
2
+ 15n + 9
−−−−−−−−−−
9n
2
+ 27n + 27
Tenemos que:
(n + 1)
3
+ (n + 2)
3
+ (n + 3)
3
= 1 · (3n
3
+ 9n
2
+ 15n + 9) + 9n
2
+ 27n + 27
(H)
= 9 · q + 9 · (n
2
+ 3n + 3)
= 9 (q + n
2
+ 3n + 3)
. ¸¸ .
r
As´ı que, F(n + 1) es verdadera y F(n) es verdadera (∀n : n ∈ N)
(4) Demostremos usando Inducci´on Matem´atica que la f´ormula:
F(n) : (n ∈ N : n impar ) =⇒ n(n
2
−1) es divisible por 24
Es verdadera
Soluci´on
Por demostrar que F(1) es verdadera
(1
2
−1) = 1 · 0 = 0 = 24 · 0 =⇒ 1(1
2
−1) = 24 · 0 =⇒ F(1) es verdadera.
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
6. EJERCICIOS PROPUESTOS DE INDUCCI
´
ON MATEM
´
ATICA 19
Hip´otesis de Inducci´on: Supongamos que F(n) es verdadera. Esto es
(n ∈ N : n impar ) =⇒ n(n
2
−1) es divisible por 24

(∃s; s ∈ N) ∧ (∃r; r ∈ N) : n = (2s −1) ∧ (2s −1)((2s −1)
2
−1) = 24 · r

(∃s; s ∈ N) ∧ (∃r; r ∈ N) : n = (2s −1) ∧ (2s −1)(4s
2
−4s) = 24 · r

(∃s; s ∈ N) ∧ (∃r; r ∈ N) : n = (2s −1) ∧ 8s
3
−12s
2
+ 4s
. ¸¸ .

= 24 · r
Tesis de Inducci´on: Por demostrar que F(n + 2) es verdadera. Esto es, debemos mostrar que
(n + 2 ∈ N : n impar ) =⇒ (n + 2)((n + 2)
2
−1) es divisible por 24
Equivalentemente, hay que mostrar que
(n + 2 ∈ N : n impar ) =⇒ (∃s; s ∈ N)(∃u; u ∈ N) : n = (2s −1) ∧ (n + 2)((n + 2)
2
−1) = 24 · u
=⇒ (∃s; s ∈ N)(∃u; u ∈ N) : n = (2s −1) ∧ 8s
3
+ 12s
2
+ 4s
. ¸¸ .
∗∗
= 24 · u (T)
Entonces dividiendo (**) por (*) tenemos que
8s
3
+ 12s
2
+ 4s : 8s
3
−12s
2
+ 4s = 1
(−)
8s
3
−12s
2
+ 4s
−−−−−−−
24s
2
As´ı que,
8s
3
+ 12s
2
+ 4s = 1 · (8s
3
−12s
2
+ 4s) + 24s
2
(∗)
= 24r + 24s
2
= 24 (r + s
2
)
. ¸¸ .
u
Luego, F(n + 2) es verdadera y por tanto la f´ormula proposicional F(n) es verdadera, para cada
n´ umero natural impar
6. Ejercicios Propuestos de Inducci´on Matem´atica
Demuestre usando Inducci´on Matem´atica que las siguientes f´ormulas son verdaderas (∀n; n ∈ N)
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
20 1. INDUCCI
´
ON MATEM
´
ATICA
(1) F(n) :
n

i=1
1
i
2
+ i)
=
n
n + 1
(2) F(n) :
n

i=1
i
4
=
n(n + 1)(6n
3
+ 9n
2
+ n −1)
30
(3) F(n) :
n

i=1
i(i + 1)
2
=
n(n + 1)(n + 2)
6
(4) F(n) :
n

i=1
i(i + 1)(i + 2) =
n(n + 1)(n + 2)(n + 3)
4
(5) F(n) :
n

i=1
i 2
i−1
= 1 + (n −1)2
n
(6) F(n) :
n

k=0
(−1)
k
_
n
k
_
= 0
(7) F(n) : (0 ≤ r ≤ n) =⇒
_
n
r
_
∈ N
(8) F(n) : (n + 1)(n + 2) · · · (n + n) = 2
n
_
(2n −1)!
(2(n −1))!
_
(9) F(n) : 2
n−1
≤ n!
(10) F(n) : 3n ≤ 3
n
(11) F(n) : 4n
3
+ 5n es divisible por 3
(12) F(n) : n
3
−n es divisible por 6
(13) F(n) : 5n
3
+ 7n es divisible por 6
(14) F(n) : 10
n
+ 3 · 4
n+2
+ 5 es divisible por 9
(15) F(n) : 5
2n
+ (−1)
n+1
es divisible por 13
(16) F(n) : n ∈ N impar =⇒ 7
n
+ 1 es divisible por 8
(17) F(n) : 7
2n
+ 16n −1 es divisible por 64
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
Bibliograf´ıa
[1] Bello, I. “
´
Algebra Elemental ”, Brooks/Cole Publishing Company 1999.
[2] Bobadilla, G. Labarca R. “C´alculo 1 ”, Facultad de Ciencia, Universidad de Santiago 2007.
[3] Boldrini, J. Rodriguez, S. Figueiredo, V. Wetzler, H. “
´
Algebra Linear”, Editora Harper & Row do Brasisl Ltda, 1984.
[4] Fraleigh J. “
´
Algebra Abstracta ”Addison-Wesley Iberoamericana 1988.
[5] Grimaldi, R. “Matem´aticas Discretas y Combinatorias ”, Addison Wesley 1997.
[6] Gustafson, R. “
´
Algebra Intermedia ”, Brooks/Cole Publishing Company 1997.
[7] Kaufmann, J. “
´
Algebra Intermedia ”, Brooks/Cole Publishing Company 2000
[8] Santander, R. “
´
Algebra Elemental y superior”, Universidad de Santiago 2004
[9] Santander, R. “
´
Algebra Lineal”, Universidad de Santiago 2004
[10] Santander, R. “Un Segundo curso de Algebra Lineal”
[11] Swokowski, E. “
´
Algebra y trigonometr´ıa ”, Brooks/Cole Publishing Company 1997.
[12] Zill, D. ”
´
Algebra y trigonometr´ıa ”, Mc Graw Hill 1999
21
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
Indice
Axiomas de Peano, 1
Hip´otesis de inducci´on, 3
Inducci´on matem´ atica, 1
N´ umeros naturales, 1
Peano y las f´ormulas proposicionales, 2
Principio de inducci´on, 2
Propiedad del reloj, 15
Propiedad telesc´ opica, 14
Propiedades de las sumatorias, 12
Sucesor, 1
Sumatoria, 11
Tesis de inducci´on, 3
23
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
Contenidos
Capitulo 1. Inducci´on Matem´atica 1
1. Axiomas de Peano: Una Construcci´on Axiom´atica de los N´ umeros Naturales 1
2. Formalizaci´on y Verificaci´on de F´ormulas Usando el Axioma de Inducci´on 2
3. Construcci´on de Algunas F´ormulas Proposicionales 3
4. Sumatorias: 11
5. Ejercicios Resueltos de Inducci´on Matem´atica 15
6. Ejercicios Propuestos de Inducci´on Matem´atica 19
Bibliograf´ıa 21
Indice 23
25
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com
www.librospdf1.blogspot.com www.GRATIS2.com www.miacademia1.blogspot.com

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->