UNIVERSIDAD NACIONAL DE SAN CRISTBAL DE

HUAMANGA
FACULTAD DE INGENIERA DE MINAS, GEOLOGA Y
CIVIL
ESCUELA DE FORMACIN PROFESIONAL DE INGENIERA DE
SISTEMAS

TRABAJO MONOGRFICO N 01
GRUPO N 12 - INDUCCIN MATEMTICA
ASIGNATURA

: MATEMTICA DISCRETA

SIGLA

: MA-142

HORARIO DE CLASES

: MARTES (10:00 - 12:00 A.M.)

VIERNES (7:00 - 9:00 A.M.)

RESPONSABLE DE REA

: ACHALLMA PARIONA, Flix Ral

INTEGRANTES

: ARONS QUISPE, Jhon A. (27100140)

CANCHO QUISPE, Mario S.
(27105032)
HINOSTROZA MOLINA, Elgalinh (27100143)

FECHA DE EJECUCIN

: 16 - 07 - 2012

FECHA DE PRESENTACIN

: 28 - 07 - 2012
AYACUCHO - PER
2012

El esfuerzo de est trabajo a nuestros seres

queridos que con ahnco han sentado las
bases de nuestra existencia y nos han
enseado a superar las dificultades de
nuestra sociedad actual en su condicin
competitiva.
Al profesor que se esmera en instruirnos
para enfrentar no slo el reto acadmico,
sino tambin la adecuada integracin en la
sociedad

la

bsqueda

de

nuevos

horizontes del desarrollo en nuestra realidad

actual.

ii2

RESUMEN

Est Trabajo tiene por objetivo conocer la importancia de la induccin en las

matemticas, presentando en el, los diferentes tipos de induccin, as como algunas
controversias que se han planteado pensadores en cuanto a la validez de dicho tema,
principalmente por lo difcil que es establecer una relacin entre la induccin y la vida
cotidiana.
Adems de eso se plantean diversos ejercicios, algunos resueltos, para que el lector vea
las posibles formas de demostrar por induccin algn enunciado matemtico de est
tipo. As como algunos conceptos bsicos en la teora de los nmeros naturales.
Mostraremos como la induccin matemtica definida sobre la mnima estructura
inductiva (los nmeros naturales) puede ser generalizada a cualquier tipo de estructura
inductiva que satisfaga lectura nica. Para est fin, se muestran dos teoremas, el primero
es la definicin por induccin sobre N generalizada; el segundo, generaliza al primero
a cualquier estructura inductiva que satisface lectura nica. En particular, se muestra
como se construye el lenguaje de las sentencias, Se ilustra con algunos ejemplos:

Palabras y frases claves, Bloques, estructura inductiva, induccin, lenguaje de

sentencias, operadores.

iii3

INTRODUCCIN

El principio de induccin matemtica es un mtodo que se utiliza para demostrar

propiedades, frmulas, validarlas y probar que son verdaderas. Es bien conocida la
importancia del mtodo de demostracin por induccin matemtica para hacer pruebas
de ciertas propiedades sobre el conjunto de nmeros naturales.
Sin dominar est mtodo, es imposible estudiar a fondo las matemticas. Adems la idea
bsica en que se apoya de la induccin matemtica, es de gran inters no solo para los
estudiantes de matemticas y las ciencias aplicadas, sino tambin para estudiantes de
otras disciplinas.
Surge de manera natural la pregunta: el mtodo de demostracin por induccin puede
ser generalizado a cualquier tipo de estructura inductiva?, la respuesta es afirmativa,
siempre que la estructura inductiva satisfaga lectura nica. El objetivo de est trabajo
monogrfico es mostrar dicha generalizacin.
Dicho mtodo es considerado simple ya que consta de tres pasos fundamentales en los
cuales se debe demostrar la propiedad reemplazando su incgnita por 1 , luego por k
y finalmente por k 1 .
Los pasos para desarrollar la Induccin Matemtica se detallan en el contenido del
presente trabajo de investigacin.

iv4

NDICE GENERAL
INTRODUCCIN. iv
NDICE GENERAL.......... v
CAPITULO I: DESARROLLO 6
1.1 HISTORIA........... 6
1.2 PRINCIPIO DE LA INDUCCIN MATEMTICA. 7
1.3 INDUCCIN MATEMTICA... 8
1.4 LOS CONJUNTOS INDUCTIVOS 9
1.5 EL MTODO DE INDUCCIN.. 10
1.6 LA SUMA DE GAUSS. 11
1.7 EJEMPLOS DE INDUCCIN.. 15
1.8 INDUCCIN E INFERENCIA INDUCTIVA. 17
1.9 INDUCCIN FUERTE. 20
1.10 UN EJEMPLO DE INDUCCIN FUERTE: EL JUEGO DE LAS MONEDAS. 21
1.11 INDUCCIN TRUNCADA.. 22
1.12 ALGUNOS EJEMPLOS DE INDUCCIN TRUNCADA.. 22
1.13 CONJUNTO BIEN ORDENADO 23
1.14 DEFINICIN DE PRIMER ELEMENTO 23
1.15 PRINCIPIO DEL BUEN ORDEN.... 24
1.16 RELACIN DE ORDEN.. 24
1.17 COTAS.. 25
1.18 ELEMENTO MXIMO Y MNIMO... 25
CONCLUSIN.. 27
CAPITULO II: REFERENCIAS BIBLIOGRFICAS.28
2.1

BIBLIOGRAFA BSICA
28

2.2

DIRECCIONES
ELECTRNICAS...28

CAPITULO I
DESARROLLO
1.1 HISTORIA
La Induccin Matemtica es un mtodo de prueba
relativamente reciente: el primer uso conocido lo hizo el
sacerdote italiano Francesco Maurolico (1494-1575) en su
publicacin Arithmeticorum libri duo (1575).

En el siglo XVII tanto Piere de Fermat como

Blaise Pascal utilizaron induccin matemtica
para hacer demostraciones.

En 1883 Augustus De Morgan fue el primero que describi el proceso

cuidadosamente y lo nombr induccin matemtica.

En 1889, Giuseppe Peano public la primera

versin de la axiomatizacin lgica de la aritmtica.
Cinco de los nueve axiomas son conocidos
6

como los axiomas de Peano. Uno de estos axiomas fue una formalizacin del
principio de la induccin matemtica.
El 1 es un nmero natural, 1 est en N , el conjunto de los nmeros
naturales.
Todo nmero natural

n tiene un sucesor

n * (est axioma es usado para

definir posteriormente la suma).

El 1 no es el sucesor de ningn nmero natural.
Si hay dos nmeros naturales
y

n y m con el mismo sucesor, entonces n

m son el mismo nmero natural.

Si el 1 pertenece a un conjunto K de
cualquiera k , el sucesor

n naturales, y dado un elemento

k * tambin pertenece al conjunto

K , entonces

todos los nmeros naturales pertenecen a ese conjunto K . Est ltimo

axioma es el principio de la induccin matemtica.
1.2 PRINCIPIO DE LA INDUCCIN MATEMTICA
La induccin matemtica se usa a menudo para verificar o probar, una conjetura
obtenida mediante induccin no matemtica. Hablando con precisin, el axioma
de induccin dice: si M es un conjunto de enteros positivos, con las siguientes
propiedades:
i.a M contiene al entero 1, y.
i.b Si M contiene al entero

n , se puede demostrar que M contiene adems

al entero n 1 , entonces M contiene a todos los enteros positivos.

La primera parte del axioma de induccin, (i.a) suele llamarse base, y la segunda
parte, (i.b) parte inductiva. El axioma de induccin es til para demostrar ciertas
expresiones matemticas. Suponiendo que la proposicin P (n) es verdadera o
falsa dependiendo solo del valor de la

n , el axioma de induccin se puede

utilizar para demostrar que si:

ii.a P (1) es verdadera, y.
ii.b El saber que P (n) es verdadera, implica que P (n 1) es tambin
verdadera, entonces P (n) se cumple para cualquier

n.

Usamos induccin sobre los naturales para:

Demostrar que todos los nmeros naturales tienen una cierta propiedad.

Ejemplo:
n

S ( n) k
k 1

n( n 1)
2

Definir diversos objetos asociados a los nmeros naturales: Definiciones

inductivas/recursivas de funciones, relaciones, etc.
Ejemplo:
n! 1, (n 1)! (n 1) n!

La induccin nos permite demostrar que existe una nica funcin: N N

que satisface las ecuaciones de arriba.
Hay al menos tres principios de induccin para los naturales que son
equivalentes.
1.3 INDUCCIN MATEMTICA
En el mbito de la lgica, el razonamiento inductivo, que es una modalidad del
razonamiento no deductivo consistente en obtener conclusiones generales a
partir de premisas que contienen datos particulares. La base de dicho
razonamiento est centrada en el principio de induccin, que es un razonamiento
que permite demostrar una infinidad de proposiciones, o una proposicin a un
tipo de razonamiento en donde se obtienen conclusiones tan solo probables
(concepcin ms moderna). La induccin matemtica es un caso especial, donde
se va de lo particular a lo general y, no obstante, se obtiene una conclusin
necesaria.

Tpicamente,

el

razonamiento

inductivo

se

contrapone

al

razonamiento deductivo, que va de lo general a lo particular y sus conclusiones

son necesarias.
Una idea del principio de induccin:
Imaginemos que una fila de fichas de
domino se extendiese hasta ms all de lo
que alcanza la vista y supongamos que sabemos que estos dos enunciados son
verdad:
Enunciado 1: Alguien ha tirado la primera ficha.
Enunciado 2: Si una ficha es derribada, entonces esta tira la siguiente.
De 1 y 2 podemos concluir que todas las fichas terminaran cayendo. Por qu?,
la respuesta es que, en primer lugar, sabemos que la primera ha cado por el
8

enunciado 1. Sabemos tambin (por el segundo enunciado) que si la primera

ficha cae, entonces derriba la segunda, as que esta tendr que caer. Y si la
segunda ficha cae, entonces derriba la tercera (por el enunciado 2) y as
sucesivamente. Si alguien nos preguntase si la sptima (o la vigsima, o la
milsima) iba a ser derribada, podramos responder que s, que la cadena de
derribos se aproxima a l/la inexorablemente y que la acabara tirando. Esto nos
lleva a la afirmacin del siguiente principio:
"Principio de las fichas de domino": En una fila de fichas de domino en la que
son verdad los enunciados 1 y 2, todas las fichas son finalmente derribadas.
Est principio, que puede parecer trivial, es sin embargo interesante porque es un
caso particular del principio de induccin, que nos encontraremos ms adelante
y que nos servir como arma para hacer algunas demostraciones importantes.
1.3.1

LOS CONJUNTOS INDUCTIVOS

En la axiomtica de la Teora de Conjuntos, en particular en el Sistema
Axiomtico de Neumann-Bernays-Godel-Quine (NBGQ) se establece el Axioma
de Infinitud:
y (Cy x ( x y u : u x ) x( x y z ( z y u (u z u x u x ))))

Existe al menos un conjunto de clases inductivas, esto es, de clases tales que
contener un elemento implica contener a su elemento siguiente". Tal familia es
admitida, pues, como no vara. Los nmeros naturales pueden ser introducidos
con un conjunto N de clase inductiva, como el mnimo conjunto inductivo. Se
introduce el concepto de nmero ordinal y se prueba que cualquier nmero
natural es un nmero ordinal. Peano (Cuneo - Piamonte, 1858 - Turn, 1932)
introdujo los nmeros naturales mediante un sencillo teorema consistente en
cinco afirmaciones denominadas Postulado de Peano o Axiomas de Peano para
los nmeros naturales, que permiten, pues, estructurar algebraicamente el
conjunto N . As, se define N como un conjunto que cumple:
Existe al menos un nmero natural, llamaremos cero y designaremos por 0.
0 N

 Existe una aplicacin s : N N llamada aplicacin siguiente, que aplica

todo elemento
siguiente de

n de

N en otro elemento

n*

de N , llamado sucesor o

n.
s : N N / n N , s (n) n* N

El cero no es sucesor de ningn otro elemento de N.

n N , s ( n) n* N

Dos elementos de N distintos no tienen igual sucesor, o sea, la aplicacin

anterior es inyectiva.
n, n' N , s ( n) s ' n n'

Todo subconjunto N ' de N , para el cual se verifique que contenga al cero,

y que el sucesor de cualquier elemento de N ' est en N ' , coincide con
N . (Axioma de la Induccin Completa).

1.4 EL MTODO DE INDUCCIN

La ltima afirmacin del Teorema Peano, tambin llamada Axioma de la
Induccin Completa permite probar resultados con los nmeros naturales
generalizando situaciones particulares.
Si, en efecto, logramos evidenciar que una propiedad que se verifica para un
nmero natural

n se verifica tambin para su sucesor

s (n) ; cualquiera que sea

n , entonces podemos afirmar que tal propiedad se verifica desde e incluyendo

n hasta el infinito.
Si sabemos, adems, que se verifica para el cero, el primero de los nmeros
naturales, que no es sucesor de ningn otro, entonces hay que concluir que la
propiedad se verifica en todo N . Es decir, para probar que algo, una propiedad,
se cumple en todos los nmeros naturales, basta comprobar primero que se
cumple para el 0, y, a continuacin, suponer que se cumple para un natural

n , y,

desde aqu, deducir que se ha de cumplir para el natural siguiente, n 1 .

Una tcnica muy sencilla consiste en definir un conjunto N ' , subconjunto de
N , formado por los elementos que verifican la propiedad a demostrar. Si

logramos demostrar que para cualquier elemento a N ' se cumple que su

sucesor s ( a) N ' , y que el cero, 0 N ' , es decir, se cumple (en el argot del
sistema N-B-G-Q) que N ' es inductivo, entonces habr de concluirse que se
verifica la propiedad en todo N , esto es, que N ' N .
10

El mtodo, en definitiva, consta de dos partes o teoremas parciales:

Teorema 1 o Base de la Demostracin: Es la demostracin deductiva de que
la proposicin se verifica para algn nmero natural dado a:
Proposicin ---> f(a) cierta
Teorema 2 o Paso de Induccin: Es una demostracin de carcter tambin
deductivo, si la proposicin se supone cierta para un nmero natural
tambin ha de ser cierta para el nmero sucesor de

n,

n , es decir, para el

nmero n 1 .
Proposicin ---> f (a ) cierta f (n 1) cierta
De lo cual se infiere que la proposicin es cierta para el nmero natural a y para
todos los nmeros naturales siguientes al nmero a, es decir es cierta para el
conjunto de los nmeros naturales a, . Evidentemente, si a es el primero de
los nmeros naturales, la proposicin ser cierta para todo el conjunto N .
Ambos pasos parciales son, en ltimo trmino, procesos deductivos, por lo que
cabra decir que, realmente, el mtodo de induccin matemtica es, en realidad,
un proceso de deduccin.
En realidad, el nombre que le damos de induccin matemtica se debe
simplemente a que lo asociamos en nuestra consciencia con los razonamientos
inductivos basados en las experiencias de verosimilitud de las ciencias naturales
y sociales, a pesar de que el paso inductivo de la demostracin es una
proposicin general que se demuestra como un riguroso proceso deductivo, sin
necesidad de ninguna hiptesis particular. Es por esto por lo que tambin se le
denomina induccin perfecta o induccin completa.
1.5 LA SUMA DE GAUSS
Corra el ao 1789. Carl Friedrich Gauss, que algn da llegara a ser un gran
matemtico y fsico, tena solo nueve aos. Cierta maana, su profesor, que
quera mantener ocupados a los nios durante un rato, les mando sumar los cien
primeros nmeros. Apenas haba terminado de asignar la tarea cuando Gauss se
levanto y entrego su pizarra. Sobre la pizarra haba un nico nmero: 5050.
Resulto que 5050 era precisamente la suma de los nmeros desde uno hasta cien.
Cmo haba encontrado la solucin tan rpido? (Intenta resolverlo antes de
continuar).

11

Gauss se dio cuenta de algo curioso. La suma que haba que hacer era:
1 2 3 ... 98 99 100 , que puede llevar bastante tiempo si se hace en ese

orden, pero si se suman el primero y el ultimo nmero, se obtiene 101. Lo

mismo ocurre si se suma el segundo con el penltimo y el tercero con el
antepenltimo, y as sucesivamente. Se puede ver que todas esas sumas tienen el
mismo resultado.
1 100 101
2 99 101
3 98 101

.
.
.
49 52 101
50 51 101

Puesto que hay evidentemente 50 parejas cuya suma es 101, el resultado de la

suma desde uno hasta cien es 50 101 5050 . Esta manera de enfrentarse al
problema es un excelente ejemplo de solucin elegante.
Esta solucin no solo vale para los nmeros de uno a cien. En general, la suma
de los n primeros nmeros, es el ltimo nmero ms uno por el nmero de
parejas, es decir: n 1x

n
2.

PRINCIPIO DE INDUCCIN PARA NMEROS NATURALES

La teora de nmeros, una disciplina de las matemticas, se dedica especialmente
a estudiar las propiedades de los nmeros naturales. Las propiedades se pueden
enunciar en muchos casos de manera sencilla, por ejemplo, todo nmero par
est entre dos nmeros impares. Existen infinitos nmeros primos de la forma
n!1 . Puesto que hay infinitos nmeros naturales, no se puede ir

comprobando caso por caso que, digamos, ningn nmero impar es divisible por
dos. Hacen falta estrategias que demuestren de golpe todos los casos. Algunas de
estas estrategias hacen uso del principio de induccin.
Supongamos que nos preguntemos si todos los nmeros naturales tienen una
propiedad que llamaremos P , de la que sabemos dos cosas:
12

 Enunciado 1: El nmero uno posee la propiedad.

Enunciado 2: Si un nmero posee la propiedad P , el siguiente nmero
tambin la posee. Es decir, si

n tiene la propiedad P , entonces

n 1

tambin.
Se puede ver el parecido entre estas dos afirmaciones y las que vimos para las
fichas de domino, ms arriba. De manera anloga, podremos enunciar para los
nmeros naturales un principio parecido al principio de las fichas de domino.
Principio de Induccin: Si los enunciados 1 y 2 son verdaderos, entonces todos
los nmeros naturales tienen la propiedad P .
La idea que hay detrs de los dos principios es muy parecida. En est caso cada
nmero le comunica la siguiente la propiedad (segn el enunciado 2) por lo que,
si el primero tiene la propiedad, la acaban teniendo todos.
Hasta aqu todo suena fcil. La gracia est en que normalmente no sabemos que,
para una cierta propiedad, se cumplen los enunciados 1 y 2, con lo cual no
sabemos si el principio de induccin tiene algo que ver con ella. Pero, si
conseguimos demostrar que los dos enunciados se cumplen para la propiedad,
entonces sabremos que todos los nmeros naturales la tienen.
Por ejemplo: Para cualquier nmero natural n , la suma de todos los nmeros
desde 1 hasta

n es:
1 2 3 ... n

( n 1) n
2

Para demostrar que esto es verdad para cualquier nmero natural, basta con
demostrar que para esta propiedad (que llamaremos) los enunciados 1 y 2 son
verdad. El primer enunciado se cumple, ya que la suma desde 1 hasta 1 es
simplemente 1, que es lo que se obtiene de la formula. En efecto, sustituyendo
en la formula anterior n 1 obtenemos:
(1 1)1 2
1
2
2

As que sabemos que el enunciado 1 se cumple. El segundo enunciado parece

ms complicado porque suena mucho ms abstracto. No se trata de demostrar
que un nmero posee la propiedad, ni que la posee el siguiente, sino que si un
nmero posee la propiedad entonces la posee el siguiente:
Cmo se hace esto?

13

Supongamos que la propiedad se cumple para un cierto nmero n . Entonces

es verdad que para est nmero:
1 2 3 ... n

( n 1) n
2

Por lo tanto, la suma desde 1 hasta el nmero siguiente ser:

1 2 3 ... n (n 1)

(n 1)n
(n 1)
2

Si ahora operamos un poco con el miembro de la derecha, podemos obtener una

expresin que resultara interesante un poco ms adelante.
(n 1)n
(n 1)n 2(n 1) (( n 1)n 2(n 1)) n 2 n 2n 2
(n 1)

2
2
2
2
2

( n 2)(n 1) ((n 1) 1)(n 1)

2
2

Hasta ahora, segn parece, solo hemos hecho algo de aritmtica. Detengmonos
a pensar. Si la propiedad P se cumpliese para n 1 , entonces habra una
frmula para hallar la suma desde 1 hasta n 1 . Esta frmula se obtendra
sustituyendo n por n+1 en la formula de la suma de Gauss:
1 2 3 ... (n 1)

((n 1) 1)(n 1)
2

Sorprendentemente, el segundo miembro de esta expresin es igual a la que

obtuvimos despus de todas nuestras manipulaciones aritmticas. Pero, De
dnde sacamos aquella expresin?, la obtuvimos suponiendo que el nmero

tenia la propiedad P , es decir, que se podan sumar todos los nmeros desde 1
hasta n mediante la frmula que vimos. Por lo tanto, si la formula se cumple para
n, entonces tambin se cumple para n 1 (sea lo que sea

n ). Con esto hemos

probado que se cumple el segundo enunciado.

En resumen, preguntndonos que nmeros tienen la propiedad de que la suma
desde 1 hasta ellos es igual a

( n 1) n
, hemos llegado a la conclusin de que la
2

propiedad cumple los enunciados 1 y 2. As que, gracias al principio de

induccin, podemos afirmar que todos los nmeros naturales tienen esta
propiedad.

14

Ya sabemos que la induccin es un razonamiento que permite demostrar una

infinidad de proposiciones, o una proposicin que depende de un parmetro n
que toma una infinidad de valores, usualmente en el conjunto de los Natural.
Ahora daremos algunos ejemplos de demostraciones por induccin.

1.6 EJEMPLOS DE INDUCCIN

A. Demostracin de que la suma de los n primeros nmeros naturales
viene dada por la expresin:

n( n 1)
n(n 1)
o sea: 0 1 2 ... n
2
2

Sol.
Teorema 1:
Para n 0 : 0

0(0 1)
0 , se verifica.
2

Para n 1 : 0 1

1(1 1) 2
1 , se verifica.
2
2

Teorema 2:
Sea cierta expresin para n k : 0 1 2 ... k

k ( k 1)
2

Y veamos qu, entonces, ha de ser cierta para n k 1 :

0 1 2 ... k k 1

(k 1)(k 1)
2

En efecto:
0 1 2 ... k (k 1)

k (k 1)
k (k 1) 2(k 1) (k 1)(k 2)
k 1

2
2
2

B. Demostracin de la siguiente identidad:

cos x. cos( 2 x). cos(4 x )... cos(2 n x )

sen(k n 1 x )
2 n 1 senx

Sol.
Teorema 1:
Para n 0 : cos( 2 0 x) cos x

sen( 2 0 1 x) sen( 2 x) 2senz. cos x

cos x
2senx
2senx
2 0 1 senx

15

Se verifica.
Teorema 2:
Sea cierta para n k : cos x. cos(2 x ). cos( 4 x )... cos(2 k x)

sen( 2 k 1 x)
2 k 1 senx

Y veamos que en est caso ha de ser cierta para n k 1 :

cos x. cos(2 x ). cos( 4 x )... cos(2 k x ) cos(2 k 1 x )

sen(2 k 2 x )
2 k 2 senx

En efecto:
k

cos x. cos(2 x). cos(4 x)... cos(2 x) cos(2

k 1

sen(2 k 1 x)
x) k 1
. cos(2 k 1 x)
2 senx

2 sen( 2 k 1 x ). cos(2 k 1 x ) sen(2.2 k 1 x ) sen( 2 k 2 x )

k 2
(2 k 2 senx )
(2 k 2 senx )
( 2 senx)

C. Indagacin de cules son los nmeros naturales para los que se verifica
la desigualdad: 2 n 2.n 1
Sol.
Teorema 1:
Para n 0 : 2 0 2.0 1 1 , no se verifica.
Para n 1 : 21 2.1 1 3 , no se verifica.
Para n 2 : 2 2 2.2 1 5 , no se verifica.
Para n 3 : 2 3 2.3 1 7 , se verifica.
Teorema 2:
Sea cierta para n k : 2 k 2k 1
Veamos, entonces, que tambin se verifica para n k 1 : 2 k 1 2(k 1) 1
En efecto:
2 k 1 2 k .2 (2k 1).2 4k 2 2(k 1) 1 2k 1 2( k 1) 1

Lo cual es cierto para k 2 . As, pues, podemos afirmar que la proposicin es

cierta en el conjunto 3, .

D. Demostracin de que la expresin a 2 n 1 es divisible por a 1 .

16

Sol.
Teorema 1:
Para n 1 : a 2.1 1 a 2 1 ( a 1).(a 1) , es divisible por a 1 , Se verifica.
Teorema 2:
Sea cierta la proposicin para n k : a 2 k 1 , es divisible por a 1 .
Veamos entonces que tambin ser cierta para n k 1 : a 2 ( k 1) 1 , es divisible
por a 1 .
En efecto:
a 2 ( k 1) 1 (a 2 k 1) a 2 a 2 1 ( a 2 k 1)a 2 (a 1)(a 1)
El primer sumando es divisible por a 1 esto es por hiptesis, y el segundo lo

es porque contiene a (a 1) como factor.

Por consiguiente, a 2 n 1 es divisible por a 1 , para todo n 0 .
1.7 INDUCCIN E INFERENCIA INDUCTIVA
Ya comentamos que se llama inferencia inductiva (o induccin) al proceso de
obtener leyes generales basadas en la observacin de casos particulares. Qu
relacin hay entre la inferencia inductiva y el principio de induccin?, ambas
extraen como conclusin una ley o propiedad general a partir de la
comprobacin de la verdad de sta en casos particulares. Ahora bien, el principio
de induccin garantiza que la propiedad considerada se cumple absolutamente
en todos los casos particulares, luego la validez de la conclusin est garantizada
deductivamente. Sin embargo, la mayora de los argumentos inductivos
simplemente comprueban que se cumple una propiedad sin considerar todos los
casos posibles (normalmente no se conocen todos los casos; incluso hay
problemas en los que el nmero de casos es infinito) y no existe un equivalente
de nuestro enunciado 2 que impida que otro caso nuevo contradiga nuestra
hiptesis, por lo que no se puede garantizar lgicamente la verdad de la
conclusin y se debe considerar como verdadera solo provisionalmente.
PREGUNTA:
Es vlido el siguiente argumento?, al levantarme cierta maana, pude
presenciar un espectacular amanecer. Desee que todas las maanas fueran como
esa. Desde entonces, siempre me he despertado temprano para ver la salida del

17

Sol y he observado como cada nuevo amanecer sigue al anterior. De esta

experiencia podemos concluir, por induccin, que el Sol saldra maana y que
continuara saliendo en cada jornada sucesiva.
El contraejemplo ms evidente es el de un da nublado. Bertrand Russell nos da
un contraejemplo extremo: "La creencia de que el sol saldra maana podra
llegar a ser falsa si la Tierra entrara sbitamente en contacto con un cuerpo
grande que destruyera su rotacin". Se ha argido que tenemos razn para
esperar que el futuro se parecer al pasado, porque lo que era el futuro se ha
convertido constantemente en el pasado y se ha parecido siempre al pasado, de
tal modo, que en realidad tenemos la experiencia del futuro, es decir, del tiempo
que era anteriormente el futuro y que podemos denominar futuro pasado. Pero
est argumento encierra realmente una peticin de principio. Tenemos la
experiencia de futuros pasados, pero no de futuros, y el problema es est: Los
futuros se asemejaran a los futuros pasados?, no se puede responder a esta
pregunta con argumentos que se apoyen solo en los futuros pasados. Por tanto,
nos es preciso buscar algn principio que nos permita saber que el futuro seguir
las mismas leyes que el pasado.
La referencia al futuro no es esencial a est problema. La misma cuestin se
suscita cuando aplicamos las leyes vigentes en nuestra experiencia a objetos
pasados de los cuales no tenemos la experiencia, como por ejemplo, en geologa
o en las teoras sobre el origen del sistema solar.
El problema que realmente nos hemos de plantear es el siguiente: Cuando dos
cosas se han hallado frecuentemente asociadas y no conocemos ejemplo alguno
en el cual haya ocurrido la una sin la otra, el hecho de que ocurra una de ellas
No da, en un caso nuevo, un fundamento suficiente para esperar la otra?, de
nuestra respuesta a esta pregunta depender la validez de todas nuestras
esperanzas relativas al futuro, de todos los resultados obtenidos por la induccin
y desde el punto de vista prctico, de todas las creencias en que se funda nuestra
vida cotidiana.
Debemos conceder, por lo pronto, que el hecho de que dos cosas se hayan
hallado con frecuencia unidas y jams separadas, no basta por s mismo para
probar de un modo demostrativo que se hallaran tambin unidas en el prximo
caso. Lo ms que podemos esperar es que cuanta mayor sea la frecuencia con
que se hayan hallado unidas, ms probable ser que se hallen unidas en otra
18

ocasin, y que si se han hallado unidas con frecuencia suficientes, la

probabilidad llegara casi a la certeza. Tal aserto no puede alcanzar nunca la
certeza completa porque sabemos que, a pesar de la frecuencia de las
repeticiones, ocurre a veces una decepcin final, como en el caso del pollo al
cual le tuercen el cuello. La probabilidad es todo lo que podemos pretender.
Se podra objetar contra la opinin que defendemos que todos los fenmenos
naturales estn sujetos a la soberana de las leyes y que a veces, fundndose en
nuestras observaciones, podemos constatar que solo una ley es posible que
convenga a los hechos de que se trata. De dos maneras se puede responder a esta
opinin. La primera es que aun si una ley que no sufre excepcin alguna se
aplica a nuestro caso, en la prctica no podemos estar jams seguros de que
hayamos descubierto esta ley y no una ley que sufra excepciones. La segunda es
que aun el imperio mismo de la ley parece ser solo probable y que nuestra
creencia de que seguir imperando en el futuro en los casos de pasado que no
hemos examinado, se basa precisamente en el principio que estamos
examinando. El principio que estudiamos puede ser denominado principio de la
induccin y sus dos partes pueden ser formuladas como sigue:
Cuando una cosa de una cierta especie A, se ha hallado con frecuencia
asociada con otra cosa de otra especie determinada B, y no se ha hallado
jams disociada de la cosa de la especie B, cuanto mayor sea el nmero de
casos en que A y B se hayan hallado asociados, mayor ser la
probabilidad de que se hallen asociados en un nuevo caso en el cual sepamos
que una de ellas se halla presente.
En las mismas circunstancias, un nmero suficiente de casos de asociacin
convertira la probabilidad de la nueva asociacin casi en una certeza y hara
que se aproxime de un modo indefinido a la certeza.
El principio inductivo, no obstante, es igualmente incapaz de ser probado
recurriendo a la experiencia. Es posible que la experiencia confirme el principio
inductivo en relacin con los casos que han sido ya examinados; pero en lo que
se refiere a los casos no examinados, solo el principio inductivo puede justificar
una inferencia de lo que ha sido examinado a lo que no lo ha sido todava. Todos
los argumentos que, sobre la base de la experiencia, se refieren al futuro o a las
partes no experimentadas del pasado o del presente, suponen el principio de la

19

induccin, de tal modo que no podemos usar jams la experiencia para

demostrar el principio inductivo sin incurrir en una peticin de principio.
As pues, nos es preciso aceptar el principio de la induccin en virtud de su
evidencia intrnseca, o renunciar a toda justificacin de nuestras esperanzas
relativas al futuro. Si el principio es errneo, no tenemos razn alguna para creer
que el Sol saldra maana, que el pan seria ms alimenticio que una piedra, o
que si nos arrojamos del tejado caeremos. Cuando veamos que se aproxima lo
que tiene la apariencia de nuestro mejor amigo, no tendremos ninguna razn
para suponer que su cuerpo no se halla habilitado por el espritu de nuestro peor
enemigo o de alguien totalmente extrao. Toda nuestra conducta se basa en
asociaciones que han actuado en el pasado y por consiguiente, consideramos que
seguiran actuando en el futuro; y esta probabilidad depende, en cuanto a su
validez, del principio de la induccin. Los principios generales de la ciencia,
como la creencia en el reino de la ley y la de que todo acontecimiento debe tener
una causa dependen tambin completamente del principio de la induccin, como
las creencias de la vida cotidiana. Todos estos principios generales son credos
porque la humanidad ha hallado innumerables ejemplos de su verdad y ningn
ejemplo de su falsedad; pero esto no proporciona la evidencia de que serian
verdaderos en el futuro, si no admitimos el principio de la induccin.
As, todo conocimiento que, sobre la base de la experiencia, nos dice algo sobre
lo que no se ha experimentado, se basa en una creencia que la experiencia no
puede confirmar ni refutar, pero que, por lo menos en sus aplicaciones ms
concretas, aparece tan firmemente arraigado en nosotros como muchos hechos
de la experiencia.
1.8 INDUCCIN FUERTE
Es un mtodo de demostracin similar a la induccin comn, pero difiere en el
razonamiento de lo que queremos demostrar. Se toma un nmero fijo y se toma
como hiptesis que es cierta para otro nmero fijo mayor que est (y todos los
que estn entre ellos). As, la afirmacin es cierta solo si tambin se cumple para
el sucesor de est ltimo nmero.
Existe tambin un mtodo de Induccin Dbil, que usa un razonamiento, en
cierto modo, inverso a est, ya que su demostracin toma como base la hiptesis
de que es cierta para el antecesor del que se quiere demostrar.
20

El procedimiento es vlido considerando que los elementos de lo que queremos

demostrar pertenecen a un Conjunto inductivo.
Es decir, el conjunto de todas las afirmaciones es un conjunto inductivo.
Podemos enunciar el principio de induccin fuerte como sigue:
Sea Pn una afirmacin que depende del parmetro

n entero, y suponiendo que

se demuestra que:
Pn es cierta para un cierto n 0 entero.
Siempre que Pm es cierto para cualquier entero n0 mk ; entonces
P ( k 1) es cierto.

Entones la afirmacin Pn ser cierta para todo entero n n0 .

1.9 UN EJEMPLO DE INDUCCIN FUERTE: EL JUEGO DE LAS MONEDAS
Tenemos filas de monedas dispuestas sobre una mesa. Ganamos si conseguimos
eliminar todas las monedas de la fila de acuerdo con el siguiente procedimiento,
podemos empezar eliminando cualquier moneda que muestre la cara; pero
entonces tenemos que dar la vuelta a las monedas (una o dos) que estn al lado
de ella, despus buscamos otra cara y procedemos como en el caso anterior. La
pregunta es: Cmo tiene que ser una fila de monedas para poder dejarla
totalmente vaca por est procedimiento?, examinando casos con un nmero
pequeo de monedas hacemos la siguiente conjetura:
n N podemos vaciar completamente una fila de

n monedas si el nmero

de caras es impar.
Llamamos P (n) al enunciado de esta conjetura y vamos a demostrar P (n)
utilizando el principio de induccin fuerte.
P (1) es, desde luego, verdad: una fila de longitud 1 se puede vaciar si y solo si

es una cara.
Consideremos ahora una fila de k monedas, con k 1 : Suponemos que una fila
de longitud menor que k se puede vaciar si y solo si tiene un nmero impar de
caras. Vamos a ver ahora que lo mismo sucede para nuestra fila de k monedas a
la que vamos a llamar F . Supongamos, en primer lugar, que F tiene un
nmero impar de caras. Si empezamos a recorrer F de izquierda a derecha, sea
C la primera cara que encontramos. La eliminamos y les damos la vuelta a sus

vecinas, lo que nos queda son dos filas. La de la izquierda, o sea la formada por
las monedas anteriores a C , o bien es vaca o bien tiene una nica cara en su

21

extremo derecho. La fila que queda a la derecha de C si no es vaca, tiene

tambin un nmero impar de caras, ya que resulta de voltear la primera moneda
en una fila con un nmero par de caras. As pues, despus de quitar la primera
cara y dar la vuelta a las monedas vecinas, la fila F queda sustituida por dos
filas ms pequeas que tambin tienen un nmero impar de caras. Por la
hiptesis de induccin, ambas filas se pueden vaciar y as queda visto que F se
puede vaciar.
Supongamos ahora que F tiene un nmero par de caras si quitamos una cara
cualquiera de C , nos queda un nmero impar; as que habra un nmero impar
a la izquierda de C y un nmero par a la derecha de C o al revs. El trozo con
un nmero impar de caras es, desde luego no vaco y si se da la vuelta a la
moneda vecina de C , nos deja una fila con un nmero par de caras y longitud
estrictamente menor que k . Por la hiptesis de induccin, esta fila no se puede
agotar y, por consiguiente, tampoco se puede agotar F .
1.10

INDUCCIN TRUNCADA
La induccin truncada se fundamenta en el siguiente lema:
Sea A subconjunto de los naturales, y N un elemento de los naturales, tal es
que:
N A.
a A : n N se tiene n 1 A . Entonces A contiene todos los naturales
a partir de N .
Esto es:
n N :n N A

Demostracin:
Si N 0 el resultado es precisamente el principio de induccin. Si N 0
considere el conjunto.
B A 0,1,2, N 1

Entonces claramente B es inductivo y por el principio de induccin se sigue

que B N . Ahora dado n N tal que n N , se tiene n B 0,1,2,..., N ,
lo que demuestra que n AQ. E . D. .
1.11

ALGUNOS EJEMPLOS DE INDUCCIN TRUNCADA

Determine para que valores de n N es verdadera la desigualdad:
22

2 n n 2 4n 5

Al examinar los valores de n 1,2,3,4,5,6 nos damos cuenta que la desigualdad

es incorrecta, pero si es verdadera para n 7 , por lo que podemos intentar
demostrar por el mtodo de induccin trucada que para todos los valores de
n 7 , la desigualdad es verdadera.

Paso 1: Si n 7 , obtenemos:
2 7 128 7 2 4.7 5 82

O sea, cuando n 7 , la desigualdad es correcta.

Paso 2: (Hiptesis Inductiva) Se supone que la desigualdad es verdadera para
un cierto valor de n k , o sea:
2 k k 2 4.k 5

Paso 3: Finalmente a partir de la hiptesis inductiva, se desea probar la Tesis

dada por:
2 ( k 1) (k 1) 2 4(k 1) 5

Al multiplicar la desigualdad dada en la hiptesis inductiva por 2,

obtenemos:
2 ( k 1) 2k 2 48k 10

Transformando el segundo miembro de esta desigualdad obtenemos:

2 ( k 1) ( k 1) 2 4(k 1) 5 k 2 2k

Teniendo en cuenta que k 2 2k 0 para todo k 7 ; podemos deducir que:

2 ( k 1) (k 1) 2 4(k 1) 5 , obteniendo lo que se requera demostrar.

1.12

CONJUNTO BIEN ORDENADO

Se dice que un conjunto de elementos est bien ordenado, o tiene un buen orden,
cuando, considerando la relacin de orden definida en l; el conjunto tiene un
primer elemento.
Por ejemplo: El conjunto de los nmero naturales, con la relacin de orden
definida por: a bc : a c b , con c un natural; es un conjunto bien
ordenado. Su primer elemento es el 0, ya que 0 a , para todo elemento a
natural, con la relacin anteriormente definida.

1.13

DEFINICIN DE PRIMER ELEMENTO

23

Si A es un conjunto totalmente ordenado se dice que n es el primer elemento o

elemento mnimo de A si satisface:
n es un elemento de A .
Si m es cualquier elemento de A , entonces

n es menor o igual que

m , intuitivamente se entiende que el elemento mnimo es el ms pequeo

de un conjunto.

1.14

PRINCIPIO DEL BUEN ORDEN

El principio del buen orden es un lema el cual dice que si A es un subconjunto
no vaco de N , entonces A tiene primer elemento.
Demostracin:
Supongamos que A no tiene primer elemento, y definamos:
B N A n N : n A

Tomemos que 0 B , pues de lo contrario sera el primer elemento de A .

Ahora s k B , para todo k n , entonces n 1 B , pues de lo contrario n 1
sera el primer elemento de A . Por el principio de induccin completa se sigue
que B N , y consecuentemente A . Como esto contradice la hiptesis, A
debe tener primer elemento. Q.E.D.
1.15

RELACIN DE ORDEN
Una relacin definida sobre los elementos de un conjunto de forma que sea
reflexiva, antisimtrica y transitiva es una relacin de orden. Tal relacin permite
comparar dos elementos dados y nos permite indicar cul de ambos esta antes
cual es el que esta despus.
Si en el conjunto hay pares de elementos que no son comparables, esto es, de los
cuales no se puede decir cual esta antes cual esta despus, la relacin se dice que
es de orden parcial, y si por el contrario todos los pares de elementos del
conjunto son comparables, la relacin se denomina de orden total.
En definitiva, un conjunto dotado de una relacin de orden es un conjunto
ordenado. El orden puede ser total o no segn que dos cualesquiera elementos
del conjunto sean comparables con dicho orden, o que, sin embargo, existan
24

parejas de elementos que no se puedan comparar con l. Un orden parcial indica,

pues, que existen pares de elementos de los que no se pueda decir cul de los dos
esta antes que el otro en dicho orden.
Tanto si en el conjunto que se considere existe un orden total, o bien un orden
parcial, siempre pueden seleccionarse elementos del mismo conjunto sobre los
cuales el orden del conjunto global sea un orden total. El conjunto de estos
elementos seleccionados es lo que llamamos una cadena.
Una cadena C , pues, es un subconjunto de un conjunto A al menos
parcialmente ordenado y tal que los elementos de C estn totalmente
ordenados.
Un conjunto se dice bien ordenado, o, simplemente, dotado de un buen orden, si
toda parte no vaca del mismo admite un primer elemento. Es inmediato que si
un conjunto est bien ordenado, tambin est totalmente ordenado, pues bastara
tomar una parte de solo dos elementos y uno de ellos, por el buen orden
existente, ser el primero, es decir, el que esta antes en dicho orden.
1.16

COTAS
Un conjunto A dotado al menos de un orden parcial del tipo menor o igual
que se dice superiormente acotado, o mayorado, por un elemento p si
ningn elemento x del conjunto A es mayor que el elemento p . Si todos
los elementos de A fueran comparables con p esto sera equivalente a decir
que todo elemento de A , es menor o igual que el elemento p . El elemento
p se dice cota superior de A , o mayorante de A .

p cota sup A r A, r p
Anlogamente se define el concepto de inferiormente acotado, o minorado. Los
elementos que no son mayores que ningn elemento de A se llaman cotas
inferiores de A , o minorantes de A .
p cota inf A r A, r p
1.17

ELEMENTO MXIMO Y MNIMO

Un elemento mximo de un conjunto A al menos parcialmente acotado es un
elemento de A tal que ningn otro elemento de A es mayor que l. Dicho de
otro modo, un elemento del conjunto A que es cota superior del mismo.

25

Un elemento mnimo de un conjunto A al menos parcialmente acotado es un

elemento de A tal que ningn otro elemento de A es menor que l. Dicho de
otro modo, un elemento del conjunto A que es cota inferior del mismo.
Si el conjunto A estuviera totalmente ordenado, entonces, un elemento
maximal, si existe, se denomina mximo, y es nico. Lo mismo ocurre con un
elemento minimal, al cual denominaremos mnimo de A y es, tambin, nico.
En definitiva, podemos escribir las relaciones simblicas siguientes:

( A, ) Parcial p A es maximal ( A) r A, r p
( A, ) Total p A es mximo ( A) r A, r p

( A, ) Parcial p A es minimal ( A) r A, r p
( A, ) Total p A es mnimo ( A) r A, r p

Si el conjunto de las cotas superiores de A estuviera totalmente ordenado, su

elemento minimal, en caso de existir, ser nico y elemento mnimo de dicho
conjunto de cotas superiores, el cual se dice es el supremo del conjunto A , y, si
pertenece al conjunto A , es tambin el mximo de A .
Por analoga, si el conjunto de las cotas inferiores de A estuviera totalmente
ordenado, su elemento maximal, caso de existir, ser nico y elemento mximo
de dicho conjunto de cotas inferiores, el cual se dice que es el nfimo del
conjunto A , y, si perteneciera al conjunto A , ser tambin el mnimo de A .
En realidad, un conjunto en el que cualquier cadena esta mayorada, o sea, que
admite cota superior, es un conjunto de tipo inductivo, esto es, ordenado
inductivamente. Si, adems, admite una cota superior o mayorante mnimo (o
supremo), diremos que el conjunto es fuertemente inductivo.

26

CONCLUSIN

El razonamiento inductivo ha dado mucho que sospechar. La lgica y sus derivados, al

parecer, solo conocen el mtodo de la deduccin, es decir, se parte de lo ms evidente
(digmosle axiomtico) para construir grandes estructuras indestructibles.
En cambio, con la induccin parece que damos un rodeo por el tejado de manera
especulativa y en muchas ocasiones desacertadamente.
Esta es la llaga que decidieron no padecer los matemticos de la intuicin, en la cual
descartaban cualquier presentimiento psicolgico del cintico. Es por eso que hay
quienes piensan como Wittgenstein, L. Tractatus, que el proceso de induccin consiste
en admitir la ley ms simple que pueda armonizarse con nuestra experiencia. Est
proceso, pues, no tiene fundamentacin lgica, sino psicolgica.; adems de que no
existe la necesidad de que una cosa deba acontecer porque otra haya acontecido; hay
solo una necesidad lgica.

27

CAPITULO II
REFERENCIAS BIBLIOGRFICAS
2.1

BIBLIOGRAFA BSICA:
Kurt Godel, Obras Completas, Primera edic. en Cast. "Alianza

Universidad" S.A., Madrid 1981,1989, 2006.

Sominski, I. S., Mtodo de Induccin Matemtica, Edit. Mir, Moscu,

1985.

Gelbaum, B.R. y Olmsted, J.M.H., Teoremas y contraejemplos en

matematicas, Springer-Verlag, 1990.

Universidad Tecnolgica de Pereira. ISSN 0122-1701, Generalizacin de

la Induccin Matemtica a Estructuras Inductivas, No 49, Diciembre de 2011.

Alessandra Gallinari, Bases de Matemticas (Apuntes), ESCET 2003.

Jos Espinosa, Induccin Matemtica, ltima modificacin: 08 de Junio

de 2011.

2.2

Induccin Matemtica, 23 de Abril del 2010.

DIRECCIONES ELECTRNICAS:

Ejercicios de Induccin Sobre Estructuras Numricas.

28

http://www.eneayudas.cl/indmat.htm
25/Julio/12

Estudio de la Induccin Matemtica (ingls).

http://www.cut-the-knot.com/induction.shtml
25/Julio/12

Induccin Matemtica (ingls).

http://www.math.csusb.edu/notes/proofs/pfnot/node10.html
25/Julio/12

Induccin Matemtica.
http://www.math.cl
25/Julio/12

29