¿Qué es Inducción matemática?
La inducción matemática es un método de demostración fundamental en matemáticas que se utiliza para probar que una proposición o afirmación es verdadera para todos los números naturales (o para un subconjunto infinito de ellos). En lugar de verificar la proposición para cada número individualmente, la inducción matemática sigue un proceso de dos pasos: 1. **Caso Base (o Paso Base):** Se demuestra que la proposición es verdadera para el primer número natural (generalmente 0 o 1). Esto establece el punto de partida. 2. **Paso Inductivo:** Se asume que la proposición es verdadera para un número natural arbitrario *k* (esta es la *hipótesis inductiva*). Luego, se demuestra que, asumiendo que es verdadera para *k*, la proposición también debe ser verdadera para el siguiente número natural, *k+1*. Esto demuestra que si la proposición es verdadera en un punto, entonces "se propaga" a todos los puntos siguientes. Si ambos pasos se cumplen, entonces la proposición es verdadera para todos los números naturales a partir del caso base. Es como un efecto dominó: si la primera ficha cae y si cada ficha al caer tumba la siguiente, entonces todas las fichas caerán.
Ejemplo Resuelto
Demostrar que la suma de los primeros *n* números naturales es *n*(n+1)/2 para todo *n* ≥ 1. 1. **Caso Base (n=1):** La suma del primer número es 1. 1*(1+1)/2 = 1. Se cumple. 2. **Paso Inductivo:** Asumimos que la fórmula es verdadera para *k*: 1 + 2 + ... + *k* = *k*(*k*+1)/2 (hipótesis inductiva). Ahora debemos demostrar que es verdadera para *k+1*: 1 + 2 + ... + *k* + (*k*+1) = (*k*+1)(*k*+2)/2. Partimos de la hipótesis inductiva y sumamos (*k*+1) a ambos lados: *k*(*k*+1)/2 + (*k*+1) = (*k*(*k*+1) + 2(*k*+1))/2 = (*k*+1)(*k*+2)/2. Esto coincide con lo que queríamos demostrar. Por lo tanto, la fórmula es verdadera para todo *n* ≥ 1.