CENIDET INDUCCION MATEMTICA

cenidet 2006.
59

DEPARTAMENTO DE DESARROLLO ACADMICO
Jos Luis Ramrez Alcntara
Manuel Jurez Pacheco



INDUCCIN MATEMTICA.


2.0.- INTRODUCCIN.

En esta unidad se presentarn los conceptos y pasos
bsicos del mtodo de demostracin denominado
induccin matemtica, pretendemos que puedas
identificarlos y utilizarlos con eficiencia para demostrar los
diversos teoremas en los que se aplica.

La unidad se dividir en dos partes: en la primera se
describir el mtodo de induccin matemtica y se te
plantearn diversas actividades para que logres un cierto
dominio en su aplicacin, esperando que puedas reconocer
los tres pasos de que consta y que los analices
adecuadamente en cada demostracin. En la segunda parte
se abordarn dos tpicos:

a) el problema heurstico de obtener (descubrir)
patrones a partir de la generalizacin de casos
particulares (induccin Euleriana), es decir, se
abordar el problema de conjeturar relaciones o
teoremas. Aqu el trabajo se realizar en forma de
taller donde se pretende que se haga una reflexin
sobre los procesos heursticos que cada uno utiliza
en la solucin de problemas.

b) se comentar el uso inadecuado del mtodo de
induccin matemtica.
CENIDET INDUCCION MATEMTICA
cenidet 2006.
60





2.1.- INDUCCION MATEMATICA.

En matemticas, como en las ciencias, existen dos
mtodos generales por medio de los cuales podemos
obtener nuevos resultados, estos son: el mtodo de
Deduccin que presupone un conjunto de axiomas de los
cuales podemos deducir (derivar) nuevos resultados,
llamados teoremas, siempre que se sigan las reglas de
inferencia establecidas y no se violen las leyes lgicas. Un
ejemplo de este mtodo se ha estudiado ya en la unidad
anterior (Lgica Proposicional).

El segundo mtodo denominado Induccin implica el
proponer o descubrir patrones generales (relaciones,
esquemas, propiedades, ...) a partir de la observacin del
comportamiento de ciertos datos. Muchas de estas
conjeturas tanto en las ciencias como en las matemticas
quedan como simples suposiciones con cierto grado de
posibilidad o veracidad. Pero algunas de ellas,
especialmente en matemticas, que se refieren o estn
relacionadas con los nmeros naturales pueden ser
demostradas por el mtodo de demostracin denominado
Induccin matemtica.

En realidad este mtodo no tiene que ver con el
proceso de conjeturar una propiedad o ley general, sino ms
bien con el proceso de demostrarla.

El mtodo se basa en el Principio de Induccin
Matemtica que consiste en lo siguiente:

Una proposicin relativa a los nmeros naturales es
vlida para todo nmero natural (o todo nmero
natural mayor o igual a n
0
) si:
i).- es vlida para n =1 (o n = n
0
) y
ii).- siendo verdadera para un nmero natural
cualquiera n esto implica que es verdadera
para el siguiente nmero natural n +1

Toda demostracin que se basa en el principio de
induccin matemtica se denomina: por induccin (por el
mtodo de induccin matemtica). Tal demostracin consta
necesariamente de dos partes: la primera es demostrar o
verificar que la proposicin es verdadera para n = 1 (o n
= n
0
) y la segunda es demostrar que si la proposicin se
cumple o es verdadera para los primeros n nmeros
naturales, esto implica que tambin es verdadera para el
siguiente nmero natural n +1
Si ambos pasos han sido demostrados, podemos
afirmar, en virtud del principio de induccin matemtica, que
la proposicin es vlida para todo nmero natural n.

La estructura lgica del principio es la siguiente: son
verdaderas las proposiciones

a) P(1)
b) n e P(n) P(n + 1)

donde P simboliza la propiedad que se desea demostrar.

Vemos que con este esquema se puede verificar que
la propiedad es vlida para todos los nmeros naturales: por
a) se tiene que P(1) es verdadera, entonces al sustituir
en b) n = 1 obtenemos

CENIDET INDUCCION MATEMTICA
cenidet 2006.
61
P(1)
P(1) P(2),

y al aplicar el modus ponens resulta P(2), si ahora
sustituimos en b) n = 2 obtenemos

P(2)
P(2) P(3),

donde al aplicar de nuevo el modus ponens se obtiene
P(3). Continuando de esta forma podramos demostrar que
la propiedad es vlida para cualquier nmero natural n.

Para entender mejor lo antes escrito veamos los
siguientes ejemplos:

EJEMPLO 1: Demostrar por induccin matemtica que la
suma de los primeros n nmeros naturales se puede
obtener con la frmula n(n+1)/2, es decir:

1 + 2 + 3 + ... + n = n(n+1)/2

Siguiendo el mtodo de induccin, se tienen que
hacer los siguientes dos pasos.

Paso 1.-

El primero de los pasos es verificar que la
proposicin se cumple para n = 1.

En este caso se tiene: 1 = 1(1 + 1)/2
1 = 1,
con lo que se verifica que la proposicin es cierta para n = 1.

Paso 2.

Segn el mtodo de induccin matemtica, se tiene
que suponer que la proposicin es vlida para los primeros
n = k nmeros naturales (hiptesis de induccin) y de ah
deducir que es tambin vlida para el siguiente nmero
natural n = k + 1 (paso inductivo).

Siguiendo este mtodo, supongamos cierta la
proposicin para los primeros n = k nmeros naturales,
esto es, lo que tenemos que suponer es que para los
primeros k enteros se cumple

1 + 2 + 3 + ... + k = k (k+1) / 2 (hiptesis de induccin)

Ahora hay que tratar de deducir (comprobar) que la
proposicin es vlida para n = k + 1.

Pero qu significa deducir que es vlida para
n = k + 1?

Significa que, utilizando argumentos vlidos, que en
este caso son algebraicos, se llegue de:

1 + 2 + 3 + ... + k = k(k+1)/2 a 1 + 2 + 3 + ... + k+1 = (k +1)(k+ 2)/2.





Cmo pasar de A a B de una manera vlida?

Realizando la suma de los primeros K + 1 nmeros
naturales, es decir, calculando
1 + 2 + 3 + ... + k + (k + 1).
Para calcular la suma usemos lo que hemos supuesto
A
B
CENIDET INDUCCION MATEMTICA
cenidet 2006.
62
como verdadero, es decir usemos el hecho de que
1 + 2 + 3 + ... + k = k (k+1) / 2

2 (hiptesis de induccin), entonces


1 + 2 + 3 + ... + k + (k + 1) = (k ( k + 1)/ 2 ) + k +1.




Ahora simplifiquemos la parte derecha de la ecuacin
anterior:

1 + 2 + 3 + ... + k + (k + 1) = k ( k + 1)/ 2 + k +1
= [ k (k + 1) + 2(k +1)]/2
= (k + 1)(k + 2)/2 (factorizando
k +1),

por lo tanto

1 + 2 + 3 + ... + k + (k + 1) = (k + 1)(k + 2)/2

que es la expresin B que queramos obtener.

Como hemos verificado que la proposicin se
cumple para n= 1 y que siendo vlida para n = k es
vlida tambin para n = k + 1, entonces podemos
afirmar que la proposicin es vlida para todos los
nmeros naturales.

Observaciones:

a) Para pasar de la expresin A a la expresin B
no se sustituy K por K + 1 en la expresin A
(Por qu?).


b) Observe tambin que el mtodo de induccin
matemtica no nos indica cmo obtener la frmula para
calcular la suma de los primeros n nmeros naturales,
sino que nos permite demostrar que la proposicin 1 +2
+3 +... +n =n(n+1)/2 es verdadera.

c) En este ejemplo se han hecho explcitos los dos
pasos principales que se deben identificar y formular
adecuadamente en el proceso de demostracin, pero en
la mayora de los casos lo primero que se debe hacer es
verificar que el mtodo de induccin matemtica es
aplicable en la demostracin del enunciado ( se debe
verificar que la proposicin a demostrar es un enunciado
que se aplica, de alguna forma, en el conjunto de los
nmeros naturales, no se aplica a los nmeros reales, ni
en un enunciado relacionado a la existencia de algn
nmero que cumpla determinada propiedad).

EJEMPLO 2: Demostrar por induccin matemtica lo
siguiente:

2
0
+ 2
1
+ 2
2
+2
3
+ . . . + 2
n
= 2
n+1
1.

Por qu se podra aplicar el mtodo de induccin
matemtica para demostrar este enunciado? Explicar.

Siguiendo el mtodo de induccin, se tienen que
hacer los siguientes dos pasos.

Paso 1.

El primero de los pasos es verificar que la
proposicin se cumple para n = 0 (por qu para n = 0?)
CENIDET INDUCCION MATEMTICA
cenidet 2006.
63

En este caso se tiene: 2
0
= 2
0 +1
- 1
1 = 2
1
1 = 1,

con lo que se verifica que la proposicin es cierta para n = 0.

Paso 2.

Segn el mtodo de induccin matemtica, se tiene
que suponer que la proposicin es vlida para los primeros n = k
nmeros y de ah deducir que es tambin vlida para n = k + 1 (paso
inductivo).

Siguiendo este mtodo, supongamos cierta la
proposicin para n = k, esto es, lo que tenemos que suponer
es que para los primeros k enteros se cumple

2
0
+ 2
1
+ 2
2
+2
3
+ . . . + 2
k
= 2
k+1
1

Ahora hay que tratar de deducir (comprobar) que la
proposicin es vlida para n = k + 1.
Pero, qu significa deducir que es vlida para
n = k + 1?

Significa que utilizando argumentos vlidos, que en
este caso son algebraicos, se llegue de:

2
0
+ 2
1
+ 2
2
+2
3
+ . . . + 2
k
= 2
k+1
1 a 2
0
+ 2
1
+ 2
2
+ 2
3
+ . . .+ 2
k
+ 2
k+1
= 2
k+2
1





Cmo pasar de la expresin A a la expresin B
de una manera vlida?

Realizando la suma de los primeros K + 2 trminos,
es decir, calculando

2
0
+ 2
1
+ 2
2
+ 2
3
+ . . . + 2
k
+ (2
k +1
).

Para calcular la suma usemos lo que hemos supuesto
como verdadero, es decir usemos el hecho de que
2
0
+ 2
1
+ 2
2
+ 2
3
+ . . . + 2
k
= 2
k+1
1 (hiptesis de
induccin), entonces


2
0
+ 2
1
+ 2
2
+ 2
3
+ . . . + 2
k
+ (2
k +1
)

=

(2
k+1
- 1) + 2
k+1




Ahora simplifiquemos la parte derecha de la ecuacin
anterior:

2
0
+ 2
1
+ 2
2
+ 2
3
+ . . . + 2
k
+ (2
k +1
)

=

(2
k+1
- 1) + 2
k+1

= 2(2
k+1
) -1
= 2
k +2
- 1
por lo tanto
2
0
+ 2
1
+ 2
2
+ 2
3
+ . . . + 2
k
+ (2
k +1
) = 2
k +2
1

que es la expresin B que queramos obtener.

Como hemos verificado que la proposicin se cumple para n
= 0 y que siendo vlida para n = k es vlida tambin para
n = k + 1, entonces podemos afirmar que la proposicin es
vlida para todos los nmeros naturales.

**Observe que para pasar de la expresin A a la
expresin B no se sustituy K por K + 1 en la
expresin A (Por qu?).

Observe tambin que el mtodo de induccin
matemtica no nos indica cmo obtener la frmula para
A
B
CENIDET INDUCCION MATEMTICA
cenidet 2006.
64
calcular la suma de las potencias consecutivas de 2,
sino que nos permite demostrar que la proposicin
2
0
+2
1
+2
2
+2
3
+. . . +2
n
=2
n+1
1
es verdadera.

EJEMPLO 3: Demostrar que n e 3| (n
3
n), es decir,
que para todo nmero natural el 3 divide a los nmeros
naturales de la forma (n
3
n).

Por qu se podra aplicar el mtodo de induccin
matemtica para demostrar este enunciado? Explicar.

Lo primero que debemos hacer es contestarnos la
pregunta qu significa que 3| (n
3
n)?
Recordemos que por definicin 3| (n
3
n) significa que
- r e Z tal que 3*r = (n
3
n).
Ahora, siguiendo el mtodo de induccin, se tienen que
hacer los siguientes dos pasos.

Paso 1.
El primero de los pasos es verificar que la proposicin se
cumple para n = 0.
En este caso se tiene: 3| (0) lo cual es cierto ya que
3*0 = 0 (k = 0),
con lo que se verifica que la proposicin es cierta para n = 0.

Paso 2.
Segn el mtodo de induccin matemtica, se tiene que
suponer que la proposicin es vlida para los primeros n = k
nmeros y de ah deducir que es tambin vlida para
n = k + 1 (paso inductivo).

Siguiendo este mtodo, supongamos cierta la proposicin
para n = k, esto es, tenemos que suponer que para los
primeros k enteros se cumple que 3| (k
3
k) (hiptesis
de induccin) lo que implica, de acuerdo a la definicin
de divisibilidad, que
- r e Z tal que 3*r = (k
3
k).

Con esta suposicin en mente, ahora debemos demostrar
que tambin es cierto que 3| [(k +1)
3
(k + 1)].
Cmo demostrar que siendo 3| (k
3
k) verdadera,
tambin lo es 3| [(k + 1)
3
(k + 1)]?

Para poder hacer la demostracin debemos saber que
significa que 3| [(k + 1)
3
(k + 1)], lo cual nos ayudar en la
bsqueda de la demostracin.
Por definicin de divisibilidad 3| [(k + 1)
3
(k + 1)]
significa que
- w e Z tal que 3*w = [(k + 1)
3
(k + 1)].

Cmo encontrar ese w que se requiere? Qu
podemos usar?
Podemos usar la hiptesis de induccin: - r e Z tal que
3*r = (k
3
k).
Observemos que en la expresin [(k + 1)
3
(k + 1)] no
aparece el trmino (k
3
k). Pero lo podemos obtener
desarrollando el binomio y agrupando, esto es:
[(k + 1)
3
(k + 1)] = k
3
+ 1 - k 1
= (k
3
k) + ( 3k
2
+ 3k)
= 3*r + 3(k
2
+ k) [usando la hiptesis ]
= 3(r + k
2
+ k) (w = r + k
2
+ k).
Por lo tanto como [(k + 1)
3
(k + 1)] = 3(r + k
2
+ k)
podemos concluir que
3| [(k + 1)
3
(k + 1)].
Como hemos verificado que la proposicin se cumple para
n= 0 y que siendo vlida para n = k es vlida tambin para
n = k +1, entonces podemos afirmar que la proposicin es
vlida para todos los nmeros naturales.

CENIDET INDUCCION MATEMTICA
cenidet 2006.
65
EJEMPLO 4: Demostrar que n > 5, 2
n
> n
2
(n e ).

Por qu se podra aplicar el mtodo de induccin
matemtica para demostrar este enunciado? Explicar.

Aplicando el mtodo de induccin se tienen que hacer los
siguientes dos pasos.

Paso 1.-
El primero de los pasos es verificar que la proposicin se
cumple para n = 5. (Por qu?)
En este caso se tiene: 2
5
= 32 y 5
2
= 25, por lo que
2
5
> 5
2
.

Paso 2.
Segn el mtodo de induccin matemtica, se tiene que
suponer que la proposicin es vlida para los primeros n = k
nmeros (con k > 5 ) y de ah deducir que es tambin
vlida para n = k + 1 (paso inductivo).

Siguiendo este mtodo, supongamos cierta la proposicin
para n = k, esto es, tenemos que suponer que para los
primeros k enteros (con k > 5) se cumple que 2
n
> n
2
.
Con esta suposicin en mente debemos demostrar que
2
n + 1
> (n + 1)
2
.
Cmo podemos pasar de 2
n
> n
2
a 2
n + 1
> (n + 1)
2
?
Si observamos el lado izquierdo de 2
n
> n
2
, vemos que
bastara multiplicar por 2 para obtener una parte de lo que
se desea, esto es:
2*2
n
> 2* n
2

2
n + 1
> 2* n
2
.
Trabajando ahora con el lado derecho tenemos:

2
n + 1
> 2* n
2
= n
2
+ n
2
> n
2
+ 5n (con k > 5)
(Por qu?)
2
n + 1
> n
2
+ 5n = n
2
+ 2n + 3n > n
2
+ 2n + 1
2
n + 1
> n
2
+ 2n + 1 = (n + 1)
2
por lo tanto
2
n + 1
> (n + 1)
2
, que es lo que nos
interesaba verificar.

Como hemos verificado que la proposicin se cumple para
n = 5 y que siendo vlida para n = k (con k > 5) es vlida
tambin para n = k +1, entonces podemos afirmar que la
proposicin es vlida para todos los nmeros naturales
mayores o iguales a 5.

EJEMPLO 5: Supongamos que slo tenemos timbres
postales de 3 y 5 centavos. Demostrar la siguiente
afirmacin: Es posible realizar cualquier envo de n
centavos usando timbres de 3 y 5 centavos, para n > 8.

Por qu se podra aplicar el mtodo de induccin
matemtica para demostrar este enunciado? Explicar.

Queremos demostrar que es posible hacer cualquier envo
de 8 centavos o ms usando timbres de 3 y 5 centavos.
Para hacer un envo de 8 centavos slo se requiere un
timbre de 3 centavos y otro de 5.
Ahora debemos demostrar que de si es posible hacer un
envo de k centavos con timbres de 3 y 5 centavos,
entonces tambin ser posible hacer un envo de k + 1
centavos con el mismo tipo de timbres.
Para ver que esto es posible analicemos dos casos:
supongamos que hacemos un envo de k centavos usando
al menos un timbre de 5 centavos. Al remplazar un timbre
de 5 centavos por dos timbres de 3 centavos habremos
formado un envo de k + 1 centavos. Por otro lado,
supongamos que hacemos un envo de k centavos usando
solamente timbres de 3 centavos. Como k > 8, debe haber
al menos tres timbres de 3 centavos. . Al remplazar tres
CENIDET INDUCCION MATEMTICA
cenidet 2006.
66
timbres de 3 centavos por dos timbres de 5 centavos
habremos formado un envo de k + 1 centavos.
Con esta argumentacin hemos demostrado que la
afirmacin es vlida.

En esta demostracin: Cul es el paso bsico? Cul es el
paso inductivo? Dnde se us la hiptesis de induccin?
Por qu se concluye que la afirmacin es vlida?

CENIDET INDUCCION MATEMTICA
cenidet 2006.
67
EJERCICIOS:

1).- Explicar con sus propias palabras el procedimiento
general que se debe aplicar para demostrar un teorema por
el mtodo de induccin matemtica (haga un diagrama de
flujo para dicho procedimiento).
2).- Para cules de las siguientes proposiciones sera
directamente aplicable el mtodo de induccin matemtica?
Cuando no sea aplicable explicar el por qu.

a) Para cada entero positivo n, 8 divide a 5
n
+ 2*3
n-1
+ 1.
b) Existe un entero n > 0 tal que 2
n
> n
2
.
c) Para cada entero n > 1, 1(1!) + ... + n(n!) = (n+1)! - 1,
donde
n! = n(n - 1)....1.
d) Para cada entero n > 4, n! > n
2
.
e) Para cada nmero real n > 1, n
2
> n.

3).- En cada uno de los siguientes ejercicios, indicar los dos
pasos del mtodo de induccin, sin escribir la demostracin
completa.

i).- Para cada entero 1, 1(1!) + ... + n(n!) = (n+1)! - 1
ii).- Para cada entero n mayor o igual a 5, 2
n
> n
2
.
iii).- Un conjunto de n elementos tiene 2
n
subconjuntos
incluyendo el conjunto vaco (con n >. 1).
iv).- Para x >. 1 y para n = 1, 2, 3, ... se cumple que
(1 + x)
n
> 1 + nx.
v).- Cuando se trazan n rectas en el plano lo dividen
en (n
2
+ n +2)/2 regiones, suponiendo que no hay dos
rectas que sean paralelas y que tampoco hay tres rectas que
se corten en el mismo punto.
vi).- Si un rbol binario de altura h tiene t vrtices
terminales, entonces 2
h
> t.

4).- Demostrar que para cada entero n > 1, 6 divide a
n
3
- n estableciendo que 1) el enunciado es verdadero para
n = 1, y 2) si el enunciado es verdadero para (n - 1)
entonces, tambin es verdadero para n.
6).- Indicar lo que es incorrecto en la siguiente demostracin
de que todos los caballos tienen el mismo color.

Demostracin: Sea n el nmero de caballo. Para n =1
el postulado es verdadero, es decir, un caballo tiene el
mismo color (cualquier color). Suponga que en
cualquier grupo de n caballos todos tienen el mismo
color. Ahora, considere un grupo de (n + 1)
caballos. Tomando cualesquiera n de ellos, la
hiptesis de induccin establece que todos ellos
tienen el mismo color, por ejemplo, caf. Lo que
queda por determinar es el color del otro caballo. Por
consiguiente, considere dentro del mismo grupo de
(n + 1) caballos otro grupo de n caballos que
contenga el caballo cuyo color se desconoce. De
nuevo, por la hiptesis de induccin, todos los
caballos en este nuevo grupo deben tener el mismo
color. Luego, dado que todos los caballos en este
grupo son de color caf, el caballo cuyo color se
desconoce debe ser tambin de color caf.
CENIDET INDUCCION MATEMTICA
cenidet 2006.
68
2.1.- INDUCCION EULERIANA.

EJEMPLO 1: Se dice que Gauss resolvi, siendo un nio, la
suma de los primeros 100 nmeros naturales. Puedes
mostrar cmo obtener la frmula para calcular la suma de los
primeros n nmeros naturales?

SOLUCION:

La ancdota con respecto a Gauss es ms o menos as :
Se cuenta que estando Gauss en el saln de clases, como
buen nio inquieto, empez a desesperar al profesor. Este,
para entretenerlo, le pidi que obtuviera la suma de los
primeros 100 nmeros naturales, creyendo que lo iba a
demorar un buen rato. Sin embargo, Gauss encontr la
respuesta en menos tiempo del que haba considerado su
profesor.
Se dice que el razonamiento de Gauss, con tal de no
trabajar mucho, fue el siguiente:

Si se suma 100 + 1 = 101
Si se suma 99 + 2 = 101
50 sumas.

Si se suma 51 + 50 = 101

y con esto ya tengo la suma de los 100 primeros nmeros.

Adems, hay 50 sumas, que es la mitad de 100, cuya
suma es 101.
Entonces (101)*50 = 5050, y este es el resultado que
me pide el maestro.

Cul es la frmula que permitir hacer la suma de los
primeros n nmeros naturales?


EJEMPLO 2: Intenta establecer una relacin general
vinculando el nmero de caras, de vrtices y de aristas de
los siguientes poliedros, de quienes se tienen los siguientes
datos:

Poliedro Caras vrtices Aristas
tetraedro 4 4 6
pirmide
cuadrada
5 5 8
prisma triangular 5 6 9
pirmide
pentagonal
6 6 10
cubo 6 8 12
prisma cuadrado 6 8 12
octaedro 8 6 12
prisma
pentagonal
7 10 15
prisma hexagonal 8 12 18
prisma
heptagonal
9 14 21
prisma octagonal 10 16 24
Dodecaedro 12 20 30
Icosaedro 20 12 30


Cmo comenzaramos a buscar una solucin?.

Podemos, igual que en el ejemplo anterior, comenzar
analizando el enunciado.

En el enunciado se nos pide establecer una relacin
general, entonces tendramos que hacernos la misma
pregunta que en el ejercicio anterior: qu significa en este
caso establecer una relacin general?
CENIDET INDUCCION MATEMTICA
cenidet 2006.
69

Igual que antes, significa formular una ecuacin
donde aparezcan explcitamente las variables en cuestin.

En este problema, se nos pide que aparezcan
vinculadas el nmero de caras, que vamos a denominar C, el
nmero de vrtices, V, y el nmero de aristas, A.

Observa que al momento en que le estamos dando un
nombre a las variables, estamos dando los primeros pasos
para la simbolizacin de nuestra propuesta de patrn
algebraico.

El tipo de relacin (incgnita) que se busca puede
ser de muchas formas, pues la condicin slo establece
que deben vincularse caras, vrtices y aristas.

En este caso vamos a intentar establecer una relacin
lo ms sencilla posible utilizando los datos disponibles.

De acuerdo con esto, tendramos que preguntarnos
cmo, a partir de los datos, podemos establecer alguna
relacin?, es decir, tenemos que deducir de los datos alguna
relacin o algn elemento til.
1


a) Podramos comenzar buscando una sucesin de
nmeros creciente o decreciente en cada una de las
columnas, y despus intentar relacionarlas.

Si analizamos nuestros datos con este procedimiento,
nos damos cuenta que no nos llevara a encontrar tal
relacin, ya que esta seriacin en realidad no existe.


1

Polya, G. Cmo plantear y resolver problemas? Mxico, Trillas, 1990.

Por ejemplo, se ve que los nmeros aumentan y
disminuyen en la columna de las caras, esto es, no hay
regularidad en su secuencia. Lo mismo sucede con los
nmeros de vrtices y aristas (verifcalo).

Por otro lado, implicara que siempre contramos con
una lista donde comparar las caras, vrtices y aristas de
algn poliedro en particular, y esto no siempre es posible, as
que tendramos que abandonar esta forma de anlisis.

b) Podramos utilizar otro procedimiento buscando un
patrn de comportamiento por rengln. Y entonces intentar
relacionar los datos de caras, vrtices y aristas de alguna
forma.

Algunos ejemplos con este procedimiento son:

i) En el caso del tetraedro se cumple que si tomamos
la mitad de las caras y las restamos al total de las
aristas se obtendran los vrtices, pero no sucede lo
mismo si tomamos la pirmide cuadrada, ni ninguno
de los otros poliedros. Por lo tanto, este primer
intento no nos acerca a la solucin.

ii) Otro caso sera tomar los vrtices y multiplicarlo por
el nmero de aristas. El resultado obtenido es un
nmero divisible entre el nmero de caras, pero este
procedimiento solamente funciona en algunos casos.
Por ejemplo, para el tetraedro y la pirmide cuadrada
se cumplen, para el prisma triangular no se cumple.
Esta estrategia tampoco nos acerca a la solucin.

Podramos seguir haciendo ms ensayos, pero
habr alguna forma ms sistemtica de buscar la relacin
CENIDET INDUCCION MATEMTICA
cenidet 2006.
70
que se nos pide?

Regresemos a la pregunta de qu significa
establecer una relacin?
Habamos dicho que significaba establecer una
ecuacin donde aparezcan relacionadas las variables en
cuestin.

Qu tipo de relaciones (ecuaciones) recuerdas o has
estudiado antes en matemticas y cules seran sus
caractersticas?

Las relaciones que han sido ms estudiadas son las
lineales y las cuadrticas. Cul de ellas crees que nos
conviene usar para reiniciar nuestra bsqueda?

Completa el siguiente cuadro:
CARACTERISTICAS FORMAS DE
EXPRESION
LINEALES
CUADRATICAS

Si comenzamos a estudiar la forma lineal, tendramos
al menos tres funciones posibles:
V= ( C, A) ----> V = C + A + o
C= ( V, A) ----> C = V + A + |
A= ( V, C) ----> A = V + C +
Donde o, | y son constantes.
Con nuestros datos ensayemos alguna de ellas:

V= ( C, A) ----> V = C + A + o
Con la primera lnea de datos obtendramos que:
4 = 4 + 6 + o
donde alfa puede ser un valor cualquiera. En este caso nos
conviene poner -6 para establecer la igualdad.
4 = 4 + 6 + (-6)
4 = 4
Esta constante es vlida para el siguiente rengln de
datos?
Probemos:
5 = 5 + 8 + (-6)
5 = 13 + (-6)
5 no es igual a 7

Podemos observar que esta constante ya no es
vlida.
Probemos la relacin de aristas en trminos de caras
y vrtices:
A = ( V, C) ----> A = V + C +
Sustituyendo:
6 = 4 + 4 +
6= 8 +

Probemos con -2 como valor de la constante:
6 = 8 + (-2)
6 = 6
Ahora probemos con el rengln que sigue:

8 = 5 + 5 + (-2)
8 = 10 + (-2)
8 = 8

Analicemos otro rengln cualquiera, el sptimo por
ejemplo (prisma pentagonal):
15 = 10 + 7 + (-2)
15 = 17 + (-2)
15 = 15
Al parecer hemos encontrado la relacin que
buscbamos, y tendramos aparentemente criterios
suficientes para formular la expresin general como sigue:
A = C + V - 2
CENIDET INDUCCION MATEMTICA
cenidet 2006.
71

Existir algn otro mtodo para encontrar la
relacin?


Intenta encontrarla o describe como la buscaras.
CENIDET INDUCCION MATEMTICA
cenidet 2006.
72
En resumen lo que hemos hecho en el ejercicio anterior es:
A partir del anlisis de casos particulares (cada poliedro),
construyamos una relacin entre las variables
involucradas que nos permita responder o solucionar el
problema. Esta relacin entre variables tiene
caractersticas singulares, puesto que se supone es de
una generalidad tal que es vlida para cualquier caso
particular de los datos (poliedros). Esta solucin entonces,
an cuando conserva el sentido de los casos particulares,
es una generalizacin de todos ellos. Esto es, partimos de
estos casos particulares y concretamos una frmula
general.

El proceso de bsqueda de la relacin ha sido un proceso
heurstico en el que se han ensayado diferentes estrategias
hasta encontrar aquella que nos ha llevado a solucin del
problema. En general el proceso no es nico ni lineal y est
determinado por la experiencia previa.
CENIDET INDUCCION MATEMTICA
cenidet 2006.
73
RETO # 1.-
A partir de las siguientes igualdades, trata de encontrar la
ecuacin general para cualquier nmero, o sea, la ecuacin
ensima, n.

a) 2
3
- 1
3
= 3*1
2
+ 3*1 + 1
3
3
- 2
3
= 3*2
2
+ 3*2 + 1
4
3
- 3
3
= 3*3
2
+ 3*3 + 1
5
3
- 4
3
= 3*4
2
+ 3*4 + 1
6
3
- 5
3
= 3*5
2
+ 3*5 + 1

b). 2
4
- 1
4
= 4*1
3
+ 6*1
2
+ 4*1 + 1
3
4
- 2
4
= 4*2
3
+ 6*2
2
+ 4*2 + 1
4
4
- 3
4
= 4*3
3
+ 6*3
2
+ 4*3 + 1
5
4
- 4
4
= 4*4
3
+ 6*4
2
+ 4*4 + 1
6
4
- 5
4
= 4*5
3
+ 6*5
2
+ 4*5 + 1

c) (a + b)
2
= a
2
+ 2ab + b
2

(a + b)
3
= a
3
+ 3a
2
b + 3ab
2
+ b
3

(a + b)
4
= a
4
+ 4a
3
b + 6a
2
b
2
+ 4ab
3
+ b
4

(a + b)
5
= a
5
+ 5a
4
b + 10a
3
b
2
+ 10a
2
b
3
+ 5ab
4
+ b
5

(a + b)
6
=
(a + b)
7
=
. . .
. . .
(a + b)
n
=
RETO # 2.-
En cuadro que sigue se dibujaron unos polgonos y a su lado aparece el
nmero de lados n de cada uno de ellos as como el nmero de
tringulos t que se forman cuando, desde un mismo vrtice del polgono,
se unen vrtices no adyacentes por medio de un segmento.

POLIGONO n LADOS t TRIANGULOS





3

1







4

2







5

3







6

4









a) Llenar los espacios en blanco del cuadro.
b) Un polgono de 7 lados, tendr ____ tringulos.
c) Un polgono de 10 lados, tendr ______ tringulos.
d) Un polgono de 100 lados, tendr ______ tringulos.
e) Si un polgono tiene 88 tringulos, el polgono es de ____ lados.
CENIDET INDUCCION MATEMTICA
cenidet 2006.
74
f) Si un polgono tiene 101 tringulos, el polgono es de _____ lados.

RETO # 3.-
A continuacin se presenta el Tringulo de Pascal, en el cual el famoso
Blaise Pascal encontr 20 relaciones interesantes entre los nmeros que
en l aparecen.
.
1 2 3 4 5 6 7 8 9
1 1 1 1 1 1 1 1 1 1
2 1 2 3 4 5 6 7 8 9
3 1 3 6 10 15 21
4 1 4 10 20 35
5 1 5 15 35
6 1 6 21
7 1 7
8 1 8
9 1 9

a) Complete el cuadrado.
b) Encuentra al menos 7 relaciones entre los nmeros que aparecen en
ese tringulo
c) Qu relacin hay entre los nmeros que aparecen en el tringulo y el
desarrollo del binomio (a + b)
n
?

RETO # 4.-
Encontrar el nmero mximo de regiones que determinan n secantes de
un crculo.





n de secantes

r regiones






1

2






2

4






3








a) Llena los espacios en blanco del cuadro.
b) Diga cual es el nmero mximo de regiones que determinan 6
secantes ____
c) Diga cual es el nmero mximo de regiones que determinan n
secantes____


RETO # 5.-
En cules de los 4 retos anteriores se pueden conjeturar resultados que
se puedan demostrar por el mtodo de induccin matemtica?
Demuestre aquellos en los que se puede aplicar el mtodo.

CENIDET INDUCCION MATEMTICA
cenidet 2006.
75

RETO # 6.-
Decimos que un lenguaje formal esta definido cuando:
a) Tenemos la lista de todos sus elementos
Por ejemplo: L = {a, aa, ab, aab, ba, abba, bba, bb}.
b) Tenemos la gramtica que nos permite generar cada
elemento del lenguaje:
N = {S, R} (smbolos no terminales)
T = {a,b} (smbolos terminales)
P = { S bS, S aR, R bR, R b} (reglas de
produccin).
c) Tenemos una descripcin genrica (patrn o propiedad) que,
de manera sinttica describe a cada elemento del lenguaje.
Por ejemplo: L = { w e {a,b}
+
tal que w = a
n
b
n+1
con
n = 1, 2, 3, ...},
{a,b}
+
es el conjunto de todas la cadenas que se pueden
formar con la concatenacin de las letras a y b sin
considerar la cadena vaca.
Otra forma de describir L es:
L = {abb, aabbb, aaabbbb, ...}.

Encontrar el patrn genrico del lenguaje generado por las siguientes
gramticas:

a) N = {S} T = {a,b} RE = { S aSb; S ab}

b) N = {S, M, N, O, P, Q}, T = {a, b, c}
RE = { S aMN; S aN; M aMO; M a O; N Pc; P b;
OP OQ; OQ PQ; PQ PO; Oc Pcc}.

c) N = {S, A, B} T = {a,b}
RE = { S aB; S bA; A aS; B bS; A bAA; B bBB;
A a; B b}

d) Demostrar que el patrn encontrado es el correcto.

CENIDET INDUCCION MATEMTICA
cenidet 2006.
76

El trabajo que se ha realizado hasta el momento es un proceso
que parte de casos particulares, que a primera vista parecen verdaderas,
y que por un proceso de anlisis se llega a una generalizacin. Algunos
autores llaman a este tipo de raciocinio "Induccin".

As, por ejemplo, Eli de Gortari en su libro Ejercicios y Problemas
de Lgica, nos dice que:
"El conocimiento adquirido por medio de la
experimentacin es, en parte, la descripcin de lo que se
ha observado y, tambin en parte, es aquello que se
infiere de la experiencia pasada para predecir la
experiencia futura. Este ltimo aspecto del proceso de
adquisicin del conocimiento es lo que constituye la
induccin. Es decir, la induccin es el razonamiento
discursivo que se utiliza para generalizar la experiencia.
La induccin es el procedimiento lgico que sirve para
pasar de los resultados experimentales al establecimiento
de las relaciones que los determinan y, despus de
reconstruirlos racionalmente, los explican"
2
.

Cervo y Bervian insisten en que:
"El argumento inductivo se fundamenta en la
generalizacin de propiedades comunes a cierto nmero
de casos ya observados, a todas las ocurrencias de
hechos similares que se verifiquen en el futuro".

Estos autores dan una versin de las dos reglas de la induccin.
Estas son:

"1.- Se debe estar seguro de que la relacin que se pretende
generalizar es verdaderamente esencial, es decir, relacin causal
cuando se trata de hechos, o relacin de coexistencia necesaria
de dos formas, cuando se trata de seres o cosas.

2.- Es necesario que los hechos observados y, principalmente,
que la causa se tome en sentido total y completo"
3
.


2
De Gortari, E. Ejercicios y Problemas de Lgica.
Mxico, Ocano, 1989. Pgina 263.

3
Cervo, A.L. y Bervian, P.A. Metodologa

Hasta este momento, al trabajar los ejemplos y retos propuestos,
hemos logrado obtener una generalizacin sencilla aparentemente vlida.
Sin embargo, a la luz de las aseveraciones hechas arriba por los autores,
surgen dos preguntas:

1) Puede una proposicin ser vlida en una serie de casos
particulares y no serlo en general?

2) Cuando se obtiene una proposicin aparentemente vlida
en varios casos particulares y es imposible analizar todos los
casos, se puede afirmar que esta proposicin es vlida en
general?

Intentemos abordar estas preguntas con el anlisis de un
ejemplo, mismo que Sominski
4
nos proporciona:

Se va a considerar el trinomio: x
2
+ x + 41 estudiado ya por L.
Euler. Al tomar los siguientes valores para x , x=1, 2, 3, 4, 5, 6, 7, 8, 9, 10.

Los valores que se obtienen son: 43, 47, 53, 61, 71, 83, 97, 113,
131 y 151 respectivamente, y en cada caso se obtiene un nmero primo.
Verifcarlo.

Qu se podra concluir de estos resultados?

Sominski propone concluir que la proposicin se cumple para
todos los valores de x , esto es, para cualquier valor de x , al sustituirlo en
el trinomio x
2
+ x + 41, siempre se obtendr como resultado un nmero
primo.

El autor hace nfasis en que en este ejemplo se ha enunciado
una proposicin general para todo x, basndonos slo en que esta
proposicin ha resultado vlida para algunos valores considerados.

Sin embargo, de acuerdo a la segunda pregunta podemos

Cientfica. Editorial McGraw-Hill, 1989.

4
Sominski, I.S. Mtodo de Induccin Matemtica.
Editorial MIR-Mosc, 1987. Ejemplo 2, pgina 8.
CENIDET INDUCCION MATEMTICA
cenidet 2006.
77
cuestionar la validez del establecimiento de la relacin general, pues slo
analizamos unos cuantos valores de la variable.

Se puede garantizar que siempre se cumple la proposicin
que hicimos?

Intentemos probar con otros valores:
Con x = 25 se tiene que 25
2
+ 25 + 41 = 625 + 25 + 41 = 691, que es un
nmero primo.
Con x=33 se tiene que 33
2
+ 33 + 41 = 1089 + 33 + 41 = 1163, que es un
nmero primo.

Hasta ahora no ha habido excepcin. Probemos con un nmero
ms. Sustituyamos en el trinomio el valor de x = 40. Tenemos:
40
2
+ 40 + 41 = 40(40 + 1) + 41 = 40(41) + 41
= 41(40 + 1) = 41(41) = 41
2
,
el cual ya no es un nmero primo.

En este ejemplo se encontr una proposicin la cual es vlida
para muchos valores de x, pero al menos se localiz un valor, el de x =
40, en el que no es vlida. Y basta con un solo contra-ejemplo en que no
se cumple la proposicin, para poder decir que dicha proposicin no es
cierta (por qu?).

Bajo esta perspectiva, nuestros resultados con los ejercicios y
retos podran ser incorrectos. Entonces, retomando la pregunta 2, y
planteada de otra forma, sta puede leerse como: bajo qu
condiciones este tipo de relaciones generales son verdaderas y
cmo podemos garantizarlas?

Como aclara Sominski, una proposicin puede ser vlida en una
serie de casos particulares y no serlo en general.

Cuando se tiene una proposicin vlida en varios casos
particulares y es imposible analizar todos los casos, nos preguntamos:
Cundo se puede afirmar que esta proposicin es vlida en
general?

La respuesta a la ltima pregunta del prrafo anterior, no siempre se
puede responder con certeza, ya que existen proposiciones en
matemticas que son verdaderas en ciertos casos particulares y an no
se han podido demostrar. Sin embargo, como hemos visto en la seccin
anterior, existe un mtodo de demostracin conocido como "Mtodo de
Induccin Matemtica" (completa o perfecta) que nos permite, bajo
ciertas condiciones, cuando se tiene una proposicin vlida en varios
casos particulares y es imposible analizar todos los casos, afirmar que
esta proposicin es vlida en general.


2.3.- USO INADECUADO DEL METODO DE INDUCCION
MATEMATICA.

Muchas veces el no poner atencin a lo que se hace, nos
puede conducir a resultados ilgicos. Por ejemplo, se tiene lo siguiente.
Si a y b son dos enteros positivos desiguales, definimos como
max(a,b) aquel de los dos que sea mayor:
si a = b pondremos max(a,b) = a = b.
Por ejemplo, max(3,5) = max(5,3) = 5,
mientras que max(4,4) = 4.

Sea ahora A
n
la proposicin:
"Si a y b son dos enteros positivos cualesquiera, tales que
max(a,b) = n, se tiene a = b".

Demostracin:
a) Supongamos que A
r
es cierta. Sean a y b dos enteros
positivos cualesquiera, tales que max(a,b) = r + 1.

Consideremos los dos enteros A = a - 1, y B = b - 1; se tendr
entonces: max(A,B) = r. De aqu resulta A = B, puesto que suponamos
que A
r
era cierta. De donde se sigue a = b; en consecuencia, A
r+1
es
cierta.

b) A
1
es evidentemente cierta, pues si max(a,b) = 1, se tendr, ya
que suponemos a y b enteros positivos, que estos dos nmeros deben
ser iguales a 1. Por consiguiente, en virtud de la induccin matemtica,
A
n
es cierta para todo n.

Ahora, si a y b son dos enteros positivos cualesquiera,
designemos max(a,b) por r. Puesto que hemos probado que A
n
es cierta
para todo n, se tendr en particular que A
r
es cierta. En consecuencia
a = b.
CENIDET INDUCCION MATEMTICA
cenidet 2006.
78
Es correcta la demostracin anterior?.

Demostracin por Induccin.
La definicin que se est utilizando es la siguiente:
max(a,b) = n, tal que n es aquel de los dos que sea mayor.

La proposicin que se desea demostrar es:
A
n
: "Si a y b son dos enteros positivos cualesquiera, tales que
max(a,b) = n, se tiene a = b".

Paso 1: n = 1. La proposicin toma la forma siguiente:
A
1
: "Si a y b son dos enteros positivos cualesquiera, tales que
max(a,b) = 1, se tiene a = b".
Se tiene que max(a,b) = 1, y como son enteros positivos, en este
caso se cumple a = b = 1.

Paso 2: n = r; suponemos cierta la proposicin, que en este caso toma la
forma:
A
r
: "Si a y b son dos enteros positivos cualesquiera, tales que
max(a,b) = r, se tiene a = b".
Para este caso se tienen 3 posibilidades, que en la demostracin
anterior no se est tomando en cuenta.
i) r = a, y se tendra que max( a,b) = r = a.
ii) r = b, y se tendra que max(a,b) = r = b.
iii) r = a = b, y slo en este caso sera cierta la proposicin A
r
.