5/30/2021 Inducción fuerte - Wikipedia, la enciclopedia libre

Inducción fuerte
La inducción fuerte o inducción completa es un método de demostración matemática similar a la inducción matemática común, pero difiere en el razonamiento de lo que
queremos demostrar. Se toma un número fijo y se toma como hipótesis que es cierto para otro número fijo mayor que éste y para todos los que están entre ellos. Así, la
afirmación es cierta sólo si también se cumple para el sucesor de este último número.

Existe también un método de inducción débil o inducción desplazada, que usa un razonamiento en cierto modo inverso a este, ya que toma como base la hipótesis de que es
cierta para el antecesor del que se quiere demostrar.

El procedimiento es válido considerando que los elementos de lo que queremos demostrar pertenecen a un conjunto inductivo. Es decir, el conjunto de todas las afirmaciones
es un conjunto inductivo.

Índice
Enunciado
Ejemplo
Véase también
Bibliografía
Enlaces externos

Enunciado
Podemos enunciar el principio de inducción fuerte tal y como se muestra a continuación:

Sea P(n) una afirmación que depende del parámetro n entero, y suponiendo que se demuestra lo siguiente,

1) es cierta para un cierto entero

2) Siempre que es cierto y que es cierto para cualquier entero , se tendrá que es cierto,

entonces la afirmación será cierta para todo entero .

Suele ser más complicado y no trivial solucionar los problemas comunes de inducción con este método, pero puede ser ventajoso.

Ejemplo
Prueba de una de las propiedades de la sucesión de Fibonacci.

Sea la sucesión de Fibonacci y el n-ésimo número de Fibonacci

Demostración

Usando el principio de inducción fuerte:

i) Probar la base inductiva

ii) Iterando suponemos que la hipótesis inductiva vale para con

con

iii) Por demostrar que

Como

Usando la hipótesis de inducción

y como , por transitividad de la desigualdad se tiene

Véase también
Principio de inducción

Bibliografía
https://es.wikipedia.org/wiki/Inducción_fuerte 1/2
5/30/2021 Inducción fuerte - Wikipedia, la enciclopedia libre
H. Cárdenas, E. Lluis, F. Raggi y F. Tomás, Álgebra Superior, México, Trillas, 1978. ISBN 968-24-3783-0.

Enlaces externos
Principios de Inducción, Mat. Frank P. Murphy-Hernández (http://algebrafm.files.wordpress.com/2012/02/induccion1.pdf)

Obtenido de «https://es.wikipedia.org/w/index.php?title=Inducción_fuerte&oldid=135714586»

Esta página se editó por última vez el 21 may 2021 a las 15:50.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de
uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.

https://es.wikipedia.org/wiki/Inducción_fuerte 2/2