Induccin matemtica

En matemticas, 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 con el smbolo de condicional material: ). Conclusin: Todos los nmeros enteros a partir de tienen la propiedad .

Ejemplo 1
Demuestre por induccin matemtica que:

a ) Sea n

1 , entonces:

b ) Sea n = k , entonces:

c ) Sea n = k + 1 , entonces:

d ) Demostracin:

Por lo tanto se demuestra que la ecuacin

es valida

Ejemplo 2
Demuestre por induccin matemtica que: Si n es un entero positivo, entonces n(n+1) es divisible por 2 . a ) Sea n = 1 , entonces:

n (n + 1)= 2 (Verdadero) . b ) Sea n = k , entonces: k (k + 1) es divisible por 2 ( Hiptesis de induccin ) . c ) Sea n = k + 1 , entonces: (k + 1) (k + 2) es divisible por 2 ( Tesis ) . d ) Demostracin: ( k + 1) (k + 2) = k (k + 1) + 2 (k + 1) k (k + 1) es divisible por 2 (Por hiptesis de induccin ) . 2 (k + 1) es divisible por 2 ( Entero par ) . Por lo tanto (k + 1) (k + 2) es divisible por 2 .