Induccin matemtica

En matemticas, la induccin es un razonamiento que

permite demostrar proposiciones que dependen de una variable

que toma una infinidad

de valores enteros. En trminos simples, la induccin matemtica consiste en el siguiente

razonamiento:
El nmero entero
entero

tiene la propiedad

tambin tenga la propiedad

. El hecho de que cualquier nmero

implica que

Entonces todos los nmeros enteros a partir de

tambin la tiene.

tienen la propiedad

La demostracin esta basada en el axioma denominado principio de la induccin

matemtica.1

Demostraciones por induccin[editar]

Llamemos

a la proposicin, donde

Base- Se demuestra que

es el rango.

es cierta, esto es el primer valor que cumple la

proposicin (iniciacin de la induccin).

Paso inductivo- Se demuestra que si

inductiva, entonces
natural

es cierta, esto es, como hiptesis

lo es tambin, y esto sin condicin sobre el entero

(relacin de induccin).

Luego, demostrado esto, concluimos por induccin, que

es cierto para todo natural

La induccin puede empezar por otro trmino que no sea

, digamos por

Entonces

ser vlido a partir del nmero

, es decir, para todo natural

Ejemplo[editar]
Se probara que la siguiente declaracin P ( n ), que se supone vlida para todos los
nmeros naturales n .

P ( n ) da una frmula para la suma de los nmeros naturales menores o igual a n . La

prueba de que P ( n ) es verdadera para todos los nmeros naturales procede como
sigue.
Base: Se muestra que es vlida para n = 0.
con P(0) se tiene:

En el lado izquierdo de la ecuacin, el nico trmino es 0, entonces su valor es 0.

mientras que el trmino derecho, 0(0 + 1)/2 = 0.
Ambos lados son iguales, n = 0. Entonces P(0) es verdadera.
Paso inductivo: Mostrar que si P(k) es verdadera, entonces P(k + 1) es
verdadera. Como sigue:
Se asume que P(k) es verdadera (para un valor no especfico de k). Se debe
entonces mostrar que P(k + 1) es verdadera:

usando la hiptesis de induccin P(k) es verdadera, el trmino izquierdo se

puede reescribir:

Desarrollando:

mostrando de hecho que P(k + 1) es verdadera.

Puesto que se han realizado los dos pasos de la induccin
matemtica tanto la base como el paso inductivo, la declaracin P ( n )
se cumple para todo nmero natural

Q.E.D.

Ejemplo 2[editar]
Se tratar 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)

Por lo tanto, verificndose la proposicin para

siendo

y para

cualquier nmero natural, la proposicin se verifica

Bibliografia:
http://es.wikipedia.org/wiki/Inducci%C3%B3n_matem%C3%A1tica