Una descripción informal de la inducción matemática puede ser ilustrada por el efecto dominó,

donde ocurre una reacción en cadena con una secuencia de piezas de dominó cayendo una detrás
de la otra.

En matemáticas, la inducción es un razonamiento que permite demostrar proposiciones que

dependen de una variable {\displaystyle n\,} n\, que toma una infinidad de valores enteros. En
términos simples, la inducción matemática consiste en el siguiente razonamiento:

El número entero {\displaystyle a\,} a\, tiene la propiedad {\displaystyle P\,} P\,. El hecho de que
cualquier número entero {\displaystyle n\,} n\, también tenga la propiedad {\displaystyle P\,} P\,
implica que {\displaystyle n+1\,} {\displaystyle n+1\,} también la tiene. Entonces todos los
números enteros a partir de {\displaystyle a\,} a\, tienen la propiedad {\displaystyle P\,} P\,.

La demostración está basada en el axioma denominado principio de la inducción matemática.1

Índice

1 Historia

2 Demostraciones por inducción

2.1 Ejemplo

2.2 Ejemplo 2

3 La propiedad del buen orden

3.1 Ejemplo

4 Referencias

5 Véase también

6 Enlaces externos

Historia

En el Parmenides, de Platón del 370 a.C, quizá se puede identificar un temprano ejemplo de una
explicación implícita de prueba inductiva. La más antigua huella de la inducción matemática se
puede encontrar en la demostración de Euclides en el s. iii a. C. sobre la infinitud de los números
primos y en la de Bhaskara I usando su «método cíclico».

Una técnica reversa, contando regresivamente en lugar de ascendentemente, se puede encontrar

en la paradoja sorites, en donde se argumenta que si 1 000 000 de granos de arena forman un
montón y removiendo un grano del montón a la vez, este sigue siendo un montón, entonces, hasta
un solo grano (incluso ningún grano de arena) formaría un montón.

Una demostración implícita de la inducción matemática para secuencias aritméticas fue

introducida por Al-Karaji en su obra Al-Fakhri escrita alrededor de 1000 d. C., usado para probar el
teorema del binomio y las propiedades del triángulo de Pascal.

Ninguno de estos antiguos matemáticos explicitó la hipótesis inductiva. Otro caso similar fue el de
Francesco Maurlico en su Arithmeticorom libri duo (1575), que usó la técnica para probar que la
suma de los n primeros enteros impares es igual a n al cuadrado.

La primera formulación explícita sobre el principio de inducción fue establecida por el filósofo y
matemático Blaise Pascal en su obra Traité du triangle arithmétique (1665).2 Otro francés, Fermat,
hace amplio uso de un principio relacionado para una demostración indirecta del descenso
infinito. La hipótesis inductiva fue también empleada por el suizo Jakob Bernoulli y a partir de
entonces fue más conocida.

El tratamiento de carácter riguroso y sistemático llega solo en el siglo xix con George Boole,
Augustus De Morgan, Charles Sanders Peirce, Giuseppe Peano y Richard Dedekind.

Demostraciones por inducción

Llamemos {\displaystyle P_{n}\,} {\displaystyle P_{n}\,} a la proposición, donde {\displaystyle n\,}

n\, es el rango.

Base: Se demuestra que {\displaystyle P_{1}\,} P_1\, es cierta, esto es el primer valor que cumple
la proposición (iniciación de la inducción).

Paso inductivo: Se demuestra que, si {\displaystyle P_{n}\,} {\displaystyle P_{n}\,} es cierta, esto es,
como hipótesis inductiva, entonces {\displaystyle P_{n+1}\,} {\displaystyle P_{n+1}\,} lo es
también, y esto sin condición sobre el entero natural {\displaystyle n\,} n\, (relación de inducción.
Indicado como {\displaystyle n\Rightarrow n+1} {\displaystyle n\Rightarrow n+1}).

Luego, demostrado esto, concluimos por inducción, que {\displaystyle P_{n}\,} {\displaystyle
P_{n}\,} es cierto para todo natural {\displaystyle n\,} n\,.

La inducción puede empezar por otro término que no sea {\displaystyle P_{1}\,} P_1\,, digamos
por {\displaystyle P_{n_{0}}\,} {\displaystyle P_{n_{0}}\,}. Entonces {\displaystyle P_{n}\,}
{\displaystyle P_{n}\,} será válido a partir del número {\displaystyle n_{0}\,} {\displaystyle n_{0}\,},
es decir, para todo natural {\displaystyle n\geq n_{0}\,} {\displaystyle n\geq n_{0}\,}.

Ejemplo

Se probará que la siguiente declaración P (n), que se supone válida para todos los números
naturales n.

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

{n(n+1)}{2}}\,.}

P (n) da una fórmula para la suma de los números naturales menores o igual a n. La prueba de que
P (n) es verdadera para todos los números naturales procede como sigue.

Base: Se muestra que es válida para n = 1.

con P(1) se tiene:

{\displaystyle 1={\frac {1\cdot (1+1)}{2}}\,.} {\displaystyle 1={\frac {1\cdot (1+1)}{2}}\,.}

En el lado izquierdo de la ecuación, el único término es 1, entonces su valor es 1.

mientras que el término derecho, 1·(1 + 1)/2 = 1.

Ambos lados son iguales, n = 1. Entonces P(1) 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 específico de k). Se debe entonces mostrar que
P(k + 1) es verdadera:

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

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

usando la hipótesis de inducción P(k) es verdadera, el término izquierdo se puede reescribir:

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

Desarrollando:
{\displaystyle {\begin{aligned}{\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{aligned}}}
{\displaystyle {\begin{aligned}{\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{aligned}}}

mostrando de hecho que P(k + 1) es verdadera.

Puesto que se han realizado los dos pasos de la inducción matemática tanto la base como el paso
inductivo, la declaración P ( n ) se cumple para todo número natural {\displaystyle n} n Q.E.D.

Ejemplo 2

Se tratará de demostrar por inducción la siguiente proposición:

{\displaystyle \sum _{k=1}^{n}(2k-1)3^{k}=(n-1)3^{n+1}+3} {\displaystyle \sum _{k=1}^{n}(2k-

1)3^{k}=(n-1)3^{n+1}+3} {\displaystyle \forall n\in \mathbb {N} } \forall n \in \mathbb{N}

1. Se comprueba para n=1

{\displaystyle \sum _{k=1}^{1}(2-1)3^{1}=3=(1-1)3^{1+1}+3} {\displaystyle \sum _{k=1}^{1}(2-

1)3^{1}=3=(1-1)3^{1+1}+3}

Se tiene por tanto que la proposición es verdadera para n=1

2. Hipótesis inductiva (n=h)

{\displaystyle \sum _{k=1}^{h}(2k-1)3^{k}=(h-1)3^{h+1}+3} {\displaystyle \sum _{k=1}^{h}(2k-

1)3^{k}=(h-1)3^{h+1}+3}

3. Tesis inductiva (n=h+1)

{\displaystyle \sum _{k=1}^{h+1}(2k-1)3^{k}=(h+1-1)3^{h+1+1}+3} {\displaystyle \sum

_{k=1}^{h+1}(2k-1)3^{k}=(h+1-1)3^{h+1+1}+3}

{\displaystyle \sum _{k=1}^{h+1}(2k-1)3^{k}=h3^{h+2}+3} {\displaystyle \sum _{k=1}^{h+1}(2k-

1)3^{k}=h3^{h+2}+3}

4. Demostración de la tesis con base a la hipótesis

{\displaystyle \sum _{k=1}^{h+1}(2k-1)3^{k}=\sum _{k=1}^{h}(2k-1)3^{k}+(2(h+1)-1)3^{h+1}}

{\displaystyle \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 hipótesis de inducción:

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

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

{\displaystyle \sum _{k=1}^{h+1}(2k-1)3^{k}=3^{h+1}(h-1+2h+1)+3} {\displaystyle \sum

_{k=1}^{h+1}(2k-1)3^{k}=3^{h+1}(h-1+2h+1)+3} (sacando factor común)

{\displaystyle \sum _{k=1}^{h+1}(2k-1)3^{k}=3^{h+1}3h+3} {\displaystyle \sum _{k=1}^{h+1}(2k-

1)3^{k}=3^{h+1}3h+3}

{\displaystyle \sum _{k=1}^{h+1}(2k-1)3^{k}=h3^{h+2}+3} {\displaystyle \sum _{k=1}^{h+1}(2k-

1)3^{k}=h3^{h+2}+3}

Por lo tanto, verificándose la proposición para {\displaystyle n=1} {\displaystyle n=1} y para
{\displaystyle n=k+1} {\displaystyle n=k+1} siendo {\displaystyle k} k cualquier número natural, la
proposición se verifica {\displaystyle \forall n\in \mathbb {N} } {\displaystyle \forall n\in \mathbb
{N} }.

La propiedad del buen orden

La validez de la inducción matemática está basada en el principio de buena ordenación de los

conjuntos de números enteros no negativos.

Todo conjunto de enteros no negativos tiene un elemento mínimo.

A menudo se utiliza esta propiedad directamente en las demostraciones. 3

Ejemplo

Usa la propiedad del buen orden para demostrar el algoritmo de la división, recuerda que el
algoritmo de la división dice que si a es un número entero y d es un entero positivo, entonces hay
dos únicos enteros c y r tales que 0 {\displaystyle \leq } \ler {\displaystyle \leq } \led y a=dc+r.

Solución: Sea S el conjunto de los enteros no negativos de la forma a-dc, donde c es un entero.
Este conjunto no es vacío, porque como vemos -dc se puede agrandar tanto como queramos, eso
si, tomando c como un número entero que no sea negativo con un valor absoluto que sea grande,
por la propiedad del buen orden, S tiene mínimo un elemento r=a-dc0.

El entero r no puede ser negativo, también imaginamos que r {\displaystyle \leq } \led, de no ser
así, habría un número que no sería negativo menor en S. Por lo tanto, existen los enteros c y r', 0
{\displaystyle \leq } \ler {\displaystyle \leq } \led.