INDUCCION MATEMATICA

Noviembre de 2011

Alejandro Medina Robles Ing. En Computacin Inteligente

1 Semestre

Introduccin
La induccin matemtica, es una forma de razonamiento que pude usarse para demostrar relaciones o proposiciones que dependan de una variable (n), que solo admita valores enteros positivos. Esto se puede elaborar con los siguientes pasos. 1. Comprobar que la relacin es verdadera para el primer valor admisible de la variable (n=1 o primer valor ) 2. Con una hiptesis de que la relacin es verdadera para cierto valor de n, digamos k (n=k ), hay que demostrar que tambin es verdadera para el consecuente de k ( n=k+1). 3. Comprobando que la relacin es cierta para n=1 en el primer paso, del paso 2 se siguiente tambin es cierta para n=2.Analogamente, si la relacin es cierta para n=2, entonces es cierta para n=3 y sucesivamente para todos los valores enteros positivos que tome n. Ejemplo 12+32+52++( 2n-1 )2 =


(4n-12 )

Paso 1 n=1
(2(1)-1)2= (2-1)2=


(4(1)2 -1) (4(1)-1) (4-1) (3)

(1)2= 1=

1=

1=1

Paso 2 n=k
( 2k-1 )2 =


(4k-12)

Por la hiptesis concluimos que es cierto Para n= k+1



(4(k+1)2 -1)

Entonases ( 2k-1 )2 +(2(k+1)-1)2 = (4k2 -1) + (2(k+1)-1)2 (4k2-1) + (2k+2-1)2 (4k2 -1) + (2k+1)2   


  


  


  


 = (2k+3)(k+1)




  

Nuestra induccines cierta codigo #include <math.h> #include <iostream> using namespace std; int main() { unsigned long long int tem,sum,m, i, n,k,x;

sum=0; /*capturamos el valor de n o se lo pone usted profe*/ n=5; /* Proceso pra cada valor de n */ for(i=1;i<=n;i++) { tem=(i*2)-1; x= pow(tem,2);

cout<<" + "<<x; sum=sum+x; } cout<<" =, "<<sum; k=pow(n,2); /*desarrollo directo de la formula*/ m = (n*(4*k-1))/3; /*comprobacion del resultado,con la formula */ if(m==sum) {cout<<" \n demostracion confirmada "<<sum;} else cout<<"\n demostracion fallida "; system("PAUSE"); return 0; }
Conclucion
La indiccin matemtica resulta ser muy practica para evitar la validacin de nuestra formula con cada valor entero positivo y cmo sabemos que tiende a infinito, nos ahorra mucho trabajo, y proceso . Referencias C.Lehmann Algebra ----- Editorial: Limusa