Inducción matemática: qué es y cómo probar afirmaciones para n

Aprende la inducción matemática: método paso a paso para demostrar afirmaciones para todo n, con ejemplos y pruebas claras del caso base y del paso inductivo.

Autor: Leandro Alegsa

22-03-2026 16:25

La inducción matemática es una técnica de demostración que sirve para probar que una afirmación es verdadera para todos los números naturales (o, más generalmente, para todos los enteros mayores o iguales a cierto valor). La idea intuitiva es simple: si se demuestra que una propiedad se cumple en un caso inicial y que, cuando se cumple para un número cualquiera, entonces también se cumple para el siguiente, se deduce que la propiedad es cierta para todos los casos posteriores.

Estructura básica de una prueba por inducción

Una prueba por inducción se organiza habitualmente en tres pasos claros:

Caso base: demostrar que la afirmación es verdadera para el primer valor (por ejemplo, n = 1 o n = 0, según el contexto).
Hipótesis de inducción: suponer que la afirmación es verdadera para un número natural arbitrario n (variable de inducción).
Paso inductivo: usando la hipótesis de inducción, demostrar que la afirmación es verdadera para n + 1. Con esto se concluye que, al ser cierta para el caso base, lo es también para el siguiente, y por iteración para todos los naturales posteriores.

En la práctica, al presentar la prueba conviene indicar explícitamente que la demostración será por inducción sobre n , mostrar el caso base (por ejemplo, n = 1 ), suponer la validez para un n cualquiera (hipótesis de inducción ) y, a partir de esa hipótesis, probar la afirmación para $n+1$ {\displaystyle n+1}.

Ejemplo clásico: suma de los primeros n enteros

Probar que 1 + 2 + ... + n = n(n + 1)/2 para todo n ≥ 1.

Caso base (n = 1): 1 = 1(1 + 1)/2 = 1. True.
Hipótesis de inducción: supongamos que para algún n ≥ 1 vale 1 + 2 + ... + n = n(n + 1)/2.
Paso inductivo: entonces 1 + 2 + ... + n + (n + 1) = [n(n + 1)/2] + (n + 1) = (n + 1)[n/2 + 1] = (n + 1)(n + 2)/2, que es exactamente la fórmula para n + 1. Por tanto, la afirmación se cumple para n + 1.

Al cumplirse el caso base y el paso inductivo, por inducción la fórmula es válida para todo n ≥ 1.

Variantes de la inducción

Inducción débil (o simple): la que se ha mostrado arriba: se asume la afirmación para n y se prueba para n + 1.
Inducción fuerte (o completa): se asume que la afirmación es cierta para todos los valores ≤ n y, con esa hipótesis más amplia, se demuestra para n + 1. Es útil cuando la demostración del caso n + 1 requiere conocer la afirmación en varios valores anteriores, no solo en n.
Inducción con punto de partida distinto: la inducción funciona igual si el conjunto comienza en otro entero k; entonces se demuestra el caso base n = k y se prueba que n ≥ k implica n + 1 ≥ k.
Inducción estructural: generaliza la idea a objetos construidos recursivamente (árboles, expresiones algebraicas, listas...), demostrando la propiedad para las construcciones básicas y que se preserva al combinar objetos ya verificados.

Consejos y errores comunes

Dejar siempre claro el caso base. Sin él, la cadena inductiva no se inicia.
Formular con precisión la hipótesis de inducción: indicar para qué n se supone cierta la afirmación.
Asegurarse de que el paso inductivo realmente deduce la afirmación para n + 1 a partir de la hipótesis; no basta con repetir lo que se quiere probar.
No confundir la inducción fuerte con argumentos por contradicción sin justificar el uso de casos anteriores.
Comprobar que las operaciones algebraicas en el paso inductivo no introducen divisiones por cero ni supuestos adicionales.

Observaciones finales

La inducción matemática es equivalente al principio del buen orden de los naturales (todo subconjunto no vacío de los naturales tiene un mínimo), y es una herramienta fundamental en matemáticas y ciencias de la computación para razonar sobre procesos recursivos y propiedades infinitas. Con práctica y atención a la estructura de la prueba, la inducción resulta una técnica clara y poderosa.

Ejemplos de pruebas por inducción

Suma de los primeros n números naturales

Demuestre que para todos los números naturales n:

1 + 2 + 3 + . . . . + ( n - 1 ) + n = 1 2 n ( n + 1 ) {\displaystyle 1+2+3+....+(n-1)+n={tfrac {1}{2}}n(n+1)} $1+2+3+....+(n-1)+n={\tfrac {1}{2}}n(n+1)$

Prueba:

En primer lugar, la declaración puede escribirse como

2 ∑ k = 1 n k = n ( n + 1 ) {\displaystyle 2\sum _{k=1}^{n}k=n(n+1)} $2\sum _{k=1}^{n}k=n(n+1)$ (para todos los números naturales n)

Por inducción en n,

Primero, para n=1:

2 ∑ k = 1 1 k = 2 ( 1 ) = 1 ( 1 + 1 ) {\displaystyle 2\sum _{k=1}^{1}k=2(1)=1(1+1)} $2\sum _{k=1}^{1}k=2(1)=1(1+1)$ ,

así que esto es cierto.

A continuación, suponga que para algún n=n₀ la afirmación es verdadera. Es decir,:

2 ∑ k = 1 n 0 k = n 0 ( n 0 + 1 ) {\displaystyle 2\sum _{k=1}^{n_{0}}k=n_{0}(n_{0}+1)} $2\sum _{k=1}^{n_{0}}k=n_{0}(n_{0}+1)$

Entonces para n=n₀ +1:

2 ∑ k = 1 n 0 + 1 k {\displaystyle 2\sum _{k=1}^{n_{0}+1}k} $2\sum _{k=1}^{{n_{0}}+1}k$

puede reescribirse como

2 ( ∑ k = 1 n 0 k + ( n 0 + 1 ) ) {\displaystyle 2\left(\sum _{k=1}^{n_{0}}k+(n_{0}+1)\right)} $2\left(\sum _{k=1}^{n_{0}}k+(n_{0}+1)\right)$

Como 2 ∑ k = 1 n 0 k = n 0 ( n 0 + 1 ) , {\displaystyle 2\sum _{k=1}^{n_{0}}k=n_{0}(n_{0}+1),} $2\sum _{k=1}^{n_{0}}k=n_{0}(n_{0}+1),$

2 ∑ k = 1 n 0 + 1 k = n 0 ( n 0 + 1 ) + 2 ( n 0 + 1 ) = ( n 0 + 1 ) ( n 0 + 2 ) {{displaystyle 2{sum _{k=1}^{n_{0}+1}k=n_{0}(n_{0}+1)+2(n_{0}+1)=(n_{0}+1)(n_{0}+2)} $2\sum _{k=1}^{n_{0}+1}k=n_{0}(n_{0}+1)+2(n_{0}+1)=(n_{0}+1)(n_{0}+2)$

Por lo tanto, la prueba se completa por inducción.

La suma de los ángulos interiores de un polígono

La inducción matemática suele plantearse con el valor inicial 0 (en lugar de 1). De hecho, funcionará igual de bien con una variedad de valores de partida. He aquí un ejemplo cuando el valor de partida es 3: "La suma de los ángulos interiores de un polígono de n {\displaystyle n} -sided es ( n - 2 ) 180 {\displaystyle (n-2)180} $(n-2)180$ grados".

El valor inicial de partida es 3, y los ángulos interiores de un triángulo es ( 3 - 2 ) 180 {\displaystyle (3-2)180} $(3-2)180$ grados. Supongamos que los ángulos interiores de un polígono de n {\displaystyle n} -sided polygon es ( n - 2 ) 180 {\displaystyle (n-2)180} $(n-2)180$ grados. Si se añade un triángulo, la figura se convierte en un polígono de n + 1 {\displaystyle n+1} $n+1$ y eso aumenta el número de ángulos en 180 grados ( n - 2 ) 180 + 180 = ( n + 1 - 2 ) 180 {\displaystyle (n-2)180+180=(n+1-2)180} $(n-2)180+180=(n+1-2)180$ grados. Dado que se manejan tanto el caso base como el caso inductivo, la demostración está ahora completa.

Hay un gran número de objetos matemáticos para los que funcionan las pruebas por inducción matemática. El término técnico es conjunto bien ordenado.

Definición inductiva

La misma idea puede funcionar para definir un conjunto de objetos, así como para demostrar afirmaciones sobre ese conjunto de objetos.

Por ejemplo, podemos definir n {\displaystyle n} prima de grado como sigue:

Un primo de 1 {\displaystyle 1} $1$ grado es el hijo de un hermano del padre.
Un n + 1 {\displaystyle n+1} $n+1$ primo de grado es el hijo de un n {\displaystyle n} primo de grado.

Existe un conjunto de axiomas para la aritmética de los números naturales que se basa en la inducción matemática. Se denominan "Axiomas de Peano". Los símbolos indefinidos son | y =. Los axiomas son

| es un número natural.
Si n {\displaystyle n} es un número natural, entonces n | {\displaystyle n|} $n|$ es un número natural.
Si n | = m | {\displaystyle n|=m|} $n|=m|$ entonces n = m {\displaystyle n=m} $n=m$ .

Entonces se pueden definir las operaciones de adición y multiplicación, etc., por inducción matemática. Por ejemplo:

m + | = m | {\desde el estilo m+|=m|} $m+|=m|$
m + n | = ( m + n ) | {\displaystyle m+n|=(m+n)|} $m+n|=(m+n)|$

Páginas relacionadas

Prueba matemática
Prueba por contradicción

Preguntas y respuestas

P: ¿Qué es la inducción matemática?

R: La inducción matemática es una forma especial de demostrar una verdad matemática que puede utilizarse para demostrar que algo es cierto para todos los números naturales o números positivos a partir de un determinado punto.

P: ¿Cómo procede la prueba por inducción?

R: La prueba por inducción procede típicamente afirmando que la prueba se hará sobre n, mostrando que el enunciado es verdadero cuando n es 1, asumiendo que el enunciado es verdadero para cualquier número natural n, y luego mostrando que es verdadero para el siguiente número (n+1).

P: ¿Qué significa asumir algo en un paso inductivo?

R: Asumir algo en un paso inductivo significa aceptarlo como verdadero sin aportar pruebas o evidencias. Sirve como punto de partida para una investigación posterior.

P: ¿Qué tipo de números se utilizan en la inducción matemática?

R: La inducción matemática suele utilizar números naturales o números positivos a partir de cierto punto.

P: ¿Cómo se demuestra que algo es cierto para el siguiente número (n+1)?

R: Para demostrar que algo es cierto para el siguiente número (n+1), primero debe demostrar que es cierto cuando n=1, y luego utilizar su suposición del paso inductivo para demostrar que también es cierto para n+1.

Buscar dentro de la enciclopedia