Induccin Matematica o

Coaquira Rafael Hugo Luque Quispe Maria del Carmen Pacheco Talavera Jos Erixn e o Ramos Quispe Lidia Fiorella 23 de Abril del 2010

 Indice general
1. Introduccin o 2. El Principio de la Induccin o 2.1. Principio simple de induccin (PSI) . . . . . . . . . . . . . . . o 2.2. Principio de induccin por curso de valores . . . . . . . . . . . o 2.3. Principio del buen orden . . . . . . . . . . . . . . . . . . . . . 5 7 8 8 8

3. Demostracin de proposiciones por induccin o o 11 3.1. Induccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 o 3.2. La induccin matemtica . . . . . . . . . . . . . . . . . . . . . 11 o a 4. Aplicacin de la induccin o o 5. Demostracin por recursividad o 5.1. Demostracin por recursividad . . . . . . . . . . . . . o 5.2. Consideraciones en la demostracin por recursividad . o 5.3. El principio de la demostracin por recursividad . . . o 5.4. Deniciones recursivas . . . . . . . . . . . . . . . . . 6. Clonclusin o 15 17 17 18 18 18 23

. . . .

. . . .

. . . .

. . . .

. . . .

Cap tulo 1

Introduccin o
Todos los matemticos y personajes relacionados con esta area, saben a hoy en d que las armaciones matemticas y otras conjeturas deben de ser a a demostrados, para ello es necesario utilizar herramientas que nos permitan esto, una de ellas es la induccin matemtica. o a Sera posible conocer ms aun algo conociendo primero su lado opuesto?. a Sera posible conocer un valor conociendo primero su contravalor? Antes que nada los miembros que hicieron posible este trabajo, desean esbozar, que existen principios fundamentales que ayudan a cada ser humano a evolucionar permanente. El conocimiento es parte de esta inquietud de querer alcanzar la esencia losca del conocimiento y la verdad. Dentro o de estos principios fundamentales, estudiantes de carreras anes a la computacin ignoran seguramente temas relacionados con el buen orden que debe o de existir este mundo. El objetivo de este trabajo es introducirlos en este fascinante mundo, en la presente monograf se ha de mostrar el desarrollo de as, los conceptos bsicos para la adquisicin de herramientas que nos permitan a o determinar el buen orden como es la induccin Matemtica, que es, una de o a las herramientas bsicas utiles en la algoritmia, quiz no haya ninguna ms a a a importante que la induccin matemtica. No solo nos permite demostrar proo a piedades interesantes acerca de la correccin y ecacia de los algoritmos, sino o que adems que se puede incluso utilizarse para determinar que propiedades a es preciso probar. La induccin matemtica es una herramienta de uso prctico y terico en o a a o las matemticas y ciencias computacionales lo que hace que su estudio, sea a de vital importancia en el desarrollo de nuestra preparacin. o 5

6 El principio de Induccin Matemtica es un mtodo que se utiliza para o a e demostrar propiedades, formulas, validarlas y probar que son verdaderas. Es un mtodo simple que consta de tres pasos fundamentales en los cuales se e debe demostrar la propiedad reemplazando su incgnita por 1, luego por k o y nalmente por k+1. En cualquier ciencia experimental, la induccin es el o proceso de obtener un resultado general a partir del anlisis de casos partia culares. De esta forma, observando la ca de una serie de cuerpos pesados, da se induce que cualquier cuerpo ms pesado que el aire cae por la accin de a o la gravedad. Este hecho se considerara valido mientras no se encuentre un cuerpo ms pesado que el aire que no caiga. G. Peano (1858-1932) propuso a cinco propiedades fundamentales que caracterizan a los nmeros naturales, u Axiomas de Peano. Una de ellas conocida como el Principio de Induccin o Matemtica es actualmente una herramienta de uso prctico y terico prina a o cipalmente para matemticos y personas que trabajan en Ciencias Compua tacionales. El principio lo enunciaremos para los enteros positivos N+, pero bien se puede ampliar a los nmeros naturales o a cualquier subconjunto de u los enteros mayores o iguales a un entero jo. La induccin matemtica es el equivalente al mtodo cient o a e co. Pero para lo cual no se puede generalizar. Los pasos para desarrollar la Induccin o Matemtica se detallan en el contenido del presente trabajo de investigacin. a o El rea de la programacin es muy amplia y con muchos detalles. Los proa o gramadores necesitan ser capaces de resolver todos los problemas que se les presente a travs del computador aun cuando en el lenguaje que utilizan no e haya una manera directa de resolver los problemas. En el lenguaje de programacin C, as como en otros lenguajes de programacin, se puede aplicar una o o tcnica que se le dio el nombre de recursividad por su funcionalidad. Esta e tcnica es utilizada en la programacin estructurada para resolver problemas e o que tengan que ver con el factorial de un nmero, o juegos de lgica. Las u o asignaciones de memoria pueden ser dinmicas o estticas y hay diferencias a a entre estas dos y se pueden aplicar las dos en un programa cualquiera.

Cap tulo 2

El Principio de la Induccin o
La induccin matemtica se usa a menudo para vericar o probar, una o a conjetura obtenida mediante induccin no matemtica. Hablando con precio a sin, el axioma de induccin dice: si M es un conjunto de enteros positivos, o o con las siguientes propiedades IA. M Contiene al entero 1, y, IIA. Si M contiene al entero n, se puede demostrar que M contiene adems a al entero n+1, entonces M contiene a todos los enteros positivos. La primera parte del axioma de induccin, IA suele llamarse base, y la seguno da parte, IIA parte inductiva. El axioma de induccin es util para demostrar o ciertas expresiones matemticas. Suponiendo que la proposicin P(n) es vera o dadera o falsa dependiendo solo del valor de la n, el axioma de induccin se o puede utilizar para demostrar que si IB. P(1) es verdadera, y IIB. El saber que P(n) es verdadera, implica que P(n+1) es tambin verdae dera, entonces P(n) se cumple para cualquier n. Usamos induccin sobre los naturales para: o Demostrar que todos los nmeros naturales tienen una cierta propiedad. u Ejemplo. n n(n + 1) S(n) : k= 2 k=1 7

8 Denir diversos objetos asociados a los nmeros naturales : Deniciones u inductivas/recursivas de funciones relaciones etc. Ejemplo: n! = 1, (n + 1)! = (n + 1) n! La induccin nos permite demostrar que existe una unica funcin: NN o o que satisface las ecuaciones de arriba. Hay al menos tres principios de induccin para los naturales que son o equivalentes.

2.1.

Principio simple de induccin (PSI) o

Dado un subconjunto S de N (S N), si se cumple que (I) 0 S; (II) Dado cualquier n N, si n S entonces (n+1) S; entonces S=N.

2.2.

Principio de induccin por curso de vao lores

Dado un subconjunto S de N (S N), si se cumple que para todo n N: {kN : k < n S S}, () entoces S=N. Aqu vemos que no hay una base.explicita: solo hay un paso inductivo, y en este la HI es {kN : k < n} S S y la TI es n S.

2.3.

Principio del buen orden

El principio del buen orden implica. El principio de induccin matemtica o a Sea A un subconjunto de nmeros naturales tal que, u

9 (1) Contiene al 1, y (2) Si contiene a n entonces contiene a n+1. Supongamos que A = N. Sea B=N-A el conjunto de nmeros naturales que no estn en A. u a Si A = N, entonces B= . Luego por el principio del buen orden, B tiene un elemento mas pequeo. n Sean m B el elemento mas pequeo de B. n Observar que m = 1 porque 1 A. Por lo tanto, m>1 y podemos escribir m=(m-1)+1, y m-1 N. Observar que m-1 no existe B porque el numero mas pequeo en B es m. n Por lo tanto, m-1 A y entonces m=(m-1)+1 A . Esto contradice la suposicin m es el elemento mas pequeo de B. o n El principio de induccin matemtica implica El Principio Del Buen Oro a den Sea A un subconjunto de nmeros naturales. u El principio del buen orden dice: A = m A, n A, m < n Esto dice P Q, lo cual es equivalente a Q o P. Es decir, m A, n A, m < noA = Supongamos que Q. Es decir, que, m A, n A, m n Sea B el subconjunto de N tal que 1,2,3,. . .,k, no pertenecen a A. Observar que 1 B. (Porque 1 A n A, 1 < n). Por el principio de induccin matemtica, B=N. o a Por lo tanto A=vacio. Es decir, P

10 P V V F F P V V F F P V V F F Q PyQ V V F F V F F F Q PoQ V V F V V V F F Q PQ V V F F V V F V

Como dijimos al principio, todos estos principios son equivalentes: cada una se puede demostrar a partir de cualquiera de los otros. A veces uno es ms apropiado que otro, segn el problema donde se quiera a u aplicar.

Cap tulo 3

Demostracin de proposiciones o por induccin o

3.1. Induccin o

En el ambito de la lgica, el razonamiento inductivo, que es una mo o dalidad del razonamiento no deductivo consistente en obtener conclusiones generales a partir de premisas que contienen datos particulares. Principio de induccin completa es un razonamiento que permite demostrar una innidad o de proposiciones, o una proposicin a un tipo de razonamiento en donde se o obtienen conclusiones tan slo probables (concepcin ms moderna). o o a

3.2.

La induccin matemtica o a

La induccin matemtica es un caso especial, donde se va de lo particular o a a lo general y, no obstante, se obtiene una conclusin necesaria. T o picamente, el razonamiento inductivo se contrapone al razonamiento deductivo, que va de lo general a lo particular y sus conclusiones son necesarias. La induccin o matemtica es un mtodo de demostracin muy util empleado corrientemena e o te en la matemtica. Principio de induccin nita o principio de induccin a o o matemtica. Sea S(n) una proposicin matemtica abierta(o un conjunto de a o a tales proposiciones abiertas), en la que aparece una o varias veces la variable n, que representa a un entero positivo. El mtodo, consta de dos partes o e teoremas parciales: Teorema 1 o base de la demostracin o 11

12

Es la demostracin deductiva de que la proposicin se verica para o o algn nmero natural dado a: Proposicin f(a). . . es verdadera u u o Entonces : a Si S(1) es verdadera;y Teorema 2 o paso de induccin o Es la demostracin, de carcter tambin deductivo, de que si la propoo a e sicin se supone cierta para un nmero natural k, tambin ha de ser o u e cierta para el nmero sucesor de k, para el nmero (k+1). u u Proposicin f(k) es verdadera f(k+1) tambin debe ser verdadeo e ra.(Esto es lo que se quiere demostrar) b Siempre que S(k) sea verdadera(para algn k Z + particular, pero u elegido al azar);entonces S(k+1)ser verdadera; a Entonces S(n) es verdadera para todo nZ + . De lo cual se inere que la proposicin es verdadera para el nmero nao u tural a y para todos los nmeros naturales siguientes al nmero a, es decir u u es cierta para el conjunto de nmero naturales [a, ). Evidentemente, si a u es el primero de los nmero naturales, la proposicin ser cierta para todo u o a conjunto N. Ambos paso parciales son procesos deductivos, por lo que cabr a decir que, realmente, el mtodo de induccin matemtica es, en realidad, un e o a proceso de deduccin. En realidad, el nombre de induccin matemticase o o a debe simplemente a que lo asociamos a nuestra conciencia con los razonamientos inductivos que realizamos, a pesar de que el paso inductivo de la demostracin es una proposicin general que se demuestra como un riguroso o o proceso deductivo, sin necesidad de ninguna hiptesis particular. o Si nZ + , se establece la validez de la proposicin abierta o

n2 + n + 2 S(n) : i = 1 + 2 + 3 + ... + n = 2 i=1 Paso inductivo. Si suponemos la verdad de la proposicin: o

13

S(k) :
i=1

i = 1 + 2 + 3 + ... + k =

k2 + k + 2 2

Para algn kZ + ,(particular), queremos ver si podemos inferir la verdad de u la proposicin o

k+1

S(k+1) :
i=1

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

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

Como lo hicimos anteriormente, usemos la hiptesis de induccin y hacemos o o el clculo siguiente: a

k+1

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

i + (k + 1)

n2 + n + 2 n2 + n + 2 (2k + 2) k 2 + 3k + 4 + (k + 1) = + = 2 2 2 2

Entonces para cualquier kZ + , se tiene que S(k)(k+1). Entonces concluimos que

n

n(n + 1) n = 2

n2 + n + 2 i= 2 i=1

Indagacin de cules son los n meros naturales para los que se o a u verica la desigualdad: 2n > 2.n + 1 Proceso: Teorema 1: Para n = 0 : 20 > 2,0 + 1 = 1, no se verica Para n = 1 : 21 > 2,1 + 1 = 3, no se verica

14 Para n = 2 : 22 > 2,2 + 1 = 5, no se verica Para n = 3 : 23 > 2,3 + 1 = 7, se verica Teorema 2: Sea cierta para n = K : 2k > 2.k + 1 Y veamos, entonces, que tambin se e verica para n = k + 1 : 2k+1 > 2.(k + 1) + 1 En efecto: 2(k+1) = 2k ,2 > (2k1),2 = 4k + 2 = 2(k + 1) + 1 + 2k 1 > 2(k + 1) + 1 Lo cual es cierto para k >2. As pues, podemos armar que la proposicin , o es cierta en el conjunto [3, ). Existen algunos casos donde la induccin da conclusiones falsas. Pero o aunque a veces esto suceda no se puede despreciar. Por lo general no se puede conar en el resultado del razonamiento inductivo. Mientras que existan casos que no han sido considerados, sigue siendo posible que la regla general inducida sea incorrecta. Ac tenemos un ejemplo dado por Leonhard Euler (1707-1783) a Consideramos el polinomio cuadrtico P(n) =n2+n+41 y determinemos a su valor para ciertos n que pertenecen a los naturales N. N n2 + n + 41 1 43 2 47 3 53 4 61 5 71 6 83 7 97 8 113

Todos los nmeros generados son primos, pero para n = 40, se tiene 1681 u =412, Entonces la proposicin que n2 + n + 41 es un nmero primo resulta o u completamente falsa.

Cap tulo 4

Aplicacin de la induccin o o
G. Peano propuso cinco propiedades llamados Axiomas de Peano, una de ellas conocida como el Principo de Induccin Matemtica es una herramieno a ta de uso prctico y terico para matemticos y personas que trabajan en a o a Ciencias Computacionales. La induccin matemtica es un mtodo que se utiliza para demostrar o a e proposiciones. Adems puede usarse en una variedad de situaciones en la a ciencia de la computacin. Algunas aplicaciones son muy matematicas, como o vericar que todo entero positivo satisface cierta frmula. Otra aplicacin o o frecuente es la vericacin de programas (demostrar que un programa de o computacin o que un algoritmo con ciclos funciona como se espera). o El mtodo de induccin matemtica tiene una particular aplicabilidad en e o a la geometr plana y del espacio. Aunque la aplicacin ms comn del mtoa o a u e do en geometr es la dedicada a los procesos de resolucin de problemas de a o clculo, lo mismo, evidentemente, que en la teor de nmeros o en el Algebra, a a u es, sin embargo, muy utilizada la induccin matemtica en la construccin o a o de guras geomtricas de n elementos a partir de la gura anloga elemene a tal mediante la generalizacin correspondiente. Es tambin muy utilizada la o e induccin en la determinacin de lugares geomtricos o en la generalizacin o o e o del nmero de dimensiones para obtener guras anlogas en mayor nmero u a u de dimensiones (paso de la circunferencia a la esfera, por ejemplo). La induccin matematica tambin es utilizada en la criptograf .La Cripo e a tolograf se ocupa no solamente de la escritura secreta sino tambin de otros a e aspectos relacionados con las nuevas tecnolog y las comunicaciones. As as , la Criptograf se encarga de problemas relacionados con la seguridad de las a comunicaciones y el Criptoanlisis de la rotura de dicha seguridad. a La Criptograf de clave privada, en la que se permite la comunicacin a o 15

16 secreta entre dos usuarios que comparten una clave de trabajo. La misma clave se usa para cifrar y para descifrar los mensajes, y el emisor y el receptor han de acordar la clave secreta a travs de un canal de comunicacin seguro. e o Esta es la principal dicultad de los sistemas de clave privada. Por ejemplo, en una red de comunicacin con n usuarios, el nmero de claves secretas es o u n(n1) , y as en una red de 1000 usuarios se requerir 499.500 conexiones , an 2 totalmente seguras para poder distribuir las claves.

Cap tulo 5

Demostracin por recursividad o

5.1. Demostracin por recursividad o

Son demostraciones inductivas no necesariamente relacionadas con los nmeros naturales u Es mas general que la induccin matemtica de los nmeros naturales o a u Se puede aplicar para la evaluacin de expresiones lgicas de clculo o o a de predicados, ya que las proposiciones lgicas cumplen con ciertas o propiedades P. ejem. Puede emplearse para mostrar que todas las expresiones lgicas o pueden evaluarse por medio de su tabla de verdad. Para ello, se toma cualquier expresin lgica x y se demuestra que tiene o o un valor de verdad. Si x es atmica, su valor de verdad est dado por asignacin (caso base) o a o Si x es molecular, se divide en sus componentes y si cada uno de ellos tiene un valor de verdad, entonces x tambin lo tiene. e De esta forma, el problema se reduce recursivamente a subproblemas (hasta alcanzar el caso base) 17

18

5.2.

Consideraciones en la demostracin por o recursividad

Para demostrar por recursividad hay que tomar en cuenta los siguientes puntos: Es crucial que la recursividad llegue a su n Se debe introducir la nocin de sucesin descendiente (sucesin de eleo o o mentos cada vez ms pequeos) a n Si todas las sucesiones descendientes es nita se denomina dominio bien fundado. P. ejem. Al utilizar recursividad en programacin, se debe reducir el o problema a cada llamada recursiva; en caso contrario, el programa podr no terminar. a

5.3.

El principio de la demostracin por reo cursividad

Para demostrar que x P(x) es necesario efectuar los pasos: Dominio bien fundado Base inductiva Hiptesis inductiva o Paso inductivo Conclusin o Seleccionar un predicado G y demostrar las sucesiones nitas de G Si x es m nima,demostrar P(x) Se selecciona un x y se asume que P(x) para todos los y que satisfagan G(x,y) Se demuestra P(x) x P(x)

5.4.

Deniciones recursivas

El principio de induccin va a usarse de dos maneras: para demostrar o que una denicin recursiva dada satisface cierta denicin expl o o cita, o inversamente para encontrar una denicin recursiva correspondiente a una o

19 denicin expl o cita dada. Veamos esto con un ejemplo: Sea f denida recursivamente f 0 = 0 f (i + 1) =f i + 2 i + 1 Queremos demostrar que f satisface (i N / f i = i2 ) Caso base f0 = 0 (denicin de f ) o 2 = 0 (aritmetica)

Paso inductivo f(i + 1) = fi + 2 i + 1 (denicin de f ) o 2 = i + 2 i + 1 (hiptesis inductiva) o 2 = (i + 1) (aritmetica)

Por lo tanto f satisface (i N / f i = i2 ). Lo que hemos hecho se llama vericacion de programa, dado que estamos comprobando que un programa dado (una denicion recursiva), satisface su especicacion. Si bien la tecnica de vericacion es muy util, ya que permite tener certeza sobre la construccion correcta del programa, todavia queda la tarea de encontrar tal programa. Por otro lado, la demostracion de que un programa satisface una especicacion dada no es una tarea trivial, por lo que es conveniente realizarla, al menos en parte, a medida que se construye el programa. Esta construccion conjunta de programa y demostracion, permite guiar la construccion del programa. Volviendo al ejemplo anterior, tomemos la propiedad demostrada a modo de especicacion de f : (i N / f i = i2 ) Obviamente existe una forma trivial de encontrar una funcion que satisfaga la especicacion: fx = x x Si bien es inmediato que esta denicion satisface la especicacion y que ademas es una denicion extremadamente eciente, a modo de ejemplo, trataremos de encontrar una denicion recursiva de f. Puede pensarse que una especicacion de una funcion f es una ecuacion a resolver en la incgnita f, o como ya vimos en cap tulos anteriores. Luego, el proceso que ilustraremos a

20 continuacin, consistir en despejar f para saber qu valor toma. El proo a e ceso de despejar nos asegura que si ahora reemplazamos el valor obtenido en la ecuacin original obtenemos un enunciado verdadero. Entonces: Caso base o f0 = 02 (especicacin de f ) o = 0 (aritmetica)

Paso Inductivo f(i + 1) = (i + 1)2 (especicacin de f ) o 2 = i + 2 i + 1 (aritmetica) = fi + 2 i + 1 (hiptesis inductiva) o

Por lo tanto, deniendo recursivamente f0 = 0 f(i + 1) = fi + 2 i + 1 se satisface la propiedad requerida. Lo que acabamos de hacer se llama derivacin de programas,dado que hemos constru un programa que satisface o do la especicacin y la demostracin de que lo hace. Observemos que esta ultio o ma demostracin, no es ms que la anterior invirtiendo los pasos de atrs o a a para adelante, a partir del segundo paso de la derivacin.En general, nos o concentraremos en el problema de la derivacin de programas ms que en o a la vericacin de los mismos. Veamos otro ejemplo, sea fac una funcin que o o satisface la propiedad
n

(n N/fac(n) = (
i<0

i)),

es decir, fac calcula el factorial de un nmero. Se desea una denicin recuru o siva de fac. Caso base
0

fac(0) =
i<0

i (especicacin de fac) o

= 1 (rango vacio) Paso inductivo

n+1

fac(n + 1) =
i<0

i (especicacin de fac) o

21
n n+1

=
i<0

i
n<i n

i (particin de rango) o i (n + 1) (hiptesis inductiva; rango unitario) o

i<0

= fac(n)

Por lo tanto la denicin recursiva de fac es: o fac(0) = 1 fac(n + 1) = (n + 1) fac(n) Del mismo modo que hicimos anteriromente, consideremos la funcin factoo rial, que habitualmente notamos n!, que se dene recursivamente por: 0! = 1 n! = n (n 1) si n > 0
n

V amos a probar que = 1 2 . . . n = (

i=1 n

i).Entonces P (n) resulta : i)

P (n) = n! = (
i=1

Caso base Podemos reducirlo asi:

0 f also

0! = (
i<0

i) =

i=1

Paso inductivo Probaremos P(n + 1) suponiendo la hiptesis de induccin o o P(n): (n + 1)! = (n + 1) n! (denicin de factorial) o
n

= (n + 1)
i=1 n+1

i (hiptesis inductiva) o

=
i=1

i (n + 1) (aritmetica)

Nuestro siguiente ejemplo, concierne a los nmeros de Fibonacci. Estos nmeu u ros son interesantes cuando trabajamos con induccin matemtica, pero son o a muy interesantes tambin por s solos. Fueron introducidos por Leonardo e Fibonacci (1202) a quien se le debe el nombre. Los primeros 8 nmeros de u Fibonacci son 0, 1, 1, 2, 3, 5, 8, 13, y a excepcin de los primeros dos, los o

22 siguientes nmeros se consiguen sumando los dos anteriores. Los nmeros de u u Fibonacci, se denen recursivamente del siguiente modo: b(0) = 0 b(1) = 1 b(n + 2) = b(n + 1) + b(n) Como ya dijimos, esta sucesin de nmeros tiene propiedades muy interesano u tes, algunas de las cuales se presentan en los ejercicios. Vamos a demostrar ahora, una muy simple: (n/0 n/b(n) < 2n ) Dada la denicion de b, parece conveniente considerar dos casos base, cuando n = 0 y cuando n = 1. El paso inductivo podra considerarase entonces para n 2. Caso base n = 0 b(0) = 0 (denicin de b) o < 1 (0<1) = 20 (20 = 1) El caso base cuando n = 1 es similar al anterior Paso inductivo Sea P(n) : b (n) < 2n, vamos a partir de b (n + 2) y probaremos que es menor que 2(n+2) b(n + 2) = < < < = b(n) + b(n + 1) (denicin de b) o n 2 + b(n + 1) (hiptesis inductiva P(n)) o n (n+1) 2 +2 (hiptesis inductiva P(n+1)) o n+1 (n+1) 2 +2 (la funcin 2x es creciente) o n+2 2 (propiedad de la funcin exponencial) o

Cap tulo 6

Clonclusin o
La induccin matemtica es muy utilizada en el anlisis y diseo de alo a a n goritmos. No solo nos permite demostrar propiedades interesantes acerca de la correccin y eciencia de algoritmos, sino que adems puede incluso utilizarse o a para determinar que propiedades es preciso probar. En la ciencia hay 2 enfoques opuestos fundamentales: induccin y deduccin. o o La induccin consiste en inferir una ley general a partir de casos paro ticulares, mientras que una deduccin es una inferencia de lo general a lo o particular. Aunque a veces la induccin nos da conclusiones falsas, no se puede deso preciar. La deduccin por otra parte siempre es vlida con tal de que sea o a aplicada correctamente. En general no se puede conar en el resultado del razonamiento inductivo. Mientras haya casos que no hayan sido considerados, sigue siendo posible que la regla general inducida sea incorrecta. Por ejemplo, si se observa que: 13 13 + 23 13 + 23 + 33 13 + 23 + 33 + 43 13 + 23 + 33 + 43 + 53 = = = = = 1 = 12 9 = 32 36 = 62 100 = 102 225 = 152

Nos podemos convencer inductivamente que la suma de los cubos de los nmeros enteros positivos es siempre un cuadrado perfecto. En este caso el u razonamiento inductivo proporciona una ley correcta. 23

24 Un ejemplo de induccin matemtica incorrecta es el siguiente polinomio. o a P(n)= n2 +n +41 Y observe que: P (0) P (1) P (2) P (3) P (4) P (5) P (6) P (7) P (8) P (9) P (10) = = = = = = = = = = = 41 43 47 53 61 71 83 97 113 131 151 (es un numero primo) (es un numero primo) (es un numero primo) (es un numero primo) (es un numero primo) (es un numero primo) (es un numero primo) (es un numero primo) (es un numero primo) (es un numero primo) (es un numero primo)

Por lo tanto es natural inferir por induccin que P(n) para todos los valores o de n. Pero de hecho P (40)=1681=(41) no es primo. Entonces nos preguntaremos porqu es importante utilizar induccin si es e o proclive a errores, en lugar de utilizar deduccin que es aprueba de bombas. o Por ejemplo los f sicos precisan utilizar el enfoque inductivo para determinar las leyes fundamentales que gobiernan el universo a partir de datos reales obtenidos de experimentos. Por ejemplo, Halley predijo el retorno de su cometa homnimo por razonamiento inductivo, y tambin por razonamieno e to inductivo Mendeleev predijo no solo la existencia de elementos qu micos todav no descubiertos, sino tambin sus propiedades qu a e micas. No es infrecuente que un matemtico descubra una verdad matemtica a a considerando varios casos especiales e inriendo a partir de ellos por induccin una regla general que parece plausible. Sin embargo independientemeno te de lo tentadora que sea la evidencia, esa verdad matemtica no se puede a aceptar basndonos en la evidencia inductiva solamente. La diferencia entre a la matemtica y las ciencias inherentemente experimentales es que una vez a que se haya descubierto por induccin una ley matemtica general, debemos o a demostrarla rigurosamente aplicando el proceso deductivo. As el proceso inductivo tiene su lugar en las matemticas. En caso con, a trario, cmo podr o amos esperar comprobar rigurosamente un teorema cuyo

25 enunciado ni siquiera ha sido formulado? Por lo tanto, la induccin es neceo saria para formular conjeturas, y la deduccin es igualmente necesaria para o demostrarlas, o a veces para demostrar su falsedad. Ninguna de estas tcnie cas puede ocupar el lugar de la otra. La deduccin solo es suciente para o las matemticas muertas, tal como los elementos de Euclides (que quizs a a sea el mayor monumento de la historia a las matemticas deductivas, cuando a no cabe duda de que gran parte de su material fue descubierto por razonamiento inductivo). Pero se necesita la induccin para mantener vivas las o matemticas. a Tal como Polya dijo una vez las matemticas presentadas con rigor son a una ciencia deductiva sistemtica, pero las matemticas que se estn haciendo a a a son una ciencia inductiva experimental. Una de las tcnicas deductivas mas utiles que estn disponibles en mae a temticas, tiene la mala fortuna de llamarse induccin matemtica .esta tera o a minolog resulta confusa pero, tenemos que vivir con ella. Por ejemplo: Imaa ginmonos subiendo una escalera, sin n. Como usted puede saber si ser cae a paz de alcanzar una grada arbitrariamente alta. Suponga que Ud. Tiene las siguientes armaciones sobre sus habilidades de subir escaleras: 1. Usted puede alcanzar la primera grada. 2. si Ud. puede alcanzar una grada, Ud. puede siempre pasar la grada siguiente. Si la sentencia 1 como la condicional 2 son verdaderas; entonces, por la sentencia 1 Ud. puede llegar a la primera grada y por la sentencia 2 Ud. puede llegar a la segunda; nuevamente por 2 Ud. puede llegar a la tercera y as sucesivamente, Ud. puede subir tan alto como Ud. quiera. En este caso, ambas aserciones son necesarias. Si apenas la sentencia 1 es verdadera, Ud. no tiene garant de que podr mas all de la primera grada y si apenas la as a a segunda sentencia es verdadera, Ud. no podr llegar a la primera grada a n a de poder iniciar el proceso de subida de la escalera. A este tipo particular de deduccin, en general se le llama principio de o induccin matemtica. o a En una proposicin P(n) enunciada en trminos de n, con n Z + se o e cumple 2 condiciones: a P(1) es verdadera.

26 b P(k) es verdadera para k1 implica que P(k+1) sea verdadera.

Entonces para todo P(n) es verdadera. En la vericacin de programas: o La construccin de programas se basa en argumentos racionales y por lo o tanto es necesario aplicar tcnicas de comprobacin formales que demuestran e o si un programa funciona correctamente. Las tcnicas formales son rentables pues reduce el nmero de errores lo e u que a su vez reduce el esfuerzo que se necesita en la depuracin, lo esencial o en la vericacin de programas son las precondiciones y las postcondiciones. o Las precondiciones indican las condiciones que deben satisfacer los datos de entrada para que el programa pueda cumplir su tarea. Las postcondiciones, indican que condiciones de salida son aceptables como soluciones correctas del problema en cuestin. Por ejemplo, en el programa que calcule una ra o z cuadrada, la precondicin es que el argumento de la ra cuadrada no debe o z ser negativo y la postcondicion es que el resultado nal sea la ra cuadrada z deseada. Para demostrar que las diferentes partes del cdigo funcionan correctao mente, se deben asociar las precondiciones y las postcondiciones que corresponden a cada parte del cdigo. Despus, se debe demostrar que las preo e condiciones y las postcondiciones de todas partes dl cdigo son compatibles o entre s y a su vez con las precondiciones y las postcondiciones de todo el , programa. De hecho cuando el programa es ejecutado, las postcondiciones de cada parte del cdigo deben incluir en esencia las precondiciones de la o siguiente parte. Esto debe establecerse sin importar lo largas que resulten las partes del cdigo. o Estas consideraciones son todav ms importantes en la construccin y a a o correccin de programas grandes: en los programas grandes hay una posibio lidad mayor de cometer errores y es mas dif localizar estos errores. cil Cuando se realiza vericacin de programas, es necesaria una regla de o inferencia para tratar con cada tipo de sentencia ejecutable. Concretamente nos encontramos con una regla para las sentencias de asignacin, otra regla o para sentencias if y otra para sentencias while, en la que no solo hay que probar que el programa es correcto, si termina y cuando termina, sino tambin e hay que probar que el programa realmente termina. Los programas se dividen en partes de un programa que son secuencias

27 de sentencias que transforman el estado inicial en un estado nal. El estado inicial es el estado anterior a la ejecucin de la parte de un cdigo. El estado o o del sistema a su vez viene dado por los valores de las variables tal y como aparecen en las declaraciones. Cada sentencia lgica relativa a un estado se denomina asercin. Las dos o o aserciones ms importantes son las precondiciones y las postcondiciones. Una a precondicin es una asercin que hace referencia al estado inicial de la parte o o de un cdigo y una postcondicion es una asercin de su estado nal. o o Invariablemente, las postcondiciones de un trozo de cdigo describen lo o que ha de ser ejecutado y las precondiciones proporcionan las condiciones que han de ser satisfechas para que el cdigo termine con las postcondiciones o estipuladas. La parte de un cdigo se considera correcta si una vez que el o cdigo ha sido ejecutado, todos los estados que satisfacen las precondiciones o llevan a estados que satisfacen las postcondiciones. Sin embargo, las precondiciones y las poscondiciones no siempre satisfacen lo que realmente quiere el programador. Adems, dado que el diseo esta a n cada vez ms formalizado, a menudo es posible obtener unas precondiciones a y postcondiciones rigurosamente denidas. Se supone que el lenguaje para escribir un cdigo, contiene todos los o operadores aritmticos, una amplia biblioteca de funciones, palabras para e el inicio y el nal de los bloques del cdigo, las construcciones if-them y o if-them-elsey la construccin del lazo while. o El tipo de variables se deduce del contexto. Adems no se utilizan sena tencias de entrada-salida. La entrada puede tener lugar antes de la primera sentencia de cdigo que se est considerando y la salida puede tener lugar o e tras la ultima sentencia. Las partes de cdigo son funciones que proyecta el o estado inicial, sobre el estado nal, que es el estado al nalizar la parte del cdigo. o Varias partes de cdigo pueden estar concatenadas, lo que simplemente o signica que se ejecutan secuencialmente. Concretamente, si C1 y C2 son dos partes del programa, su concatenacin se representa como C1 ; C2 . La o concatenacin es realmente composicin de funciones. La concatenacin de o o o dos o mas partes del cdigo tambin constituyen una parte del cdigo. o e o Si C es un cdigo en la precondicin P y la postcondicion Q, entonces o o PQ se dice que es parcialmente correcto si el estado nal de C satisface Q,siempre que el estado inicial satisfaga P. C tambin ser parcialmente e a

28 correcto si no hay estado nal debido a que le programa no termina. Si P Q es parcialmente correcto y C termina, entonces se dice que P C Q es totalmente correcto. En otras palabras un cdigo no es totalmente correcto si existen alguo nos estados iniciales que satisfacen P que conducen a un bucle innito. Sin embargo, tales programas pueden ser parcialmente correctos. El cdigo sin o bucles siempre termina y la correccin parcial entonces implica correccin o o total. Entonces la distincin entre correccin parcial y total es solo esencial o o en cdigos que contengan bucles o procedimientos recursivos. o Como se ha indicado anteriormente, las precondiciones y portcondiciones son importantes para realizar vericacin. Sin embargo, la importancia de eso tas condiciones es todav ms general. Estas le ayudan a uno a claricar los a a objetivos del cdigo que se est investigando. Adems insertando precondicioo e a nes y postcondiciones en las partes del cdigo de un programa, la vericacin o o se puede realizar de una manera mas sistemtica: si se han satisfecho las prea condiciones de algn cdigo, pero sin haberse cumplido las postcondiciones, u o entonces el error debe haberse producido dentro de ese cdigo en cuestin. o o Eso permite simplicar la bsqueda de errores. u La manera de vericar un cdigo que contenga una sentencia while es o estudiando la correccin parcial, es decir demostraremos que si el cdigo o o termina su estado nal satisface la postcondicion. Las caracter sticas que no var son capturadas por un invariante, el an invariante del bucle. La negacin de la condicin de entrada es la condicin o o o de salida. Una vez que se ha satisfecho la condicin de salida, el bucle termina. o La variante del bucle es una expresin que mide el progreso realizado hasta o satisfacer la condicin de salida. o Como vemos en el siguiente algoritmo: Entrada: M, N enteros no negativos Salida: X

1. 2. 3. 4.

Producto (M,N) J=1 X=N WHILE(J<=M) a. X=X+N b. J=J+1

29 5. RETURN (X) 6. END producto La condicin de entrada de este bucle es J=M. Si esta expresin es falsa o o al comienzo del bucle termina. Por esta razn, a la negacin de la condicin o o o de entrada se le llama condicin de salida. En nuestro caso, la condicin de o o salida es -(J=M) o J=M. Al nal de la parte del cdigo. X=MN, y esta o condicin es la postcondicion. Al nal de cada iteracin, se tiene X=JN, o o esta asercin resulta ser el invariante del bucle. La variante del bucle es M-J. o La variante del bucle decrece con cada iteracin y tan pronto como llega o a cero el bucle termina. A la salida del bucle, J=M y JN=MN. Por lo tanto, despus de su terminacin X=MN que es la postcondicion. e o Ahora demostraremos por induccin el algoritmo del producto. o I(n)=X =J N , n0 Paso base: I(0) = X = 0 = 0N = J N Paso Inductivo: Supongamos que para algn valor jo k>0 , I(k) es verdadera, es decir: u X =J N Ahora debemos demostrar que I(k+1) es verdadera: I(k + 1) = X = = = = X +N J N + N (por hiptesis de induccin) o o (J + 1) N J N

(,es verdadera)

Entonces, I(k+1) es verdadera. Por lo tanto I(n) es verdadera, para todo n0 es decir II. Lo cual da por permitida la vericacin de correccin parcial del algoritmo o o producto.

30 A menudo es dif hallar el invariante del bucle. Lo ms habitual es que cil a el invariante del bucle sea precursor de la postcondicion, lo que signica que de alguna manera debe ser parecido a la postcondicion. Adems de esto, en a cada iteracin debe progresarse hacia la postcondicion, lo que signica que o el invariante del bucle debe contener todas las variables que son modicadas dentro del bucle.

Bibliograf a
[1] RALPH P. GRIMALDI. MATEMATICAS DISCRETA Y COMBINATORIA. [2] LUIS DISSET.APUNTES DE MATEMATICA DISCRETA. [3] Eduardo Saez , Ivan Santos.Induccin Matematica. o [4] J. Rey Pastor, Americana, 1948 Puig Adam.Metodologa matemtica.,Ibero a

[5] R. Moreno Castillo.Fibonacci, el primer matemtico mediea val.,Nivola, 2004 [6] J. M. Ruiz.Programacin Modular. o [7] J. E. Thompson.Aritmtica para todos.,Hispanoamericana de Mxico, e e 1949 [8] Dep. de Informatica y Estad stica.Apuntes de Programacin o Recursividad.,Universidad Nac. del Comahue [9] Fernando Berzal.Recursividad - Java. [10] Induccin y Recursividad o

31