Induccin matemtica

Una descripcin informal de la induccin matemtica puede ser ilustrada por el

efecto domin, donde ocurre una reaccin en cadena con una secuencia de
piezas de domin cayendo una detrs de la otra.
En matemticas, la induccin es un razonamiento que permite demostrar
proposiciones que dependen de una variable n\, que toma una infinidad de
valores enteros. En trminos simples, la induccin matemtica consiste en el
siguiente razonamiento:

El nmero entero a\, tiene la propiedad P\,. El hecho de que cualquier nmero
entero n\, tambin tenga la propiedad P\, implica que n+1\, tambin la tiene.
Entonces todos los nmeros enteros a partir de a\, tienen la propiedad P\,.
La demostracin est basada en el axioma denominado principio de la
induccin matemtica.1
Historia[editar]
En el Parmenides, dilogo de Platn del 370 a.C, quiz se puede identificar un
temprano ejemplo de una explicacin implcita de prueba inductiva. La ms
antigua huella de la induccin matemtica se puede encontrar en la
demostracin de Bhaskara I que usando el mtodo cclico prueba la infinidad
de los nmeros primos.

Una tcnica opuesta, contando regresivamente en lugar de ascendentemente,

se puede encontrar en la paradoja sorites, en donde se argumenta que si
10.000.000 de granos de arena forman un montn y removiendo un grano del
montn este sigue siendo un montn, entonces, un solo grano (incluso ningn
grano de arena) forma un montn.

Una implcita demostracin de la induccin matemtica para secuencias

aritmticas fue introducida por Al-Karaji en la obra Al-Fakhri escrita alrededor
del 1000 d. C., usado para probar el teorema binomial y propiedades del
tringulo de Pascal.

Ninguno de estos antiguos matemticos explicit la hiptesis inductiva. Otro

caso similar fue el de Francesco Maurlico en su Arithmeticorom libri duo (1575),

que us la tcnica para probar que la suma de los n primeros enteros impares
es igual a n al cuadrado.

La primera formulacin explcita sobre el principio de induccin fue establecida

por el fsico y matemtico Blaise Pascal en su obra Trait du triangle
arithmtique (1665).2 Otro francs, Fermat, hace amplio uso de un principio
relacionado para una demostracin indirecta del infinito descendente. La
hiptesis inductiva fue tambin empleada por el suizo Jakob Bernoulli y a partir
de entonces fue ms conocida.

El moderno tratamiento de carcter riguroso y sistemtico llega solo en el siglo

xix con George Boole, Augustus De Morgan, Charles Sanders Peirce, Giuseppe
Peano y Richard Dedekind.

Demostraciones por induccin[editar]

Llamemos P_n\, a la proposicin, donde n\, es el rango.

Base- Se demuestra que P_0\, es cierta, esto es el primer valor que cumple la
proposicin (iniciacin de la induccin).
Paso inductivo- Se demuestra que si P_n\, es cierta, esto es, como hiptesis
inductiva, entonces P_{n+1}\, lo es tambin, y esto sin condicin sobre el
entero natural n\, (relacin de induccin. Indicado como n \Rightarrow n + 1).
Luego, demostrado esto, concluimos por induccin, que P_n\, es cierto para
todo natural n\,.

La induccin puede empezar por otro trmino que no sea P_0\,, digamos por
P_{n_0}\,. Entonces P_n\, ser vlido a partir del nmero n_0\,, es decir, para
todo natural n \ge n_0\,.

Ejemplo[editar]
Se probar que la siguiente declaracin P ( n ), que se supone vlida para todos
los nmeros naturales n .

0 + 1 + 2 + \cdots + n = \frac{n(n + 1)}{2}\,.

P ( n ) da una frmula para la suma de los nmeros naturales menores o igual a
n . La prueba de que P ( n ) es verdadera para todos los nmeros naturales
procede como sigue.

Base: Se muestra que es vlida para n = 0.

con P(0) se tiene:

0 = \frac{0\cdot(0 + 1)}{2}\,.
En el lado izquierdo de la ecuacin, el nico trmino es 0, entonces su valor es
0.
mientras que el trmino derecho, 0(0 + 1)/2 = 0.
Ambos lados son iguales, n = 0. Entonces P(0) es verdadera.

Paso inductivo: Mostrar que si P(k) es verdadera, entonces P(k + 1) es

verdadera. Como sigue:

Se asume que P(k) es verdadera (para un valor no especfico de k). Se debe

entonces mostrar que P(k + 1) es verdadera:

(0 + 1 + 2 + \cdots + k )+ (k+1) = \frac{(k+1)((k+1) + 1)}{2}.

usando la hiptesis de induccin P(k) es verdadera, el trmino izquierdo se
puede reescribir:

\frac{k(k + 1)}{2} + (k+1)\,.

Desarrollando:

\begin{align}
\frac{k(k + 1)}{2} + (k+1) & = \frac {k(k+1)+2(k+1)} 2 \\
& = \frac{k^2+k+2k+2}{2} \\
& = \frac{(k+1)(k+2)}{2} \\
& = \frac{(k+1)((k+1) + 1)}{2}
\end{align}
mostrando de hecho que P(k + 1) es verdadera.

Puesto que se han realizado los dos pasos de la induccin matemtica tanto la
base como el paso inductivo, la declaracin P ( n ) se cumple para todo nmero
natural n Q.E.D.

Ejemplo 2[editar]
Se tratar de demostrar por induccin la siguiente proposicin:
\sum_{k=1}^n (2k - 1) 3^k = (n - 1) 3^{n+1} + 3 \forall n \in \mathbb{N}
1. Se comprueba para n=1
\sum_{k=1}^1 (2 - 1) 3^1 = 3 = (1 - 1) 3^{1+1} + 3
Se tiene por tanto que la proposicin es verdadera para n=1
2. Hiptesis inductiva (n=h)
\sum_{k=1}^h (2k - 1) 3^k = (h - 1) 3^{h+1} + 3
3. Tesis inductiva (n=h+1)
\sum_{k=1}^{h+1} (2k - 1) 3^k = (h + 1 - 1) 3^{h+1+1} + 3
\sum_{k=1}^{h+1} (2k - 1) 3^k = h 3^{h+2} + 3
4. Demostracin de la tesis con base a la hiptesis
\sum_{k=1}^{h+1} (2k - 1) 3^k = \sum_{k=1}^{h} (2k - 1) 3^k +(2(h+1) 1) 3^{h+1}
Se aplica la hiptesis de induccin:

\sum_{k=1}^{h+1} (2k - 1) 3^k = (h - 1) 3^{h+1} + 3 + [2(h+1) - 1]

3^{h+1}
\sum_{k=1}^{h+1} (2k - 1) 3^k = (h - 1) 3^{h+1} + 3 + (2h+2 - 1)
3^{h+1}
\sum_{k=1}^{h+1} (2k - 1) 3^k = 3^{h+1} (h - 1 + 2h + 1) + 3 (sacando
factor comn)
\sum_{k=1}^{h+1} (2k - 1) 3^k = 3^{h+1} 3h + 3
\sum_{k=1}^{h+1} (2k - 1) 3^k = h 3^{h+2} + 3
Por lo tanto, verificndose la proposicin para n=1 y para n=k+1 siendo k
cualquier nmero natural, la proposicin se verifica \forall n \in \mathbb {N}.