La inducción matemática es una forma de demostración que se usa para establecer la validez de una proposición acerca de los números naturales. Se procede probando que la proposición es cierta para el primer número natural y después probando que si la proposición es cierta para un número natural entonces también es cierta para el siguiente. Este método se puede enunciar formalmente del siguiente modo.
|
Entonces |
El conjunto representa a aquellos números naturales que satisfacen la proposición que se quiere demostrar. La condición
se llama hipótesis de inducción y la implicación
se llama paso inductivo. La siguiente forma equivalente del principio de inducción matemática consiste en realizar la hipótesis de inducción sobre un número natural y todos los anteriores a él.
|
Entonces |
Etiquetas: Inducción completa, Inducción matemática