La induccin es un razonamiento que permite demostrar una infinidad de proposiciones, o una

proposicin que depende de un parmetro que toma una infinidad de valores enteros. En
trminos simples, la induccin matemtica consiste en el siguiente razonamiento:
Premisa mayor: El nmero entero tiene la propiedad .
Premisa menor: El hecho de que cualquier nmero entero tenga la
propiedad implica que tambin la tiene (que se anota ).
Conclusin: Todos los nmeros enteros a partir de tienen la propiedad .

Demostraciones por induccin
El razonamiento para demostrar una proposicin cualquiera mediante el esquema del
razonamiento es como sigue. Llamemos a la proposicin, donde es el rango.
Se demuestra que , el primer valor que cumple la proposicin (iniciacin de la induccin),
es cierta.
Se demuestra que si se asume como cierta y como hiptesis inductiva, entonces lo
es tambin, y esto sin condicin sobre el entero natural (relacin de induccin).
Luego, demostrado esto, concluimos por induccin, que es cierto para todo natural .
La induccin puede empezar por otro trmino que , digamos por . Entonces ser vlido
a partir del nmero , es decir, para todo natural .

Ejemplo 2
Se tratara de demostrar por induccin la siguiente proposicin:

1. Se comprueba para n=1

Se tiene por tanto que la proposicin es verdadera para n=1
2. Hiptesis inductiva (n=h)

3. Tesis inductiva (n=h+1)


4. Demostracin de la tesis en base a la hiptesis

Se aplica la hiptesis de induccin:


(sacando factor comn)