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 aN se cumple que su sucesor s(a)N, y que el cero, 0N, 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

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, que es la demostracin, de carcter tambin deductivo, de que si la
proposicin se supone cierta para un nmero natural n, tambin ha de ser cierta para el nmero
sucesor de n, es decir, para el nmero n + 1.
Proposicin ---- f(n) 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.

Terico N1-Alg. y Geom. II -2 Ao- Prof. De Matemtica ISFD 168. Prof. Vzquez, Mario-Ao 2017 Pg. 1
 1. EJEMPLOS DE APLICACIN DEL MTODO:

1.1. Demostracin de que la suma de los n primeros nmeros naturales viene dada
n(n 1)
por la expresin , o sea:
2
n(n 1)
0 1 2 ... n
2
Proceso:
0(0 1)
Teorema 1: Para n=0: 0 0 , se verifica
2
1.(1 1) 2
Para n=1: 0 1 1 , se verifica
2 2
k (k 1)
Teorema 2: Sea cierta la expresin para n = k: 0 1 2 ... k
2
Y veamos que, entonces, ha de ser cierta para n = k+1:

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

1.2. Demostracin de la identidad siguiente:

sen(2 n1 x)
cos x. cos(2x). cos(4x)... cos(2 n x)
2 n1 senx
Proceso:

Teorema 1:
sen(201 x) sen(2x) 2senx.cos x
Para n = 0: cos(20 x) cos x cos x
201 senx 2.senx 2.senx
Se verifica.

Teorema 2:
sen(2k 1 x)
Sea cierta para n=k: cos x.cos(2 x).cos(4 x)...cos(2k x)
2k 1 senx
Y veamos que en este caso ha de ser cierta para n = k+1:

sen(2k 2 x)
cos x. cos(2x).cos(4x)...cos(2k x) cos(2k 1 x)
2k 2 senx
En efecto:
sen(2k 1 x)
k 1
cos x.cos(2 x).cos(4 x)...cos(2 x) cos(2 x) k 1
k
.cos(2k 1 x)
2 senx

k 1
k 2

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

2k 2 senx 2 senx 2 senx

Terico N1-Alg. y Geom. II -2 Ao- Prof. De Matemtica ISFD 168. Prof. Vzquez, Mario-Ao 2017 Pg. 2
 1.3. Indagacin de cules son los nmeros naturales para los que se verifica la
desigualdad:
2 n 2.n 1
Proceso:

Teorema 1:

Para n=0: 20 2.0 1 1, no se verifica

Para n=1: 2 2.1 1 3, no se verifica
1

Para n=2: 2 2.2 1 5, no se verifica

2

Para n=3: 2 2.3 1 7, se verifica

3

Teorema 2:
Sea cierta para n = K: 2k 2.k 1

Y veamos, entonces, que tambin se verifica para n = k+1: 2k 1 2.(k 1) 1

En efecto: 2k 1 2k.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, ).

1.4. Demostracin de que la expresin a2n 1 es divisible por a 1.

Proceso:

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: a2k 1 es divisible por a 1

Veamos entonces que tambin ser cierta para n=k+1:

a2( k 1) 1 es divisible por a+1.

En efecto:

a 2( k 1) 1 (a 2k 1)a 2 a 2 1 (a 2k 1)a 2 (a 1).(a 1)

El primer sumando es divisible por a+1 por hiptesis, y el segundo lo es porque contiene a (a+1)
como factor.

Por consiguiente, a2n 1 es divisible por a+1, para todo n>0

Terico N1-Alg. y Geom. II -2 Ao- Prof. De Matemtica ISFD 168. Prof. Vzquez, Mario-Ao 2017 Pg. 3