CORPORATIVO INTERNACIONAL UNIVERSITARIO S.C.

PLANTEL ATLACOMULCO

NOBRE DEL ALUMNO:

GABRIEL ROMERO ROSALES

NOMBRE DE LA PROFESOR:

LIC. GABRIEL FLORES GONZALEZ

MATERIA:

MATEMATICAS COMPUTACIONALES

LICENCIATURA:

INFORMTICA ADMINISTRATIVA

CUATRIMESTRE:

GRUPO:

NICO

TRABAJO:

INDUCCION MATEMATICA

ATLACOMULCO, MX., A 25 DE FEBRERO DE 2012.

INDUCCION MATEMATICA G. Peano (1881932) propuso cinco propiedades fundamentales que caracterizan a los nmeros naturales, Axiomas de Peano. Una de ellas conocida como el Principi 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 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. Esencialmente 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.

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 Matemtica 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 vlida 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 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 Matemtica que: {$ sum_{i=1}^{n-1}(6n-2) = 4 + 10 + 16 + + (6n-2) = n(3n+1)$} Es la letra griega sigma mayscula y en matemticas 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 formulan (2) es vlida 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 importante en Ciencias Computacionales.

DEMOSTRACIN MATEMTICA Una demostracin matemtica es un razonamiento realizado con una lgica vlida que progresa a partir de ideas que se dan por ciertas (llamadas hiptesis) hasta la afirmacin que se est planteando, o sea, hasta obtener la veracidad de la tesis formulada. Estos pasos deben estar fundamentados en la aplicacin de reglas de deduccin: fundadas ya sea en axiomas o en teoremas anteriormente demostrados o en reglas bsicas de deduccin del sistema en cuestin. El hecho de no conocer ninguna demostracin de un teorema no implica su no veracidad; slo la demostracin de la negacin de este resultado implica que es falso. Aunque en general no existe un procedimiento nico de demostracin de tesis, s existen diferentes tipos de demostraciones que son utilizados comnmente en matemticas:

Demostracin por contraposicin (formalizado y utilizado en los silogismos por Aristteles) Demostracin por reduccin al absurdo (formalizado y utilizado por Aristteles) y, como caso particular, descenso infinito Induccin matemtica o Induccin fuerte

Por otra parte, a pesar del alto grado de intervencin humana necesario para hacer una demostracin, tambin existen tcnicas computacionales que permiten hacer demostraciones automticas, notablemente en el campo de la geometra euclidiana.

EJEMPLO DE UNA DEMOSTRACIN POR CONTRADICCIN: (Llamada tambin demostracin al absurdo) Demostracin de la afirmacin Antes de demostrar esto debemos tener claro que existen ciertos axiomas que nos permitirn, en este caso, demostrar nuestra afirmacin. Dado que nos basaremos en axiomas, tenemos que nuestra demostracin (siendo cada paso lgico correcto) es verdadera.

Usaremos los siguientes axiomas de los nmeros reales: Ax1. Ax2. Si

, con a,b,c reales. Entonces

Asumidos ciertos estos axiomas podemos comenzar con nuestra demostracin. Supongamos por un momento, contrariamente a lo esperado que, y veamos que llegamos a una contradiccin. Puesto que , aplicando el axioma Ax2 al multiplicar por 1 (que es menor que cero), tenemos que , lo cual es una contradiccin. Como nuestra hiptesis era que , y sta es falsa, lo nico que ahora podemos decir es que . Pero el axioma Ax1 dice que la nica posibilidad donde no existe contradiccin es que efectivamente Luego

Razonamiento Es claro que lo que debemos tener es una contradiccin. Para ello, primero debemos plantear una hiptesis, y comprobar si es cierta o no. De no serla nos conducir a una contradiccin. Debe tenerse claro que nuestra hiptesis comienza cuando decimos que 1 es menor que cero y no en los axiomas mencionados anteriormente (porque stos estn ya demostrados o bien, asumidos ciertos y no requieren, por lo tanto, mayor anlisis). Como sabemos que la afirmacin "'1 es menor que cero" es falsa, debiramos llegar a una contradiccin. Pero no basta slo con saberlo, ya que debe ser demostrado. Nuestra hiptesis fue que uno era menor que cero y, luego de ciertos pasos lgicos correctos usando los axiomas, concluimos que uno era mayor que cero, lo cual

claramente no puede ser cierto, ya que por la ley de tricotoma, dos nmeros reales deben cumplir una y slo una de las siguientes relaciones ; o bien ,

Pero nunca dos ni tres juntas. Luego, como nuestra hiptesis nos conduce a una contradiccin, es falsa, y debemos considerar todas las posibilidades, menos esa. Esto es: como uno no es menor que cero, debe, necesariamente, ser mayor o igual que ste (cero). Pero el axioma primero dice que uno es distinto de cero, por lo que slo queda la opcin de que 1 sea mayor que cero RAZONAMIENTO INCORRECTO Un error comn entre quienes comienzan el estudio de estas materias, es el de pensar que han llegado a una contradiccin sin haberlo hecho. Por ejemplo: Suponen que: , Luego sumando (-1) a ambos lados lo cual es una contradiccin ya que

Este razonamiento tiene un error, ya que no llegamos a una contradiccin. Nuestra hiptesis era que 1 era menor que cero y por lo tanto, con los procedimientos realizados , que es verdadero. En esta caso la afirmacin es falsa. Ntese que para llegar a una contradiccin debemos tener lo siguiente:

Una afirmacin P (en nuestra hiptesis) que diga que sta es cierta. Una conclusin que diga que P es falsa.

Claramente ninguna afirmacin puede cumplir con esto. En lgica esto la afirmacin sera: P es cierta y ~P es cierta, que se lee "P es cierta y no P es cierta".

EJEMPLO DE UNA DEMOSTRACIN POR INDUCCIN Demostrar que

Demostracin

Debemos comprobar si la afirmacin es cierta para sumatoria parte desde . , entonces

, ya que la

Sea

. y la afirmacin es cierta para

. fijo, y veamos

Supongamos ahora, que la afirmacin es cierta para un que sucede para .

Por propiedad de las sumatorias tenemos que

Como la afirmacin es cierta para , tenemos que

Ordenando

Como

es distinto de

, podemos simplificar y

Que es lo que queramos demostrar.

As, la afirmacin tambin es verdadera para Luego, la afirmacin es cierta para todo RAZONAMIENTO .

El principio de Induccin dice que dada una afirmacin cumple que

, esta es cierta slo si se

es cierta Si es cierta, entonces tambin lo es.

Entonces, como nuestro es lo que queremos demostrar, debemos ver si es cierta para su primer trmino. En este caso para . Ntese que no necesariamente nos debe quedar 1 en la sumatoria. Lo que nos indica el es que debemos ver si es cierta para el primer trmino. Como la afirmacin se cumpla para , el paso siguiente era ver si, asumida cierta para , se cumpla para . As entonces, usamos lo que queremos ver si es cierto en el nico miembro de la izquierda de nuestra ecuacin. Luego aplicando propiedades de la sumatoria, podemos descomponer la sumatoria en partes y dejar lo que sabemos que es cierto, separado de lo que se puede aplicar por definicin. Sabemos que es cierto para , por lo tanto el primer miembro del lado derecho lo podemos sustituir, mientras que al segundo miembro slo aplicamos la definicin de sumatoria. Luego, sumando las fracciones y agrupando, concluimos que el primer miembro del lado izquierdo de nuestra ecuacin, se puede expresar como lo que queremos demostrar. Por lo tanto, concluimos que la afirmacin es cierta para . DEFINICIN FORMAL En lgica matemtica y en lgica proposicional, una demostracin es una secuencia finita de frmulas lgicas bien formadas:

Tales que cada Fi es o bien un axioma o bien un teorema que se deduce de dos frmulas anteriores Fj y Fk (tales que j<i y k<i) mediante una regla de deduccin vlida. Es decir,

Dada una demostracin como la anterior si el elemento final Fn no es un axioma entonces es un teorema. Desde el punto de vista de los lenguajes formales el conjunto de teoremas demostrables coincide con el conjunto de secuencias de frmulas bien formadas sintcticamente bien formadas.

CUANTIFICADORES Dos casos centrales en el clculo de predicados se presentan cuando se analiza si el predicado se cumple para la poblacin completa y cuando se analiza para ver si cumple para un caso en particular al menos. Estos dos casos se llaman Universal y Particular o Existencial. CUANTIFICADOR UNIVERSAL. El cuantificador universal para todo asociado a una expresin de clculo de predicados F se representa por la expresin ( x) F y es verdadera cuando todas las instancias de la frmula son verdaderas al sustituir la variable x en la frmula por cada uno de los valores posibles del dominio. As por ejemplo si tenemos que la frmula es T(x) donde T representa es alumno del ITT y x representa un alumno de Tijuana, la frmula ( x) T(x) es falsa pues sabemos que hay alumnos en Tijuana que no son del ITT. CUANTIFICADOR EXISTENCIAL. El cuantificador existencial al menos uno o existe uno asociado a una expresin de clculo de predicados F se representa por la expresin ( x) F y es verdadera cuando por lo menos una instancia de la frmula es verdadera al sustituir por la variable x uno de los valores posibles del dominio. As por ejemplo en el mismo caso del anterior la expresin ( x) T(x) es verdadera pues sabemos que s es verdad que al menos un estudiante es alumno del ITT. Hay expresiones dentro del espaol que son muy utilizadas como por ejemplo, Todos los alumnos son estudiosos, Todos los hombres son mortales o Todos los alumnos de Computacin estudian lgica. En este caso estamos tomando una parte del dominio para establecer un caracterstica universal, esto se puede hacer mediante la combinacin de dos predicados de una variable conectados mediante una condicional y tomando el cuantificador universal. As por ejemplo: Todos los alumnos son estudiosos se puede representar mediante ( x) (A(x) E(x)) donde el predicado A significa alumno, E estudioso y x es un elemento de un dominio general que podra ser el de las personas o cualquier subconjunto deseado. Por ejemplo podran ser todas las personas que viven en Tijuana.

Aqu podemos ver claramente que el dominio juega un papel preponderante, ya que en un conjunto todos los alumnos podran ser estudiosos y si cambiamos el conjunto puede ser que ya no sea verdad. Todos los hombres son mortales se puede representar por ( x) (H(x) M(x)) donde H es hombre y M el predicado mortal. Todos los pericos son verdes es: ( x) (P(x) V(x)) con P, perico y V verde. A una expresin como las anteriores se le llama Universal Afirmativa y se representa con la letra A. Los griegos utilizaban enunciados como los anteriores en los Silogismos, que son formas de razonamiento que contienen dos premisas tipo A, E, I, O y una conclusin tambin de uno de los cuatro tipos, las premisas estn conectadas con un predicado comn y la conclusin debe estar formado por las no comunes que se le llaman tcnicamente premisa menor y premisa mayor. Una expresin tipo E es llamada Universal Negativa y se representa por ( x) (P(x) Q(x)) y en espaol se lee ningn P cumple Q o sea que los que cumplen el predicado P(x) no cumples el predicado Q(x). Ningn alumno lleg tarde se puede representar por ( x) (A(x) T(x)) donde A es alumno y T es lleg tarde. Las dos expresiones restantes corresponden a casos particulares y para formarlas utilizamos el cuantificador existencial, y en lugar del operador condicional se usa la conjuncin, as I es ( x) (P(x) Q(x)) llamado Particular Afirmativa y O es ( x) (P(x) Q(x)) que es la Particular Negativa. En el primer caso se indica un elemento que cumple las dos condiciones dadas por los predicados y en el segundo aseguramos que hay un elemento que cumple la primera condicin pero no la segunda.

Una manera muy simple de combinar estas expresiones mediante una propiedad es utilizando la negacin, pues dos de ellas son las negaciones de las otras dos, de ah sus nombres de afirmativas y negativas.

Primeramente estableceremos dos reglas generales con un predicado simple: Propiedad: ( x) P(x) es equivalente a ( x) ( P(x)) ( x) P(x) es equivalente a ( x) (P(x)) Ahora s, podemos combinar estos dos resultados con las Universales y Particulares Afirmativas y Negativas y tenemos lo siguiente. Teorema: La negacin de la Universal Afirmativa es la Particular Negativa y La negacin de la Particular Afirmativa es la Universal Negativa. O sea que la negacin de la forma A es la forma O y la negacin de la forma I es la forma E. ( x) (P(x) Q(x)) es equivalente a ( x) (P(x) ^ Q(x)) ( x) (P(x) ^ Q(x)) es equivalente a ( x) (P(x) Q(x)) De una manera ms simple lo que dice la primera frmula es que la negacin de Todos es Alguno No y que la negacin de Alguno es Ninguno. Esto es muy til en matemticas y en computacin, por ejemplo si queremos demostrar que no es cierto que todas las funciones integrables sean continuas, basta encontrar una que sea integrable y que no sea contina.