Induccion Matematica G. Peano (1881932) propuso cinco propiedades fundamentales que caracterizan a los nmeros naturales, Axiomas de Peano.

Una de ellas conocida como el Principo de Induccin Matemtica es actualmente una herramienta de uso prctico y terico principalmente para matemticos y personas que trabajan en Ciencias Computacionales. El principio lo enunciaremos para los enteros positivos N+, pero bien se puede ampliar a los nmeros naturales o a cualquier subconjunto de los enteros mayores o iguales a un entero fijo.

Principio de Induccin Matemtica.

Si S en un conjunto de enteros positivos tal que

(B) 1 e S

(I) k e S (k+1) e S

entonces S contiene todos los enteros positivos.

En en principio de Induccin Matemtica son muy importantes los nombres asociados y en la literatura tcnica, como es costumbre, no se presenta con detalle los pasos, por lo que resulta indispensable conocer la nomenclatura.

Nomenclatura de Induccin Matemtica.

(B) se llama Caso Base o caso inicial (I) se llama Paso de Induccin k e S se llama Hiptesis de Induccin Y como ya se mencion todo junto se llama Principio de Induccin Matemtica.

Es importante que el alumno comprenda y memorice cada uno de estos conceptos y su participacin directa en la propiedad.

Escencialmente lo que enuncia el principio de induccin matemtica es, si logramos establecer que el primer entero positivo cumple, una propiedad, y si partiendo de que un entero arbitrario tambin la cumple, se puede comprobar que el entero siguiente tambin tiene la propiedad entonces concluimos que todos los enteros positivos tienen la propiedad indicada.

Por lo que otra forma de enunciar el Principio de Induccin Matemtica es:

Si F(n) es una proposicin abierta que involucra enteros y se tiene (B) F(1) es verdadera; o sea, se que cumple para n=1 (I) F(K) F(k+1); Si se cumple para n = k entonces tambin se cumple para n=k+1.

Concluimos que la proposicin es verdadera para todos los enteros positivos.

El Principio de Induccin Matemtica se utiliza para demostrar propiedades, formulas, validarlas y probar que son verdaderas, usualmente en el conjunto de los nmeros enteros positivos. Muchas propiedades que incluyen la definicin de de factorial se pueden probar por Induccin Matemtica, como el Teorema del Binomio de Newton, el Tringulo de Pascal y algunas propiedades de combinatoria que involucran combinaciones y permutaciones. Otra forma de utilizarla es para proporcionar definiciones y formalizar conceptos.

1. Demostrar por Induccin Matematica que:

F(n):

{$ 1 + 2 + 3 + ... + n = frac{n(n+1)}2$}

Consideremos el conjunto S de los enteros para los cuales la propiedad es cierta.

*[B] Si n=1; tenemos:

{$1 = frac{1(1+1)}2$}

{$1 = frac{2}2$}

{$1 = \frac{2}2$}

{$ 1 = 1$}

entonces 1 est en S o sea que se cumple el caso base.

*M+ Debemos de llegar a que para n=k+1 tambin se cumple: ,$1 + 2 + 3 + + k+1 = frac(k+1)(k+2)2$-

*[I] Induccin

**[H] Suponemos que cumple para n=k;

,$ 1 + 2 + 3 + + k = frac,k(k+1)-2$-

***H M+ Sumamos (k+1) de los dos lados de la igualdad

{$ 1 + 2 + 3 + . . . + k + (k+1) = frac{k(k+1)}2 + (k+1) $}

{$ = frac{k(k+1) + 2(k+1)} 2 $}

{$ = frac{k^2+k+2k+2}2$}

{$ = frac{k^2+3k+2}2$}

{$ = frac(k+1)(k+2) 2 $}

Por lo tanto, podemos concluir que la formula (1) es valida para todos los enteros positivos

Para realizar el Paso de Induccin se debe de partir del caso n=k y llegar mediante pasos vlidos al caso n=k+1.

En el ejemplo anterior para llegar a n=k+1 partiendo de n=k al lado izquierdo slo le faltaba k+1 por lo que la estrategia fue sumar k+1 en ambos lados de la igualdad.

Esta estrategia la podemos utilizar para el siguiente algoritmo

Da click aqui para descargar la explicacin en vdeo

ALGORITMO . Para demostrar una igualdad F(n) algebraica vlida que involucra enteros donde la parte izquierda es una suma cuyo trmino n-simo es una frmula de n.

[Frmula] Escribir la frmula en funcin de n, sea F(n).

[Caso Base] Probar la frmula para n=1, F(1).

[Meta] Escribir la frmula para n=k+1, F(k+1).

[Paso de Induccin]

*Hiptesis de Induccin+ Escribir la frmula para n=k.

*Llegar a la Meta+ Sumar a ambos lados el ltimo trmino de la parte izquierda de la *Meta+, o sea la igualdad para n=k+1.

Aplicar propiedades algebraicas al lado derecho hasta llegar al lado derecho de la [Meta], o sea la igualdad para n=k+1.

Nota: Cabe aclarar que la nica dificultad se puede presentar en el manejo algebraico de las expresiones en la segunda parte del Paso de Induccin y que depende muchas veces de la complejidad de la expresin y de la habilidad algebraica de quien realiza la prueba.

Nota: La meta la marcamos con rojo para indicar que no es un paso vlido en la demostracin,sino ms bien una gua de a dnde queremos llegar y para tener una mejor idea de lo que estamos demostrando.

En los ejemplos que se vean se debe considerar expresiones que se puedan resolver con la preparacin de los estudiantes a los que va dirigido.

2. Demostrar por Induccin Matematica que:

{$ sum_{i=1}^{n-1}(6n-2) = 4 + 10 + 16 + + (6n-2) = n(3n+1)$}

Es la letra griega sigma mayuscula y en matematicas significa suma

**B+ Si n=1; tenemos: ,$(6(1)2) = 1(3(1)+1)${$ 4 = 4$}

entonces 1 est en S o sea que se cumple el caso base.

,$4 + 10 + 16 + + (6(k+1)2)= (k+1)(3(k+1)+1)\\4 + 10 + 16 + + (6(k+1)2) = 3k^2+7k+4$- ||

*[I] Induccin

**[H] Suponemos que cumple para n=k;

,$4 + 10 + 16 + + (6k-2) = k(3k+1)$}

**[HM+ Sumando (6(k+1)2) a ambos lados

,$4 + 10 + 16 + + (6k-2) + (6(k+1)2) = k(3k+1) + (6(k+1)2)$-

{$= 3k^2+k+6k+62$}

{$= 3k^2+7k+4$}

Por lo tanto, podemos concluir que la formula (2) es valida para cualquiera que sea el valor de n

El Principio de Induccin Matemtica es mucho ms que el algoritmo aqu presentado, ya que hay muchos casos en los que no aparecen igualdades algebraicas y como se mencion en el principio inicialmente (B), (I) son tan generales que puede aplicarse a cualquier cosa que cumpla las condiciones. Sin embargo el poder aprender y resolver problemas con este algoritmo le da al alumno la madurez necesaria para entenderlo en general y le sirve tambin para formalizar y entender posteriormente la recursividad, concepto tan importente en Ciencias Computacionales.

Para practicar hacer los ejercicios del 85 al 94 de Ejercicios MC 1

Definiciones por induccin: Utilizando el mtodo de Induccin Matemticas podemos definir conceptos en forma recursiva, la ventaja es que se formalizan los conceptos adems de que son ms fciles de manejar.

Factorial: [B] 0! = 1 [R] (n+1)! = n! (n+1)

Notacin Sumatoria:

Suma: [B] m + 0 = m *R+ m + n = (m+n)

La definicin anterior se basa en los nmeros naturales, n significa el sucesor de n que equivale a n+1, por la misma definicin anterior.

Producto: [B] m * 0 = 0 [R] m * (n+1) = (m * n) + m