Historia
Induccin Matemtica es un mtodo de prueba relativamente reciente: el primer
uso conocido lo hizo el sacerdote italiano Francesco Maurolico (1494-1575) en
su publicacin Arithmeticorum libri duo (1575).
Francesco Maurolico (1494-1575)
En el siglo 17 tanto Piere de Fermat como Blaise Pascal utilizaron induccin
matemtica para hacer demostraciones. En 1883 Augustus De Morgan fue el
primero que describi el proceso cuidadosamente y le nombr induccin
matemtica.
Augustus De Morgan
IDEA INTUITIVA
Suponga una fila interminable de fichas de domin.
Suponga una fila interminable de fichas de domin. Suponga que las fichas
estn estratgicamente colocadas de tal forma que si cualquiera cayera hacia
adelante tumbara la siguiente ficha hacia adelante.(Paso Inductivo) Suponga
tambin que la primera ficha cae hacia adelante.(Base Inductiva)
Qu pasar con las fichas de domin?
Caern todas!
Suponga que una propiedad (frmula, desigualdad, condicin, etc.) P(n) que
est definida para los enteros a partir de un entero fijo a
(Para n = a, para n = a + 1, para n = a + 2, . . .) Suponga que las dos
Siguientes afirmaciones son ciertas:
P(a) es verdadero.
Para cualquier entero k mayor o igual que a:Si P (k) es cierto, entonces
P (k + 1) es cierto. Entonces la afirmacin: Para todos los enteros n a,
P(n)
Es verdadera.
Para demostrar que es verdadera una afirmacin: Para todos los enteros n a,
P(n)
Pruebe que:
Paso 1 (Base Inductiva): P(a) es verdadero
Paso 2 (Paso Inductivo): Muestre que para Cualquier entero k a . . .
Suponiendo que P(k) es verdadera (Hiptesis inductiva)
entonces muestre que P(k + 1) tambin es verdadera.
Suponiendo como vlidas las reglas de derivacin
Y que
Demuestre que para todo entero n 1
CONCLUSIN
La induccin matemtica es muy utilizada en el anlisis. Nos permite demostrar
propiedades interesantes acerca de la correccin y e ciencia de algoritmos,
sino que adems puede incluso utilizarse para determinar que propiedades es
preciso probar. En la ciencia hay 2 enfoques
Opuestos fundamentales: induccin y deduccin.
La induccin consiste en inferir una ley general a partir de casos particulares,
Mientras que una deduccin es una inferencia de lo general a lo particular.
Aunque a veces la induccin nos da conclusiones falsas, no se puede
despreciar.
La deduccin por otra parte siempre es vlida con tal de que sea aplicada
correctamente.
En general no se puede contar en el resultado del razonamiento inductivo.
Mientras haya casos que no hayan sido considerados, sigue siendo posible que
la regla general inducida sea incorrecta. Por ejemplo, si se observa que:
Nos podemos convencer inductivamente que la suma de los cubos de los
nmeros enteros positivos es siempre un cuadrado perfecto. En este caso el
Razonamiento inductivo proporciona una ley correcta.