MTODOS DE DEMOSTRACIN UTILIZADOS EN MATEMTICA 1. Mtodo directo: nos piden demostrar la verdad de una proposicin B.

Para ello, en la versin ms simple del mtodo, partimos de otra proposicin A cuya verdad es incuestionable (ya sea porque es una verdad matemtica general, o porque es una suposicin que nos ha sido proporcionada por quien pide la demostracin), a continuacin vamos transformando A en proposiciones equivalentes (usando slo leyes y reglas matemticas vlidas), hasta obtener B. La fuerza de este mtodo reside en que de la verdad de A se deduce la verdad de B EJEMPLO. Demuestre que si x e y son nmeros reales positivos, con x > y, entonces x2 > y2. Afirmacin Si x > y, entonces x y > 0 Si x e y son positivos, x + y >0 Fundamento Definicin de la relacin mayor que Cerradura de la suma de nmeros reales positivos Cerradura del producto de nmeros reales positivos Distributividad del producto respecto a la suma de nmeros reales, y leyes de exponentes Una desigualdad no se altera al sumar un nmero positivo en ambos lados Propiedades de neutro e inverso aditivo de la suma de nmeros reales

(x y)( x + y) > 0 x2 y2 > 0

x2 y2 + y2 > 0 + y2

x2 > y2

Cmo pudo observarse, la demostracin se desarroll buscando llegar a la expresin x2 > y2 como paso final. Mucho de lo que aqu se hizo no es pura inspiracin: se descubri una cadena de razonamientos que va del final al inicio y luego se escribi en el orden requerido. Es decir, la expresin x2 > y2 se llev mentalmente a la expresin (x y)( x + y) > 0, que coincidentemente! es el producto de dos expresiones que corresponden a las premisas que nos dieron. El dominio de los mtodos de demostracin se adquiere combinando la experiencia con la lectura de demostraciones en textos; requiere una dsis de curiosidad, otra de imaginacin y el resto es disciplina. Cada nueva demostracin es un reto, aun para el ms experimentado practicante de la matemtica.

Mtodos de demostracin utilizados en Matemtica. 2 NOTA IMPORTANTE: si usted tiene conocimientos previos acerca de lgica matemtica, proposiciones, conectivos lgicos y tablas de verdad, puede omitir la lectura de la siguiente seccin. En caso contrario, le recomendamos leerla para asimilar y comprender los conceptos. 2. Conceptos bsicos de lgica matemtica.

Proposicin simple: es una frase o enunciado indivisible, cuya verdad o falsedad se puede establecer sin lugar a duda. Ejemplos: 8 es un nmero par; el cuadrado de 4 es 17. La verdad o falsedad de una proposicin tambien se conoce como valor de verdad Conectivo lgico: es un elemento del lenguaje que sirve para relacionar dos proposiciones simples para formar una nueva proposicin (compuesta) Ejemplos de conectivos son: conjuncin y, disyuncin inclusiva o, disyuncin exclusiva , implicacin si ... entonces ..., equivalencia ...s y slo s.... Operador lgico: es un elemento del lenguaje que acta sobre una proposicin para transformar su verdad o falsedad. Ejemplo: la negacin no, que se representa por el smbolo , transforma en verdadera una proposicin falsa, y viceversa. Dos negaciones seguidas producen una afirmacin. Ejemplo: dada la proposicin p: 35 es divisible por 7, verdadera, se transforma en p: 35 no es divisible por 7, falsa. Dada la proposicin q: 4 es un nmero negativo, falsa, se

transforma en q: 4 no es un nmero negativo, verdadera. Proposicin compuesta: es una proposicin formada al relacionar proposiciones simples mediante conectivos lgicos. Ejemplos: el cuadrado de 3 es 9 y 5 es un nmero impar, x puede ser un nmero negativo o x puede ser un nmero mayor que 5 , x puede ser un nmero positivo x puede ser un nmero positivo, si x es un mltiplo de 6, entonces x contiene a 3, un tringulo cuyos catetos miden a y b unidades, y cuya hipotenusa mide c unidades es rectngulo s y slo s a2 + b2 = c2 Tabla de verdad: se llama tabla de verdad al conjunto de todos los valores de verdad que es posible obtener a partir de dos proposiciones p, q y un conectivo lgico. Generalmente se considera la posibilidad de que tanto p como q pueden ser ambas verdaderas, ambas falsas, o una verdadera y la otra falsa (estas son las entradas de la tabla) Los resultados de cada operador son predefinidos y deben memorizarse. Por ejemplo, la tabla de verdad de la conjuncin y es la siguiente: p v v f f q v f v f pyq v f f f

Nota: v significa verdadero, f significa falso. Vea que la conjuncin slo es verdadera cuando tanto p como q son verdaderas.

Mtodos de demostracin utilizados en Matemtica. 3 La tabla de verdad de la disyuncin inclusiva o es la siguiente: p v v f f q v f v f poq v v v f

Obsrvese que la disyuncin inclusiva es verdadera siempre que una de las dos proposiciones es verdadera; slo es falsa cuando ambas son falsas.

La tabla de verdad de la disyuncin exclusiva es la siguiente: p v v f f q v f v f pq f v v f

La disyuncin exclusiva es verdadera cuando slo una de las proposiciones es verdadera.

La tabla de verdad de la implicacin (que se representa por ) es la siguiente: p v v f f q v f v f pq v f v v

La proposicin p se llama antecedente o hiptesis, mientras que q se llama consecuente. Obsrvese que la implicacin slo es falsa cuando el antecedente es verdadero y el consecuente falso.

A manera de ejemplo, para comprender la implicacin usaremos la proposicin compuesta: si llueve, entonces la calle se moja Analicemos la primera lnea de la tabla: es obvio que esta afirmacin es verdadera cuando llueve y observamos que la calle se moja (p, q ambas verdaderas). En cuanto a la segunda lnea, puede ser que llueva y la calle no se moje (p verdadera, q falsa); en este caso decir si llueve la calle se moja sera una afirmacin falsa. Para analizar las ltimas dos lneas debemos tener en cuenta que esta proposicin nicamente dice que ocurrir cuando llueve; no dice que ocurrir si no llueve. Al no cumplirse el antecedente, es decir, si no est lloviendo, la calle podra no mojarse, o mojarse por otras razones, lo cual no afecta la verdad de la afirmacin si llueve la calle se moja. Por lo tanto, en la tabla de verdad se considera verdadera la implicacin cuando el antecedente es falso. La implicacin tambin se llama proposicin condicional. Establece qu ocurre nicamente si se cumple la condicin dada en el antecedente. Si no se cumple dicha condicin la frase se considera verdadera por default, ya que est fuera de contexto.

Mtodos de demostracin utilizados en Matemtica. 4

Equivalencia entre proposiciones: dos o ms proposiciones son equivalentes entre s cuando producen exactamente los mismos valores de verdad con las mismas entradas. Es importante tener en cuenta que cuando dos proposiciones son equivalentes una puede reemplazar a la otra. Tabla de verdad de la equivalencia o doble implicacin (cuyo smbolo es ): p v v f f q v f v f pq v f f v

Esta proposicin compuesta es verdadera cuando ambas proposiciones son verdaderas o cuando ambas son falsas, es decir, cuando tienen los mismos valores de verdad. .

La contrarecproca de una implicacin: dada la implicacin pq, su contrarrecproca es qp. La implicacin y su contrarrecproca son equivalentes, lo cual se concluye al comparar la 5a. y la 6a. columnas de la siguiente tabla de verdad . Ambas proposiciones producen los mismos valores de verdad a partir de las mismas entradas. p v v f f q v f v f q f v f v p f f v v qp v f v v pq v f v v

Si construimos la tabla de verdad de (pq) (qp ) obtendremos verdadero en todas las filas. Debe tenerse en cuenta lo siguiente: aunque las proposiciones compuestas tengan ms de dos proposiciones simples, su anlisis siempre se har tomndo stas de dos en dos, teniendo en cuenta que la cantidad de entradas de una tabla de verdad de n proposiciones ser 2n. Por ejemplo, si una proposicin compuesta tiene tres proposiciones simples, p, q, r el conjunto de entradas ser tendr 23 = 8 combinaciones de valores de verdad: p v v v v f f f f q v v f f v v f f r v f v f v f v f

Mtodos de demostracin utilizados en Matemtica. 5 3. Mtodo de demostracin por contraposicin: es una alternativa al mtodo directo; se basa en lo siguiente: nos piden demostrar que p implica q, pero encontramos ms favorable demostrar que q implica p, lo cual es equivalente. La decisin de usar este mtodo se basa en que la proposicin p (antecedente hiptesis) es muy poco rica en informacin, difcil de ser transformada como para iniciar una cadena de deducciones que conduzcan a q, o la implicacin es una verdad evidente. EJEMPLO. Demuestre que si el cuadrado de un nmero entero positivo es par, el entero considerado es par. Antes de iniciar la demostracin, haremos las siguientes convenciones: i. Los nmeros pares son de la forma 2n, donde n es un nmero entero ii. Los nmeros impares son de la forma 2n + 1, donde n es un nmero entero iii. Sea k un nmero entero iv. Sea p la proposicin k2 es par, es decir k2 = 2n, con n entero v. Sea q la proposicin k es par, es decir k = 2m, con m entero Si intentamos hacer la demostracin por el mtodo directo, nos enfrentamos a lo siguiente: p q significa que si k2 = 2n, entonces k = 2m, pero es realmente difcil obtener la expresin 2m a partir de 2n, adems de que para obtener k deberamos sacar la raz cuadrada de k2 y eso conducira a (2n)1/ 2 Por lo tanto, optamos por usar el mtodo de contraposicin, es decir, probaremos que si un nmero es impar, su cuadrado es impar, : q p

Afirmacin Sea k = 2n + 1, un nmero impar k2 = (2n + 1)2 = 4n2 + 4n + 1 k2 = 2(2n2 + 2n) + 1 Sea r = 2n2 + 2n un nmero entero

Fundamento Definicin de nmero impar: q Desarrollo del cuadrado de k Agrupacin y factorizacin Cerradura del producto y la suma de enteros, y sustitucin de una expresin por un smbolo. Expresin de k en trminos de r k2 tiene la forma de un impar: 2(entero) + 1: p

k2 = 2r + 1 entonces k2 es un nmero impar

Ntese que la demostracin por contraposicin se puede tomar como una demostracin directa que inicia con la negacin de q y finaliza con la negacin de p

Mtodos de demostracin utilizados en Matemtica. 6 4. Mtodo por reduccin al absurdo: este mtodo se utiliza para probar que p implica q, en aquellos casos en que puede ocurrir una de las siguientes dificultades:

la implicacin es una verdad evidente p no presenta caractersticas como para ser transformada por medio de una cadena deductiva hasta obtener q no se identifica la proposicin p a primera vista.

En general, el mtodo se basa en probar la verdad de q estableciendo la falsedad de su negacion. Es decir, si q es falsa, entonces q es verdadera. La demostracin principia suponiendo que tanto p como q son verdaderas, luego se construye una cadena de razonamientos que deduce como verdadero algo absurdo, o contradictorio, lo cual podra ser:

p es verdadera, que resulta absurdo porque al inicio se supuso que p es verdadera (no pueden ser verdaderas a la vez una proposicin y su negacin) una proposicin compuesta r y r es verdadera, lo que es una contradiccin por la misma razn indicada entre parntesis en el punto anterior. una verdad matemtica incuestionable es falsa, lo cual es absurdo.

La demostracin finaliza diciendo: si tomar q como verdadera condujo a un absurdo o una contradiccin, entonces q debe ser falsa y q verdadera. Esta demostracin se simboliza as:

p y q p p y q r y r

EJEMPLO. Veamos un ejemplo de una demostracin por reduccin al absurdo: Demuestre que si m y n son enteros tales que n + n2 + n3 = m + m2, entonces n es par. Solucin. Supongamos que n es impar. A partir de esto debemos conseguir una contradiccin. Como n es impar, entonces n2 y n3 son ambos impares, de donde n + n2 + n3 es impar (ya que es la suma de tres impares). Entonces, como m + m2 = n + n2 + n3, se concluye que m + m2 es impar. Sin embargo, m + m2 = m (m + 1) es par, ya que m m + 1 debe ser par. Esto contradice la conclusin que se obtuvo al tomar n impar, por lo tanto n no puede ser impar, debe ser par, que era lo que se quera demostrar.

Mtodos de demostracin utilizados en Matemtica. 7 5. Mtodo de induccin (induccin completa): ste se utiliza para demostrar expresiones que involucran nmeros enteros positivos. Se basa en mostrar que la expresin es vlida para el entero 1, luego suponer que es vlida para un entero n, y finalmente demostrar, por construccin, que es vlida para el entero n + 1. La lgica de la demostracin consiste en demostrar que una expresin es vlida en un conjunto infinito, probando que es vlida para el siguiente entero de cualquier entero. Ejemplo. Demuestre por induccin que la suma de los enteros de 1 a n viene dada por la expresin: S = n(n + 1) / 2. Comprubese que es vlida para n = 1: Supngase que es vlida para n : De lo anterior dedzcase que es vlida para n + 1. S1 = 1(1 + 1) / 2 = 2 /2 = 1 Sn = n (n + 1) / 2

Sn+1 = (n + 1) (n + 2) / 2

La ltima expresin se obtuvo reemplazando n por n + 1 en la expresin original. Ahora bien, la prueba consiste en obtener la expresin Sn + 1 no por sustitucin en Sn, sino agregndole un trmino a sta. Sn + 1 = Sn + (n + 1) = n (n + 1) / 2 + (n + 1) = n (n + 1) / 2 + 2(n + 1)/2 vase que (n + 1) se multiplic y dividi por 2, para poder sumarlo al otro trmino: Sn + 1 = [n(n + 1) + 2(n + 1)] / 2 = [(n + 1) (n + 2)] / 2 En el ltimo paso se aplic factorizacin por factor comn. Con esto concluye la prueba