Filosofia Para Principiantes

Inducción matemática

Una descripción informal de la inducción matemática puede ser ilustrada por el efecto dominó, donde ocurre una reacción en cadena con una secuencia de piezas de dominó cayendo una detrás de la otra.

En matemáticas, la inducción es un razonamiento que permite demostrar una infinidad de proposiciones, o una proposición que depende de un parámetro que toma una infinidad de valores enteros. En términos simples, la inducción matemática consiste en el siguiente razonamiento:

Premisa mayor: El número entero tiene la propiedad .

Premisa menor: El hecho de que cualquier número entero tenga la propiedad implica que también la tiene (que se anota ).

Conclusión: Todos los números enteros a partir de tienen la propiedad .

Con más rigor, el método de inducción matemática es el que realiza la demostración para proposiciones en las que aparece como variable un número natural. Se basa en un axioma denominado principio de la inducción matemática.1

Índice [ocultar]

1 Demostraciones por inducción

1.1 Ejemplo 2

2 Notas y referencias

3 Véase también

4 Enlaces externos

Demostraciones por inducción

El razonamiento para demostrar una proposición cualquiera mediante el esquema del razonamiento es como sigue. Llamemos a la proposición, donde es el rango.

Se demuestra que , el primer valor que cumple la proposición (iniciación de la inducción), es cierta.

Se demuestra que si se asume como cierta y como hipótesis inductiva, entonces lo es también, y esto sin condición sobre el entero natural (relación de inducción).

Luego, demostrado esto, concluimos por inducción, que es cierto para todo natural .

La inducción puede empezar por otro término que , digamos por . Entonces será válido a partir del número , es decir, para todo natural .

Ejemplo 2

Véase también: Sumatorio.

Se tratara de demostrar por inducción la siguiente proposición:

1. Se comprueba para n=1

Se tiene por tanto que la proposición es verdadera para n=1

2. Hipótesis inductiva (n=h)

3. Tesis inductiva (n=h+1)

4.

...