Introducción

En el curso de Álgebra Superior I se presenta al conjunto de los números naturales ($\mathbb{N}$). Posteriormente, en el curso de Álgebra Superior II se habla mucho más de ellos: se construyen a partir de teoría de conjuntos y se muestran desde los fundamentos muchas de sus propiedades.

Nosotros no nos enfocaremos en los aspectos anteriores, pero sí aprovecharemos que dicho conjunto posee una propiedad muy importante: el principio de inducción matemática. Como mencionamos en la entrada pasada, este método de demostración es aplicado frecuentemente en las pruebas en las que se desea probar que alguna propiedad se satisface para todos los números naturales.

En Cálculo Diferencial e Integral I haremos uso de la Inducción matemática constantemente, por lo que en esta entrada haremos una revisión a lo necesario para nuestro curso.

Efecto dominó

Imagina que te han regalado una cantidad infinita de fichas de dominó y que has decidido acomodarlas en una fila, una tras otra. Tu propósito al terminar de acomodarlas es dejar caer todas las fichas, por ello consideras empujar la primera ficha para que, al caer ésta, choque con la segunda provocando su caída, y así sucesivamente.

Una vez que has decidido poner en marcha tu plan y empujas la ficha 1, te comienzas a preguntar: ¿Cómo puedo asegurar que la ficha 1,000 caerá si sólo he visto caer las primeras 50 fichas? ¿Y que hay de la ficha 1,000,000?

El Principio de Inducción es el que daría respuesta a tu pregunta. El razonamiento de este principio sustenta que si sabes que el procedimiento se ha cumplido para las primeras 50 fichas, en consecuencia cada ficha irá cayendo al final para cualquier ficha que consideres.

Ahora que tenemos una noción de su comportamiento, veremos la definición formal.

Principio de Inducción matemática

Cada autor decide si el conjunto de los números naturales considerará o no al cero como uno de sus elementos. En nuestro caso, tomaremos al cero como un número natural de aquí en adelante.

Definición: Sea $P$ una propiedad y $n\in \mathbb{N}$. Decimos que la propiedad $P$ es válida para todos los naturales si tenemos que:

1. La propiedad $P$ se cumple para $0$.
2. Si la propiedad $P$ se cumple para $n\Rightarrow$ la propiedad también se cumple para $n+1$.

El punto número 1 es conocido como Base de Inducción. El antecedente del punto número 2 es llamado Hipótesis de Inducción y su consecuente Paso Inductivo. En algunos problemas basta con demostrar la afirmación únicamente cuando $n\ge 1$. En estos casos, la base de inducción debe de cumplirse para el natural $1$.

A continuación veremos un par de ejemplos para ver cómo funciona dicho principio.

Ejemplo: Demuestra utilizando Inducción matemática la siguiente fórmula.

$$1+2+\dots +n=\frac{n(n+1)}{2},\mathrm{\forall }n\in \mathbb{N}$$

Observación: $\therefore$ se lee «por lo tanto» y $\mathrm{\forall }$ significa «para todo».

Demostración: Haremos inducción sobre $n$.
Base de Inducción.- Verificamos que la fórmula se cumple cuando $n=1$

$$\begin{array}{rl}\frac{1(1+1)}{2}& =\frac{1(2)}{2}\\ & =\frac{2}{2}\\ & =1\end{array}$$
Lo cual es cierto.

Hipótesis de Inducción.- Suponemos que la fórmula se cumple para cualquier $k\in \mathbb{N}$ así:
$$1+2+\dots +k=\frac{k(k+1)}{2}$$

Paso Inductivo.- Queremos probar que la fórmula se cumple para $k+1$, por lo que bastará probar la siguiente igualdad:
$$1+2+\dots +k+(k+1)=\frac{(k+1)((k+1)+1)}{2}$$ es decir, $$1+2+\dots +k+(k+1)=\frac{(k+1)(k+2)}{2}$$

Desarrollaremos el lado izquierdo de la igualdad sustituyendo lo que tenemos en la Hipótesis de Inducción, así queda lo siguiente:
$$\begin{array}{rl}1+2+\dots +k+(k+1)& =\frac{k(k+1)}{2}+(k+1)\\ & =\frac{k(k+1)}{2}+\frac{2(k+1)}{2}\\ & =\frac{k(k+1)+2(k+1)}{2}\\ & =\frac{(k+1)(k+2)}{2}\end{array}$$

$$\therefore 1+2+\dots +n=\frac{n(n+1)}{2},\mathrm{\forall }n\in \mathbb{N}$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Ejemplo: Demuestra que

$2^n<n!$ si $n\ge 4$

Recordemos que $n!$ es llamado $n$ factorial y que está definido como: $n!=1\cdot 2\cdot \dots \cdot (n-1)(n)$.

Demostración: Aplicando inducción sobre $n$, vemos que dada la condición de $n\ge 4$, bastaría probar que:
$$2^{n+3}<(n+3)!,\mathrm{\forall }n\in \mathbb{N}$$

La razón de considerar $n+3$ es porque queremos todos aquellos naturales mayores o iguales que 4, al sustituir valores para $n$:

$$\begin{array}{rl}n=1& \Rightarrow 1+3\\ & \Rightarrow 4\\ \\ n=2& \Rightarrow 2+3\\ & \Rightarrow 5\\ \\ n=3& \Rightarrow 3+3\\ & \Rightarrow 6\\ & ⋮\end{array}$$
Notamos que los números que obtenemos lo cumplen, aún si continuáramos con dicha sustitución, por esa razón podemos proceder sin problemas.

Y ya que $n$ factorial está definido como: $n!=1\cdot 2\cdot \dots \cdot (n-1)(n)$ tenemos que $4!=4\cdot 3\cdot 2\cdot 1=24$.

Base de Inducción.- Verificamos que la desigualdad se cumple para $n=1$. Así sustituyendo vemos:
$$2^{1+3}=2^4=16$$ y que $$(1+3)!=4!=24$$
Por lo que se cumple la desigualdad: $$2^{1+3}<(1+3)!$$

Hipótesis de Inducción.- Suponemos que la desigualdad se cumple para cualquier $k\in \mathbb{N}$.
$$2^{k+3}<(k+3)!$$

Paso Inductivo.- Queremos probar que la desigualdad se cumple para $k+1$, esto sería:
$$2^{(k+1)+3}<((k+1)+3)!$$ que es lo mismo que, $$2^{k+4}<(k+4)!$$

Vemos que al reescribir la desigualdad anterior tenemos:
$$2\cdot 2^{k+3}<(k+3)!(k+4)$$
Por hipótesis de inducción sabemos se cumple $2^{k+3}<(k+3)!$, por lo que si se cumple la desigualdad $2<k+4$ terminamos.

$P.d:$ $$2<k+4,\mathrm{\forall }k\in \mathbb{N}$$
Demostración: Utilizaremos inducción sobre $k$.
Base Inducción.- Vemos para $k=1$ que $$2<1+4=5$$ se cumple.

Hipótesis de Inducción.- Suponemos que es cierta la desigualdad $2<k+4$ para cualquier $k$.

Paso Inductivo.- Queremos probar que para $k+1$ se cumple la desigualdad $2<(k+1)+4$.
Observemos que $(k+1)+4=(k+4)+1$ que es el sucesor de $k+4$ por lo que cumple $k+4<(k+4)+1$.
Así haciendo uso de lo anterior y de la Hipótesis de Inducción se tiene lo siguiente:
$$2<k+4<(k+4)+1\Rightarrow 2<(k+4)+1$$
$$\therefore 2<(k+1)+4$$
$$\therefore 2<k+4,\mathrm{\forall }k\in \mathbb{N}$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Por lo que ya podemos afirmar que $$2\cdot 2^{k+3}<(k+3)!(k+4).$$
Así concluimos: $$2^{n+3}<(n+3)!,\mathrm{\forall }n\in \mathbb{N}.$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Observación: $P.d.$ es una abreviación de «Por demostrar».

Principio de Inducción Fuerte

Existe otra forma de inducción, que debemos recordar por su utilidad, conocida como: Inducción Fuerte, que es consecuencia del Principio de Inducción que vimos antes.

Definición (Principio de Inducción fuerte): Consideremos $P$ una propiedad y $n,l\in \mathbb{N}$. Decimos que la propiedad $P$ es válida para todos los naturales si tenemos que:

1. $P$ se cumple para $0$.
2. Si $P$ se cumple para cualquier $l\le n\Rightarrow P$ se cumple para $n+1$.

Ejemplo: Todos los números positivos $n>1$ son producto de primos.

Demostración: Utilizaremos Inducción fuerte sobre $n$.
Base de Inducción.- Como tenemos la condición $n>1$ consideraremos $n=2$.
Observamos que $2=2$ es un producto de primos ( 2 cumple la definición de ser primo).

Hipótesis de Inducción.- Supongamos que todos los números desde 2 hasta $k$ cumplen ser producto de números primos.

Paso Inductivo.- Queremos probar que $k+1$ es producto de números primos.
Recordemos que todo número es primo o compuesto, por lo que tenemos que considerar los siguientes casos.

Caso 1: $k+1$ es primo.
Como $k+1=k+1$ se sigue que es producto de números primos y se cumple lo que queremos.

Caso 2: $k+1$ es compuesto.
Esto quiere decir que podemos expresar a $k+1$ como un producto de la siguiente manera:
$$k+1=a\cdot b$$ donde $k+1>a$ y $b>1$.
Observemos que las últimas desigualdades implican que $k\ge a,b\ge 2$, así por Hipótesis de Inducción $a$ y $b$ cumplen ser producto de números primos.
$\therefore k+1$ es producto de primos.
$\therefore$ Todos los números positivos $n>1$ son producto de primos.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Más adelante

Ahora que hemos terminado con el repaso de Inducción matemática. En la siguiente entrada comenzaremos a ver un conjunto de números de suma importancia para el Cálculo: los reales.

Tarea moral

A continuación, encontrarás ejercicios en los que pondrás en práctica el Principio de Inducción matemática:

1. Probar que: $n^3–n$ es un múltiplo de 6, $\mathrm{\forall }n\in \mathbb{N}$.
2. Utiliza inducción para probar la siguiente igualdad:
   $$1^2+2^2+\dots +n^2=\frac{n(n+1)(2n+1)}{6},\mathrm{\forall }n\in \mathbb{N}$$
3. Demuestra que:
   $$1+3+5+7+\dots +2n-1=n^2,\mathrm{\forall }n\in \mathbb{N}$$
4. Demuestra por inducción sobre $n$, con $r\ne 1$:
   $$1+r+r^2+\dots +r^n=\frac{1-r^{n+1}}{1-r}$$
5. Utiliza inducción para probar la siguiente igualdad:
   $$2+5+8+\dots +(3n-1)=\frac{n(3n+1)}{2}$$

Entradas relacionadas

• Ir a: Cálculo Diferencial e Integral I
• Entrada anterior del curso: Cálculo Diferencial e Integral I: Repaso. Teoría de Conjuntos. (Parte 2)
• Entrada siguiente del curso: Cálculo Diferencial e Integral I: Propiedades algebraicas de los números reales (Parte 1)
• Resto de cursos: Cursos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»